Name | csp/cjss/ normalized-ft06x2-55.xml |
MD5SUM | 1c90d48f09889e35c1b53dca58fbffd8 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.56661 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 73 |
Number of constraints | 78 |
Maximum constraint arity | 12 |
Maximum domain size | 56 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 72 |
Global constraints used (with number of constraints) | cumulative(6) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+minisat | 1041900 | SAT | 2.56661 | 2.61747 |
Sugar v1.13+picosat | 1041899 | SAT | 3.18951 | 3.34631 |
Mistral-option 1.314 | 1041904 | SAT | 6.54 | 6.54712 |
Mistral-prime 1.313 | 1041905 | SAT | 12.5601 | 12.6632 |
cpHydra k_40 | 1046471 | SAT | 20.1599 | 20.5373 |
cpHydra k_10 | 1045842 | SAT | 20.3049 | 20.7668 |
MDG-probe 2008-06-27 | 1041896 | SAT | 43.9933 | 44.3376 |
choco2_dwdeg 2008-06-26 | 1041903 | SAT | 262.589 | 264.943 |
MDG-noprobe 2008-06-27 | 1041897 | SAT | 532.763 | 532.894 |
casper zito | 1043955 | SAT | 1751.04 | 1764.03 |
Abscon 112v4 AC | 1044584 | ? | 0.628903 | 0.681065 |
Abscon 112v4 ESAC | 1045213 | ? | 0.631903 | 0.675008 |
SAT4J CSP 2008-06-13 | 1041898 | ? | 2.27565 | 2.34821 |
Minion/Tailor 2008-07-04 | 1104654 | ? (exit code) | 0.248961 | 0.294866 |
casper zao | 1043326 | ? (TO) | 1800.06 | 1807.61 |
bpsolver 2008-06-27 | 1041901 | ? (TO) | 1800.09 | 1808.11 |
choco2_impwdeg 2008-06-26 | 1041902 | ? (TO) | 1800.1 | 1815.76 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:55 1 2 13 19 26 31 3 12 17 31 41 51 2 9 13 21 30 31 20 25 30 35 38 46 0 9 12 39 51 54 0 3 6 15 27 31 0 1 28 34 43 49 0 9 16 29 39 49 7 14 18 30 39 48 11 16 21 28 37 46 14 23 26 42 50 53 16 19 22 31 45 49