| Name | csp/rcpspTighter/ normalized-rcpsptight20-03.xml |
| MD5SUM | 6599cef4c1c21122266942a3170fe174 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.621905 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 20 |
| Number of constraints | 18 |
| Maximum constraint arity | 20 |
| Maximum domain size | 14 |
| 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 | 1041487 | UNSAT | 0.621905 | 0.632546 |
| cpHydra k_10 | 1045801 | UNSAT | 0.744886 | 0.766436 |
| cpHydra k_40 | 1046430 | UNSAT | 0.744886 | 0.756355 |
| Sugar v1.13+minisat | 1041490 | UNSAT | 1.04284 | 1.14098 |
| Sugar v1.13+picosat | 1041489 | UNSAT | 1.14382 | 1.26354 |
| MDG-probe 2008-06-27 | 1041486 | UNSAT | 1.70774 | 1.72574 |
| bpsolver 2008-06-27 | 1041491 | UNSAT | 1.78273 | 1.80188 |
| Mistral-option 1.314 | 1041494 | UNSAT | 3.46247 | 3.49931 |
| Mistral-prime 1.313 | 1041495 | UNSAT | 3.52046 | 3.55458 |
| choco2_impwdeg 2008-06-26 | 1041492 | UNSAT | 14.2448 | 14.4352 |
| choco2_dwdeg 2008-06-26 | 1041493 | UNSAT | 17.8063 | 18.0676 |
| casper zito | 1043914 | UNSAT | 137.954 | 138.626 |
| casper zao | 1043285 | UNSAT | 358.739 | 361.491 |
| Abscon 112v4 AC | 1044543 | ? | 0.641901 | 0.686132 |
| Abscon 112v4 ESAC | 1045172 | ? | 0.664898 | 0.699031 |
| SAT4J CSP 2008-06-13 | 1041488 | ? | 1.50277 | 1.50138 |
| Minion/Tailor 2008-07-04 | 1104613 | ? (exit code) | 0.239963 | 0.265907 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: