Name | csp/rcpsp/ normalized-rcpsp20-14.xml |
MD5SUM | 591477a6650cad772ecfa66dbc882b20 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.017997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 20 |
Number of constraints | 18 |
Maximum constraint arity | 20 |
Maximum domain size | 18 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 15 |
Global constraints used (with number of constraints) | cumulative(3) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1040347 | SAT | 0.017997 | 0.0246211 |
Mistral-prime 1.313 | 1040355 | SAT | 0.019996 | 0.0251611 |
cpHydra k_40 | 1046316 | SAT | 0.027995 | 0.0370271 |
cpHydra k_10 | 1045687 | SAT | 0.028994 | 0.0370859 |
bpsolver 2008-06-27 | 1040351 | SAT | 0.077987 | 0.083877 |
MDG-probe 2008-06-27 | 1040346 | SAT | 0.135979 | 0.14216 |
Mistral-option 1.314 | 1040354 | SAT | 0.447931 | 0.48599 |
choco2_dwdeg 2008-06-26 | 1040353 | SAT | 1.07883 | 1.09653 |
Sugar v1.13+minisat | 1040350 | SAT | 1.13383 | 1.2638 |
Sugar v1.13+picosat | 1040349 | SAT | 1.2838 | 1.42909 |
casper zito | 1043800 | SAT | 20.1449 | 20.3215 |
casper zao | 1043171 | SAT | 25.2792 | 25.5001 |
choco2_impwdeg 2008-06-26 | 1040352 | SAT | 240.205 | 241.312 |
Abscon 112v4 ESAC | 1045058 | ? | 0.605907 | 0.636495 |
Abscon 112v4 AC | 1044429 | ? | 0.652899 | 0.681181 |
SAT4J CSP 2008-06-13 | 1040348 | ? | 1.51977 | 1.54995 |
Minion/Tailor 2008-07-04 | 1104499 | ? (exit code) | 0.25896 | 0.308844 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 8 7 2 9 12 11 2 9 13 4 14 9 14 0 4 0 0 15 17