Name | csp/QG6/ normalized-quasigroup6-8.xml |
MD5SUM | ea45f81a3740c0ff452c95065be48628 |
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.172973 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 318 |
Number of constraints | 255 |
Maximum constraint arity | 66 |
Maximum domain size | 57 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 112 |
Global constraints used (with number of constraints) | alldifferent(16),element(127) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1042527 | SAT | 0.172973 | 0.172952 |
Mistral-prime 1.313 | 1042535 | SAT | 0.184971 | 0.196062 |
cpHydra k_40 | 1046534 | SAT | 0.196969 | 0.206775 |
cpHydra k_10 | 1045905 | SAT | 0.199968 | 0.207276 |
Minion/Tailor 2008-07-04 | 1104717 | SAT | 0.923858 | 0.782158 |
casper zao | 1043389 | SAT | 2.05769 | 2.08431 |
Sugar v1.13+minisat | 1042530 | SAT | 2.37664 | 2.57095 |
Sugar v1.13+picosat | 1042529 | SAT | 2.6346 | 2.75507 |
MDG-probe 2008-06-27 | 1042526 | SAT | 2.92055 | 2.93998 |
casper zito | 1044018 | SAT | 3.07253 | 3.0893 |
Abscon 112v4 ESAC | 1045276 | SAT | 3.62845 | 3.65873 |
Abscon 112v4 AC | 1044647 | SAT | 3.73343 | 3.78366 |
bpsolver 2008-06-27 | 1042531 | SAT | 4.12237 | 4.14197 |
Mistral-option 1.314 | 1042534 | SAT | 4.14637 | 4.16372 |
choco2_dwdeg 2008-06-26 | 1042533 | SAT | 5.41617 | 5.47067 |
choco2_impwdeg 2008-06-26 | 1042532 | SAT | 6.562 | 6.675 |
SAT4J CSP 2008-06-13 | 1042528 | ? | 2.25766 | 2.33187 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 8 4 6 2 5 3 7 3 2 5 7 8 4 1 6 5 6 3 8 7 1 4 2 2 3 6 4 1 7 8 5 7 4 8 3 5 2 6 1 8 1 7 5 3 6 2 4 6 5 2 1 4 8 7 3 4 7 1 2 6 3 5 8 1 1 58 1 7 27 1 6 44 1 5 13 1 8 38 1 2 23 1 4 56 1 3 17 1 11 5 1 10 1 10 2 35 1 13 8 52 1 15 1 61 1 16 6 30 1 12 7 7 1 9 3 48 1 14 4 33 1 21 7 42 1 22 1 1 19 1 19 3 60 1 24 2 53 1 23 4 6 1 17 5 31 1 20 8 16 1 18 6 9 1 26 3 18 1 27 6 43 1 30 7 1 28 1 28 4 5 1 25 2 54 1 31 8 63 1 32 5 40 1 29 1 49 1 39 6 26 1 36 3 59 1 40 1 20 1 35 8 1 37 1 37 5 14 1 34 4 47 1 38 2 8 1 33 7 57 1 48 4 2 1 41 8 51 1 47 2 36 1 45 3 21 1 43 7 1 46 1 46 6 15 1 42 1 32 1 44 5 41 1 54 8 34 1 53 4 11 1 50 5 4 1 49 6 29 1 52 1 62 1 56 3 1 55 1 55 7 24 1 51 2 25 1 60 2 50 1 63 5 3 1 57 4 12 1 58 7 45 1 62 3 22 1 59 1 39 1 61 6 1 64 1 64 8