Name | maxcsp/celar/graphs/ normalized-graphw-13_ext.xml |
MD5SUM | 4fd5fe2c274c7f4a79c4e653b5be8cbf |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 50 |
Best CPU time to get the best result obtained on this benchmark | 3600.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 458 |
Number of constraints | 4815 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 4815 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1125367 | MSAT (TO) | 50 | 3600.05 | 3630.52 |
AbsconMax 112 pc-w | 1125369 | MSAT (TO) | 53 | 1601.86 | 4000.08 |
AbsconMax 112 pc-d | 1125370 | MSAT (TO) | 53 | 1609.98 | 4000.09 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1125368 | MSAT (TO) | 182 | 3600.07 | 3618.32 |
Sugar++ v1.13+minisat-inc | 1125371 | ? (MO) | 7.83 | 9.35782 | |
Sugar v1.13+minisat | 1125372 | ? (MO) | 8.03 | 8.28735 | |
toulbar2 2008-06-27 | 1125374 | ? (TO) | 3600.01 | 3627.11 | |
toulbar2/BTD 2008-06-27 | 1125373 | ? (TO) | 3600.07 | 3614.62 |
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: 500 23 0 2 0 7 8 35 30 7 20 43 4 29 34 4 43 7 33 4 43 31 43 39 43 29 39 0 2 19 2 33 38 29 5 1 0 43 7 35 1 10 0 22 43 0 43 4 4 19 0 4 7 31 43 32 0 0 9 2 0 0 0 43 7 1 39 0 33 31 1 9 10 0 29 29 43 2 9 31 0 4 31 43 6 41 27 10 6 0 4 7 0 0 2 39 30 0 41 43 0 17 27 0 2 2 10 0 35 1 43 43 43 6 2 31 41 6 33 29 1 0 10 31 31 6 31 33 1 41 7 41 27 2 41 34 2 2 1 27 6 41 4 35 43 6 7 0 7 29 1 43 9 39 7 10 43 35 4 0 43 0 43 33 30 4 31 31 27 4 9 1 4 1 35 41 35 0 43 4 43 41 0 43 0 41 35 38 1 31 31 29 38 31 7 1 0 0 29 0 0 39 9 4 4 1 21 43 4 10 43 0 0 2 10 43 0 0 31 35 0 33 7 2 2 43 1 43 31 0 41 35 1 33 35 29 41 39 43 27 41 39 31 0 1 43 43 0 30 43 7 43 30 4 1 43 35 0 0 4 0 16 4 36 2 31 1 0 10 0 6 33 38 43 4 0 27 0 0 31 39 9 43 0 29 33 30 35 4 43 2 31 0 29 41 10 33 2 7 1 0 1 36 35 2 36 10 7 0 30 43 9 31 2 9 31 30 43 16 7 35 39 0 43 33 9 0 0 3 39 10 4 35 27 1 31 27 43 31 10 35 7 43 7 0 10 43 1 37 7 0 7 2 7 0 1 1 0 43 36 6 1 43 30 2 0 11 29 4 4 41 1 2 4 43 1 4 43 0 43 0 0 35 10 27 11 6 43 0 7 0 33 2 43 10 7 22 35 10 0 27 35 43 30 0 4 37 43 1 31 43 0 7 29 31 1 29 43 39 30 41 31 7 37 7 1 29 1 39 43 1 7 1 31 29 1 41 7 41 10 35 1 4 33 29 41 2 18 43 10 43 35 0 4 43 27 0 4