Name | csp/compet08/ normalized-patat-08-comp-3.xml |
MD5SUM | 3a691b3fedc807051946f22a34b74e5c |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 21.4557 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7870 |
Maximum constraint arity | 15 |
Maximum domain size | 35 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 6952 |
Global constraints used (with number of constraints) | alldifferent(918) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058109 | SAT | 21.4557 | 21.6644 |
cpHydra k_10 | 1058114 | SAT | 29.0656 | 29.292 |
MDG-probe 2008-06-27 | 1058100 | SAT | 35.0237 | 35.1965 |
Mistral-option 1.314 | 1058108 | SAT | 58.951 | 59.4949 |
Sugar v1.13+minisat | 1058104 | SAT | 94.9456 | 96.0454 |
SAT4J CSP 2008-06-13 | 1058102 | SAT | 135.524 | 136.445 |
Sugar v1.13+picosat | 1058103 | SAT | 138.493 | 139.404 |
Abscon 112v4 ESAC | 1058113 | SAT | 170.485 | 172.135 |
cpHydra k_40 | 1058115 | SAT | 607.954 | 610.925 |
MDG-noprobe 2008-06-27 | 1058101 | ? (TO) | 1800.02 | 1816.91 |
bpsolver 2008-06-27 | 1058105 | ? (TO) | 1800.05 | 1801.12 |
Abscon 112v4 AC | 1058112 | ? (TO) | 1800.09 | 1812.07 |
choco2_impwdeg 2008-06-26 | 1058106 | ? (TO) | 1800.1 | 1806.55 |
casper zito | 1058111 | ? (TO) | 1800.11 | 1804.83 |
Minion/Tailor 2008-07-04 | 1105388 | ? (TO) | 1800.11 | 1807.32 |
casper zao | 1058110 | ? (TO) | 1800.12 | 1807.56 |
choco2_dwdeg 2008-06-26 | 1058107 | ? (TO) | 1800.15 | 1803.88 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:11 1 38 4 15 19 4 35 5 41 8 14 8 3 2 14 24 12 18 21 7 20 12 34 12 3 27 3 6 17 25 27 9 0 26 34 2 4 7 2 7 11 33 28 38 31 18 23 10 1 21 3 30 9 42 5 14 6 3 25 8 5 30 26 19 39 19 8 7 13 37 4 26 33 29 20 34 9 9 8 8 32 27 9 1 16 22 1 23 16 17 31 20 12 7 12 29 28 0 15 30 22 14 41 44 30 43 15 6 12 21 0 22 10 32 7 26 36 36 29 31 33 38 0 13 22 9 21 15 28 18 19 42 31 0 1 32 10 34 23 11 13 2 17 16 20 16 5 27 35 14 2 16 37 6 12 3 26 21 6 22 24 2 16 16 24 26 40 21 29 23 6 40 13 24 17 5 10 11 18 11 13 7 17 25 0 22 11 36 10 43 10 0 28 43 29 25 39 35 17 2 2 1 4 7 5 7 1 5 7 2 4 6 6 7 8 0 4 2 3 0 6 5 1 0 1 2 2 3 3 6 5 6 1 7 0 2 6 1 5 5 6 1 4 0 7 5 6 5 4 2 3 5 1 4 6 0 6 7 3 1 4 1 4 7 3 3 0 7 4 4 0 0 4 8 0 4 5 2 4 7 5 0 3 5 0 0 1 1 4 4 1 1 1 4 2 7 0 4 4 4 1 6 1 1 0 6 1 0 7 4 3 2 2 4 6 3 6 4 2 4 2 2 5 5 5 0 6 2 1 7 0 7 5 2 3 7 4 2 4 0 1 6 1 7 4 1 8 3 4 5 4 3 7 2 3 0 1 5 7 3 4 1 6 2 2 6 6 1 6 7 1 4 6 1 5 1 1 1 1 5 7 3 0 5 0 6 7 5 6 5 0 6 3 1 4 7 1 5 2