solver | a "light red" background denotes a solver which was disqualified because it gave an incorrect answer, and which will not appear in the ranking |
solver | a "light yellow" background denotes a solver which was replaced by another version, and which will not appear in the ranking |
Solver Name | #benchs | Solved | UNSAT | OPT/SAT | SAT (TO/MO) | UNKNOWN | Bad Answers |
---|---|---|---|---|---|---|---|
Choco-solver 4.0.7b seq (e747e1e) (complete) |
346 | 89 (25.72%) |
0 (0%) |
89 (25.72%) |
193 (55.78%) |
64 (18.5%) |
0 (0%) |
Concrete 3.9.2 (complete) |
346 | 85 (24.57%) |
0 (0%) |
85 (24.57%) |
196 (56.65%) |
65 (18.79%) |
0 (0%) |
Concrete 3.9.2-SuperNG (complete) |
346 | 83 (23.99%) |
0 (0%) |
83 (23.99%) |
190 (54.91%) |
73 (21.1%) |
0 (0%) |
cosoco 1.12 (complete) |
346 | 51 (14.74%) |
0 (0%) |
51 (14.74%) |
192 (55.49%) |
103 (29.77%) |
0 (0%) |
Mistral-2.0 2018-08-01 (complete) |
346 | 85 (24.57%) |
0 (0%) |
85 (24.57%) |
197 (56.94%) |
63 (18.21%) |
1 (0.29%) |
OscaR - Conflict Ordering with restarts 2018-08-14 (complete) |
346 | 0 (0%) |
0 (0%) |
0 (0%) |
262 (75.72%) |
84 (24.28%) |
0 (0%) |
OscaR - Conflict Ordering with restarts 2018-08-17 (complete) |
346 | 83 (23.99%) |
0 (0%) |
83 (23.99%) |
179 (51.73%) |
84 (24.28%) |
0 (0%) |
OscaR - Hybrid 2018-08-14 (complete) |
346 | 59 (17.05%) |
0 (0%) |
59 (17.05%) |
212 (61.27%) |
75 (21.68%) |
0 (0%) |
Sat4j-CSP 2018-07-11 (complete) |
346 | 41 (11.85%) |
0 (0%) |
41 (11.85%) |
119 (34.39%) |
186 (53.76%) |
0 (0%) |
Solver Name | Progress | Choco-solver 4.0.7b seq (e747e1e) (complete) |
|
Concrete 3.9.2 (complete) |
|
Concrete 3.9.2-SuperNG (complete) |
|
cosoco 1.12 (complete) |
|
Mistral-2.0 2018-08-01 (complete) |
|
OscaR - Conflict Ordering with restarts 2018-08-14 (complete) |
|
OscaR - Conflict Ordering with restarts 2018-08-17 (complete) |
|
OscaR - Hybrid 2018-08-14 (complete) |
|
Sat4j-CSP 2018-07-11 (complete) |
|
---|