Name | csp/compet02/ normalized-patat-02-comp-3.xml |
MD5SUM | 645b4d5985800c441d40903d8a951448 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 82.2495 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 36304 |
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 | 36104 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058503 | SAT | 82.2495 | 82.4626 |
Mistral-prime 1.313 | 1058509 | SAT | 151.029 | 151.091 |
cpHydra k_10 | 1058514 | SAT | 183.08 | 184.976 |
cpHydra k_40 | 1058515 | SAT | 750.984 | 754.177 |
Mistral-option 1.314 | 1058508 | SAT | 894.441 | 898.149 |
MDG-probe 2008-06-27 | 1058500 | ? (TO) | 1800.03 | 1814.12 |
MDG-noprobe 2008-06-27 | 1058501 | ? (TO) | 1800.06 | 1800.92 |
Minion/Tailor 2008-07-04 | 1105372 | ? (TO) | 1800.08 | 1816.41 |
bpsolver 2008-06-27 | 1058505 | ? (TO) | 1800.08 | 1808.02 |
casper zito | 1058511 | ? (TO) | 1800.08 | 1810.93 |
casper zao | 1058510 | ? (TO) | 1800.1 | 1812.38 |
choco2_dwdeg 2008-06-26 | 1058507 | ? (TO) | 1800.14 | 1812.2 |
Sugar v1.13+minisat | 1058504 | ? (TO) | 1800.14 | 1813.06 |
Abscon 112v4 AC | 1058512 | ? (TO) | 1800.15 | 1810.21 |
Abscon 112v4 ESAC | 1058513 | ? (TO) | 1800.16 | 1803.6 |
SAT4J CSP 2008-06-13 | 1058502 | ? (TO) | 1800.19 | 1812.1 |
choco2_impwdeg 2008-06-26 | 1058506 | ? (TO) | 1800.2 | 1807.8 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 34 27 7 1 33 38 38 6 6 13 10 43 4 0 1 14 6 2 43 2 4 12 20 11 0 0 2 5 21 39 2 4 31 34 3 24 44 3 5 9 44 4 5 10 0 2 40 13 6 6 1 12 7 9 9 38 10 7 1 28 8 16 34 36 1 8 5 2 10 11 2 15 32 3 1 5 24 15 0 11 4 5 19 11 4 6 7 29 7 43 3 13 13 0 14 13 8 11 19 14 9 26 22 4 15 15 16 44 3 39 11 5 12 41 13 29 10 18 11 10 22 18 13 17 18 19 20 21 2 3 22 42 23 5 20 7 9 8 12 13 8 21 22 14 36 0 14 28 18 15 3 17 42 41 20 12 33 4 14 10 23 20 15 27 24 17 16 41 16 0 8 30 18 19 15 27 14 16 3 27 5 21 7 39 30 22 8 9 43 21 21 9 22 40 22 26 25 30 25 26 1 17 4 0 18 8 24 42 6 17 25 24 21 43 37 20 8 19 17 26 24 6 31 28 6 11 28 22 5 7 32 28 18 25 29 29 33 11 42 27 14 10 30 43 35 22 29 21 34 8 16 29 26 26 44 27 20 32 30 16 27 31 9 37 31 13 32 28 29 31 32 20 24 9 23 17 27 11 35 33 31 23 28 29 34 40 19 19 16 33 7 42 25 17 27 20 12 29 30 24 26 4 33 34 34 10 12 34 15 35 23 34 29 1 32 31 36 32 43 37 14 44 35 35 23 32 37 37 31 36 10 24 7 39 40 18 15 25 41 40 36 40 20 33 13 38 35 16 39 37 42 23 44 12 32 34 25 25 32 26 9 44 41 25 38 35 36 38 37 38 40 28 30 33 39 40 18 19 41 27 36 39 6 44 37 38 42 41 28 39 33 37 42 38 36 37 41 43 3 7 9 2 4 1 7 2 7 7 1 2 4 0 6 4 7 4 8 8 3 3 4 2 5 0 2 1 6 4 9 8 5 1 6 8 2 1 4 5 7 2 6 3 6 5 8 4 7 5 9 6 0 8 5 6 4 4 3 3 6 6 9 6 4 4 4 4 1 0 9 8 2 6 6 7 2 3 5 8 6 5 5 9 0 3 2 0 2 6 7 2 4 4 3 9 5 9 6 9 8 3 5 7 7 7 0 1 2 7 8 6 4 5 0 7 0 3 8 9 6 6 0 7 1 8 3 4 4 8 1 3 2 4 6 8 9 8 0 1 1 8 3 5 8 9 1 3 7 3 1 3 6 1 9 8 3 7 3 9 6 1 8 2 5 5 0 7 8 2 0 0 0 3 4 3 7 4 2 3 0 8 0 3 9 4 8 6 8 3 8 4 7 7 4 3 3 8 3 4 1 2 8 9 8 7 6 7 3 6 2 0 5 6 6 4 6 0 2 7 3 4 4 3 8 4 5 2 2 5 2 0 1 1 2 8 8 1 0 1 3 7 8 2 0 7 7 1 2 1 2 5 4 9 3 0 0 1 7 2 1 9 3 5 1 2 9 7 7 8 4 7 5 1 8 8 2 6 9 7 5 4 4 3 7 7 7 8 2 6 1 2 6 8 7 4 6 8 4 0 6 7 1 0 1 0 3 7 6 6 2 1 4 5 5 3 9 1 9 3 6 3 0 9 9 3 1 4 9 7 2 3 0 2 1 3 9 8 4 4 6 0 8 6 6 8 6 6 6 7 1 4 7 7 1 3 0 1 0 9 8 6 9 3 4 6 0 8 6 3 8 8 1 5 7 9 5 4 5 1 5 0 5 2 4 2 5 5 2 3 0 0 6 0 1 1 2 1 1 1 1