| Name | csp/BH-4-13/ normalized-BlackHole-4-13-e-3_ext.xml |
| MD5SUM | 0d63c340aa2de5a517388f1f4a3c0ad6 |
| 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.05 |
| 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 | 1108599 | MSAT (TO) | 2 | 3600.05 | 3601.52 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1108600 | MSAT (TO) | 6 | 3600.04 | 3616.82 |
| AbsconMax 112 pc-w | 1108601 | MSAT (TO) | 7 | 1600.47 | 4000.07 |
| AbsconMax 112 pc-d | 1108602 | MSAT (TO) | 7 | 1620.34 | 4000.04 |
| Sugar v1.13+minisat | 1108604 | MSAT (MO) | 308 | 137.304 | 139.179 |
| Sugar++ v1.13+minisat-inc | 1108603 | ? (MO) | 60.1039 | 62.5139 | |
| toulbar2/BTD 2008-06-27 | 1108605 | ? (TO) | 3600.07 | 3603.31 | |
| toulbar2 2008-06-27 | 1108606 | ? (TO) | 3600.1 | 3628.92 |
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 14 28 1 15 20 2 29 25 3 41 22 2 40 14 1 2 40 2 16 42 3 30 28 4 18 6 5 4 23 4 42 5 3 28 28 2 3 44 3 43 36 4 5 47 5 17 21 4 48 4 9 23 18 10 50 47 11 25 44 12 39 32 0 51 44 12 37 5 11 38 42 12 26 35 0 27 50 1 13 25 0 12 10 12 24 39 11 36 44 10 22 41 9 8 30 8 46 43 7 21 35 8 9 11 9 49 22 10 11 50 11 10 36 10 35 6 9 47 21 8 7 9 7 19 25 6 33 22 7 34 17 8 20 34 7 45 22 6 31 51 5 6 29 6 44 10 5 32 23 6 7 24 7 5 2 4 6 7 5 4 6 8 10 11 9 7 6 8 10 11 9 20 22 24 26 1 25 24 26 2 3 1 25 23 21 19 17 16 18 20 22 23 21 19 17 15 14 16 17 15 13 12 13 12 14