Name | csp/compet02/ normalized-patat-02-comp-8.xml |
MD5SUM | 6ffc155fe35ccd8e570b991c75a33724 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 111.339 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 47551 |
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 | 47302 |
Global constraints used (with number of constraints) | alldifferent(249) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058391 | SAT | 111.339 | 114.01 |
Mistral-prime 1.313 | 1058397 | SAT | 433.424 | 436.338 |
cpHydra k_10 | 1058402 | SAT | 502.63 | 507.622 |
cpHydra k_40 | 1058403 | SAT | 1038.26 | 1053.7 |
MDG-noprobe 2008-06-27 | 1058389 | ? (TO) | 1800.04 | 1801.52 |
bpsolver 2008-06-27 | 1058393 | ? (TO) | 1800.05 | 1808.23 |
Mistral-option 1.314 | 1058396 | ? (TO) | 1800.06 | 1809.72 |
Minion/Tailor 2008-07-04 | 1105377 | ? (TO) | 1800.07 | 1801.82 |
casper zito | 1058399 | ? (TO) | 1800.1 | 1803.24 |
MDG-probe 2008-06-27 | 1058388 | ? (TO) | 1800.1 | 1801.72 |
choco2_dwdeg 2008-06-26 | 1058395 | ? (TO) | 1800.15 | 1813.3 |
choco2_impwdeg 2008-06-26 | 1058394 | ? (TO) | 1800.16 | 1804.68 |
Abscon 112v4 AC | 1058400 | ? (TO) | 1800.18 | 1810.52 |
casper zao | 1058398 | ? (TO) | 1800.18 | 1806.98 |
Sugar v1.13+minisat | 1058392 | ? (TO) | 1800.21 | 1802.3 |
SAT4J CSP 2008-06-13 | 1058390 | ? (TO) | 1800.21 | 1805.08 |
Abscon 112v4 ESAC | 1058401 | ? (TO) | 1800.22 | 1810.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:35 13 13 14 40 7 18 9 1 25 36 29 3 3 7 23 5 41 0 9 42 4 0 3 44 9 28 2 1 7 30 1 4 41 24 2 43 1 27 39 20 11 3 4 31 4 2 3 21 43 20 5 38 23 2 3 5 43 42 3 14 5 7 6 3 13 2 4 42 38 25 24 1 2 10 5 12 6 8 7 0 9 8 39 6 5 30 6 31 10 6 14 11 8 10 11 5 14 4 11 11 6 7 8 12 8 13 44 12 18 4 15 13 16 31 21 5 9 1 9 20 40 7 9 17 10 11 2 18 8 21 8 7 15 19 20 17 23 21 26 17 18 8 42 8 22 44 23 10 9 24 33 21 0 3 11 15 14 16 23 26 13 41 5 10 17 33 25 38 26 18 20 14 35 16 27 13 34 28 29 32 32 15 17 22 14 8 16 27 43 28 23 23 30 31 39 20 12 19 22 0 44 13 6 15 18 19 1 19 16 10 23 15 25 44 19 29 17 24 18 6 17 7 25 26 29 42 36 40 26 32 1 25 19 30 28 2 39 20 2 19 22 20 22 1 37 22 14 27 42 30 30 10 16 31 32 26 34 29 4 20 11 12 21 24 24 1 19 25 26 27 13 15 31 24 12 25 22 36 19 22 24 7 16 0 12 26 27 30 25 6 27 17 0 38 34 28 6 25 10 28 43 38 33 0 35 29 28 34 29 41 30 27 29 32 34 35 33 33 31 39 30 28 18 34 35 36 36 0 17 32 31 34 33 32 33 37 32 44 15 35 12 44 5 39 27 15 41 42 32 9 22 39 11 31 21 43 38 21 36 35 41 40 16 29 40 14 39 43 44 40 34 2 36 9 24 37 18 20 44 23 38 16 39 37 4 40 40 41 33 37 42 19 42 41 43 34 33 37 3 7 6 4 2 2 7 7 1 2 6 8 7 2 1 5 2 2 5 0 5 0 9 7 3 6 2 1 0 9 3 8 5 1 1 9 3 2 6 8 1 3 7 9 0 0 8 7 4 5 1 0 6 6 1 2 8 4 6 1 5 1 9 2 3 6 1 9 5 2 7 8 0 3 6 2 0 2 2 8 9 9 0 2 0 1 8 3 0 5 5 6 9 0 6 0 1 3 0 6 4 3 8 6 5 9 7 8 1 3 2 3 1 2 8 1 2 1 3 4 7 6 1 0 9 1 7 2 5 8 0 8 9 1 8 5 5 3 0 1 2 7 3 1 7 4 6 7 4 6 8 8 4 4 8 7 9 4 7 0 7 8 7 4 5 9 6 7 2 8 0 6 1 8 3 5 3 3 6 8 2 2 1 2 0 9 6 3 9 1 0 5 9 5 2 9 2 8 0 3 5 5 2 9 5 9 0 7 7 9 2 1 8 6 1 0 1 8 9 3 9 4 2 8 7 5 4 4 0 9 6 7 1 4 6 9 6 8 9 2 1 8 4 7 8 8 6 1 4 7 3 1 0 3 4 7 0 7 7 3 2 4 6 1 7 1 2 0 4 5 9 9 0 3 6 4 4 0 2 2 2 0 6 4 7 2 8 1 5 7 3 7 2 8 1 2 0 2 9 9 8 9 3 3 2 3 0 0 7 2 9 0 6 6 1 6 1 9 8 1 2 8 5 0 1 4 2 3 9 6 4 5 3 9 0 9 3 0 8 3 7 6 7 9 7 6 0 0 7 6 4 4 7 3 5 8 0 7 0 9 7 8 9 5 3 6 0 3 4 4 4 4 3 4 6 6 7 7 5 9 5 6 9 6 7 2 7 7 8 6 6 8 9 0 8 2 9 8 9 9 0