Name | csp/graphColoring/leighton/leighton-25/ normalized-lei450-25a-15.xml |
MD5SUM | 36f7bb4525a596900e07fbeb72405348 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 104 |
Best CPU time to get the best result obtained on this benchmark | 3600.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 8260 |
Maximum constraint arity | 2 |
Maximum domain size | 15 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8260 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113384 | MSAT (TO) | 104 | 3600.07 | 3623.43 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113383 | MSAT (TO) | 119 | 3600.07 | 3619.02 |
AbsconMax 112 pc-d | 1113386 | MSAT (TO) | 145 | 1679.68 | 4000.07 |
AbsconMax 112 pc-w | 1113385 | MSAT (TO) | 145 | 1695.88 | 4000.05 |
Sugar v1.13+minisat | 1113388 | ? (MO) | 192.686 | 209.317 | |
Sugar++ v1.13+minisat-inc | 1113387 | ? (MO) | 193.387 | 207.141 |
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: 1040 11 2 13 2 13 8 4 1 13 12 8 11 11 1 1 0 12 1 8 2 8 2 2 12 3 9 13 5 10 6 6 7 13 2 0 11 7 4 13 5 5 4 2 12 3 5 3 6 0 9 4 5 11 4 10 3 0 4 3 6 13 11 6 8 11 14 5 8 14 3 8 0 8 8 2 4 4 3 14 10 10 7 13 6 6 13 7 1 0 4 11 7 6 5 0 6 0 13 3 6 10 11 9 1 10 9 3 13 1 8 13 10 2 9 10 1 7 13 14 1 9 9 12 14 5 10 7 14 4 4 10 4 11 0 6 1 5 1 1 3 14 13 12 10 1 2 5 7 1 11 7 11 0 12 2 12 12 0 8 4 13 13 5 12 5 3 12 3 11 5 7 3 5 12 13 5 2 1 12 12 10 9 8 9 9 9 2 14 9 3 9 3 12 4 0 7 4 11 14 0 0 14 2 3 12 2 3 6 1 2 0 9 14 2 1 4 13 10 1 11 6 14 7 12 11 9 12 14 12 4 1 12 2 10 6 1 7 5 5 3 1 5 9 9 4 0 9 10 8 14 9 4 14 5 12 11 0 7 8 6 2 5 1 11 9 6 14 2 2 13 14 7 5 6 6 9 14 1 5 9 14 1 7 4 12 10 4 11 10 7 8 8 1 10 7 4 3 12 9 11 6 5 1 2 1 9 7 8 0 11 5 2 4 7 4 4 13 0 7 8 3 3 8 8 12 14 5 2 12 3 0 12 2 10 13 6 8 2 12 5 4 2 0 11 6 3 10 10 8 14 0 6 9 12 10 13 12 9 4 8 7 7 2 10 1 7 14 5 12 7 1 2 14 3 7 6 6 4 5 6 10 13 5 7 0 11 14 12 3 11 9 10 8 4 3 10 14 5 14 4 7 9 2 11 12 4 5 0 5 6 14 0 8 11 2 3 8 3 9 12 5 14 8 6 11 14 5 14 4 7 1 10 11 9 12 13 12 13 4 10 12 14 0 11 6 5 8 8 4