Name | maxcsp/celar/graphs/ normalized-graphw-11_ext.xml |
MD5SUM | 03714bb3c86d8924463de6f16f58185b |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 26 |
Best CPU time to get the best result obtained on this benchmark | 3600.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 340 |
Number of constraints | 3417 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 3417 |
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 | 1125335 | MSAT (TO) | 26 | 3600.09 | 3602.92 |
AbsconMax 112 pc-w | 1125337 | MSAT (TO) | 27 | 1601.13 | 4000.09 |
AbsconMax 112 pc-d | 1125338 | MSAT (TO) | 27 | 1603.44 | 4000.15 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1125336 | MSAT (TO) | 61 | 3600.05 | 3633.52 |
toulbar2/BTD 2008-06-27 | 1125341 | ? (TO) | 631 | 3600.05 | 3648.02 |
Sugar v1.13+minisat | 1125340 | ? (MO) | 7.16 | 7.52683 | |
Sugar++ v1.13+minisat-inc | 1125339 | ? (MO) | 8.87 | 7.43975 | |
toulbar2 2008-06-27 | 1125342 | ? (TO) | 3600.02 | 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: 263 4 36 10 0 2 2 36 0 20 18 11 2 5 3 21 4 2 1 5 21 36 32 19 0 2 43 40 31 2 10 28 0 0 9 2 0 36 32 36 2 0 43 32 43 0 7 40 36 9 43 27 0 41 36 40 0 43 1 36 5 28 43 40 2 10 0 31 1 5 3 28 3 11 28 31 43 31 4 7 40 0 0 43 27 4 32 40 9 4 43 14 10 7 43 31 43 0 10 31 20 2 34 2 0 7 22 7 36 18 20 27 35 7 41 8 3 36 35 27 40 34 0 43 35 43 1 36 4 40 2 0 5 5 34 43 0 0 2 36 43 7 43 0 34 35 32 7 43 27 35 43 32 0 2 0 2 10 9 1 0 43 27 1 0 2 35 0 2 42 36 2 40 0 35 43 2 41 3 1 2 3 34 43 5 2 2 0 34 28 5 0 32 36 0 32 28 4 2 7 0 34 9 0 0 43 0 31 35 10 0 43 7 28 31 0 2 43 43 36 7 22 0 3 42 35 43 2 40 39 40 0 31 27 10 40 1 7 1 32 0 4 31 40 5 40 2 38 2 43 3 7 3 0 31 0 4 0 10 0 5 35 36 3 27 0 2 27 0 0 0 2 34 0 9 2 27 28 43 34 0 7 34 0 5 7 4 28 43 0 2 43 43 1 0 43 4 0 36 40 28 34 32 43 7 9 34 1 1 36 43 43 1 36 40 9 34 5 0 31 36 36 2 0 43 40 3 0 34 0 4 5 28 10 36 43 32 36 34 10