Name | csp/QG4/ normalized-quasigroup4-9.xml |
MD5SUM | d0d864992a962c8beff5238515ba838d |
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.10883 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 252 |
Number of constraints | 179 |
Maximum constraint arity | 83 |
Maximum domain size | 81 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 80 |
Global constraints used (with number of constraints) | alldifferent(18),element(81) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1043394 | SAT | 1.10883 | 1.12015 |
bpsolver 2008-06-27 | 1042581 | SAT | 1.24281 | 1.26373 |
Sugar v1.13+minisat | 1042580 | SAT | 2.31065 | 2.43798 |
Sugar v1.13+picosat | 1042579 | SAT | 3.03354 | 3.11149 |
casper zito | 1044023 | SAT | 3.75043 | 3.78935 |
Abscon 112v4 AC | 1044652 | SAT | 4.23235 | 4.27423 |
MDG-probe 2008-06-27 | 1042576 | SAT | 5.78812 | 5.81313 |
MDG-noprobe 2008-06-27 | 1042577 | SAT | 5.9161 | 5.94392 |
Abscon 112v4 ESAC | 1045281 | SAT | 7.00793 | 7.0392 |
Mistral-prime 1.313 | 1042585 | SAT | 7.96879 | 8.0349 |
cpHydra k_40 | 1046539 | SAT | 11.0923 | 11.8764 |
Minion/Tailor 2008-07-04 | 1104722 | SAT | 14.2238 | 14.4131 |
Mistral-option 1.314 | 1042584 | SAT | 24.9392 | 25.1324 |
choco2_dwdeg 2008-06-26 | 1042583 | SAT | 48.0357 | 48.531 |
choco2_impwdeg 2008-06-26 | 1042582 | SAT | 59.5239 | 60.0442 |
cpHydra k_10 | 1045910 | SAT | 59.8919 | 61.166 |
SAT4J CSP 2008-06-13 | 1042578 | ? | 3.50847 | 3.7302 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 6 8 7 2 9 3 5 4 4 2 7 8 9 3 1 6 5 5 8 3 9 6 7 4 2 1 2 3 5 4 8 1 6 9 7 9 7 2 6 5 4 8 1 3 3 5 1 2 7 6 9 4 8 6 4 9 5 1 8 7 3 2 7 9 4 1 3 5 2 8 6 8 1 6 3 4 2 5 7 9 1 1 1 33 1 44 1 16 1 74 1 27 1 48 1 59 1 67 1 49 2 1 11 2 70 2 26 2 63 2 39 2 28 2 78 2 5 2 68 3 62 3 1 21 3 45 3 15 3 7 3 76 3 29 3 46 3 56 4 66 4 77 4 1 31 4 53 4 10 4 42 4 9 4 25 4 18 5 79 5 47 5 69 5 1 41 5 58 5 8 5 19 5 30 5 75 6 23 6 55 6 2 6 34 6 1 51 6 72 6 40 6 17 6 24 7 4 7 36 7 50 7 64 7 80 7 1 61 7 12 7 38 7 43 8 54 8 13 8 73 8 3 8 32 8 20 8 1 71 8 60 8 35 9 37 9 6 9 57 9 22 9 65 9 14 9 52 9 1 81 9