Solver Name | Progress | adaptg2wsat2009 2009-03-23 (incomplete) |
|
adaptg2wsat2009++ 2009-03-23 (incomplete) |
|
CircUs 2009-03-23 (complete) |
|
clasp 1.2.0-SAT09-32 (complete) |
|
CSat 2009-03-22 (complete) |
|
glucose 1.0 (complete) |
|
gnovelty+ 2009-03-22 (incomplete) |
|
gnovelty+2 2009-03-22 (incomplete) |
|
gnovelty+2-H 2009-03-22 (incomplete) |
|
gNovelty+-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
|
Hybrid2 2009-03-22 (incomplete) |
|
hybridGM 1 (incomplete) |
|
hybridGM3 3 (incomplete) |
|
hybridGM7 7 (incomplete) |
|
HydraSAT 2009-03-22-Base (complete) |
|
HydraSAT-Flat 2009-03-22-Flat (complete) |
|
HydraSAT-Multi 2009-03-22-Multi (complete) |
|
iPAWS 2009-03-22 (incomplete) |
|
IUT_BMB_SAT 1.0 (complete) |
|
kw 2009-03-20 (complete) |
|
LySAT c/2009-03-20 (complete) |
|
LySAT i/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
|
march_hi hi (complete) |
|
march_nn nn (complete) |
|
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
|
MiniSAT 09z 2009-03-22 (complete) |
|
minisat_cumr p-2009-03-18 (complete) |
|
MoRsat 2009-03-03 (complete) |
|
MXC 2009-03-10 (complete) |
|
NCVWr 2009-03-22 (incomplete) |
|
picosat 913 (complete) |
|
precosat 236 (complete) |
|
Rsat 2009-03-22 (complete) |
|
SApperloT base (complete) |
|
SApperloT hrp (complete) |
|
SAT07 reference solver: picosat 535 (complete) |
|
SAT07 reference solver: Rsat 2007-02-08 (complete) |
|
SAT4J CORE 2.1 RC1 (complete) |
|
satake 2009-03-22 (complete) |
|
SATzilla2009_C 2009-03-22 (complete) |
|
SATzilla2009_I 2009-03-22 (complete) |
|
SATzilla2009_R 2009-03-22 (complete) |
|
slstc 1.0 (incomplete) |
|
TNM 2009-03-22 (incomplete) |
|
tts tts-5-0 (complete) |
|
ttsth-5-0 2009-03-19 (complete) |
|
VARSAT-crafted 2009-03-22 (complete) |
|
VARSAT-industrial 2009-03-22 (complete) |
|
VARSAT-random 2009-03-22 (complete) |
|
---|
Solver Name | Progress | adaptg2wsat2009 2009-03-23 (incomplete) |
|
adaptg2wsat2009++ 2009-03-23 (incomplete) |
|
CircUs 2009-03-23 (complete) |
|
clasp 1.2.0-SAT09-32 (complete) |
|
CSat 2009-03-22 (complete) |
|
glucose 1.0 (complete) |
|
gnovelty+ 2009-03-22 (incomplete) |
|
gnovelty+2 2009-03-22 (incomplete) |
|
gnovelty+2-H 2009-03-22 (incomplete) |
|
gNovelty+-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
|
Hybrid2 2009-03-22 (incomplete) |
|
hybridGM 1 (incomplete) |
|
hybridGM3 3 (incomplete) |
|
hybridGM7 7 (incomplete) |
|
HydraSAT 2009-03-22-Base (complete) |
|
HydraSAT-Flat 2009-03-22-Flat (complete) |
|
HydraSAT-Multi 2009-03-22-Multi (complete) |
|
iPAWS 2009-03-22 (incomplete) |
|
IUT_BMB_SAT 1.0 (complete) |
|
kw 2009-03-20 (complete) |
|
LySAT c/2009-03-20 (complete) |
|
LySAT i/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
|
march_hi hi (complete) |
|
march_nn nn (complete) |
|
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
|
MiniSAT 09z 2009-03-22 (complete) |
|
minisat_cumr p-2009-03-18 (complete) |
|
MoRsat 2009-03-03 (complete) |
|
MXC 2009-03-10 (complete) |
|
NCVWr 2009-03-22 (incomplete) |
|
picosat 913 (complete) |
|
precosat 236 (complete) |
|
Rsat 2009-03-22 (complete) |
|
SApperloT base (complete) |
|
SApperloT hrp (complete) |
|
SAT07 reference solver: March KS 2007-02-08 (complete) |
|
SAT07 reference solver: minisat SAT 2007 (complete) |
|
SAT07 reference solver: SATzilla CRAFTED (complete) |
|
SAT4J CORE 2.1 RC1 (complete) |
|
satake 2009-03-22 (complete) |
|
SATzilla2009_C 2009-03-22 (complete) |
|
SATzilla2009_I 2009-03-22 (complete) |
|
SATzilla2009_R 2009-03-22 (complete) |
|
slstc 1.0 (incomplete) |
|
TNM 2009-03-22 (incomplete) |
|
tts tts-5-0 (complete) |
|
ttsth-5-0 2009-03-19 (complete) |
|
VARSAT-crafted 2009-03-22 (complete) |
|
VARSAT-industrial 2009-03-22 (complete) |
|
VARSAT-random 2009-03-22 (complete) |
|
---|
Solver Name | #benchs | Solved | UNSAT. | SAT. | SAT (timeout) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | UNKNOWN (abort) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
adaptg2wsat2009 2009-03-23 (incomplete) |
570 | 294 (51.58%) |
0 (0%) |
294 (51.58%) |
0 (0%) |
0 (0%) |
276 (48.42%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
adaptg2wsat2009++ 2009-03-23 (incomplete) |
570 | 297 (52.11%) |
0 (0%) |
297 (52.11%) |
0 (0%) |
0 (0%) |
273 (47.89%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
CircUs 2009-03-23 (complete) |
570 | 8 (1.4%) |
0 (0%) |
8 (1.4%) |
0 (0%) |
0 (0%) |
562 (98.6%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 1.2.0-SAT09-32 (complete) |
570 | 84 (14.74%) |
18 (3.16%) |
66 (11.58%) |
0 (0%) |
0 (0%) |
486 (85.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
CSat 2009-03-22 (complete) |
570 | 6 (1.05%) |
0 (0%) |
6 (1.05%) |
0 (0%) |
0 (0%) |
564 (98.95%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
glucose 1.0 (complete) |
570 | 17 (2.98%) |
0 (0%) |
17 (2.98%) |
0 (0%) |
0 (0%) |
553 (97.02%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+ 2009-03-22 (incomplete) |
570 | 281 (49.3%) |
0 (0%) |
281 (49.3%) |
0 (0%) |
0 (0%) |
289 (50.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+2 2009-03-22 (incomplete) |
570 | 305 (53.51%) |
0 (0%) |
305 (53.51%) |
0 (0%) |
0 (0%) |
265 (46.49%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+2-H 2009-03-22 (incomplete) |
570 | 305 (53.51%) |
0 (0%) |
305 (53.51%) |
0 (0%) |
0 (0%) |
265 (46.49%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gNovelty+-T 2009-03-22 (incomplete) |
570 | 266 (46.67%) |
0 (0%) |
266 (46.67%) |
0 (0%) |
0 (0%) |
304 (53.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gNovelty+-V.2-T 2009-03-22 (incomplete) |
570 | 304 (53.33%) |
0 (0%) |
304 (53.33%) |
0 (0%) |
0 (0%) |
266 (46.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
570 | 287 (50.35%) |
0 (0%) |
287 (50.35%) |
0 (0%) |
0 (0%) |
283 (49.65%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Hybrid2 2009-03-22 (incomplete) |
570 | 290 (50.88%) |
0 (0%) |
290 (50.88%) |
0 (0%) |
0 (0%) |
280 (49.12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM 1 (incomplete) |
570 | 294 (51.58%) |
0 (0%) |
294 (51.58%) |
0 (0%) |
0 (0%) |
270 (47.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
6 (1.05%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM3 3 (incomplete) |
570 | 299 (52.46%) |
0 (0%) |
299 (52.46%) |
0 (0%) |
0 (0%) |
266 (46.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
5 (0.88%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM7 7 (incomplete) |
570 | 298 (52.28%) |
0 (0%) |
298 (52.28%) |
0 (0%) |
0 (0%) |
222 (38.95%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
50 (8.77%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT 2009-03-22-Base (complete) |
570 | 13 (2.28%) |
0 (0%) |
13 (2.28%) |
0 (0%) |
0 (0%) |
557 (97.72%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT-Flat 2009-03-22-Flat (complete) |
570 | 16 (2.81%) |
1 (0.18%) |
15 (2.63%) |
0 (0%) |
0 (0%) |
554 (97.19%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT-Multi 2009-03-22-Multi (complete) |
570 | 16 (2.81%) |
0 (0%) |
16 (2.81%) |
0 (0%) |
0 (0%) |
554 (97.19%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
iPAWS 2009-03-22 (incomplete) |
570 | 258 (45.26%) |
0 (0%) |
258 (45.26%) |
0 (0%) |
0 (0%) |
312 (54.74%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
IUT_BMB_SAT 1.0 (complete) |
570 | 63 (11.05%) |
13 (2.28%) |
50 (8.77%) |
0 (0%) |
0 (0%) |
507 (88.95%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
kw 2009-03-20 (complete) |
570 | 4 (0.7%) |
0 (0%) |
4 (0.7%) |
0 (0%) |
0 (0%) |
566 (99.3%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
LySAT c/2009-03-20 (complete) |
570 | 60 (10.53%) |
12 (2.11%) |
48 (8.42%) |
0 (0%) |
0 (0%) |
510 (89.47%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
LySAT i/2009-03-20 (complete) |
570 | 6 (1.05%) |
0 (0%) |
6 (1.05%) |
0 (0%) |
0 (0%) |
564 (98.95%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
570 | 7 (1.23%) |
0 (0%) |
7 (1.23%) |
0 (0%) |
0 (0%) |
563 (98.77%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
570 | 5 (0.88%) |
0 (0%) |
5 (0.88%) |
0 (0%) |
0 (0%) |
565 (99.12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
570 | 6 (1.05%) |
0 (0%) |
6 (1.05%) |
0 (0%) |
0 (0%) |
564 (98.95%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
march_hi hi (complete) |
570 | 247 (43.33%) |
100 (17.54%) |
147 (25.79%) |
0 (0%) |
0 (0%) |
323 (56.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
march_nn nn (complete) |
570 | 243 (42.63%) |
98 (17.19%) |
145 (25.44%) |
0 (0%) |
0 (0%) |
327 (57.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
570 | 41 (7.19%) |
4 (0.7%) |
37 (6.49%) |
0 (0%) |
0 (0%) |
529 (92.81%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSAT 09z 2009-03-22 (complete) |
570 | 3 (0.53%) |
0 (0%) |
3 (0.53%) |
0 (0%) |
0 (0%) |
567 (99.47%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
minisat_cumr p-2009-03-18 (complete) |
570 | 29 (5.09%) |
0 (0%) |
29 (5.09%) |
0 (0%) |
0 (0%) |
541 (94.91%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MoRsat 2009-03-03 (complete) |
570 | 212 (37.19%) |
22 (3.86%) |
190 (33.33%) |
0 (0%) |
0 (0%) |
358 (62.81%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MXC 2009-03-10 (complete) |
570 | 61 (10.7%) |
11 (1.93%) |
50 (8.77%) |
0 (0%) |
0 (0%) |
509 (89.3%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
NCVWr 2009-03-22 (incomplete) |
570 | 278 (48.77%) |
0 (0%) |
278 (48.77%) |
0 (0%) |
0 (0%) |
292 (51.23%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
picosat 913 (complete) |
570 | 79 (13.86%) |
22 (3.86%) |
57 (10%) |
0 (0%) |
0 (0%) |
491 (86.14%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
precosat 236 (complete) |
570 | 27 (4.74%) |
2 (0.35%) |
25 (4.39%) |
0 (0%) |
0 (0%) |
543 (95.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Rsat 2009-03-22 (complete) |
570 | 5 (0.88%) |
0 (0%) |
5 (0.88%) |
0 (0%) |
0 (0%) |
565 (99.12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SApperloT base (complete) |
570 | 70 (12.28%) |
17 (2.98%) |
53 (9.3%) |
0 (0%) |
0 (0%) |
500 (87.72%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SApperloT hrp (complete) |
570 | 17 (2.98%) |
4 (0.7%) |
13 (2.28%) |
0 (0%) |
0 (0%) |
553 (97.02%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) |
570 | 265 (46.49%) |
0 (0%) |
265 (46.49%) |
0 (0%) |
0 (0%) |
305 (53.51%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) |
570 | 272 (47.72%) |
0 (0%) |
272 (47.72%) |
0 (0%) |
0 (0%) |
298 (52.28%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: March KS 2007-02-08 (complete) |
570 | 239 (41.93%) |
90 (15.79%) |
149 (26.14%) |
0 (0%) |
0 (0%) |
327 (57.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
4 (0.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: SATzilla RANDOM (complete) |
570 | 268 (47.02%) |
91 (15.96%) |
177 (31.05%) |
0 (0%) |
31 (5.44%) |
28 (4.91%) |
0 (0%) |
243 (42.63%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT4J CORE 2.1 RC1 (complete) |
570 | 4 (0.7%) |
0 (0%) |
4 (0.7%) |
0 (0%) |
0 (0%) |
566 (99.3%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
satake 2009-03-22 (complete) |
570 | 24 (4.21%) |
0 (0%) |
24 (4.21%) |
0 (0%) |
5 (0.88%) |
541 (94.91%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SATzilla2009_C 2009-03-22 (complete) |
570 | 73 (12.81%) |
12 (2.11%) |
61 (10.7%) |
0 (0%) |
0 (0%) |
19 (3.33%) |
0 (0%) |
478 (83.86%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SATzilla2009_I 2009-03-22 (complete) |
570 | 145 (25.44%) |
55 (9.65%) |
90 (15.79%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
425 (74.56%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SATzilla2009_R 2009-03-22 (complete) |
570 | 365 (64.04%) |
66 (11.58%) |
299 (52.46%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
205 (35.96%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
slstc 1.0 (incomplete) |
570 | 118 (20.7%) |
0 (0%) |
118 (20.7%) |
0 (0%) |
0 (0%) |
452 (79.3%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
TNM 2009-03-22 (incomplete) |
570 | 317 (55.61%) |
0 (0%) |
317 (55.61%) |
0 (0%) |
0 (0%) |
253 (44.39%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
tts tts-5-0 (complete) |
570 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
83 (14.56%) |
487 (85.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ttsth-5-0 2009-03-19 (complete) |
570 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
51 (8.95%) |
512 (89.82%) |
7 (1.23%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-crafted 2009-03-22 (complete) |
570 | 70 (12.28%) |
10 (1.75%) |
60 (10.53%) |
0 (0%) |
0 (0%) |
500 (87.72%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-industrial 2009-03-22 (complete) |
570 | 71 (12.46%) |
10 (1.75%) |
61 (10.7%) |
0 (0%) |
0 (0%) |
499 (87.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-random 2009-03-22 (complete) |
570 | 83 (14.56%) |
11 (1.93%) |
72 (12.63%) |
0 (0%) |
0 (0%) |
487 (85.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | #benchs | Solved | UNSAT. | SAT. | SAT (timeout) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | UNKNOWN (abort) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
adaptg2wsat2009 2009-03-23 (incomplete) |
1143 | 375 (32.81%) |
5 (0.44%) |
370 (32.37%) |
0 (0%) |
9 (0.79%) |
758 (66.32%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
adaptg2wsat2009++ 2009-03-23 (incomplete) |
1143 | 374 (32.72%) |
5 (0.44%) |
369 (32.28%) |
0 (0%) |
9 (0.79%) |
759 (66.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
CircUs 2009-03-23 (complete) |
1143 | 259 (22.66%) |
122 (10.67%) |
137 (11.99%) |
0 (0%) |
0 (0%) |
882 (77.17%) |
1 (0.09%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 1.2.0-SAT09-32 (complete) |
1143 | 353 (30.88%) |
156 (13.65%) |
197 (17.24%) |
0 (0%) |
0 (0%) |
787 (68.85%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
CSat 2009-03-22 (complete) |
1143 | 162 (14.17%) |
66 (5.77%) |
96 (8.4%) |
0 (0%) |
0 (0%) |
980 (85.74%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
glucose 1.0 (complete) |
1143 | 283 (24.76%) |
137 (11.99%) |
146 (12.77%) |
0 (0%) |
0 (0%) |
859 (75.15%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+ 2009-03-22 (incomplete) |
1143 | 342 (29.92%) |
0 (0%) |
342 (29.92%) |
0 (0%) |
0 (0%) |
785 (68.68%) |
0 (0%) |
16 (1.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+2 2009-03-22 (incomplete) |
1143 | 355 (31.06%) |
2 (0.17%) |
353 (30.88%) |
0 (0%) |
0 (0%) |
745 (65.18%) |
10 (0.87%) |
23 (2.01%) |
0 (0%) |
0 (0%) |
0 (0%) |
10 (0.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+2-H 2009-03-22 (incomplete) |
1143 | 352 (30.8%) |
2 (0.17%) |
350 (30.62%) |
0 (0%) |
0 (0%) |
751 (65.7%) |
5 (0.44%) |
16 (1.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
12 (1.05%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
gNovelty+-T 2009-03-22 (incomplete) |
1143 | 326 (28.52%) |
0 (0%) |
326 (28.52%) |
0 (0%) |
0 (0%) |
783 (68.5%) |
0 (0%) |
16 (1.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
18 (1.57%) |
0 (0%) |
0 (0%) |
0 (0%) |
gNovelty+-V.2-T 2009-03-22 (incomplete) |
1143 | 358 (31.32%) |
2 (0.17%) |
356 (31.15%) |
0 (0%) |
0 (0%) |
740 (64.74%) |
3 (0.26%) |
15 (1.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
16 (1.4%) |
0 (0%) |
11 (0.96%) |
0 (0%) |
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
1143 | 337 (29.48%) |
2 (0.17%) |
335 (29.31%) |
0 (0%) |
0 (0%) |
772 (67.54%) |
3 (0.26%) |
15 (1.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
13 (1.14%) |
0 (0%) |
3 (0.26%) |
0 (0%) |
Hybrid2 2009-03-22 (incomplete) |
1143 | 368 (32.2%) |
1 (0.09%) |
367 (32.11%) |
0 (0%) |
9 (0.79%) |
759 (66.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM 1 (incomplete) |
1143 | 350 (30.62%) |
0 (0%) |
350 (30.62%) |
0 (0%) |
0 (0%) |
677 (59.23%) |
0 (0%) |
87 (7.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
29 (2.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM3 3 (incomplete) |
1143 | 355 (31.06%) |
0 (0%) |
355 (31.06%) |
0 (0%) |
0 (0%) |
675 (59.06%) |
0 (0%) |
90 (7.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
23 (2.01%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM7 7 (incomplete) |
1143 | 343 (30.01%) |
0 (0%) |
343 (30.01%) |
0 (0%) |
0 (0%) |
579 (50.66%) |
0 (0%) |
109 (9.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
112 (9.8%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT 2009-03-22-Base (complete) |
1143 | 228 (19.95%) |
96 (8.4%) |
132 (11.55%) |
0 (0%) |
0 (0%) |
914 (79.97%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT-Flat 2009-03-22-Flat (complete) |
1143 | 233 (20.38%) |
97 (8.49%) |
136 (11.9%) |
0 (0%) |
0 (0%) |
909 (79.53%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT-Multi 2009-03-22-Multi (complete) |
1143 | 225 (19.69%) |
90 (7.87%) |
135 (11.81%) |
0 (0%) |
0 (0%) |
917 (80.23%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
iPAWS 2009-03-22 (incomplete) |
1143 | 337 (29.48%) |
0 (0%) |
337 (29.48%) |
0 (0%) |
85 (7.44%) |
719 (62.9%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
IUT_BMB_SAT 1.0 (complete) |
1143 | 299 (26.16%) |
127 (11.11%) |
172 (15.05%) |
0 (0%) |
0 (0%) |
834 (72.97%) |
10 (0.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
kw 2009-03-20 (complete) |
1143 | 260 (22.75%) |
126 (11.02%) |
134 (11.72%) |
0 (0%) |
0 (0%) |
875 (76.55%) |
8 (0.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
LySAT c/2009-03-20 (complete) |
1143 | 295 (25.81%) |
126 (11.02%) |
169 (14.79%) |
0 (0%) |
0 (0%) |
840 (73.49%) |
4 (0.35%) |
4 (0.35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
LySAT i/2009-03-20 (complete) |
1143 | 259 (22.66%) |
127 (11.11%) |
132 (11.55%) |
0 (0%) |
0 (0%) |
878 (76.82%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
1143 | 255 (22.31%) |
123 (10.76%) |
132 (11.55%) |
0 (0%) |
0 (0%) |
881 (77.08%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
1143 | 257 (22.48%) |
126 (11.02%) |
131 (11.46%) |
0 (0%) |
0 (0%) |
880 (76.99%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
1143 | 250 (21.87%) |
123 (10.76%) |
127 (11.11%) |
0 (0%) |
0 (0%) |
886 (77.52%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
march_hi hi (complete) |
1143 | 331 (28.96%) |
130 (11.37%) |
201 (17.59%) |
0 (0%) |
0 (0%) |
784 (68.59%) |
26 (2.27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
march_nn nn (complete) |
1143 | 322 (28.17%) |
124 (10.85%) |
198 (17.32%) |
0 (0%) |
0 (0%) |
792 (69.29%) |
26 (2.27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
1143 | 310 (27.12%) |
134 (11.72%) |
176 (15.4%) |
0 (0%) |
0 (0%) |
832 (72.79%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSAT 09z 2009-03-22 (complete) |
1143 | 254 (22.22%) |
120 (10.5%) |
134 (11.72%) |
0 (0%) |
0 (0%) |
887 (77.6%) |
1 (0.09%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
minisat_cumr p-2009-03-18 (complete) |
1143 | 272 (23.8%) |
110 (9.62%) |
162 (14.17%) |
0 (0%) |
0 (0%) |
869 (76.03%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
MoRsat 2009-03-03 (complete) |
1143 | 419 (36.66%) |
121 (10.59%) |
298 (26.07%) |
0 (0%) |
4 (0.35%) |
693 (60.63%) |
0 (0%) |
0 (0%) |
0 (0%) |
9 (0.79%) |
0 (0%) |
12 (1.05%) |
1 (0.09%) |
1 (0.09%) |
4 (0.35%) |
MXC 2009-03-10 (complete) |
1143 | 332 (29.05%) |
140 (12.25%) |
192 (16.8%) |
0 (0%) |
1 (0.09%) |
810 (70.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
NCVWr 2009-03-22 (incomplete) |
1143 | 336 (29.4%) |
1 (0.09%) |
335 (29.31%) |
0 (0%) |
9 (0.79%) |
791 (69.2%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
picosat 913 (complete) |
1143 | 330 (28.87%) |
130 (11.37%) |
200 (17.5%) |
0 (0%) |
0 (0%) |
813 (71.13%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
precosat 236 (complete) |
1143 | 313 (27.38%) |
142 (12.42%) |
171 (14.96%) |
0 (0%) |
0 (0%) |
827 (72.35%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
Rsat 2009-03-22 (complete) |
1143 | 253 (22.13%) |
124 (10.85%) |
129 (11.29%) |
0 (0%) |
4 (0.35%) |
885 (77.43%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SApperloT base (complete) |
1143 | 312 (27.3%) |
131 (11.46%) |
181 (15.84%) |
0 (0%) |
0 (0%) |
831 (72.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SApperloT hrp (complete) |
1143 | 226 (19.77%) |
102 (8.92%) |
124 (10.85%) |
0 (0%) |
0 (0%) |
916 (80.14%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT4J CORE 2.1 RC1 (complete) |
1143 | 170 (14.87%) |
70 (6.12%) |
100 (8.75%) |
0 (0%) |
0 (0%) |
972 (85.04%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
satake 2009-03-22 (complete) |
1143 | 191 (16.71%) |
72 (6.3%) |
119 (10.41%) |
0 (0%) |
8 (0.7%) |
934 (81.71%) |
3 (0.26%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
5 (0.44%) |
0 (0%) |
0 (0%) |
SATzilla2009_C 2009-03-22 (complete) |
1143 | 304 (26.6%) |
125 (10.94%) |
179 (15.66%) |
0 (0%) |
0 (0%) |
23 (2.01%) |
2 (0.17%) |
814 (71.22%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SATzilla2009_I 2009-03-22 (complete) |
1143 | 415 (36.31%) |
179 (15.66%) |
236 (20.65%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
726 (63.52%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
SATzilla2009_R 2009-03-22 (complete) |
1143 | 528 (46.19%) |
115 (10.06%) |
413 (36.13%) |
0 (0%) |
0 (0%) |
2 (0.17%) |
3 (0.26%) |
610 (53.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
slstc 1.0 (incomplete) |
1143 | 161 (14.09%) |
1 (0.09%) |
160 (14%) |
0 (0%) |
0 (0%) |
979 (85.65%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
TNM 2009-03-22 (incomplete) |
1143 | 385 (33.68%) |
1 (0.09%) |
384 (33.6%) |
0 (0%) |
9 (0.79%) |
742 (64.92%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
tts tts-5-0 (complete) |
1143 | 56 (4.9%) |
25 (2.19%) |
31 (2.71%) |
0 (0%) |
178 (15.57%) |
697 (60.98%) |
141 (12.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
71 (6.21%) |
0 (0%) |
0 (0%) |
0 (0%) |
ttsth-5-0 2009-03-19 (complete) |
1143 | 54 (4.72%) |
26 (2.27%) |
28 (2.45%) |
0 (0%) |
107 (9.36%) |
727 (63.6%) |
182 (15.92%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
73 (6.39%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-crafted 2009-03-22 (complete) |
1143 | 271 (23.71%) |
106 (9.27%) |
165 (14.44%) |
0 (0%) |
0 (0%) |
868 (75.94%) |
4 (0.35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-industrial 2009-03-22 (complete) |
1143 | 294 (25.72%) |
111 (9.71%) |
183 (16.01%) |
0 (0%) |
0 (0%) |
846 (74.02%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-random 2009-03-22 (complete) |
1143 | 226 (19.77%) |
82 (7.17%) |
144 (12.6%) |
0 (0%) |
0 (0%) |
914 (79.97%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | adaptg2wsat2009 2009-03-23 (incomplete) |
|
adaptg2wsat2009++ 2009-03-23 (incomplete) |
|
CircUs 2009-03-23 (complete) |
|
clasp 1.2.0-SAT09-32 (complete) |
|
CSat 2009-03-22 (complete) |
|
glucose 1.0 (complete) |
|
gnovelty+ 2009-03-22 (incomplete) |
|
gnovelty+2 2009-03-22 (incomplete) |
|
gnovelty+2-H 2009-03-22 (incomplete) |
|
gNovelty+-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
|
Hybrid2 2009-03-22 (incomplete) |
|
hybridGM 1 (incomplete) |
|
hybridGM3 3 (incomplete) |
|
hybridGM7 7 (incomplete) |
|
HydraSAT 2009-03-22-Base (complete) |
|
HydraSAT-Flat 2009-03-22-Flat (complete) |
|
HydraSAT-Multi 2009-03-22-Multi (complete) |
|
iPAWS 2009-03-22 (incomplete) |
|
IUT_BMB_SAT 1.0 (complete) |
|
kw 2009-03-20 (complete) |
|
LySAT c/2009-03-20 (complete) |
|
LySAT i/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
|
march_hi hi (complete) |
|
march_nn nn (complete) |
|
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
|
MiniSAT 09z 2009-03-22 (complete) |
|
minisat_cumr p-2009-03-18 (complete) |
|
MoRsat 2009-03-03 (complete) |
|
MXC 2009-03-10 (complete) |
|
NCVWr 2009-03-22 (incomplete) |
|
picosat 913 (complete) |
|
precosat 236 (complete) |
|
Rsat 2009-03-22 (complete) |
|
SApperloT base (complete) |
|
SApperloT hrp (complete) |
|
SAT4J CORE 2.1 RC1 (complete) |
|
satake 2009-03-22 (complete) |
|
SATzilla2009_C 2009-03-22 (complete) |
|
SATzilla2009_I 2009-03-22 (complete) |
|
SATzilla2009_R 2009-03-22 (complete) |
|
slstc 1.0 (incomplete) |
|
TNM 2009-03-22 (incomplete) |
|
tts tts-5-0 (complete) |
|
ttsth-5-0 2009-03-19 (complete) |
|
VARSAT-crafted 2009-03-22 (complete) |
|
VARSAT-industrial 2009-03-22 (complete) |
|
VARSAT-random 2009-03-22 (complete) |
|
---|
This table summarizes the results in all categories for all solvers. Note however that some solvers may not have support for some categories. Therefore, the solvers may have run on a different number of benchmarks and this table should not be used to compare them.
Solver Name | #benchs | Solved | UNSAT. | SAT. | SAT (timeout) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | UNKNOWN (abort) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
adaptg2wsat2009 2009-03-23 (incomplete) |
1143 | 375 (32.81%) |
5 (0.44%) |
370 (32.37%) |
0 (0%) |
9 (0.79%) |
758 (66.32%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
adaptg2wsat2009++ 2009-03-23 (incomplete) |
1143 | 374 (32.72%) |
5 (0.44%) |
369 (32.28%) |
0 (0%) |
9 (0.79%) |
759 (66.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
CircUs 2009-03-23 (complete) |
1143 | 259 (22.66%) |
122 (10.67%) |
137 (11.99%) |
0 (0%) |
0 (0%) |
882 (77.17%) |
1 (0.09%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 1.2.0-SAT09-32 (complete) |
1143 | 353 (30.88%) |
156 (13.65%) |
197 (17.24%) |
0 (0%) |
0 (0%) |
787 (68.85%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
CSat 2009-03-22 (complete) |
1143 | 162 (14.17%) |
66 (5.77%) |
96 (8.4%) |
0 (0%) |
0 (0%) |
980 (85.74%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
glucose 1.0 (complete) |
1143 | 283 (24.76%) |
137 (11.99%) |
146 (12.77%) |
0 (0%) |
0 (0%) |
859 (75.15%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+ 2009-03-22 (incomplete) |
1143 | 342 (29.92%) |
0 (0%) |
342 (29.92%) |
0 (0%) |
0 (0%) |
785 (68.68%) |
0 (0%) |
16 (1.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+2 2009-03-22 (incomplete) |
1143 | 355 (31.06%) |
2 (0.17%) |
353 (30.88%) |
0 (0%) |
0 (0%) |
745 (65.18%) |
10 (0.87%) |
23 (2.01%) |
0 (0%) |
0 (0%) |
0 (0%) |
10 (0.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
gnovelty+2-H 2009-03-22 (incomplete) |
1143 | 352 (30.8%) |
2 (0.17%) |
350 (30.62%) |
0 (0%) |
0 (0%) |
751 (65.7%) |
5 (0.44%) |
16 (1.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
12 (1.05%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
gNovelty+-T 2009-03-22 (incomplete) |
1143 | 326 (28.52%) |
0 (0%) |
326 (28.52%) |
0 (0%) |
0 (0%) |
783 (68.5%) |
0 (0%) |
16 (1.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
18 (1.57%) |
0 (0%) |
0 (0%) |
0 (0%) |
gNovelty+-V.2-T 2009-03-22 (incomplete) |
1143 | 358 (31.32%) |
2 (0.17%) |
356 (31.15%) |
0 (0%) |
0 (0%) |
740 (64.74%) |
3 (0.26%) |
15 (1.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
16 (1.4%) |
0 (0%) |
11 (0.96%) |
0 (0%) |
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
1143 | 337 (29.48%) |
2 (0.17%) |
335 (29.31%) |
0 (0%) |
0 (0%) |
772 (67.54%) |
3 (0.26%) |
15 (1.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
13 (1.14%) |
0 (0%) |
3 (0.26%) |
0 (0%) |
Hybrid2 2009-03-22 (incomplete) |
1143 | 368 (32.2%) |
1 (0.09%) |
367 (32.11%) |
0 (0%) |
9 (0.79%) |
759 (66.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM 1 (incomplete) |
1143 | 350 (30.62%) |
0 (0%) |
350 (30.62%) |
0 (0%) |
0 (0%) |
677 (59.23%) |
0 (0%) |
87 (7.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
29 (2.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM3 3 (incomplete) |
1143 | 355 (31.06%) |
0 (0%) |
355 (31.06%) |
0 (0%) |
0 (0%) |
675 (59.06%) |
0 (0%) |
90 (7.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
23 (2.01%) |
0 (0%) |
0 (0%) |
0 (0%) |
hybridGM7 7 (incomplete) |
1143 | 343 (30.01%) |
0 (0%) |
343 (30.01%) |
0 (0%) |
0 (0%) |
579 (50.66%) |
0 (0%) |
109 (9.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
112 (9.8%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT 2009-03-22-Base (complete) |
1143 | 228 (19.95%) |
96 (8.4%) |
132 (11.55%) |
0 (0%) |
0 (0%) |
914 (79.97%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT-Flat 2009-03-22-Flat (complete) |
1143 | 233 (20.38%) |
97 (8.49%) |
136 (11.9%) |
0 (0%) |
0 (0%) |
909 (79.53%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
HydraSAT-Multi 2009-03-22-Multi (complete) |
1143 | 225 (19.69%) |
90 (7.87%) |
135 (11.81%) |
0 (0%) |
0 (0%) |
917 (80.23%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
iPAWS 2009-03-22 (incomplete) |
1143 | 337 (29.48%) |
0 (0%) |
337 (29.48%) |
0 (0%) |
85 (7.44%) |
719 (62.9%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
IUT_BMB_SAT 1.0 (complete) |
1143 | 299 (26.16%) |
127 (11.11%) |
172 (15.05%) |
0 (0%) |
0 (0%) |
834 (72.97%) |
10 (0.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
kw 2009-03-20 (complete) |
1143 | 260 (22.75%) |
126 (11.02%) |
134 (11.72%) |
0 (0%) |
0 (0%) |
875 (76.55%) |
8 (0.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
LySAT c/2009-03-20 (complete) |
1143 | 295 (25.81%) |
126 (11.02%) |
169 (14.79%) |
0 (0%) |
0 (0%) |
840 (73.49%) |
4 (0.35%) |
4 (0.35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
LySAT i/2009-03-20 (complete) |
1143 | 259 (22.66%) |
127 (11.11%) |
132 (11.55%) |
0 (0%) |
0 (0%) |
878 (76.82%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
1143 | 255 (22.31%) |
123 (10.76%) |
132 (11.55%) |
0 (0%) |
0 (0%) |
881 (77.08%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
1143 | 257 (22.48%) |
126 (11.02%) |
131 (11.46%) |
0 (0%) |
0 (0%) |
880 (76.99%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
1143 | 250 (21.87%) |
123 (10.76%) |
127 (11.11%) |
0 (0%) |
0 (0%) |
886 (77.52%) |
1 (0.09%) |
5 (0.44%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
march_hi hi (complete) |
1143 | 331 (28.96%) |
130 (11.37%) |
201 (17.59%) |
0 (0%) |
0 (0%) |
784 (68.59%) |
26 (2.27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
march_nn nn (complete) |
1143 | 322 (28.17%) |
124 (10.85%) |
198 (17.32%) |
0 (0%) |
0 (0%) |
792 (69.29%) |
26 (2.27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
1143 | 310 (27.12%) |
134 (11.72%) |
176 (15.4%) |
0 (0%) |
0 (0%) |
832 (72.79%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSAT 09z 2009-03-22 (complete) |
1143 | 254 (22.22%) |
120 (10.5%) |
134 (11.72%) |
0 (0%) |
0 (0%) |
887 (77.6%) |
1 (0.09%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
minisat_cumr p-2009-03-18 (complete) |
1143 | 272 (23.8%) |
110 (9.62%) |
162 (14.17%) |
0 (0%) |
0 (0%) |
869 (76.03%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
MoRsat 2009-03-03 (complete) |
1143 | 419 (36.66%) |
121 (10.59%) |
298 (26.07%) |
0 (0%) |
4 (0.35%) |
693 (60.63%) |
0 (0%) |
0 (0%) |
0 (0%) |
9 (0.79%) |
0 (0%) |
12 (1.05%) |
1 (0.09%) |
1 (0.09%) |
4 (0.35%) |
MXC 2009-03-10 (complete) |
1143 | 332 (29.05%) |
140 (12.25%) |
192 (16.8%) |
0 (0%) |
1 (0.09%) |
810 (70.87%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
NCVWr 2009-03-22 (incomplete) |
1143 | 336 (29.4%) |
1 (0.09%) |
335 (29.31%) |
0 (0%) |
9 (0.79%) |
791 (69.2%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
picosat 913 (complete) |
1143 | 330 (28.87%) |
130 (11.37%) |
200 (17.5%) |
0 (0%) |
0 (0%) |
813 (71.13%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
precosat 236 (complete) |
1143 | 313 (27.38%) |
142 (12.42%) |
171 (14.96%) |
0 (0%) |
0 (0%) |
827 (72.35%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
Rsat 2009-03-22 (complete) |
1143 | 253 (22.13%) |
124 (10.85%) |
129 (11.29%) |
0 (0%) |
4 (0.35%) |
885 (77.43%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SApperloT base (complete) |
1143 | 312 (27.3%) |
131 (11.46%) |
181 (15.84%) |
0 (0%) |
0 (0%) |
831 (72.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SApperloT hrp (complete) |
1143 | 226 (19.77%) |
102 (8.92%) |
124 (10.85%) |
0 (0%) |
0 (0%) |
916 (80.14%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) |
570 | 265 (46.49%) |
0 (0%) |
265 (46.49%) |
0 (0%) |
0 (0%) |
305 (53.51%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) |
570 | 272 (47.72%) |
0 (0%) |
272 (47.72%) |
0 (0%) |
0 (0%) |
298 (52.28%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: March KS 2007-02-08 (complete) |
851 | 300 (35.25%) |
109 (12.81%) |
191 (22.44%) |
0 (0%) |
0 (0%) |
537 (63.1%) |
3 (0.35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
11 (1.29%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: minisat SAT 2007 (complete) |
281 | 119 (42.35%) |
43 (15.3%) |
76 (27.05%) |
0 (0%) |
0 (0%) |
162 (57.65%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: picosat 535 (complete) |
292 | 126 (43.15%) |
67 (22.95%) |
59 (20.21%) |
0 (0%) |
0 (0%) |
166 (56.85%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: Rsat 2007-02-08 (complete) |
292 | 133 (45.55%) |
77 (26.37%) |
56 (19.18%) |
0 (0%) |
0 (0%) |
158 (54.11%) |
1 (0.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: SATzilla CRAFTED (complete) |
281 | 114 (40.57%) |
32 (11.39%) |
82 (29.18%) |
0 (0%) |
5 (1.78%) |
15 (5.34%) |
0 (0%) |
147 (52.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT07 reference solver: SATzilla RANDOM (complete) |
570 | 268 (47.02%) |
91 (15.96%) |
177 (31.05%) |
0 (0%) |
31 (5.44%) |
28 (4.91%) |
0 (0%) |
243 (42.63%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SAT4J CORE 2.1 RC1 (complete) |
1143 | 170 (14.87%) |
70 (6.12%) |
100 (8.75%) |
0 (0%) |
0 (0%) |
972 (85.04%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
satake 2009-03-22 (complete) |
1143 | 191 (16.71%) |
72 (6.3%) |
119 (10.41%) |
0 (0%) |
8 (0.7%) |
934 (81.71%) |
3 (0.26%) |
2 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
5 (0.44%) |
0 (0%) |
0 (0%) |
SATzilla2009_C 2009-03-22 (complete) |
1143 | 304 (26.6%) |
125 (10.94%) |
179 (15.66%) |
0 (0%) |
0 (0%) |
23 (2.01%) |
2 (0.17%) |
814 (71.22%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SATzilla2009_I 2009-03-22 (complete) |
1143 | 415 (36.31%) |
179 (15.66%) |
236 (20.65%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
726 (63.52%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
SATzilla2009_R 2009-03-22 (complete) |
1143 | 528 (46.19%) |
115 (10.06%) |
413 (36.13%) |
0 (0%) |
0 (0%) |
2 (0.17%) |
3 (0.26%) |
610 (53.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
slstc 1.0 (incomplete) |
1143 | 161 (14.09%) |
1 (0.09%) |
160 (14%) |
0 (0%) |
0 (0%) |
979 (85.65%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
TNM 2009-03-22 (incomplete) |
1143 | 385 (33.68%) |
1 (0.09%) |
384 (33.6%) |
0 (0%) |
9 (0.79%) |
742 (64.92%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (0.61%) |
0 (0%) |
0 (0%) |
0 (0%) |
tts tts-5-0 (complete) |
1143 | 56 (4.9%) |
25 (2.19%) |
31 (2.71%) |
0 (0%) |
178 (15.57%) |
697 (60.98%) |
141 (12.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
71 (6.21%) |
0 (0%) |
0 (0%) |
0 (0%) |
ttsth-5-0 2009-03-19 (complete) |
1143 | 54 (4.72%) |
26 (2.27%) |
28 (2.45%) |
0 (0%) |
107 (9.36%) |
727 (63.6%) |
182 (15.92%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
73 (6.39%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-crafted 2009-03-22 (complete) |
1143 | 271 (23.71%) |
106 (9.27%) |
165 (14.44%) |
0 (0%) |
0 (0%) |
868 (75.94%) |
4 (0.35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-industrial 2009-03-22 (complete) |
1143 | 294 (25.72%) |
111 (9.71%) |
183 (16.01%) |
0 (0%) |
0 (0%) |
846 (74.02%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
VARSAT-random 2009-03-22 (complete) |
1143 | 226 (19.77%) |
82 (7.17%) |
144 (12.6%) |
0 (0%) |
0 (0%) |
914 (79.97%) |
3 (0.26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | adaptg2wsat2009 2009-03-23 (incomplete) |
|
adaptg2wsat2009++ 2009-03-23 (incomplete) |
|
CircUs 2009-03-23 (complete) |
|
clasp 1.2.0-SAT09-32 (complete) |
|
CSat 2009-03-22 (complete) |
|
glucose 1.0 (complete) |
|
gnovelty+ 2009-03-22 (incomplete) |
|
gnovelty+2 2009-03-22 (incomplete) |
|
gnovelty+2-H 2009-03-22 (incomplete) |
|
gNovelty+-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T 2009-03-22 (incomplete) |
|
gNovelty+-V.2-T-H 2009-03-22 (incomplete) |
|
Hybrid2 2009-03-22 (incomplete) |
|
hybridGM 1 (incomplete) |
|
hybridGM3 3 (incomplete) |
|
hybridGM7 7 (incomplete) |
|
HydraSAT 2009-03-22-Base (complete) |
|
HydraSAT-Flat 2009-03-22-Flat (complete) |
|
HydraSAT-Multi 2009-03-22-Multi (complete) |
|
iPAWS 2009-03-22 (incomplete) |
|
IUT_BMB_SAT 1.0 (complete) |
|
kw 2009-03-20 (complete) |
|
LySAT c/2009-03-20 (complete) |
|
LySAT i/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 0/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 1/2009-03-20 (complete) |
|
ManySAT 1.1 aimd 2/2009-03-20 (complete) |
|
march_hi hi (complete) |
|
march_nn nn (complete) |
|
MiniSat 2.1 (Sat-race'08 Edition) (complete) |
|
MiniSAT 09z 2009-03-22 (complete) |
|
minisat_cumr p-2009-03-18 (complete) |
|
MoRsat 2009-03-03 (complete) |
|
MXC 2009-03-10 (complete) |
|
NCVWr 2009-03-22 (incomplete) |
|
picosat 913 (complete) |
|
precosat 236 (complete) |
|
Rsat 2009-03-22 (complete) |
|
SApperloT base (complete) |
|
SApperloT hrp (complete) |
|
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) |
|
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) |
|
SAT07 reference solver: March KS 2007-02-08 (complete) |
|
SAT07 reference solver: minisat SAT 2007 (complete) |
|
SAT07 reference solver: picosat 535 (complete) |
|
SAT07 reference solver: Rsat 2007-02-08 (complete) |
|
SAT07 reference solver: SATzilla CRAFTED (complete) |
|
SAT07 reference solver: SATzilla RANDOM (complete) |
|
SAT4J CORE 2.1 RC1 (complete) |
|
satake 2009-03-22 (complete) |
|
SATzilla2009_C 2009-03-22 (complete) |
|
SATzilla2009_I 2009-03-22 (complete) |
|
SATzilla2009_R 2009-03-22 (complete) |
|
slstc 1.0 (incomplete) |
|
TNM 2009-03-22 (incomplete) |
|
tts tts-5-0 (complete) |
|
ttsth-5-0 2009-03-19 (complete) |
|
VARSAT-crafted 2009-03-22 (complete) |
|
VARSAT-industrial 2009-03-22 (complete) |
|
VARSAT-random 2009-03-22 (complete) |
|
---|