Name | csp/QCP-25/ normalized-qcp-25-264-11_ext.xml |
MD5SUM | 4e0a4a07c28ced9909e8a26fd94d990f |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 5 |
Best CPU time to get the best result obtained on this benchmark | 3600.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 10142 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 10142 |
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 | 1108423 | MSAT (TO) | 5 | 3600.05 | 3620.62 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1108424 | MSAT (TO) | 14 | 3600.04 | 3644.72 |
AbsconMax 112 pc-d | 1108426 | MSAT (TO) | 21 | 1654.71 | 4000.06 |
AbsconMax 112 pc-w | 1108425 | MSAT (TO) | 21 | 1666.87 | 4000.05 |
Sugar v1.13+minisat | 1108428 | ? | 201.802 | 209.68 | |
Sugar++ v1.13+minisat-inc | 1108427 | ? (TO) | 126.299 | 4002.04 | |
toulbar2 2008-06-27 | 1108430 | ? (TO) | 3600.07 | 3606.31 | |
toulbar2/BTD 2008-06-27 | 1108429 | ? (TO) | 3600.07 | 3602.22 |
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: 55 14 6 21 1 13 4 0 8 22 23 3 17 9 18 7 20 10 15 12 2 11 16 19 24 6 13 0 22 15 9 8 23 20 18 21 16 12 10 24 11 17 5 19 2 1 3 7 4 14 0 10 2 13 19 5 3 18 24 23 20 22 9 17 1 12 6 15 16 8 4 21 14 11 7 22 11 12 4 3 24 7 20 0 15 1 19 2 14 17 10 5 13 8 18 23 6 21 9 16 17 7 19 5 4 10 24 21 9 3 12 8 1 23 22 14 16 6 13 11 0 18 20 15 2 21 9 17 2 13 3 22 1 15 16 7 5 0 8 20 4 11 14 18 10 24 19 6 12 23 14 1 15 17 10 7 18 6 19 0 24 23 3 11 21 5 2 12 9 20 22 16 4 13 8 2 21 18 12 5 16 23 24 11 13 9 6 8 20 7 3 10 1 0 4 17 15 22 14 19 18 3 16 10 20 4 0 2 6 9 11 14 13 15 19 1 8 7 21 17 5 22 12 23 24 19 18 7 8 14 12 17 15 16 11 0 24 22 4 9 6 3 20 5 21 10 23 2 1 13 11 6 1 0 8 19 5 9 4 24 13 2 16 12 23 15 18 17 14 3 7 20 10 21 22 24 2 4 20 11 21 6 12 10 14 16 13 15 1 5 8 7 18 23 22 9 17 19 3 0 23 8 14 11 16 18 19 5 7 17 4 1 24 6 10 22 21 3 20 13 12 2 15 0 9 15 12 20 7 18 23 16 14 17 19 3 10 4 5 6 2 1 11 24 9 13 8 0 22 21 8 19 3 15 24 0 21 7 23 10 17 11 20 16 14 13 4 9 22 1 6 12 18 2 5 3 17 24 16 22 1 20 19 14 21 8 7 23 2 11 9 13 0 6 15 18 5 1 10 4 7 4 23 14 12 15 10 16 5 2 6 9 19 21 13 18 22 24 11 0 8 1 3 17 20 1 20 10 24 2 14 9 13 18 8 19 21 6 22 15 0 12 23 7 16 3 4 11 5 17 10 16 5 18 9 17 1 22 13 6 2 4 21 3 0 23 15 19 12 7 20 14 8 24 11 16 23 21 6 0 11 12 8 3 1 22 20 18 13 2 17 9 4 10 19 14 24 5 7 15 4 24 9 3 23 2 15 11 12 20 14 17 5 7 8 21 19 22 1 6 16 0 13 18 10 9 15 8 19 6 20 14 10 22 5 18 12 11 0 4 1 24 2 17 24 21 13 23 16 3 12 22 13 23 7 6 11 3 21 4 10 18 14 24 16 19 0 8 2 5 15 9 17 20 1 20 0 22 1 17 8 13 4 2 7 5 15 7 19 12 24 23 21 3 14 11 10 9 6 18 13 5 11 9 21 22 2 17 1 12 15 0 10 18 3 20 14 16 4 23 19 7 24 8 6