Name | csp/QG6/ normalized-quasigroup6-9.xml |
MD5SUM | 3a37583be3e48d0c415f0063d476413f |
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.42378 |
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 | 1104714 | SAT | 1.42378 | 1.53416 |
bpsolver 2008-06-27 | 1042501 | SAT | 2.21766 | 2.24551 |
MDG-noprobe 2008-06-27 | 1042497 | SAT | 2.27665 | 2.29426 |
Sugar v1.13+minisat | 1042500 | SAT | 2.80157 | 2.90306 |
casper zito | 1044015 | SAT | 4.06438 | 4.10313 |
Mistral-prime 1.313 | 1042505 | SAT | 4.35634 | 4.39294 |
Sugar v1.13+picosat | 1042499 | SAT | 4.38033 | 4.52013 |
casper zao | 1043386 | SAT | 5.39818 | 5.4607 |
Mistral-option 1.314 | 1042504 | SAT | 6.75997 | 6.81788 |
Abscon 112v4 AC | 1044644 | SAT | 7.07892 | 7.15786 |
Abscon 112v4 ESAC | 1045273 | SAT | 8.41872 | 9.13141 |
cpHydra k_40 | 1046531 | SAT | 13.395 | 13.6577 |
choco2_impwdeg 2008-06-26 | 1042502 | SAT | 14.5728 | 14.7472 |
choco2_dwdeg 2008-06-26 | 1042503 | SAT | 14.6228 | 14.8087 |
MDG-probe 2008-06-27 | 1042496 | SAT | 17.8123 | 17.8861 |
cpHydra k_10 | 1045902 | SAT | 20.6219 | 20.9976 |
SAT4J CSP 2008-06-13 | 1042498 | ? | 2.46862 | 2.48853 |
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 9 7 3 5 2 4 6 3 2 4 5 1 9 8 6 7 4 7 3 6 9 8 5 1 2 6 9 5 4 8 2 3 7 1 7 6 8 1 5 3 9 2 4 2 3 7 8 4 6 1 9 5 9 5 1 2 6 4 7 3 8 5 4 2 9 7 1 6 8 3 8 1 6 3 2 7 4 5 9 1 1 65 1 4 75 1 6 58 1 2 23 1 9 42 1 3 16 1 8 35 1 7 54 1 5 19 1 12 4 1 11 1 11 2 30 1 13 5 40 1 14 1 5 1 10 3 78 1 18 7 70 1 17 6 53 1 15 9 63 1 16 8 28 1 22 6 56 1 25 5 1 21 1 21 3 49 1 24 8 77 1 27 2 69 1 26 1 43 1 23 9 8 1 19 4 18 1 20 7 46 1 33 2 74 1 36 1 39 1 32 8 1 31 1 31 4 68 1 35 7 15 1 29 9 25 1 30 5 62 1 34 3 9 1 28 6 55 1 43 9 47 1 42 3 66 1 44 2 4 1 37 7 1 41 1 41 5 24 1 39 8 79 1 45 4 17 1 38 6 36 1 40 1 10 1 47 3 20 1 48 7 57 1 52 1 67 1 53 9 32 1 49 8 1 51 1 51 6 7 1 46 2 80 1 54 5 45 1 50 4 73 1 63 8 38 1 59 6 3 1 55 9 13 1 56 5 50 1 60 4 33 1 58 2 1 61 1 61 7 26 1 57 1 72 1 62 3 37 1 68 7 29 1 67 9 12 1 65 4 76 1 72 3 59 1 70 6 6 1 64 5 52 1 69 1 1 71 1 71 8 27 1 66 2 64 1 80 5 2 1 73 8 48 1 78 7 22 1 75 6 14 1 74 1 60 1 79 4 34 1 76 3 44 1 77 2 1 81 1 81 9