Name | csp/QG7/ normalized-quasigroup7-7.xml |
MD5SUM | fd44125de988974818e4439e42a04254 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 24 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 243 |
Number of constraints | 195 |
Maximum constraint arity | 51 |
Maximum domain size | 43 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 84 |
Global constraints used (with number of constraints) | alldifferent(14),element(97) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1108768 | MSAT (TO) | 24 | 3600.02 | 3615.22 |
Sugar++ v1.13+minisat-inc | 1108767 | MSAT (TO) | 24 | 3600.13 | 3617.42 |
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: 241 7 4 5 6 3 2 4 2 4 5 6 7 5 2 1 3 5 7 4 6 5 5 7 4 7 7 5 7 6 7 6 5 3 6 3 3 7 7 7 6 4 5 4 6 6 6 5 7 16 1 23 7 5 13 7 7 32 7 6 7 7 2 20 7 4 35 7 6 43 7 14 5 43 9 7 9 2 3 7 8 4 32 7 12 6 40 7 13 7 20 7 10 4 28 7 11 5 22 7 18 5 23 7 18 5 43 17 7 17 3 46 7 21 6 47 7 21 6 48 7 18 5 42 7 20 4 29 7 26 7 40 7 26 7 31 7 26 7 43 25 7 25 4 40 7 27 7 48 7 28 5 42 7 25 4 36 7 34 3 37 7 34 3 45 7 35 6 46 7 35 6 43 33 7 33 5 48 7 35 6 37 7 34 3 15 7 38 7 44 7 42 4 24 7 39 7 46 7 42 6 19 7 38 7 43 41 7 41 6 49 7 40 7 8 7 44 4 30 7 47 6 38 7 49 7 32 7 47 6 40 7 49 7 27 7 49 7 43 49 7 49 7