Name | csp/BH-4-13/ normalized-BlackHole-4-13-m-2_ext.xml |
MD5SUM | a7b2d88fca63e18bbc1a826209f183ae |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 2 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 208 |
Number of constraints | 4217 |
Maximum constraint arity | 2 |
Maximum domain size | 52 |
Number of constraints which are defined in extension | 4217 |
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 | 1108639 | MSAT (TO) | 2 | 3600.08 | 3618.82 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1108640 | MSAT (TO) | 5 | 3600.04 | 3623.12 |
AbsconMax 112 pc-w | 1108641 | MSAT (TO) | 7 | 1589.81 | 4000.07 |
AbsconMax 112 pc-d | 1108642 | MSAT (TO) | 7 | 1600.96 | 4000.08 |
Sugar v1.13+minisat | 1108644 | MSAT (MO) | 126 | 137.34 | 139.54 |
Sugar++ v1.13+minisat-inc | 1108643 | ? (MO) | 64.9271 | 66.1138 | |
toulbar2/BTD 2008-06-27 | 1108645 | ? (TO) | 3600.04 | 3609.71 | |
toulbar2 2008-06-27 | 1108646 | ? (TO) | 3600.1 | 3602.01 |
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: 20 0 0 51 18 12 37 10 11 10 5 10 22 44 9 8 34 8 7 48 7 6 28 6 5 44 5 45 46 6 18 22 5 19 3 6 20 48 7 8 14 8 35 29 9 34 37 8 46 49 7 47 46 8 33 2 7 21 25 8 7 2 7 32 37 6 44 50 5 17 19 4 31 2 5 30 34 4 3 9 3 2 48 2 42 20 3 43 10 4 16 6 3 28 11 2 14 9 1 41 11 2 40 49 1 39 36 0 25 19 12 11 5 11 23 30 10 48 26 9 49 14 10 9 39 9 36 4 10 24 16 11 38 42 12 50 31 11 12 20 12 13 46 0 27 21 1 15 38 2 29 14 3 4 45 4 8 1 25 23 21 19 17 15 13 12 13 12 14 16 18 19 17 16 17 16 17 15 13 11 10 11 9 7 6 8 9 7 5 4 5 3 1 25 23 21 20 21 20 22 24 25 24 26 2 4 6 8