Solver Name | Progress | borg pb-dec-11.04.03 (complete) |
|
bsolo 3.2 (complete) |
|
clasp 2.0-R4191 (complete) |
|
MinisatID 2.4.8 [DEPRECATED] (complete) |
|
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
|
MinisatID 2.5.2 (fixed) (complete) |
|
MinisatID 2.5.2-gmp (fixed) (complete) |
|
Sat4j CuttingPlanes 2.3.0 (complete) |
|
Sat4j Res//CP 2.3.0 (complete) |
|
Sat4j Resolution 2.3.0 (complete) |
|
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx 2 2011-06-10 (fixed) (complete) |
|
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx E_2 2011-06-10 (fixed) (complete) |
|
wbo 1.6 (complete) |
|
---|
Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
borg pb-dec-11.04.03 (complete) |
100 | 73 (73%) |
20 (20%) |
0 (0%) |
53 (53%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
27 (27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
bsolo 3.2 (complete) |
100 | 62 (62%) |
15 (15%) |
0 (0%) |
47 (47%) |
0 (0%) |
0 (0%) |
0 (0%) |
33 (33%) |
5 (5%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 2.0-R4191 (complete) |
100 | 64 (64%) |
15 (15%) |
0 (0%) |
49 (49%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
36 (36%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.4.8 [DEPRECATED] (complete) |
100 | 57 (57%) |
10 (10%) |
0 (0%) |
47 (47%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
43 (43%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
100 | 57 (57%) |
10 (10%) |
0 (0%) |
47 (47%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
43 (43%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2 (fixed) (complete) |
100 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
100 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2-gmp (fixed) (complete) |
100 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
100 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j CuttingPlanes 2.3.0 (complete) |
100 | 65 (65%) |
15 (15%) |
0 (0%) |
50 (50%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
35 (35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Res//CP 2.3.0 (complete) |
100 | 65 (65%) |
15 (15%) |
0 (0%) |
50 (50%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
35 (35%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Resolution 2.3.0 (complete) |
100 | 27 (27%) |
15 (15%) |
0 (0%) |
12 (12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
73 (73%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
100 | 75 (75%) |
21 (21%) |
0 (0%) |
54 (54%) |
0 (0%) |
0 (0%) |
0 (0%) |
3 (3%) |
22 (22%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx 2 2011-06-10 (fixed) (complete) |
100 | 74 (74%) |
20 (20%) |
0 (0%) |
54 (54%) |
0 (0%) |
0 (0%) |
0 (0%) |
26 (26%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
100 | 75 (75%) |
20 (20%) |
0 (0%) |
55 (55%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (2%) |
23 (23%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx E_2 2011-06-10 (fixed) (complete) |
100 | 75 (75%) |
20 (20%) |
0 (0%) |
55 (55%) |
0 (0%) |
0 (0%) |
0 (0%) |
25 (25%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | borg pb-dec-11.04.03 (complete) |
|
bsolo 3.2 (complete) |
|
clasp 2.0-R4191 (complete) |
|
MinisatID 2.4.8 [DEPRECATED] (complete) |
|
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
|
MinisatID 2.5.2 (fixed) (complete) |
|
MinisatID 2.5.2-gmp (fixed) (complete) |
|
Sat4j CuttingPlanes 2.3.0 (complete) |
|
Sat4j Res//CP 2.3.0 (complete) |
|
Sat4j Resolution 2.3.0 (complete) |
|
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx 2 2011-06-10 (fixed) (complete) |
|
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx E_2 2011-06-10 (fixed) (complete) |
|
---|
Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
557 | 107 (19.21%) |
57 (10.23%) |
50 (8.98%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
446 (80.07%) |
4 (0.72%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2-gmp (fixed) (complete) |
557 | 117 (21.01%) |
57 (10.23%) |
60 (10.77%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
436 (78.28%) |
4 (0.72%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j CuttingPlanes 2.3.0 (complete) |
557 | 175 (31.42%) |
59 (10.59%) |
116 (20.83%) |
0 (0%) |
0 (0%) |
175 (31.42%) |
0 (0%) |
1 (0.18%) |
206 (36.98%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Res//CP 2.3.0 (complete) |
557 | 208 (37.34%) |
59 (10.59%) |
149 (26.75%) |
0 (0%) |
0 (0%) |
188 (33.75%) |
0 (0%) |
1 (0.18%) |
159 (28.55%) |
0 (0%) |
1 (0.18%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Resolution 2.3.0 (complete) |
557 | 201 (36.09%) |
57 (10.23%) |
144 (25.85%) |
0 (0%) |
0 (0%) |
192 (34.47%) |
0 (0%) |
0 (0%) |
164 (29.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
|
MinisatID 2.5.2-gmp (fixed) (complete) |
|
Sat4j CuttingPlanes 2.3.0 (complete) |
|
Sat4j Res//CP 2.3.0 (complete) |
|
Sat4j Resolution 2.3.0 (complete) |
|
---|
Solver Name | Progress | borg pb-opt-11.04.03 (complete) |
|
bsolo 3.2 (complete) |
|
clasp 2.0-R4191 (complete) |
|
MinisatID 2.4.8 [DEPRECATED] (complete) |
|
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
|
MinisatID 2.5.2 (fixed) (complete) |
|
MinisatID 2.5.2-gmp (fixed) (complete) |
|
pwbo 1.1 (complete) |
|
Sat4j CuttingPlanes 2.3.0 (complete) |
|
Sat4j Res//CP 2.3.0 (complete) |
|
Sat4j Resolution 2.3.0 (complete) |
|
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx 2 2011-06-10 (fixed) (complete) |
|
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx E_2 2011-06-10 (fixed) (complete) |
|
wbo 1.6 (complete) |
|
---|
Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
borg pb-opt-11.04.03 (complete) |
409 | 274 (66.99%) |
0 (0%) |
274 (66.99%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
128 (31.3%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (1.71%) |
0 (0%) |
0 (0%) |
bsolo 3.2 (complete) |
409 | 234 (57.21%) |
0 (0%) |
234 (57.21%) |
0 (0%) |
163 (39.85%) |
6 (1.47%) |
0 (0%) |
5 (1.22%) |
1 (0.24%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 2.0-R4191 [DEPRECATED] (complete) |
409 | 280 (68.46%) |
0 (0%) |
280 (68.46%) |
0 (0%) |
0 (0%) |
125 (30.56%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
4 (0.98%) |
0 (0%) |
0 (0%) |
clasp 2.0-R4191-patched (fixed) (complete) |
409 | 280 (68.46%) |
0 (0%) |
280 (68.46%) |
0 (0%) |
0 (0%) |
129 (31.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.4.8 [DEPRECATED] (complete) |
409 | 181 (44.25%) |
0 (0%) |
181 (44.25%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
228 (55.75%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
409 | 158 (38.63%) |
0 (0%) |
158 (38.63%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
251 (61.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2 (fixed) (complete) |
409 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
409 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2-gmp (fixed) (complete) |
409 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
409 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j CuttingPlanes 2.3.0 (complete) |
409 | 120 (29.34%) |
0 (0%) |
120 (29.34%) |
0 (0%) |
0 (0%) |
240 (58.68%) |
0 (0%) |
0 (0%) |
49 (11.98%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Res//CP 2.3.0 (complete) |
409 | 274 (66.99%) |
0 (0%) |
274 (66.99%) |
0 (0%) |
0 (0%) |
135 (33.01%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Resolution 2.3.0 (complete) |
409 | 277 (67.73%) |
0 (0%) |
277 (67.73%) |
0 (0%) |
0 (0%) |
132 (32.27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
409 | 294 (71.88%) |
0 (0%) |
294 (71.88%) |
0 (0%) |
14 (3.42%) |
81 (19.8%) |
0 (0%) |
0 (0%) |
20 (4.89%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx 2 2011-06-10 (fixed) (complete) |
409 | 294 (71.88%) |
0 (0%) |
294 (71.88%) |
0 (0%) |
103 (25.18%) |
0 (0%) |
0 (0%) |
0 (0%) |
12 (2.93%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
409 | 294 (71.88%) |
0 (0%) |
294 (71.88%) |
0 (0%) |
6 (1.47%) |
79 (19.32%) |
0 (0%) |
3 (0.73%) |
27 (6.6%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx E_2 2011-06-10 (fixed) (complete) |
409 | 297 (72.62%) |
0 (0%) |
297 (72.62%) |
0 (0%) |
104 (25.43%) |
0 (0%) |
0 (0%) |
0 (0%) |
8 (1.96%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
2278 | 824 (36.17%) |
212 (9.31%) |
416 (18.26%) |
196 (8.6%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1444 (63.39%) |
9 (0.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.04%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2-gmp (fixed) (complete) |
2278 | 741 (32.53%) |
284 (12.47%) |
292 (12.82%) |
165 (7.24%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1019 (44.73%) |
9 (0.4%) |
509 (22.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j CuttingPlanes 2.3.0 (complete) |
2278 | 872 (38.28%) |
232 (10.18%) |
476 (20.9%) |
164 (7.2%) |
0 (0%) |
796 (34.94%) |
0 (0%) |
1 (0.04%) |
609 (26.73%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Res//CP 2.3.0 (complete) |
2278 | 1296 (56.89%) |
345 (15.14%) |
718 (31.52%) |
233 (10.23%) |
0 (0%) |
680 (29.85%) |
0 (0%) |
1 (0.04%) |
300 (13.17%) |
0 (0%) |
1 (0.04%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Resolution 2.3.0 (complete) |
2278 | 1213 (53.25%) |
314 (13.78%) |
703 (30.86%) |
196 (8.6%) |
0 (0%) |
691 (30.33%) |
0 (0%) |
0 (0%) |
374 (16.42%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
|
MinisatID 2.5.2-gmp (fixed) (complete) |
|
Sat4j CuttingPlanes 2.3.0 (complete) |
|
Sat4j Res//CP 2.3.0 (complete) |
|
Sat4j Resolution 2.3.0 (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. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
borg pb-dec-11.04.03 (complete) |
581 | 504 (86.75%) |
268 (46.13%) |
0 (0%) |
236 (40.62%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
36 (6.2%) |
41 (7.06%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
borg pb-opt-11.04.03 (complete) |
1140 | 687 (60.26%) |
35 (3.07%) |
652 (57.19%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
18 (1.58%) |
393 (34.47%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
23 (2.02%) |
17 (1.49%) |
2 (0.18%) |
bsolo 3.2 (complete) |
1721 | 1084 (62.99%) |
286 (16.62%) |
550 (31.96%) |
248 (14.41%) |
467 (27.14%) |
16 (0.93%) |
0 (0%) |
144 (8.37%) |
9 (0.52%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.06%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 2.0-R4191 (complete) |
1312 | 764 (58.23%) |
261 (19.89%) |
286 (21.8%) |
217 (16.54%) |
0 (0%) |
336 (25.61%) |
0 (0%) |
0 (0%) |
212 (16.16%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
clasp 2.0-R4191 [DEPRECATED] (complete) |
409 | 280 (68.46%) |
0 (0%) |
280 (68.46%) |
0 (0%) |
0 (0%) |
125 (30.56%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
4 (0.98%) |
0 (0%) |
0 (0%) |
clasp 2.0-R4191-patched (fixed) (complete) |
409 | 280 (68.46%) |
0 (0%) |
280 (68.46%) |
0 (0%) |
0 (0%) |
129 (31.54%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.4.8 [DEPRECATED] (complete) |
1721 | 769 (44.68%) |
160 (9.3%) |
411 (23.88%) |
198 (11.5%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
949 (55.14%) |
2 (0.12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.06%) |
0 (0%) |
0 (0%) |
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
2278 | 824 (36.17%) |
212 (9.31%) |
416 (18.26%) |
196 (8.6%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1444 (63.39%) |
9 (0.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.04%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2 (fixed) (complete) |
1721 | 656 (38.12%) |
231 (13.42%) |
256 (14.88%) |
169 (9.82%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
554 (32.19%) |
2 (0.12%) |
509 (29.58%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MinisatID 2.5.2-gmp (fixed) (complete) |
2278 | 741 (32.53%) |
284 (12.47%) |
292 (12.82%) |
165 (7.24%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1019 (44.73%) |
9 (0.4%) |
509 (22.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
pwbo 1.1 (complete) |
731 | 383 (52.39%) |
33 (4.51%) |
350 (47.88%) |
0 (0%) |
0 (0%) |
297 (40.63%) |
0 (0%) |
0 (0%) |
47 (6.43%) |
0 (0%) |
0 (0%) |
0 (0%) |
4 (0.55%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j CuttingPlanes 2.3.0 (complete) |
2278 | 872 (38.28%) |
232 (10.18%) |
476 (20.9%) |
164 (7.2%) |
0 (0%) |
796 (34.94%) |
0 (0%) |
1 (0.04%) |
609 (26.73%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Res//CP 2.3.0 (complete) |
2278 | 1296 (56.89%) |
345 (15.14%) |
718 (31.52%) |
233 (10.23%) |
0 (0%) |
680 (29.85%) |
0 (0%) |
1 (0.04%) |
300 (13.17%) |
0 (0%) |
1 (0.04%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Sat4j Resolution 2.3.0 (complete) |
2278 | 1213 (53.25%) |
314 (13.78%) |
703 (30.86%) |
196 (8.6%) |
0 (0%) |
691 (30.33%) |
0 (0%) |
0 (0%) |
374 (16.42%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
1721 | 1147 (66.65%) |
291 (16.91%) |
654 (38%) |
202 (11.74%) |
27 (1.57%) |
201 (11.68%) |
0 (0%) |
5 (0.29%) |
335 (19.47%) |
4 (0.23%) |
2 (0.12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx 2 2011-06-10 (fixed) (complete) |
1721 | 1175 (68.27%) |
290 (16.85%) |
668 (38.81%) |
217 (12.61%) |
237 (13.77%) |
9 (0.52%) |
0 (0%) |
188 (10.92%) |
106 (6.16%) |
4 (0.23%) |
2 (0.12%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
1721 | 1165 (67.69%) |
290 (16.85%) |
670 (38.93%) |
205 (11.91%) |
13 (0.76%) |
193 (11.21%) |
0 (0%) |
11 (0.64%) |
333 (19.35%) |
2 (0.12%) |
2 (0.12%) |
0 (0%) |
1 (0.06%) |
0 (0%) |
1 (0.06%) |
0 (0%) |
0 (0%) |
SCIP spx E_2 2011-06-10 (fixed) (complete) |
1721 | 1180 (68.56%) |
290 (16.85%) |
671 (38.99%) |
219 (12.73%) |
236 (13.71%) |
12 (0.7%) |
0 (0%) |
195 (11.33%) |
93 (5.4%) |
2 (0.12%) |
2 (0.12%) |
0 (0%) |
1 (0.06%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
wbo 1.6 (complete) |
1212 | 665 (54.87%) |
247 (20.38%) |
236 (19.47%) |
182 (15.02%) |
9 (0.74%) |
0 (0%) |
0 (0%) |
0 (0%) |
537 (44.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.08%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | borg pb-dec-11.04.03 (complete) |
|
borg pb-opt-11.04.03 (complete) |
|
bsolo 3.2 (complete) |
|
clasp 2.0-R4191 (complete) |
|
clasp 2.0-R4191 [DEPRECATED] (complete) |
|
clasp 2.0-R4191-patched (fixed) (complete) |
|
MinisatID 2.4.8 [DEPRECATED] (complete) |
|
MinisatID 2.4.8-gmp [DEPRECATED] (complete) |
|
MinisatID 2.5.2 (fixed) (complete) |
|
MinisatID 2.5.2-gmp (fixed) (complete) |
|
pwbo 1.1 (complete) |
|
Sat4j CuttingPlanes 2.3.0 (complete) |
|
Sat4j Res//CP 2.3.0 (complete) |
|
Sat4j Resolution 2.3.0 (complete) |
|
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx 2 2011-06-10 (fixed) (complete) |
|
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) |
|
SCIP spx E_2 2011-06-10 (fixed) (complete) |
|
wbo 1.6 (complete) |
|
---|