| Name | csp/CabinetStart1/ normalized-cabinet-5579.xml |
| MD5SUM | ab4c5e88325063bbf495200805db7737 |
| 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.271958 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 120 |
| Number of constraints | 126 |
| Maximum constraint arity | 15 |
| Maximum domain size | 84591 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 21 |
| Global constraints used (with number of constraints) | element(98),weightedsum(7) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| bpsolver 2008-06-27 | 1132081 | UNSAT | 0.271958 | 0.285527 |
| MDG-noprobe 2008-06-27 | 1132077 | UNSAT | 0.686894 | 0.69333 |
| MDG-probe 2008-06-27 | 1132076 | UNSAT | 0.791879 | 0.79963 |
| cpHydra k_40 | 1132091 | UNSAT | 0.815875 | 0.822212 |
| cpHydra k_10 | 1132090 | UNSAT | 0.819874 | 0.929502 |
| Mistral-prime 1.313 | 1132085 | UNSAT | 2.05269 | 2.06655 |
| Mistral-option 1.314 | 1132084 | UNSAT | 2.36264 | 2.52005 |
| casper zito | 1132087 | UNSAT | 8.68168 | 8.76079 |
| casper zao | 1132086 | UNSAT | 11.8412 | 11.9639 |
| choco2_dwdeg 2008-06-26 | 1132083 | UNSAT | 11.9002 | 12.2712 |
| SAT4J CSP 2008-06-13 | 1132078 | ? | 3.20151 | 3.19879 |
| Sugar v1.13+minisat | 1132080 | ? | 286.458 | 292.909 |
| Sugar v1.13+picosat | 1132079 | ? | 309.661 | 315.363 |
| Minion/Tailor 2008-07-04 | 1132092 | ? (exit code) | 0.400939 | 0.464422 |
| Abscon 112v4 AC | 1132088 | ? (TO) | 1800.12 | 1806.83 |
| Abscon 112v4 ESAC | 1132089 | ? (TO) | 1800.12 | 1801.47 |
| choco2_impwdeg 2008-06-26 | 1132082 | ? (TO) | 1800.15 | 1814.27 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: