welcome: please sign in

Revision 47 as of 2011-05-11 13:43:39

Clear message
location: SystemTrackFinalResults

System Track Final Results



Overall


System

Total

claspd

Total

861

Instance

560

Time

301

claspfolio

Total

818

Instance

535

Time

283

clasp

Total

810

Instance

520

Time

290

idp

Total

781

Instance

500

Time

281

cmodels

Total

766

Instance

510

Time

256

lp2diffz3

Total

572

Instance

405

Time

167

sup

Total

541

Instance

380

Time

161

lp2sat2gminisat

Total

495

Instance

365

Time

130

lp2sat2minisat

Total

481

Instance

355

Time

126

lp2sat2lminisat

Total

472

Instance

350

Time

122

smodels

Total

449

Instance

295

Time

154


Final results by categories


P

NP

Beyond NP

System

Total Score

Inst. Score

Time Score

System

Total Score

Inst. Score

Time Score

System

Total Score

Inst. Score

Time Score

clasp

213

150

63

claspfolio

609

385

224

claspd

103

60

43

claspfolio

209

150

59

clasp

597

370

227

cmodels

72

45

27

claspd

206

145

61

idp

597

370

227

claspfolio

0

0

0

sup

195

140

55

claspd

552

355

197

clasp

0

0

0

lp2sat2gminisat

185

140

45

cmodels

510

335

175

idp

0

0

0

cmodels

184

130

54

lp2diffz3

394

270

124

lp2diffz3

0

0

0

idp

184

130

54

sup

346

240

106

sup

0

0

0

smodels

180

130

50

lp2sat2gminisat

310

225

85

lp2sat2gminisat

0

0

0

lp2sat2minisat

179

135

44

lp2sat2minisat

302

220

82

lp2sat2minisat

0

0

0

lp2diffz3

178

135

43

lp2sat2lminisat

301

220

81

lp2sat2lminisat

0

0

0

lp2sat2lminisat

171

130

41

smodels

269

165

104

smodels

0

0

0


P Problems


System

Total

Reachability

Grammar-Based IE

Hydraulic Leaking

Hydraulic Planning

Stable Marriage

Partner Units Polynomial

clasp

Total

213

36

72

10

75

6

14

Instance

150

25

50

10

50

5

10

Time

63

11

22

0

25

1

4

claspfolio

Total

209

35

72

10

74

5

13

Instance

150

25

50

10

50

5

10

Time

59

10

22

0

24

0

3

claspd

Total

206

36

72

10

75

0

13

Instance

145

25

50

10

50

0

10

Time

61

11

22

0

25

0

3

sup

Total

195

29

71

10

74

0

11

Instance

140

20

50

10

50

0

10

Time

55

9

21

0

24

0

1

lp2sat2gminisat

Total

185

30

66

10

68

0

11

Instance

140

20

50

10

50

0

10

Time

45

10

16

0

18

0

1

cmodels

Total

184

29

71

10

74

0

0

Instance

130

20

50

10

50

0

0

Time

54

9

21

0

24

0

0

idp

Total

184

29

71

10

74

0

0

Instance

130

20

50

10

50

0

0

Time

54

9

21

0

24

0

0

smodels

Total

180

28

70

10

72

0

0

Instance

130

20

50

10

50

0

0

Time

50

8

20

0

22

0

0

lp2sat2minisat

Total

179

30

66

10

68

0

5

Instance

135

20

50

10

50

0

5

Time

44

10

16

0

18

0

0

lp2diffz3

Total

178

35

66

10

67

0

0

Instance

135

25

50

10

50

0

0

Time

43

10

16

0

17

0

0

lp2sat2lminisat

Total

171

28

66

10

67

0

0

Instance

130

20

50

10

50

0

0

Time

41

8

16

0

17

0

0

NP Problems


System

Total

Sokoban Decision

Knight Tour

Disjunctive Scheduling

Packing Problem

Labyrinth

MCS Querying

Numberlink

Hanoi Tower

Graph Colouring

Solitaire

Weight-Assignment Tree

Maze Generation

claspfolio

Total

609

66

65

37

0

63

75

64

47

55

21

21

95

Instance

385

45

35

25

0

40

50

35

35

40

15

15

50

Time

224

21

30

12

0

23

25

29

12

15

6

6

45

clasp

Total

597

78

63

38

0

78

75

65

39

23

21

21

96

Instance

370

50

35

25

0

50

50

35

30

15

15

15

50

Time

227

28

28

13

0

28

25

30

9

8

6

6

46

idp

Total

597

64

74

38

0

52

75

70

65

18

38

8

95

Instance

370

45

45

25

0

30

50

40

45

10

25

5

50

Time

227

19

29

13

0

22

25

30

20

8

13

3

45

claspd

Total

552

68

68

30

0

65

75

69

31

19

11

20

96

Instance

355

45

40

25

0

45

50

40

25

10

10

15

50

Time

197

23

28

5

0

20

25

29

6

9

1

5

46

cmodels

Total

510

67

56

21

0

62

75

30

51

29

18

6

95

Instance

335

45

30

20

0

45

50

20

35

20

15

5

50

Time

175

22

26

1

0

17

25

10

16

9

3

1

45

lp2diffz3

Total

394

42

55

0

0

0

70

45

47

27

25

0

83

Instance

270

30

35

0

0

0

50

30

35

20

20

0

50

Time

124

12

20

0

0

0

20

15

12

7

5

0

33

sup

Total

346

52

40

37

0

58

72

0

31

16

15

25

0

Instance

240

35

25

25

0

40

50

0

25

10

10

20

0

Time

106

17

15

12

0

18

22

0

6

6

5

5

0

lp2sat2gminisat

Total

310

36

10

32

0

46

71

22

47

17

29

0

0

Instance

225

30

5

25

0

35

50

15

35

10

20

0

0

Time

85

6

5

7

0

11

21

7

12

7

9

0

0

lp2sat2minisat

Total

302

39

0

32

0

52

71

15

47

17

29

0

0

Instance

220

30

0

25

0

40

50

10

35

10

20

0

0

Time

82

9

0

7

0

12

21

5

12

7

9

0

0

lp2sat2lminisat

Total

301

35

0

32

0

53

71

17

47

17

29

0

0

Instance

220

30

0

25

0

40

50

10

35

10

20

0

0

Time

81

5

0

7

0

13

21

7

12

7

9

0

0

smodels

Total

269

0

55

36

0

9

53

27

0

0

0

0

89

Instance

165

0

30

25

0

5

35

20

0

0

0

0

50

Time

104

0

25

11

0

4

18

7

0

0

0

0

39

Beyond NP Problems


System

Total

Strategic Companies

Minimal Diagnosis

claspd

Total

103

12

91

Instance

60

10

50

Time

43

2

41

cmodels

Total

72

0

72

Instance

45

0

45

Time

27

0

27

lp2sat2lminisat

Total

0

0

0

Instance

0

0

0

Time

0

0

0

claspfolio

Total

0

0

0

Instance

0

0

0

Time

0

0

0

clasp

Total

0

0

0

Instance

0

0

0

Time

0

0

0

lp2sat2gminisat

Total

0

0

0

Instance

0

0

0

Time

0

0

0

smodels

Total

0

0

0

Instance

0

0

0

Time

0

0

0

lp2sat2minisat

Total

0

0

0

Instance

0

0

0

Time

0

0

0

idp

Total

0

0

0

Instance

0

0

0

Time

0

0

0

sup

Total

0

0

0

Instance

0

0

0

Time

0

0

0

lp2diffz3

Total

0

0

0

Instance

0

0

0

Time

0

0

0