Problems |
DLV |
DLV-EX |
CONSTRAINT-3COL[N=30,E=40] |
18.75 |
17.76 |
SCHEDULING |
1.41 |
1.31 |
SCHEDULING-ALTERNATE |
3.58 |
1.66 |
CRISTAL |
6.64 |
8.35 |
2QBF1 |
0.43 |
0.44 |
ANCESTOR |
81.00 |
83.11 |
3COL-SIMPLEX1 |
4.21 |
4.17 |
3COL-LADDER |
86.07 |
91.19 |
3COL-RANDOM1 |
0.74 |
0.71 |
HP-RANDOM1 |
1.47 |
1.55 |
DECOMP2 |
10.15 |
10.03 |
HANOI-Towers |
1.11 |
1.16 |
RAMSEY(3,7) !=
22 |
114.85 |
111.86 |
RAMSEY(3,7) !=
23 |
172.74 |
167.77 |
RAMSEY(3,7) != 23,
normal |
174.11 |
166.81 |
21-QUEENS |
1.03 |
1.13 |
TIMETABLING_4Groups |
136.17 |
138.51 |
TIMETABLING_5Groups |
228.12 |
246.77 |
SCHOOL_TIMETABLING |
376.13 |
376.24 | |