Name | csp/compet02/ normalized-patat-02-comp-12.xml |
MD5SUM | d1654ea43962c938fe22704df22159b5 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 26.185 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 28400 |
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 | 28200 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058349 | SAT | 26.185 | 26.3879 |
cpHydra k_10 | 1058354 | SAT | 36.5794 | 36.9797 |
Sugar v1.13+picosat | 1058343 | SAT | 79.4819 | 80.3811 |
Mistral-option 1.314 | 1058348 | SAT | 122.375 | 123.507 |
cpHydra k_40 | 1058355 | SAT | 613.154 | 613.842 |
MDG-probe 2008-06-27 | 1058340 | ? (TO) | 1800.02 | 1809.72 |
bpsolver 2008-06-27 | 1058345 | ? (TO) | 1800.03 | 1807.41 |
MDG-noprobe 2008-06-27 | 1058341 | ? (TO) | 1800.04 | 1811.52 |
casper zito | 1058351 | ? (TO) | 1800.06 | 1802.73 |
Minion/Tailor 2008-07-04 | 1105361 | ? (TO) | 1800.06 | 1811.01 |
casper zao | 1058350 | ? (TO) | 1800.08 | 1809.28 |
Sugar v1.13+minisat | 1058344 | ? (TO) | 1800.1 | 1807.45 |
choco2_dwdeg 2008-06-26 | 1058347 | ? (TO) | 1800.1 | 1814.27 |
choco2_impwdeg 2008-06-26 | 1058346 | ? (TO) | 1800.12 | 1800.8 |
Abscon 112v4 ESAC | 1058353 | ? (TO) | 1800.14 | 1805.4 |
Abscon 112v4 AC | 1058352 | ? (TO) | 1800.14 | 1809.97 |
SAT4J CSP 2008-06-13 | 1058342 | ? (TO) | 1800.15 | 2038.73 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:28 11 5 4 15 19 43 26 29 2 13 24 34 31 41 42 32 9 9 12 16 14 10 1 26 38 7 12 3 1 30 31 36 2 24 33 29 39 33 24 36 32 0 43 20 1 4 14 1 4 9 31 8 18 6 28 4 0 33 20 3 6 4 35 12 3 30 9 27 23 17 8 16 4 28 8 1 34 26 23 16 21 30 24 21 28 14 33 7 23 0 27 10 9 7 27 19 9 24 16 38 27 10 8 5 28 7 18 11 36 2 31 24 10 23 40 21 19 1 25 16 23 18 38 3 3 15 30 0 19 34 26 30 22 1 6 17 11 32 20 20 16 15 2 0 6 9 3 34 14 11 29 27 33 17 5 18 33 2 29 21 12 8 12 30 5 2 37 6 3 36 26 7 22 32 33 33 15 10 24 17 7 23 19 18 11 9 8 21 4 14 24 3 2 22 32 19 38 26 11 2 28 12 18 38 16 18 1 7 5 35 4 33 21 3 10 36 8 6 5 43 35 15 6 25 19 22 33 17 14 44 22 13 29 28 43 25 15 1 21 30 32 1 2 35 39 18 30 7 12 20 18 14 14 23 29 13 42 11 34 27 20 32 16 35 13 22 4 25 17 38 13 21 36 31 26 13 0 0 35 5 7 37 37 13 37 0 28 9 6 20 25 11 32 37 37 12 37 2 0 27 19 31 41 30 10 5 17 15 10 12 31 12 35 35 24 42 18 23 6 13 39 34 41 34 36 37 27 9 8 26 26 36 40 29 38 40 15 4 11 40 22 39 25 42 31 14 36 8 11 26 20 22 27 29 28 10 25 34 34 14 21 31 17 8 40 13 17 15 7 29 35 44 29 30 21 20 6 41 32 40 15 0 25 22 5 25 31 38 23 27 5 36 3 39 17 23 13 19 24 2 7 6 2 7 0 0 8 1 6 8 2 3 6 4 2 9 8 7 1 5 2 8 6 4 0 8 6 8 8 6 0 5 4 4 9 5 4 2 9 3 4 6 4 8 7 9 3 5 6 3 2 0 4 7 9 7 7 0 1 7 5 1 9 8 9 8 9 9 7 4 8 3 3 7 4 3 7 0 3 6 3 9 8 6 1 8 5 7 0 9 5 1 0 6 3 9 6 6 8 9 2 6 7 3 5 3 1 5 2 3 9 5 5 2 8 9 4 9 6 1 8 8 1 4 0 8 1 8 5 8 9 4 5 2 1 3 8 0 7 6 9 2 7 4 3 1 1 0 9 2 7 8 8 0 2 3 3 1 0 7 0 3 7 0 9 5 9 2 2 6 7 5 9 5 6 7 3 9 3 7 2 9 6 5 9 5 1 8 4 0 1 6 9 8 8 8 8 6 6 2 0 9 0 3 0 7 4 9 8 6 5 1 1 3 4 9 9 9 7 3 5 9 8 1 2 7 4 9 6 2 2 7 6 6 2 9 5 0 2 5 1 1 8 7 9 9 2 4 3 9 6 7 4 1 9 9 3 3 9 1 0 6 7 1 4 1 8 7 6 2 3 0 7 4 5 2 2 5 4 0 0 7 4 0 0 1 8 4 4 3 0 1 7 3 1 2 2 0 0 7 1 3 2 7 0 1 1 6 2 5 8 4 0 3 0 4 2 4 0 5 0 6 0 2 0 5 0 2 6 3 2 4 0 8 4 5 0 0 0 4 0 3 2 0 1 1 1 2 4 1 2 6 4 4 4 7 8 5 1 5 4 7 2 5 2 1 8 1 1 2 2 3 3 3 5 5 6 3 3 3 4 3 4 4 4 5 5 5 5 6 5 8 5 5 5 6 6 7 7