| Name | csp/QCP-20/ normalized-qcp-20-187-10_ext.xml |
| MD5SUM | c75cabce312ab26d4e77e41ad2ea09be |
| 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.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 5540 |
| Maximum constraint arity | 2 |
| Maximum domain size | 20 |
| Number of constraints which are defined in extension | 5540 |
| 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 | 1108375 | MSAT (TO) | 2 | 3600.04 | 3619.42 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1108376 | MSAT (TO) | 2 | 3600.04 | 3609.32 |
| AbsconMax 112 pc-w | 1108377 | MSAT (TO) | 6 | 1608.41 | 4000.07 |
| AbsconMax 112 pc-d | 1108378 | MSAT (TO) | 6 | 1612.19 | 4000.06 |
| Sugar++ v1.13+minisat-inc | 1108379 | ? (MO) | 92.7369 | 95.8764 | |
| Sugar v1.13+minisat | 1108380 | ? (MO) | 93.52 | 97.1518 | |
| toulbar2 2008-06-27 | 1108382 | ? (TO) | 3600.04 | 3614.61 | |
| toulbar2/BTD 2008-06-27 | 1108381 | ? (TO) | 3600.11 | 3602.21 |
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: 23 18 6 14 9 12 0 19 8 15 1 13 16 11 17 10 7 2 5 4 2 15 10 0 6 9 5 4 19 16 12 1 13 8 3 18 17 14 11 7 0 1 9 8 10 14 19 16 6 2 7 4 3 17 12 5 11 18 13 15 15 19 17 7 8 6 18 10 4 14 13 16 0 2 5 11 1 9 12 3 8 4 12 15 13 16 17 2 11 19 5 18 1 14 9 3 10 7 6 0 14 10 8 9 4 11 7 18 0 1 3 12 15 19 6 13 2 16 17 5 19 17 11 12 1 13 14 5 9 3 2 7 10 15 18 6 0 8 4 16 9 14 3 4 7 18 2 11 17 5 16 10 8 6 0 12 15 19 1 13 4 16 13 11 15 8 9 7 1 6 18 3 19 5 2 17 14 12 0 10 5 11 14 10 12 0 1 3 16 7 19 6 2 18 13 8 4 15 9 17 13 6 19 5 14 1 11 17 10 18 8 2 9 0 7 16 3 4 15 12 11 7 18 13 3 5 4 15 2 12 17 0 6 1 14 9 16 10 8 19 17 12 16 3 5 7 10 6 15 13 0 9 11 4 8 14 19 1 18 2 16 8 4 17 18 2 6 14 12 0 9 19 5 3 10 15 13 11 7 1 10 3 2 6 17 19 15 1 7 4 11 5 12 9 16 0 18 13 14 8 6 5 7 16 2 15 14 12 18 9 4 11 17 13 1 19 8 0 10 3 12 0 15 18 11 4 13 8 3 10 14 17 7 16 19 1 9 5 2 6 1 9 0 2 19 10 12 13 5 17 15 8 14 7 11 4 6 3 16 18 18 2 5 1 0 3 16 9 13 8 6 14 4 10 15 7 12 17 19 11 7 13 1 19 16 17 8 0 14 11 10 15 18 12 4 2 5 6 3 9