Name | csp/compet02/ normalized-patat-02-comp-11.xml |
MD5SUM | 995ab5e30175a498c1eb15b93ed7231d |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 77.4632 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 28733 |
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 | 28513 |
Global constraints used (with number of constraints) | alldifferent(220) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058455 | SAT | 77.4632 | 78.869 |
cpHydra k_10 | 1058466 | SAT | 259.776 | 261.174 |
Mistral-prime 1.313 | 1058461 | SAT | 265.54 | 266.711 |
cpHydra k_40 | 1058467 | SAT | 839.563 | 842.823 |
Minion/Tailor 2008-07-04 | 1105360 | ? (TO) | 1800.01 | 1815.22 |
MDG-probe 2008-06-27 | 1058452 | ? (TO) | 1800.03 | 1803.01 |
MDG-noprobe 2008-06-27 | 1058453 | ? (TO) | 1800.03 | 1804.32 |
Mistral-option 1.314 | 1058460 | ? (TO) | 1800.07 | 1808.52 |
bpsolver 2008-06-27 | 1058457 | ? (TO) | 1800.08 | 1805.52 |
choco2_impwdeg 2008-06-26 | 1058458 | ? (TO) | 1800.09 | 1800.96 |
Sugar v1.13+minisat | 1058456 | ? (TO) | 1800.1 | 1804.85 |
casper zao | 1058462 | ? (TO) | 1800.1 | 1812.47 |
choco2_dwdeg 2008-06-26 | 1058459 | ? (TO) | 1800.1 | 1810.67 |
Abscon 112v4 AC | 1058464 | ? (TO) | 1800.11 | 1801.09 |
casper zito | 1058463 | ? (TO) | 1800.12 | 1802.23 |
Abscon 112v4 ESAC | 1058465 | ? (TO) | 1800.15 | 1801.27 |
SAT4J CSP 2008-06-13 | 1058454 | ? (TO) | 1800.22 | 1803.37 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:14 4 11 43 8 37 3 13 26 24 5 0 12 26 4 31 26 7 22 9 19 0 40 4 12 7 2 15 22 12 16 10 31 3 5 34 33 43 34 6 13 27 8 0 10 36 19 2 22 2 8 27 16 4 39 38 42 15 3 5 15 34 44 11 11 4 5 30 27 11 26 44 14 27 6 29 25 24 17 15 8 7 16 28 4 8 37 30 27 6 35 44 32 5 19 7 3 6 14 28 15 11 44 2 31 7 28 9 2 41 0 1 1 12 33 8 9 40 14 1 18 6 13 10 8 4 23 44 29 29 13 9 12 6 13 15 29 13 14 3 15 40 1 16 16 11 20 6 30 29 17 5 3 44 12 17 13 28 16 19 31 18 39 2 6 7 10 9 17 16 0 18 20 18 20 14 23 19 30 0 9 16 12 43 19 35 21 1 22 26 20 24 34 21 7 22 39 21 9 41 30 1 21 22 35 11 9 25 2 27 31 32 22 24 4 32 23 27 32 24 25 17 6 34 26 20 14 19 16 18 36 18 25 29 35 5 4 42 1 28 31 32 30 14 32 27 33 12 36 10 37 20 38 42 37 34 30 7 23 23 21 11 9 32 10 8 37 26 35 7 12 17 10 25 26 29 19 42 28 30 22 39 0 25 28 33 29 13 19 23 31 38 18 30 31 41 30 36 25 43 36 27 32 33 2 24 13 37 11 1 41 15 39 8 21 21 3 38 41 10 2 18 39 38 21 5 15 22 33 34 5 33 29 31 37 36 17 34 40 38 41 40 34 44 39 40 24 32 43 25 33 40 35 39 0 0 0 28 42 42 20 22 42 23 43 42 16 26 33 41 13 40 34 20 41 3 36 3 36 44 7 37 21 5 17 23 24 38 10 35 37 20 44 17 25 33 19 43 26 36 5 0 8 6 8 7 5 8 7 5 2 3 3 1 4 7 4 7 9 2 3 6 2 8 1 6 8 2 4 7 0 9 3 3 1 2 9 5 9 9 3 6 7 7 4 3 0 7 6 2 9 7 5 1 2 0 2 9 2 4 7 7 2 1 2 7 8 6 3 3 9 8 8 8 5 4 6 3 9 5 6 4 6 3 3 1 2 2 9 8 5 6 7 7 4 3 1 0 2 8 8 5 3 5 5 2 2 9 4 9 9 6 8 8 6 3 5 6 6 1 6 4 6 3 0 2 3 7 2 8 2 4 5 6 9 3 1 1 7 0 1 7 7 3 8 6 4 3 3 5 8 3 6 0 4 3 7 5 4 9 1 8 3 0 7 0 7 7 7 9 4 3 3 9 5 0 5 7 8 1 3 2 6 7 6 6 5 5 2 0 7 7 8 8 9 7 6 2 8 0 0 3 7 3 7 9 1 0 3 2 0 6 8 8 6 5 4 5 2 0 2 4 2 3 8 0 3 5 7 7 2 5 7 3 2 9 5 7 4 4 2 8 9 4 3 0 2 0 0 5 8 2 2 9 0 0 5 8 0 7 3 7 6 4 2 4 1 5 3 5 2 5 6 4 2 0 2 3 1 1 0 0 2 5 6 1 7 5 8 2 4 7 4 7 8 3 4 7 3 3 5 4 9 8 1 2 4 3 4 2 7 6 7 5 0 1 8 3 8 8 6 2 8 4 4 0 0 5 5 4 5 4 6 6 4 4 0 6 9 8 6 8 5 9 4 1 1 1 8 8 0 4 0 5 0 8 5 7 5 6 6 1 0 8 1 8 1 6 3 5 0 5 1 1 2 7 8 9 6 5 1 6 6 6 6 6 6 6 1 8 5 8 1 1 9 7 1 9 3 1