Name | csp/rcpsp/ normalized-rcpsp25-24.xml |
MD5SUM | 56fb348a7269159b660e3511703858d7 |
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.025995 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 48 |
Maximum constraint arity | 25 |
Maximum domain size | 22 |
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 |
---|---|---|---|---|
Mistral-prime 1.313 | 1040205 | SAT | 0.025995 | 0.03233 |
MDG-noprobe 2008-06-27 | 1040197 | SAT | 0.027995 | 0.032918 |
cpHydra k_40 | 1046301 | SAT | 0.033994 | 0.0529261 |
cpHydra k_10 | 1045672 | SAT | 0.036993 | 0.0359311 |
Mistral-option 1.314 | 1040204 | SAT | 0.038993 | 0.0453049 |
bpsolver 2008-06-27 | 1040201 | SAT | 0.040993 | 0.047454 |
MDG-probe 2008-06-27 | 1040196 | SAT | 0.054991 | 0.0622351 |
Sugar v1.13+minisat | 1040200 | SAT | 1.19682 | 1.30628 |
Sugar v1.13+picosat | 1040199 | SAT | 1.3398 | 1.58976 |
choco2_dwdeg 2008-06-26 | 1040203 | SAT | 1.46778 | 1.52229 |
choco2_impwdeg 2008-06-26 | 1040202 | SAT | 1.87071 | 1.89125 |
casper zito | 1043785 | SAT | 41.9966 | 42.0111 |
casper zao | 1043156 | SAT | 44.0293 | 44.6665 |
Abscon 112v4 ESAC | 1045043 | ? | 0.633903 | 0.624335 |
Abscon 112v4 AC | 1044414 | ? | 0.633903 | 0.679987 |
SAT4J CSP 2008-06-13 | 1040198 | ? | 1.93171 | 1.97444 |
Minion/Tailor 2008-07-04 | 1104484 | ? (exit code) | 0.278957 | 0.398165 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 3 4 10 0 0 10 4 8 7 8 7 9 13 14 9 16 15 11 13 16 20 16 19 19