|
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 | |