Name | csp/QG4/ normalized-quasigroup4-8.xml |
MD5SUM | 26123929065b998fd314418eb7267e98 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 4 |
Best CPU time to get the best result obtained on this benchmark | 3600.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 143 |
Maximum constraint arity | 66 |
Maximum domain size | 64 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 63 |
Global constraints used (with number of constraints) | alldifferent(16),element(64) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1109106 | MSAT (TO) | 4 | 3600.04 | 3636.81 |
Sugar++ v1.13+minisat-inc | 1109105 | MSAT (TO) | 4 | 3600.09 | 3601.01 |
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: 41 6 5 8 2 7 4 3 3 2 1 7 8 4 5 6 6 8 3 5 7 1 2 4 5 3 7 4 6 8 1 7 7 6 8 2 5 3 4 1 4 5 2 3 1 6 8 2 8 1 4 6 3 2 7 5 2 7 6 1 4 5 3 8 57 50 1 22 1 45 1 40 1 50 1 31 1 60 1 11 1 43 2 57 10 2 57 2 23 2 48 2 36 2 5 2 54 2 38 3 8 3 57 19 3 53 3 63 3 9 3 26 3 44 3 61 4 51 4 39 4 57 28 4 14 4 24 4 41 4 7 4 15 5 62 5 56 5 42 5 57 37 5 3 5 20 5 25 5 52 6 29 6 2 6 59 6 17 6 57 46 6 16 6 34 6 32 7 33 7 12 7 6 7 27 7 58 7 57 55 7 21 7 18 8 47 8 30 8 49 8 4 8 13 8 35 8 57 64 8