Name | csp/QG7/ normalized-quasigroup7-4.xml |
MD5SUM | aa2db5a72cb0a10253cb4c9b8eb0b732 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 11 |
Best CPU time to get the best result obtained on this benchmark | 43.2084 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 78 |
Number of constraints | 63 |
Maximum constraint arity | 18 |
Maximum domain size | 13 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 24 |
Global constraints used (with number of constraints) | alldifferent(8),element(31) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1108772 | OPTIMUM | 11 | 43.2084 | 44.8185 |
Sugar++ v1.13+minisat-inc | 1108771 | OPTIMUM | 11 | 49.0615 | 55.2835 |
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: 111 3 4 2 3 2 4 1 4 4 3 2 2 3 1 4 8 1 10 4 4 12 4 2 8 4 3 9 4 7 4 13 6 4 6 2 15 4 8 1 12 4 6 2 13 4 12 2 14 4 12 2 13 11 4 11 3 4 4 9 2 5 4 14 3 13 4 13 2 7 4 14 3 13 16 4 16 4