Name | csp/QCP-20/ normalized-qcp-20-187-14_ext.xml |
MD5SUM | 2f481b685a7027ea12aca285c2e0e131 |
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.06 |
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 | 1108351 | MSAT (TO) | 2 | 3600.06 | 3604.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1108352 | MSAT (TO) | 2 | 3600.09 | 3632.02 |
AbsconMax 112 pc-w | 1108353 | MSAT (TO) | 6 | 1622.28 | 4000.08 |
AbsconMax 112 pc-d | 1108354 | MSAT (TO) | 6 | 1776.86 | 4000.07 |
Sugar v1.13+minisat | 1108356 | ? (MO) | 92.8177 | 159.674 | |
Sugar++ v1.13+minisat-inc | 1108355 | ? (MO) | 94.1247 | 113.828 | |
toulbar2/BTD 2008-06-27 | 1108357 | ? (TO) | 3600.06 | 3601.31 | |
toulbar2 2008-06-27 | 1108358 | ? (TO) | 3600.07 | 3601.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: 212 11 14 17 19 13 18 16 0 6 15 7 2 9 10 8 5 1 4 3 10 0 1 3 6 5 9 13 8 17 14 19 7 2 4 11 16 15 12 18 2 6 17 18 5 3 15 6 12 7 4 8 9 16 11 19 13 0 10 14 14 17 2 11 0 15 10 19 4 1 18 5 12 6 13 9 3 7 16 8 9 1 6 2 15 10 8 14 19 3 16 18 4 7 5 13 0 12 17 11 13 2 18 0 8 16 7 9 14 12 3 4 19 15 1 5 11 17 6 10 15 8 11 6 14 12 1 7 2 10 9 3 0 19 17 18 4 16 13 5 6 16 9 14 18 19 13 2 5 4 8 1 17 3 15 0 7 10 11 12 19 15 3 9 1 18 2 10 6 5 13 16 8 0 7 12 17 11 14 4 8 18 7 16 2 1 4 12 15 19 10 0 11 5 14 17 9 6 3 13 7 19 4 15 3 8 11 5 17 2 0 10 18 14 9 16 12 13 6 1 3 5 13 4 16 14 17 15 7 11 6 12 1 18 0 10 19 8 2 9 18 9 0 7 17 6 3 4 1 16 5 11 13 10 12 2 8 14 15 19 17 4 10 19 9 7 16 11 18 15 12 13 5 8 3 1 14 2 0 6 16 14 5 8 7 17 12 1 3 0 11 9 6 13 19 15 10 4 18 2 0 3 16 10 4 11 5 17 9 13 1 15 14 12 8 6 2 18 19 7 1 13 15 5 12 9 0 3 16 18 7 14 10 11 2 4 6 19 8 17 4 10 12 1 11 2 14 18 13 8 19 6 3 17 16 7 15 5 9 0 11 7 19 12 13 0 6 8 10 9 17 2 15 4 18 14 1 3 5 16 5 12 8 13 10 4 19 0 11 14 2 17 16 1 6 3 18 9 7 15