Name | csp/compet08/ normalized-patat-08-comp-11.xml |
MD5SUM | 41854dee96060ea80d0fae628dff97c2 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 6.15806 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7046 |
Maximum constraint arity | 15 |
Maximum domain size | 33 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 6123 |
Global constraints used (with number of constraints) | alldifferent(923) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058013 | SAT | 6.15806 | 6.21995 |
cpHydra k_10 | 1058018 | SAT | 14.4018 | 14.6454 |
Abscon 112v4 AC | 1058016 | SAT | 31.4062 | 31.7164 |
Abscon 112v4 ESAC | 1058017 | SAT | 35.4566 | 35.812 |
cpHydra k_40 | 1058019 | SAT | 36.1675 | 36.4816 |
Mistral-option 1.314 | 1058012 | SAT | 37.7383 | 38.0767 |
Sugar v1.13+minisat | 1058008 | SAT | 91.1051 | 91.2791 |
Sugar v1.13+picosat | 1058007 | SAT | 120.096 | 123.652 |
SAT4J CSP 2008-06-13 | 1058006 | SAT | 416.181 | 419.702 |
MDG-probe 2008-06-27 | 1058004 | ? (TO) | 1800.05 | 1809.81 |
MDG-noprobe 2008-06-27 | 1058005 | ? (TO) | 1800.08 | 1807.61 |
casper zito | 1058015 | ? (TO) | 1800.1 | 1813.42 |
bpsolver 2008-06-27 | 1058009 | ? (TO) | 1800.11 | 1801.12 |
Minion/Tailor 2008-07-04 | 1105380 | ? (TO) | 1800.11 | 1813.11 |
casper zao | 1058014 | ? (TO) | 1800.13 | 1815.15 |
choco2_impwdeg 2008-06-26 | 1058010 | ? (TO) | 1800.14 | 1800.98 |
choco2_dwdeg 2008-06-26 | 1058011 | ? (TO) | 1800.32 | 1802.66 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:43 2 37 10 21 12 19 12 6 29 30 5 22 25 3 35 40 40 8 44 26 19 15 31 24 44 28 26 29 38 10 9 41 37 2 38 14 31 23 34 4 32 34 17 15 31 36 19 29 16 20 33 23 37 3 36 29 6 27 18 8 39 38 33 0 29 8 30 0 8 27 17 14 5 35 4 5 11 7 13 22 10 9 32 22 3 7 43 21 13 7 14 20 4 28 42 27 20 20 9 13 3 19 41 0 8 24 26 22 30 14 1 0 6 19 28 19 22 8 9 7 3 4 20 28 14 2 13 2 1 4 8 17 25 15 11 1 8 30 44 31 44 7 12 23 11 42 16 6 39 21 14 36 12 40 41 4 22 19 29 36 5 1 10 24 18 28 5 2 16 25 2 39 32 15 31 11 13 33 3 5 10 41 18 18 6 3 31 11 35 23 27 8 12 35 17 9 35 1 8 0 0 0 0 1 4 0 12 2 7 0 6 4 0 1 11 0 11 2 1 8 3 1 0 0 8 8 4 1 0 4 9 4 8 4 11 1 8 0 1 8 0 7 7 3 1 8 9 2 0 12 11 1 3 10 4 9 0 8 1 1 11 1 1 0 0 9 2 1 19 0 4 4 0 0 9 1 19 9 2 1 1 0 8 19 8 1 1 4 1 5 2 4 4 11 0 1 9 7 2 4 2 2 2 5 10 2 11 0 8 8 1 7 1 4 2 11 2 0 1 8 0 0 8 1 3 1 10 11 0 3 11 9 2 9 0 5 6 1 11 2 0 0 8 8 1 11 4 8 0 2 0 0 11 16 1 1 8 1 4 1 8 3 3 1 2 0 18 2 8 1 8 8 1 0 12 2 8 9 4 2 2 0 0 4 4 5 10 8 8 3 4 8 0 19 0 8 4 2 4