Name | csp/QG5/ normalized-quasigroup5-9.xml |
MD5SUM | e6b1ddf219c61bc4d2f738d4811f6cd4 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 71 |
Best CPU time to get the best result obtained on this benchmark | 3600.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 162 |
Maximum constraint arity | 11 |
Maximum domain size | 9 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(18),element(144) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar++ v1.13+minisat-inc | 1108961 | MSAT (TO) | 71 | 3600.11 | 3602.82 |
Sugar v1.13+minisat | 1108962 | MSAT (TO) | 73 | 3600.09 | 3601.42 |
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: 711 4 6 2 3 8 9 9 7 4 2 9 6 7 1 9 5 3 6 7 3 1 2 4 9 2 8 5 8 7 4 3 9 6 1 2 8 6 9 7 5 3 8 2 4 9 1 4 3 8 6 9 2 8 8 8 8 5 9 3 7 9 8 3 9 7 9 4 7 9 8 7 2 5 7 8 6 1 8 7 9 2 2 5 3 3 4 9 5 3 6 9 7 6 8 4 9 6 1 9 3 5 4 8 5 4 6 5 7 3 8 7 9 4 1 8 2 9 4 8 5 1 6 2 7 9 8 9 9 8 1 9 2 5 3 1 5 7 6 3 7 2 8 9 9 9 1 8 2 6 3 9 4 2 6 4 7 7 8 3 9 2 1 9 2 9 3 8 4 4 5 4 7 9 8 9 9 8 1 8 2 8 3 9 4 9 5 9 6 9 8 9 9 9 1 9 2 9 3 3 4 9 5 9 6 9 7 9 9 8 1 7 2 7 3 5 4 9 5 9 6 9 7 9 8