Name | csp/tightness0.9/ normalized-rand-2-40-180-84-900-11_ext.xml |
MD5SUM | d174f30dff34b2f3c393d12ebce78d94 |
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 | 47.4708 |
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 | 1114940 | OPTIMUM | 1 | 47.4708 | 48.0908 |
Sugar++ v1.13+minisat-inc | 1114939 | OPTIMUM | 1 | 65.1521 | 67.086 |
toulbar2 2008-06-27 | 1114942 | OPTIMUM | 1 | 470.513 | 471.823 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114935 | MSAT (TO) | 1 | 3600.03 | 3606.32 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114936 | MSAT (TO) | 1 | 3600.07 | 3619.03 |
AbsconMax 112 pc-w | 1114937 | MSAT (TO) | 4 | 1578.89 | 4000.05 |
AbsconMax 112 pc-d | 1114938 | MSAT (TO) | 4 | 1603.47 | 4000.07 |
toulbar2/BTD 2008-06-27 | 1114941 | ? (exit code) | 17.6783 | 17.6938 |
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: 1102 139 157 79 152 144 163 133 80 176 128 40 25 133 173 81 130 46 76 69 99 138 157 128 148 41 104 147 49 42 139 12 163 71 169 99 177 141 159 109