Name | csp/compet02/ normalized-patat-02-comp-2.xml |
MD5SUM | bdbe2078ed8387e97052ed05a12c408b |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 53.3499 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 22714 |
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 | 22514 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058413 | SAT | 53.3499 | 53.79 |
cpHydra k_10 | 1058418 | SAT | 58.3781 | 58.7696 |
Sugar v1.13+picosat | 1058407 | SAT | 64.5502 | 65.3658 |
Sugar v1.13+minisat | 1058408 | SAT | 534.13 | 539.661 |
Abscon 112v4 ESAC | 1058417 | SAT | 627.033 | 633.137 |
cpHydra k_40 | 1058419 | SAT | 644.269 | 645.774 |
Abscon 112v4 AC | 1058416 | SAT | 808.007 | 815.98 |
Mistral-option 1.314 | 1058412 | SAT | 1213.83 | 1214.45 |
MDG-noprobe 2008-06-27 | 1058405 | ? (TO) | 1800.02 | 1810.31 |
MDG-probe 2008-06-27 | 1058404 | ? (TO) | 1800.03 | 1806.11 |
Minion/Tailor 2008-07-04 | 1105371 | ? (TO) | 1800.05 | 1816.91 |
bpsolver 2008-06-27 | 1058409 | ? (TO) | 1800.09 | 1801.83 |
choco2_dwdeg 2008-06-26 | 1058411 | ? (TO) | 1800.11 | 1801.27 |
casper zito | 1058415 | ? (TO) | 1800.11 | 1813.12 |
casper zao | 1058414 | ? (TO) | 1800.11 | 1813.27 |
choco2_impwdeg 2008-06-26 | 1058410 | ? (TO) | 1800.15 | 1803.68 |
SAT4J CSP 2008-06-13 | 1058406 | ? (TO) | 1800.23 | 1807.34 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 12 0 1 3 18 35 20 17 6 8 32 19 14 36 2 19 16 31 26 22 43 28 25 24 34 40 33 38 31 15 18 2 10 25 14 6 23 10 27 35 36 39 4 38 24 17 33 32 33 41 7 16 12 18 23 32 7 2 4 17 12 43 4 42 3 11 17 42 25 28 18 8 18 44 12 9 15 3 32 9 19 35 4 8 21 15 21 31 31 15 20 37 44 16 40 34 4 32 44 29 5 9 9 4 20 20 5 30 5 15 22 19 0 33 17 31 22 13 29 24 26 10 25 9 35 5 16 42 18 22 19 3 13 34 6 29 32 0 39 19 38 12 37 13 40 5 37 23 38 32 14 5 39 38 19 28 2 21 7 36 17 38 5 37 6 14 20 40 2 14 7 1 12 11 8 5 43 14 43 10 11 4 44 39 16 37 8 0 21 30 34 13 16 7 34 25 15 17 6 12 7 13 24 9 2 35 13 2 15 37 18 42 11 4 29 29 23 8 0 39 33 13 30 8 9 3 2 6 0 11 24 10 15 27 23 41 28 25 16 1 29 0 41 13 25 2 32 8 23 1 1 26 26 14 40 33 20 3 42 9 8 26 31 10 36 32 24 6 23 0 38 11 34 35 5 15 8 27 3 9 31 0 20 18 37 22 24 33 1 22 14 1 34 23 22 19 11 20 25 10 30 26 11 27 10 41 27 25 39 30 12 13 11 21 23 6 16 36 40 6 17 35 23 30 36 7 29 3 4 12 19 27 7 29 19 16 21 15 30 9 24 21 41 5 34 14 38 21 1 43 28 26 21 30 42 1 17 21 30 20 26 37 31 14 6 7 35 25 40 28 18 0 11 22 35 10 4 27 12 31 1 37 28 40 3 2 10 22 28 24 20 16 17 36 22 41 7 29 36 7 7 9 1 5 6 5 9 0 6 5 5 8 9 4 7 9 4 1 1 6 0 8 5 2 2 5 4 9 6 3 0 6 5 6 0 8 8 3 4 6 1 1 6 0 4 1 0 9 2 0 5 8 6 8 6 0 3 2 4 2 9 2 9 0 2 8 8 4 2 7 3 0 5 2 0 7 8 0 8 0 0 8 8 7 2 6 8 8 4 2 1 6 3 6 3 3 0 4 4 2 9 2 6 1 3 4 0 2 3 5 9 3 7 8 7 5 5 1 0 1 3 6 7 8 4 7 0 3 7 2 1 3 9 4 2 8 1 3 0 6 8 8 8 5 1 2 3 5 2 2 3 5 2 3 4 0 5 6 2 0 3 4 4 1 7 6 8 8 9 7 8 0 1 3 4 6 8 4 3 2 4 5 0 4 2 5 6 1 9 1 5 0 9 6 7 0 7 6 9 5 4 2 6 3 3 1 8 0 0 2 4 9 6 3 4 5 3 1 6 6 1 6 9 9 5 6 1 4 5 9 8 9 1 0 2 4 3 9 7 2 3 0 3 4 3 8 6 2 0 6 7 2 4 2 7 3 2 9 2 1 3 8 0 1 3 7 3 5 7 4 1 5 1 0 1 9 8 2 1 4 2 8 0 1 7 1 0 5 8 8 8 3 8 9 0 7 1 7 8 8 7 7 0 5 0 1 7 1 3 0 4 7 2 0 4 3 1 8 0 0 4 7 1 3 2 0 1 8 7 3 2 1 7 7 5 3 3 4 4 9 7 1 2 8 0 5 5 5 9 4 1 5 7 8 5 5 9 4 5 6 0 0 3 1 1 1 2 4 2 2 2 2 7 3 3 7 2 3 2 7 4 4 4 4 4 4 4 4 5 5 5 5 5 5 7 5 9 6 6