Name | csp/rcpsp/ normalized-rcpsp25-39.xml |
MD5SUM | 412908485fbe1aa04cc704d430bf88f5 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.15882 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 48 |
Maximum constraint arity | 25 |
Maximum domain size | 23 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 45 |
Global constraints used (with number of constraints) | cumulative(3) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1040277 | SAT | 1.15882 | 1.1697 |
Sugar v1.13+picosat | 1040279 | SAT | 1.40079 | 1.49534 |
Sugar v1.13+minisat | 1040280 | SAT | 1.52277 | 1.61851 |
Mistral-prime 1.313 | 1040285 | SAT | 1.77773 | 1.79459 |
MDG-probe 2008-06-27 | 1040276 | SAT | 4.65829 | 4.66733 |
cpHydra k_10 | 1045680 | SAT | 9.16361 | 9.33503 |
cpHydra k_40 | 1046309 | SAT | 9.72052 | 10.0096 |
Mistral-option 1.314 | 1040284 | SAT | 12.1032 | 12.2 |
choco2_impwdeg 2008-06-26 | 1040282 | SAT | 44.1483 | 44.4381 |
choco2_dwdeg 2008-06-26 | 1040283 | SAT | 52.77 | 52.8248 |
casper zao | 1043164 | SAT | 115.577 | 116.138 |
bpsolver 2008-06-27 | 1040281 | SAT | 193.39 | 194.159 |
Abscon 112v4 ESAC | 1045051 | ? | 0.615905 | 0.624451 |
Abscon 112v4 AC | 1044422 | ? | 0.617905 | 0.628813 |
SAT4J CSP 2008-06-13 | 1040278 | ? | 1.68474 | 1.72187 |
Minion/Tailor 2008-07-04 | 1104492 | ? (exit code) | 0.310952 | 0.339624 |
casper zito | 1043793 | ? (TO) | 1800.1 | 1812.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 3 6 2 20 4 4 0 7 7 8 11 14 9 10 14 15 22 22 11 12 11 13 18 18