Name | csp/QG7/ normalized-quasigroup7-8.xml |
MD5SUM | eec85a74385caa2c1c4b0ec1f3d7bf8d |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 18 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1108774 | MSAT (TO) | 18 | 3600.08 | 3621.12 |
Sugar++ v1.13+minisat-inc | 1108773 | MSAT (TO) | 31 | 3600.05 | 3628.13 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 181 5 4 3 2 8 6 7 4 2 8 1 3 5 6 7 2 1 3 5 4 8 6 7 5 3 2 4 1 7 8 6 3 4 1 2 5 7 8 6 8 8 8 7 7 6 8 7 6 6 6 8 8 8 7 6 7 7 7 6 6 7 6 8 35 1 26 8 3 11 8 8 36 8 2 21 8 4 62 8 7 47 8 8 56 8 6 33 8 13 3 57 10 8 10 2 3 8 9 4 60 8 11 8 29 8 12 1 62 8 16 7 47 8 14 8 56 8 15 6 25 8 20 5 58 8 24 7 57 19 8 19 3 12 8 18 1 5 8 17 2 62 8 24 7 47 8 22 8 56 8 23 6 17 8 27 2 2 8 25 5 35 8 29 1 57 28 8 28 4 13 8 26 3 54 8 31 8 63 8 32 6 48 8 30 7 9 8 34 4 18 8 35 1 27 8 36 2 4 8 33 3 57 37 8 37 5 54 8 39 8 63 8 40 6 48 8 38 7 57 8 48 7 57 8 45 7 59 8 48 7 52 8 47 8 53 8 47 8 57 46 8 46 6 63 8 48 6 56 8 47 6 41 8 54 8 42 8 54 8 43 8 54 8 60 8 56 6 61 8 56 6 62 8 56 6 57 55 8 55 7 48 8 54 8 49 8 63 6 50 8 63 6 51 8 63 6 44 8 62 7 45 8 62 7 54 8 63 8 47 8 64 8 57 64 8 64 8