Name | csp/compet02/ normalized-patat-02-comp-13.xml |
MD5SUM | 96388d2f788c0ec6e36289d5c4da0a58 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 87.9686 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 30204 |
Maximum constraint arity | 20 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 29954 |
Global constraints used (with number of constraints) | alldifferent(250) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058471 | SAT | 87.9686 | 89.0076 |
Mistral-prime 1.313 | 1058477 | SAT | 126.682 | 127.704 |
cpHydra k_10 | 1058482 | SAT | 135.36 | 136.811 |
cpHydra k_40 | 1058483 | SAT | 723.911 | 736.891 |
Abscon 112v4 AC | 1058480 | SAT | 1327.07 | 1332.36 |
Mistral-option 1.314 | 1058476 | SAT | 1390.29 | 1404.68 |
Abscon 112v4 ESAC | 1058481 | SAT | 1467.43 | 1478.03 |
Minion/Tailor 2008-07-04 | 1105362 | ? (TO) | 1800.05 | 1804.91 |
MDG-probe 2008-06-27 | 1058468 | ? (TO) | 1800.05 | 1814.42 |
MDG-noprobe 2008-06-27 | 1058469 | ? (TO) | 1800.07 | 1807.62 |
choco2_dwdeg 2008-06-26 | 1058475 | ? (TO) | 1800.09 | 1811.47 |
casper zao | 1058478 | ? (TO) | 1800.1 | 1809.88 |
Sugar v1.13+minisat | 1058472 | ? (TO) | 1800.12 | 1832.17 |
bpsolver 2008-06-27 | 1058473 | ? (TO) | 1800.12 | 1816.72 |
casper zito | 1058479 | ? (TO) | 1800.13 | 1812.23 |
choco2_impwdeg 2008-06-26 | 1058474 | ? (TO) | 1800.18 | 1806.61 |
SAT4J CSP 2008-06-13 | 1058470 | ? (TO) | 1800.23 | 1811.56 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:26 38 23 19 27 6 35 3 32 16 17 35 24 31 10 14 17 19 15 12 22 4 2 8 39 36 37 43 4 11 40 15 12 0 9 21 42 5 7 9 13 6 31 8 31 27 4 4 25 1 39 4 21 7 32 42 18 39 43 6 16 7 2 0 3 20 44 38 3 9 13 17 40 33 25 2 22 1 4 4 10 24 5 9 32 6 33 7 5 8 9 7 5 44 9 12 6 35 4 31 1 5 19 9 42 10 2 34 27 6 39 42 26 25 27 39 8 1 2 9 23 11 20 10 6 12 3 42 40 29 18 41 10 3 37 14 11 10 12 11 23 17 3 43 10 14 43 15 23 34 5 21 30 17 18 16 13 19 30 0 14 30 5 24 15 16 12 16 20 7 16 21 14 18 29 17 28 35 29 42 18 28 17 22 24 3 3 9 27 30 20 29 35 2 20 19 29 6 19 16 14 0 13 30 18 22 20 25 21 30 17 33 27 4 0 13 0 23 20 22 0 26 18 27 21 24 35 14 1 29 24 19 36 28 32 4 29 25 2 26 26 7 30 10 41 26 8 15 8 10 19 5 33 16 11 18 34 27 41 27 30 2 28 29 25 36 8 38 38 19 26 42 30 14 28 32 32 34 25 1 28 8 35 23 11 15 35 32 17 33 27 26 30 32 15 18 36 38 15 21 13 11 22 12 21 20 6 37 2 19 37 1 40 31 22 8 14 41 13 33 24 38 38 15 37 25 37 33 12 28 11 20 28 34 7 21 31 28 16 31 13 23 41 39 38 12 40 44 43 44 26 9 5 24 22 33 17 25 26 41 42 41 31 42 43 34 3 14 41 23 40 22 36 39 41 37 2 34 34 0 31 13 40 36 44 40 43 44 18 44 36 39 24 33 32 21 3 7 11 43 1 6 7 5 9 5 1 2 9 9 5 5 8 6 5 1 9 1 2 7 1 4 3 0 4 2 0 5 1 6 3 7 2 9 4 5 6 9 4 2 9 9 1 6 4 1 0 6 6 5 9 9 6 8 2 7 1 5 4 6 7 6 4 5 8 1 3 4 4 6 8 6 4 9 0 9 4 9 5 8 9 7 0 9 7 4 1 9 7 5 1 5 3 4 3 5 8 7 2 3 4 6 3 0 0 0 5 3 6 3 6 8 9 8 7 1 9 1 0 5 6 5 8 6 1 0 9 4 8 8 7 6 8 6 4 9 8 3 4 4 4 2 5 6 4 0 3 4 1 6 1 7 3 3 4 3 4 7 5 0 6 4 4 1 3 6 9 0 6 3 8 8 8 9 1 0 4 3 5 2 3 1 4 3 9 1 3 8 3 1 3 3 0 1 4 9 9 7 4 4 5 6 3 0 2 0 2 1 4 8 8 4 4 7 1 1 4 8 9 6 3 5 5 8 2 3 4 2 3 6 4 8 4 3 4 3 0 9 7 4 2 1 9 1 2 6 7 1 1 2 0 8 7 5 9 8 4 0 3 5 7 6 6 4 3 6 8 7 2 2 8 3 2 3 7 8 1 5 5 6 0 3 6 0 7 8 9 3 1 6 2 7 6 6 6 6 9 9 9 1 7 2 9 6 9 7 0 6 8 6 3 8 6 5 2 4 4 0 6 3 6 3 8 0 8 4 9 8 1 8 1 0 5 0 7 3 8 9 1 7 5 3 8 3 5 3 5 0 1 7 3 7 5 5 5 5 7 7 0 7 9 1 9 1 8 1 7 7 9 9 2 7 3 7 4 7 2 9 7 7 0 0 0 8 8 9 9 9 0 2 0 0 0 0 0 0 0 0 0 0