Name | csp/small/ normalized-patat-02-small-4.xml |
MD5SUM | 1f09980c5d7c107d636a478d0aef4777 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 4.5853 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 3335 |
Maximum constraint arity | 12 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3270 |
Global constraints used (with number of constraints) | alldifferent(65) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+minisat | 1065400 | SAT | 4.5853 | 4.74351 |
Sugar v1.13+picosat | 1065399 | SAT | 7.66383 | 7.81306 |
casper zito | 1065407 | SAT | 20.9768 | 20.9885 |
casper zao | 1065406 | SAT | 25.6321 | 25.8801 |
choco2_impwdeg 2008-06-26 | 1065402 | SAT | 68.4776 | 69.1619 |
SAT4J CSP 2008-06-13 | 1065398 | SAT | 105.211 | 105.41 |
Mistral-prime 1.313 | 1065405 | SAT | 226.958 | 228 |
cpHydra k_10 | 1065410 | SAT | 426.806 | 431.723 |
cpHydra k_40 | 1065411 | SAT | 985.394 | 991.735 |
Mistral-option 1.314 | 1065404 | ? (TO) | 1800.04 | 1804.61 |
MDG-probe 2008-06-27 | 1065396 | ? (TO) | 1800.04 | 1805.61 |
MDG-noprobe 2008-06-27 | 1065397 | ? (TO) | 1800.05 | 1809.01 |
bpsolver 2008-06-27 | 1065401 | ? (TO) | 1800.09 | 1807.11 |
Minion/Tailor 2008-07-04 | 1107025 | ? (TO) | 1800.11 | 1807.51 |
Abscon 112v4 ESAC | 1065409 | ? (TO) | 1800.13 | 1813.46 |
Abscon 112v4 AC | 1065408 | ? (TO) | 1800.14 | 1817.18 |
choco2_dwdeg 2008-06-26 | 1065403 | ? (TO) | 1800.16 | 1801.28 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:38 34 39 38 31 21 40 42 17 41 42 32 24 36 32 36 19 29 40 32 30 31 25 39 30 31 43 39 34 16 26 25 24 42 44 43 44 27 34 37 15 37 27 41 20 43 39 16 38 28 23 31 25 35 26 36 44 18 26 33 40 43 36 20 29 44 28 23 30 22 40 38 44 28 37 41 33 36 29 41 35 43 28 24 42 29 35 22 37 35 38 31 42 40 33 27 34 39 41 22 4 4 4 0 3 2 1 4 2 0 0 4 3 0 1 4 4 3 0 2 4 4 1 3 2 0 1 1 0 4 1 2 2 2 3 4 2 3 2 2 3 1 2 3 2 0 0 2 1 3 1 1 3 3 2 1 4 1 3 1 3 2 3 1 4 0 4 2 1 1 4 3 1 2 4 2 2 2 2 4 2 3 1 1 3 1 1 2 3 4 2 2 1 2 4 4 1 2 1 0