Name | csp/QG7/ normalized-quasigroup7-9.xml |
MD5SUM | faddf2cf53c4ca4326325c7475421126 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.76573 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 403 |
Number of constraints | 323 |
Maximum constraint arity | 83 |
Maximum domain size | 73 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 144 |
Global constraints used (with number of constraints) | alldifferent(18),element(161) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Minion/Tailor 2008-07-04 | 1104444 | SAT | 1.76573 | 1.55382 |
Sugar v1.13+minisat | 1039800 | SAT | 3.18051 | 3.77594 |
Sugar v1.13+picosat | 1039799 | SAT | 4.41333 | 4.49058 |
casper zito | 1043745 | SAT | 6.51901 | 6.52464 |
Abscon 112v4 AC | 1044374 | SAT | 7.91579 | 7.98025 |
casper zao | 1043116 | SAT | 10.1125 | 10.1239 |
Abscon 112v4 ESAC | 1045003 | SAT | 13.9579 | 14.1278 |
choco2_dwdeg 2008-06-26 | 1039803 | SAT | 14.2518 | 14.2215 |
cpHydra k_40 | 1046261 | SAT | 14.8467 | 15.2389 |
cpHydra k_10 | 1045632 | SAT | 20.6959 | 20.8775 |
choco2_impwdeg 2008-06-26 | 1039802 | SAT | 22.3176 | 22.4243 |
MDG-noprobe 2008-06-27 | 1039797 | SAT | 60.4418 | 60.7346 |
Mistral-prime 1.313 | 1039805 | SAT | 62.2905 | 62.4032 |
Mistral-option 1.314 | 1039804 | SAT | 79.039 | 79.3737 |
bpsolver 2008-06-27 | 1039801 | SAT | 93.4138 | 94.2772 |
MDG-probe 2008-06-27 | 1039796 | SAT | 113.202 | 113.684 |
SAT4J CSP 2008-06-13 | 1039798 | ? | 2.51262 | 2.18325 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 3 4 5 9 2 8 6 7 5 2 9 6 7 8 3 1 4 9 6 3 7 2 1 5 4 8 7 1 2 4 8 5 6 9 3 8 9 1 3 5 7 4 2 6 4 5 8 9 3 6 1 7 2 2 4 6 8 1 9 7 3 5 3 7 5 2 6 4 9 8 1 6 8 7 1 4 3 2 5 9 1 1 38 1 9 75 1 7 58 1 8 68 1 6 33 1 5 16 1 3 26 1 4 54 1 2 19 1 12 9 1 11 1 11 2 48 1 15 8 4 1 10 5 77 1 18 4 42 1 14 7 34 1 13 6 62 1 16 3 72 1 17 1 28 1 22 7 74 1 27 8 1 21 1 21 3 13 1 20 6 5 1 19 9 69 1 26 4 52 1 24 1 44 1 23 2 63 1 25 5 37 1 32 8 47 1 33 5 57 1 34 6 1 31 1 31 4 23 1 30 2 78 1 36 3 70 1 35 9 17 1 29 1 9 1 28 7 73 1 45 6 56 1 43 4 12 1 38 9 67 1 44 2 1 41 1 41 5 24 1 39 1 7 1 37 8 53 1 42 7 36 1 40 3 10 1 47 5 65 1 53 7 3 1 46 4 40 1 50 3 59 1 52 1 1 51 1 51 6 79 1 54 2 35 1 49 9 27 1 48 8 64 1 62 3 20 1 57 6 39 1 59 1 49 1 60 9 32 1 58 8 6 1 55 2 1 61 1 61 7 80 1 63 5 18 1 56 4 46 1 69 4 2 1 64 3 30 1 67 2 76 1 72 1 14 1 65 7 60 1 70 9 25 1 66 5 1 71 1 71 8 45 1 68 6 55 1 79 2 29 1 76 1 66 1 80 5 22 1 75 7 50 1 78 3 15 1 74 8 43 1 77 4 8 1 73 6 1 81 1 81 9