| Name | csp/rcpspTighter/ normalized-rcpsptight20-02.xml |
| MD5SUM | c0019506adbab8a2f2f0a07022bbbea2 |
| 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.008998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 20 |
| Number of constraints | 18 |
| Maximum constraint arity | 20 |
| Maximum domain size | 15 |
| 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 |
|---|---|---|---|---|
| casper zito | 1043931 | UNSAT | 0.008998 | 0.0168739 |
| casper zao | 1043302 | UNSAT | 0.009997 | 0.017945 |
| choco2_dwdeg 2008-06-26 | 1041663 | UNSAT | 0.626904 | 0.638034 |
| choco2_impwdeg 2008-06-26 | 1041662 | UNSAT | 0.636902 | 0.697565 |
| MDG-noprobe 2008-06-27 | 1041657 | UNSAT | 0.677896 | 0.690153 |
| cpHydra k_40 | 1046447 | UNSAT | 0.683895 | 0.695582 |
| cpHydra k_10 | 1045818 | UNSAT | 0.862868 | 0.905396 |
| Sugar v1.13+minisat | 1041660 | UNSAT | 1.12983 | 1.20362 |
| Sugar v1.13+picosat | 1041659 | UNSAT | 1.22181 | 1.28644 |
| Mistral-prime 1.313 | 1041665 | UNSAT | 1.9947 | 2.01086 |
| MDG-probe 2008-06-27 | 1041656 | UNSAT | 2.77758 | 2.82974 |
| bpsolver 2008-06-27 | 1041661 | UNSAT | 3.86041 | 3.89902 |
| Mistral-option 1.314 | 1041664 | UNSAT | 5.77812 | 5.83524 |
| Abscon 112v4 AC | 1044560 | ? | 0.570912 | 0.626383 |
| Abscon 112v4 ESAC | 1045189 | ? | 0.599908 | 0.637378 |
| SAT4J CSP 2008-06-13 | 1041658 | ? | 1.55476 | 1.57779 |
| Minion/Tailor 2008-07-04 | 1104630 | ? (exit code) | 0.237963 | 0.227289 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: