|
|
|
clasp |
|
|
|
lp2bv2+boolector |
|
|
lp2graph |
|
|
|
lp2maxsat+clasp |
|
|
lp2mip2 |
|
|
|
lp2normal2+clasp |
|
|
lp2sat3+glucose |
|
|
lp2sat3+lingeling |
|
|
wasp-1 |
|
|
|
wasp-1.5 |
|
|
|
wasp-2 |
|
|
|
wasp-wpm1-only-weak |
|
clasp-mt |
|
|
|
lp2mip2-mt |
|
|
lp2sat3+plingeling-mt |
|
Track |
Domain |
P |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
Score |
Time |
TO |
MO |
#1 |
Labyrinth |
D |
90 |
3396 |
2 |
0 |
15 |
1510,4 |
17 |
0 |
65 |
3201,9 |
7 |
0 |
40 |
2254 |
12 |
0 |
0 |
- |
20 |
0 |
70 |
1831,5 |
6 |
0 |
35 |
1668,9 |
13 |
0 |
30 |
1600,7 |
14 |
0 |
45 |
2098,3 |
11 |
0 |
60 |
2754,6 |
1 |
7 |
60 |
2787,5 |
1 |
7 |
- |
- |
- |
- |
95 |
512,5 |
1 |
0 |
0 |
- |
20 |
0 |
30 |
1659,3 |
14 |
0 |
#1 |
Stable Marriage |
D |
95 |
2136,6 |
1 |
0 |
0 |
- |
0 |
20 |
95 |
3122,9 |
1 |
0 |
100 |
3617,5 |
0 |
0 |
0 |
- |
0 |
20 |
95 |
2911,3 |
1 |
0 |
95 |
3140,1 |
1 |
0 |
65 |
2060,7 |
7 |
0 |
65 |
1657,6 |
0 |
7 |
100 |
1164,1 |
0 |
0 |
100 |
1161,5 |
0 |
0 |
- |
- |
- |
- |
100 |
1427,3 |
0 |
0 |
0 |
- |
0 |
20 |
100 |
2570,9 |
0 |
0 |
#2 |
Bottle Filling |
D |
100 |
170,4 |
0 |
0 |
55 |
2184,1 |
0 |
9 |
5 |
457,8 |
10 |
9 |
50 |
3100,8 |
1 |
9 |
0 |
- |
11 |
9 |
100 |
270,7 |
0 |
0 |
5 |
439,3 |
10 |
9 |
55 |
4622,3 |
0 |
9 |
100 |
1700 |
0 |
0 |
100 |
167,3 |
0 |
0 |
100 |
169,7 |
0 |
0 |
- |
- |
- |
- |
100 |
124,7 |
0 |
0 |
0 |
- |
0 |
20 |
55 |
4023,4 |
0 |
9 |
#2 |
Graceful Graphs |
D |
40 |
756,4 |
12 |
0 |
35 |
1253,2 |
13 |
0 |
40 |
509,9 |
12 |
0 |
50 |
1068,1 |
10 |
0 |
0 |
- |
20 |
0 |
40 |
1356,5 |
12 |
0 |
40 |
497,9 |
12 |
0 |
45 |
2038,5 |
11 |
0 |
5 |
559,1 |
19 |
0 |
20 |
569,7 |
16 |
0 |
20 |
552,4 |
16 |
0 |
- |
- |
- |
- |
60 |
1117,3 |
8 |
0 |
0 |
- |
20 |
0 |
55 |
1172 |
9 |
0 |
#2 |
Graph Colouring |
D |
45 |
834,1 |
11 |
0 |
25 |
25,2 |
13 |
0 |
45 |
814,2 |
11 |
0 |
50 |
1055 |
10 |
0 |
30 |
1342,4 |
14 |
0 |
45 |
608,9 |
11 |
0 |
45 |
811,9 |
11 |
0 |
50 |
873,7 |
10 |
0 |
25 |
202,1 |
15 |
0 |
35 |
409,3 |
13 |
0 |
35 |
393 |
13 |
0 |
- |
- |
- |
- |
95 |
1691,3 |
1 |
0 |
75 |
3852,3 |
5 |
0 |
65 |
1681,4 |
7 |
0 |
#2 |
Hanoi Tower |
D |
85 |
1498,3 |
3 |
0 |
85 |
1022 |
3 |
0 |
100 |
347,5 |
0 |
0 |
100 |
935,8 |
0 |
0 |
0 |
- |
20 |
0 |
100 |
1307 |
0 |
0 |
100 |
316,5 |
0 |
0 |
85 |
794,5 |
3 |
0 |
40 |
2670,4 |
12 |
0 |
70 |
1221,5 |
6 |
0 |
70 |
1203,3 |
6 |
0 |
- |
- |
- |
- |
100 |
919,2 |
0 |
0 |
0 |
- |
20 |
0 |
100 |
613,2 |
0 |
0 |
#2 |
Incremental Scheduling |
D |
0 |
- |
5 |
15 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
5 |
15 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
- |
- |
- |
- |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
0 |
- |
3 |
17 |
#2 |
Knight Tour with Holes |
D |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
18 |
2 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
- |
- |
- |
- |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
#2 |
Nomystery |
D |
40 |
621,8 |
10 |
2 |
45 |
1363,8 |
3 |
8 |
45 |
834,2 |
6 |
5 |
45 |
726,6 |
7 |
4 |
5 |
196,6 |
10 |
9 |
40 |
85,3 |
8 |
4 |
45 |
877,9 |
6 |
5 |
40 |
605,8 |
8 |
4 |
25 |
1501,2 |
15 |
0 |
35 |
1032 |
5 |
8 |
35 |
663,5 |
5 |
8 |
- |
- |
- |
- |
40 |
620,1 |
7 |
5 |
5 |
393,5 |
6 |
13 |
45 |
809,6 |
4 |
7 |
#2 |
Partner Units |
D |
20 |
290,6 |
16 |
0 |
0 |
- |
1 |
19 |
15 |
729,6 |
1 |
16 |
20 |
1133,4 |
0 |
16 |
0 |
- |
1 |
19 |
20 |
905,2 |
0 |
16 |
15 |
828,3 |
1 |
16 |
15 |
1236,9 |
1 |
16 |
5 |
125,5 |
3 |
16 |
15 |
994,7 |
2 |
15 |
15 |
1205,3 |
2 |
15 |
- |
- |
- |
- |
25 |
488,2 |
15 |
0 |
0 |
- |
1 |
19 |
10 |
234,9 |
0 |
18 |
#2 |
Permutation Pattern Matching |
D |
70 |
1556,6 |
1 |
5 |
40 |
735,8 |
0 |
12 |
65 |
1258,4 |
0 |
7 |
65 |
1589,5 |
0 |
7 |
35 |
1134,6 |
1 |
12 |
65 |
1542,3 |
0 |
7 |
65 |
1265,1 |
0 |
7 |
65 |
1061,5 |
0 |
7 |
55 |
1053 |
1 |
8 |
65 |
611,3 |
1 |
6 |
65 |
538,9 |
1 |
6 |
- |
- |
- |
- |
70 |
1040,8 |
1 |
5 |
35 |
1133,2 |
1 |
12 |
65 |
552,4 |
0 |
7 |
#2 |
Qualitative Spatial Reasoning |
D |
100 |
2124,4 |
0 |
0 |
0 |
- |
19 |
1 |
50 |
688 |
10 |
0 |
50 |
716,7 |
10 |
0 |
10 |
1140,9 |
18 |
0 |
100 |
1701,7 |
0 |
0 |
50 |
684 |
10 |
0 |
50 |
926 |
10 |
0 |
90 |
2276,1 |
2 |
0 |
75 |
1992,9 |
0 |
5 |
75 |
2171,4 |
0 |
5 |
- |
- |
- |
- |
95 |
1518,5 |
1 |
0 |
0 |
- |
14 |
6 |
50 |
482 |
10 |
0 |
#2 |
Reachability |
Q |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
80 |
2182,1 |
0 |
4 |
80 |
2408 |
0 |
4 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
#2 |
Ricochet Robots |
D |
100 |
2464,4 |
0 |
0 |
100 |
952,4 |
0 |
0 |
100 |
749,5 |
0 |
0 |
100 |
2267,5 |
0 |
0 |
0 |
- |
20 |
0 |
100 |
1255,5 |
0 |
0 |
100 |
891,8 |
0 |
0 |
100 |
945 |
0 |
0 |
30 |
1859,3 |
14 |
0 |
35 |
1144,3 |
13 |
0 |
35 |
1157,5 |
13 |
0 |
- |
- |
- |
- |
100 |
744,3 |
0 |
0 |
0 |
- |
20 |
0 |
100 |
400,7 |
0 |
0 |
#2 |
Sokoban |
D |
35 |
1076,9 |
13 |
0 |
35 |
852,6 |
6 |
7 |
30 |
739,5 |
13 |
1 |
35 |
1043,9 |
12 |
1 |
0 |
- |
18 |
2 |
30 |
581,4 |
14 |
0 |
30 |
831,6 |
13 |
1 |
25 |
245,5 |
14 |
1 |
5 |
60 |
19 |
0 |
30 |
742,5 |
12 |
2 |
30 |
598,7 |
12 |
2 |
- |
- |
- |
- |
50 |
1205,5 |
9 |
1 |
0 |
- |
15 |
5 |
40 |
813,8 |
11 |
1 |
#2 |
Solitaire |
D |
85 |
112,6 |
3 |
0 |
80 |
1026 |
4 |
0 |
80 |
263,7 |
4 |
0 |
80 |
733,6 |
4 |
0 |
25 |
1287,6 |
15 |
0 |
80 |
627,9 |
4 |
0 |
80 |
298,1 |
4 |
0 |
85 |
561,8 |
3 |
0 |
75 |
685,5 |
5 |
0 |
85 |
609,3 |
3 |
0 |
85 |
609,4 |
3 |
0 |
- |
- |
- |
- |
85 |
18 |
3 |
0 |
50 |
1801,5 |
10 |
0 |
85 |
319 |
3 |
0 |
#2 |
Visit-all |
D |
55 |
1846,2 |
9 |
0 |
100 |
2819,7 |
0 |
0 |
65 |
724 |
7 |
0 |
60 |
922,9 |
7 |
0 |
35 |
560,7 |
13 |
0 |
65 |
918,6 |
7 |
0 |
65 |
783,7 |
7 |
0 |
90 |
2997 |
2 |
0 |
25 |
28,9 |
15 |
0 |
30 |
20,1 |
14 |
0 |
30 |
17,6 |
14 |
0 |
- |
- |
- |
- |
95 |
2470,8 |
1 |
0 |
40 |
1193,4 |
12 |
0 |
100 |
1260,1 |
0 |
0 |
#2 |
Weighted-Sequence Problem |
D |
85 |
1551,3 |
3 |
0 |
70 |
2933 |
6 |
0 |
95 |
1477,1 |
1 |
0 |
90 |
2892,9 |
2 |
0 |
0 |
- |
20 |
0 |
85 |
2588,4 |
3 |
0 |
95 |
1751,5 |
1 |
0 |
85 |
3093,4 |
3 |
0 |
45 |
2608 |
11 |
0 |
65 |
2699,5 |
7 |
0 |
65 |
2659,8 |
7 |
0 |
- |
- |
- |
- |
80 |
1230,3 |
2 |
2 |
0 |
- |
11 |
9 |
95 |
1970,3 |
1 |
0 |
#3 |
Connected Still Life |
O |
72,5 |
9613,3 |
16 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
15 |
3,3 |
17 |
0 |
10 |
424,8 |
18 |
0 |
20 |
151 |
16 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
96,3 |
10202,5 |
17 |
0 |
85,6 |
9601,2 |
17 |
0 |
85,6 |
9601,2 |
17 |
0 |
45,6 |
12000 |
20 |
0 |
100 |
9648,1 |
16 |
0 |
10 |
287,5 |
18 |
0 |
- |
- |
- |
- |
#3 |
Crossing Minimization |
O |
95,6 |
4466,4 |
6 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
30 |
637,2 |
14 |
0 |
0 |
- |
20 |
0 |
70 |
1931,6 |
6 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
58,8 |
10800 |
20 |
0 |
40,6 |
7200 |
20 |
0 |
40,6 |
7200 |
20 |
0 |
0 |
- |
20 |
0 |
100 |
6142,4 |
7 |
0 |
0 |
- |
20 |
0 |
- |
- |
- |
- |
#3 |
Maximal Clique |
O |
100 |
938,3 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
65 |
1732,2 |
7 |
0 |
100 |
99 |
0 |
0 |
15 |
1344 |
17 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
69,4 |
11451 |
17 |
0 |
55 |
12000 |
20 |
0 |
55 |
12000 |
20 |
0 |
0 |
- |
20 |
0 |
90 |
4544,9 |
4 |
0 |
100 |
95,7 |
0 |
0 |
- |
- |
- |
- |
#3 |
Valves Location |
O |
53,8 |
6000,7 |
19 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
5 |
156,9 |
6 |
13 |
0 |
- |
0 |
20 |
20 |
1240,4 |
18 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Disq. |
Disq. |
Disq. |
Disq. |
5 |
1,1 |
13 |
6 |
5 |
1,1 |
13 |
6 |
Disq. |
Disq. |
Disq. |
Disq. |
90 |
9323,6 |
17 |
0 |
0 |
- |
0 |
20 |
- |
- |
- |
- |
#4 |
Abstract Dialectical Frameworks |
O |
100 |
1555 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
80 |
1617,9 |
4 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
35,6 |
2699,2 |
15 |
0 |
35,6 |
2710,5 |
15 |
0 |
- |
- |
- |
- |
25 |
451,4 |
15 |
0 |
Disq. |
Disq. |
Disq. |
Disq. |
- |
- |
- |
- |
- |
- |
- |
- |
#4 |
Complex Optimization |
D |
85 |
553,6 |
3 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
100 |
1340,7 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
20 |
0 |
0 |
- |
20 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
100 |
461,7 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
#4 |
Minimal Diagnosis |
D |
100 |
199,1 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
100 |
519,9 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
65 |
4793,2 |
7 |
0 |
65 |
4831,3 |
7 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
100 |
191,4 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
#4 |
Strategic Companies |
Q |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
0 |
20 |
0 |
- |
0 |
20 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
|
Track #1 |
|
185 |
5532,6 |
3 |
0 |
15 |
1510,4 |
17 |
20 |
160 |
6324,8 |
8 |
0 |
140 |
5871,5 |
12 |
0 |
0 |
0 |
20 |
20 |
165 |
4742,8 |
7 |
0 |
130 |
4809 |
14 |
0 |
95 |
3661,4 |
21 |
0 |
110 |
3755,9 |
11 |
7 |
160 |
3918,7 |
1 |
7 |
160 |
3949 |
1 |
7 |
0 |
0 |
0 |
0 |
195 |
1939,8 |
1 |
0 |
0 |
0 |
20 |
20 |
130 |
4230,2 |
14 |
0 |
|
Track #2 |
|
860 |
14904 |
86 |
42 |
670 |
15167,8 |
71 |
93 |
735 |
9593,4 |
78 |
75 |
795 |
18186,7 |
66 |
74 |
140 |
5662,8 |
184 |
88 |
870 |
13749,4 |
62 |
64 |
735 |
10277,6 |
78 |
75 |
790 |
20001,9 |
68 |
74 |
605 |
17511,2 |
154 |
45 |
740 |
14622,4 |
95 |
77 |
660 |
11940,5 |
95 |
73 |
0 |
0 |
0 |
0 |
995 |
13189 |
51 |
50 |
205 |
8373,9 |
138 |
121 |
865 |
14332,8 |
48 |
79 |
|
Track #3 |
|
321,9 |
21018,7 |
41 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
115 |
2529,6 |
44 |
13 |
110 |
523,8 |
38 |
20 |
125 |
4667 |
57 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
224,5 |
32453,5 |
54 |
0 |
186,2 |
28802,3 |
70 |
6 |
186,2 |
28802,3 |
70 |
6 |
45,6 |
12000 |
60 |
0 |
380 |
29659 |
44 |
0 |
110 |
383,2 |
38 |
20 |
0 |
0 |
0 |
0 |
|
Track #4 |
|
285 |
2307,7 |
3 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
280 |
3478,5 |
4 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
100,6 |
7492,4 |
42 |
20 |
100,6 |
7541,8 |
42 |
20 |
0 |
0 |
0 |
0 |
25 |
451,4 |
15 |
0 |
200 |
653,1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
Overall |
|
1652 |
43763 |
133 |
42 |
685 |
16678,2 |
88 |
113 |
895 |
15918,2 |
86 |
75 |
1050 |
26587,8 |
122 |
87 |
250 |
6186,6 |
242 |
128 |
1440 |
26637,7 |
130 |
64 |
865 |
15086,6 |
92 |
75 |
885 |
23663,2 |
89 |
74 |
1040 |
61213 |
261 |
72 |
1187 |
54885,2 |
208 |
110 |
1006 |
44691,8 |
166 |
86 |
71 |
12451,4 |
75 |
0 |
1770 |
45440,9 |
96 |
50 |
315 |
8757,1 |
196 |
161 |
995 |
18563 |
62 |
79 |