Name | csp/tightness0.9/ normalized-rand-2-40-180-84-900-43_ext.xml |
MD5SUM | 5e74acd6c2922631caf76186e9c1ffd6 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 467.888 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 84 |
Maximum constraint arity | 2 |
Maximum domain size | 180 |
Number of constraints which are defined in extension | 84 |
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 |
---|---|---|---|---|---|
Sugar++ v1.13+minisat-inc | 1114947 | OPTIMUM | 1 | 467.888 | 470.796 |
Sugar v1.13+minisat | 1114948 | OPTIMUM | 1 | 2241.34 | 2252.34 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114943 | MSAT (TO) | 1 | 3600.06 | 3605.12 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114944 | MSAT (TO) | 1 | 3600.08 | 3613.82 |
AbsconMax 112 pc-w | 1114945 | MSAT (TO) | 3 | 1601.09 | 4000.05 |
AbsconMax 112 pc-d | 1114946 | MSAT (TO) | 3 | 3265.52 | 4000.11 |
toulbar2/BTD 2008-06-27 | 1114949 | ? (exit code) | 17.0094 | 17.1571 | |
toulbar2 2008-06-27 | 1114950 | ? (TO) | 3600.01 | 3610.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: 1147 4 179 116 29 176 74 88 179 48 10 115 170 27 25 129 164 95 131 10 147 176 67 140 36 75 176 44 145 104 142 11 66 73 47 171 146 157 28 152