Name | csp/QG4/ normalized-quasigroup4-6.xml |
MD5SUM | d423570e424f598e004cba94dd3f14f2 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 7 |
Best CPU time to get the best result obtained on this benchmark | 1048.91 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 114 |
Number of constraints | 83 |
Maximum constraint arity | 38 |
Maximum domain size | 36 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 35 |
Global constraints used (with number of constraints) | alldifferent(12),element(36) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1109104 | OPTIMUM | 7 | 1048.91 | 1049.32 |
Sugar++ v1.13+minisat-inc | 1109103 | OPTIMUM | 7 | 1625.46 | 1625.75 |
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: 71 4 6 2 3 5 5 2 1 5 3 4 4 5 3 6 2 5 6 3 5 4 2 1 2 6 4 1 5 3 3 1 2 3 4 6 31 28 1 28 1 24 1 32 1 9 1 32 1 23 2 31 8 2 25 2 17 2 33 2 4 2 34 3 5 3 31 15 3 30 3 20 3 11 3 12 4 27 4 35 4 31 22 4 2 4 13 4 14 5 18 5 10 5 7 5 31 29 5 21 5 36 6 19 6 26 6 3 6 16 6 31 36 6