Name | csp/small/ normalized-patat-02-small-3.xml |
MD5SUM | 8b6891248b1158101d0f3823c0b78f6f |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.658899 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2780 |
Maximum constraint arity | 13 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2714 |
Global constraints used (with number of constraints) | alldifferent(66) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1065389 | SAT | 0.658899 | 0.664485 |
Abscon 112v4 AC | 1065392 | SAT | 2.77158 | 2.80432 |
Abscon 112v4 ESAC | 1065393 | SAT | 3.33749 | 3.39088 |
Sugar v1.13+minisat | 1065384 | SAT | 3.58346 | 3.67905 |
Mistral-option 1.314 | 1065388 | SAT | 4.43733 | 4.46199 |
Sugar v1.13+picosat | 1065383 | SAT | 7.2279 | 8.88123 |
casper zao | 1065390 | SAT | 7.48386 | 7.52405 |
cpHydra k_10 | 1065394 | SAT | 9.75252 | 9.88264 |
cpHydra k_40 | 1065395 | SAT | 9.78251 | 10.0205 |
casper zito | 1065391 | SAT | 16.8114 | 16.9763 |
choco2_impwdeg 2008-06-26 | 1065386 | SAT | 39.457 | 39.8532 |
SAT4J CSP 2008-06-13 | 1065382 | SAT | 53.9078 | 54.2425 |
Minion/Tailor 2008-07-04 | 1107024 | ? (TO) | 1800.03 | 1809.21 |
MDG-noprobe 2008-06-27 | 1065381 | ? (TO) | 1800.09 | 1807.71 |
MDG-probe 2008-06-27 | 1065380 | ? (TO) | 1800.1 | 1807.51 |
bpsolver 2008-06-27 | 1065385 | ? (TO) | 1800.12 | 1804.81 |
choco2_dwdeg 2008-06-26 | 1065387 | ? (TO) | 1800.14 | 1800.88 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 20 22 23 31 23 29 12 9 22 4 40 18 9 6 34 10 21 27 19 18 14 9 8 17 4 2 1 24 12 2 5 16 13 11 8 11 26 39 2 17 0 4 7 7 15 5 12 13 8 3 17 10 19 41 3 14 15 19 7 5 36 7 15 20 25 4 0 0 21 12 3 11 6 9 11 32 1 33 35 10 5 1 6 2 28 30 8 38 16 3 10 37 14 0 13 18 21 1 16 3 2 2 0 0 2 0 0 0 0 0 0 0 1 1 0 3 1 0 1 1 0 3 1 2 3 3 0 0 2 0 0 0 2 3 3 2 0 0 1 0 1 1 3 2 0 3 3 1 2 3 1 2 2 0 0 1 2 0 0 2 0 1 1 0 0 2 3 2 0 1 2 0 2 2 1 0 1 0 0 1 1 2 0 2 0 0 0 0 2 1 0 0 2 0 0 2 2 3 1