Name | csp/rcpsp/ normalized-rcpsp25-40.xml |
MD5SUM | 7bd9803a8c45a196184ad9c62fa9c9f5 |
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.094985 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 48 |
Maximum constraint arity | 25 |
Maximum domain size | 28 |
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 |
---|---|---|---|---|
bpsolver 2008-06-27 | 1040151 | SAT | 0.094985 | 0.102785 |
Mistral-option 1.314 | 1040154 | SAT | 0.297954 | 0.304831 |
cpHydra k_10 | 1045667 | SAT | 0.543916 | 0.550799 |
cpHydra k_40 | 1046296 | SAT | 0.555914 | 0.562163 |
MDG-noprobe 2008-06-27 | 1040147 | SAT | 0.874866 | 0.881223 |
Mistral-prime 1.313 | 1040155 | SAT | 1.07683 | 1.08955 |
Sugar v1.13+minisat | 1040150 | SAT | 1.51577 | 1.634 |
Sugar v1.13+picosat | 1040149 | SAT | 1.53277 | 1.61073 |
MDG-probe 2008-06-27 | 1040146 | SAT | 1.64375 | 1.66192 |
choco2_dwdeg 2008-06-26 | 1040153 | SAT | 1.70174 | 1.72203 |
choco2_impwdeg 2008-06-26 | 1040152 | SAT | 59.7649 | 60.3607 |
casper zao | 1043151 | SAT | 97.9131 | 98.4112 |
casper zito | 1043780 | SAT | 101.941 | 102.724 |
Abscon 112v4 ESAC | 1045038 | ? | 0.617905 | 0.675314 |
Abscon 112v4 AC | 1044409 | ? | 0.621904 | 0.676291 |
SAT4J CSP 2008-06-13 | 1040148 | ? | 1.87371 | 1.91946 |
Minion/Tailor 2008-07-04 | 1104479 | ? (exit code) | 0.298953 | 0.544236 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 0 7 5 9 3 2 21 2 15 8 9 0 19 16 7 22 12 12 18 12 27 16 24 24