Name | csp/graphColoring/leighton/leighton-25/ normalized-lei450-25b-15.xml |
MD5SUM | 66871b9147092ea31691cb75373af3c1 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 109 |
Best CPU time to get the best result obtained on this benchmark | 3600.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 8263 |
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 | 8263 |
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 | 1113378 | MSAT (TO) | 109 | 3600.01 | 3645.02 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113377 | MSAT (TO) | 126 | 3600 | 3634.02 |
AbsconMax 112 pc-d | 1113380 | MSAT (TO) | 148 | 1702.58 | 4000.08 |
AbsconMax 112 pc-w | 1113379 | MSAT (TO) | 148 | 1713.69 | 4000.07 |
Sugar++ v1.13+minisat-inc | 1113381 | ? (MO) | 174.709 | 401.283 | |
Sugar v1.13+minisat | 1113382 | ? (MO) | 179.584 | 203.786 |
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: 1090 5 11 6 5 3 8 4 12 2 14 12 12 7 5 1 6 9 10 13 10 5 7 2 10 14 3 5 13 9 0 7 13 13 2 6 1 2 12 7 8 14 1 6 7 9 2 2 1 10 4 1 10 12 9 3 12 2 3 9 2 1 2 1 0 10 14 0 5 3 11 10 14 11 12 8 7 4 14 3 4 14 5 11 13 3 0 6 12 6 13 10 9 11 13 14 14 10 5 4 1 4 2 3 14 13 11 4 1 10 3 12 7 2 11 6 11 13 6 0 11 14 5 1 10 7 10 3 13 0 7 11 14 12 10 6 4 5 9 0 5 5 9 11 9 6 14 14 11 12 2 4 14 10 7 5 0 7 1 11 7 1 3 0 12 8 10 6 2 8 1 9 7 11 9 0 3 13 8 3 13 13 2 3 0 13 12 14 9 3 1 2 7 9 8 4 8 6 9 13 4 6 13 14 4 1 0 12 3 8 7 0 1 4 7 5 12 7 3 8 8 10 4 2 10 13 12 13 9 9 14 12 7 6 5 11 8 1 9 14 7 7 11 10 2 10 14 13 14 11 14 5 11 3 8 4 12 14 6 2 9 6 6 4 1 5 1 2 4 8 2 8 8 13 5 12 7 13 8 8 2 6 10 1 9 5 6 5 8 12 3 8 5 7 1 1 14 14 10 4 11 8 12 2 6 2 11 9 4 7 1 6 2 5 9 2 6 13 12 11 11 14 2 10 3 0 5 4 9 9 4 0 5 3 14 12 8 9 7 5 6 10 5 12 8 14 1 14 4 7 5 9 1 14 0 12 10 13 13 13 6 10 13 9 10 7 8 1 10 8 0 14 7 11 8 8 3 6 14 13 10 3 1 12 5 2 8 13 4 4 12 1 0 12 1 1 9 8 3 11 13 9 6 5 7 2 8 3 13 13 2 5 12 3 12 6 3 8 1 10 14 0 0 11 0 4 13 13 6 13 12 8 2 13 9 14 5 10 12 12 2 12 1 1 10 5 8 2 9 9