Name | csp/QG6/ normalized-quasigroup6-6.xml |
MD5SUM | 28bfbb33476b5a4dbdd5bbba4644e23e |
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.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 178 |
Number of constraints | 143 |
Maximum constraint arity | 38 |
Maximum domain size | 31 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 60 |
Global constraints used (with number of constraints) | alldifferent(12),element(71) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1109098 | MSAT (TO) | 18 | 3600.07 | 3601.91 |
Sugar++ v1.13+minisat-inc | 1109097 | MSAT (TO) | 28 | 3600.07 | 3614.82 |
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 6 4 2 3 5 5 2 1 6 4 1 5 4 3 1 2 1 6 1 2 4 6 2 4 3 1 3 5 3 2 5 2 1 3 6 27 1 32 6 5 21 6 2 10 6 6 25 6 4 30 6 3 25 6 11 4 31 8 6 8 2 3 6 7 5 34 6 12 1 23 6 10 6 6 6 7 5 25 6 14 4 20 6 16 1 31 15 6 15 3 4 6 13 2 11 6 14 4 6 6 13 5 31 6 24 2 2 6 19 6 9 6 20 1 31 22 6 22 4 33 6 24 2 12 6 20 1 19 6 28 6 14 6 25 4 3 6 25 4 16 6 27 1 31 29 6 29 5 18 6 27 1 7 6 32 5 26 6 35 3 9 6 32 5 4 6 31 2 17 6 33 2 31 36 6 36 6