Name | csp/rcpsp/ normalized-rcpsp25-25.xml |
MD5SUM | a0cd18f2ad597bd9c5ceac59876b73b2 |
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.069989 |
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 |
---|---|---|---|---|
Mistral-prime 1.313 | 1040005 | SAT | 0.069989 | 0.074914 |
MDG-noprobe 2008-06-27 | 1039997 | SAT | 0.097984 | 0.103653 |
Mistral-option 1.314 | 1040004 | SAT | 0.105983 | 0.166199 |
cpHydra k_10 | 1045652 | SAT | 0.112982 | 0.116401 |
cpHydra k_40 | 1046281 | SAT | 0.119981 | 0.126043 |
MDG-probe 2008-06-27 | 1039996 | SAT | 0.221965 | 0.254495 |
Sugar v1.13+minisat | 1040000 | SAT | 1.25881 | 3.07 |
Sugar v1.13+picosat | 1039999 | SAT | 1.35979 | 1.46627 |
choco2_impwdeg 2008-06-26 | 1040002 | SAT | 1.71974 | 1.78494 |
bpsolver 2008-06-27 | 1040001 | SAT | 11.0423 | 11.1302 |
choco2_dwdeg 2008-06-26 | 1040003 | SAT | 30.6413 | 30.9302 |
casper zao | 1043136 | SAT | 55.2576 | 55.4782 |
casper zito | 1043765 | SAT | 691.151 | 691.429 |
Abscon 112v4 AC | 1044394 | ? | 0.622905 | 0.68558 |
Abscon 112v4 ESAC | 1045023 | ? | 0.628903 | 0.685727 |
SAT4J CSP 2008-06-13 | 1039998 | ? | 1.88171 | 2.32348 |
Minion/Tailor 2008-07-04 | 1104464 | ? (exit code) | 0.291955 | 0.341 |
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 2 4 0 2 12 5 11 14 24 10 14 18 18 19 8 23 23 4 23 16 18 23