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