Name | maxcsp/celar/graphs/ normalized-graphw-12_ext.xml |
MD5SUM | e3208b2cbdfb5e345be7d842ab817689 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 203 |
Best CPU time to get the best result obtained on this benchmark | 1.05884 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 253 |
Number of constraints | 3724 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 3724 |
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 |
---|---|---|---|---|---|
toulbar2 2008-06-27 | 1125358 | OPTIMUM | 203 | 1.05884 | 1.06397 |
toulbar2/BTD 2008-06-27 | 1125357 | OPTIMUM | 203 | 10.9473 | 11.6739 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1125352 | MSAT (TO) | 203 | 3600.02 | 3605.62 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1125351 | MSAT (TO) | 203 | 3600.06 | 3634.43 |
AbsconMax 112 pc-w | 1125353 | MSAT (TO) | 240 | 1572.5 | 4000.08 |
AbsconMax 112 pc-d | 1125354 | MSAT (TO) | 240 | 1613.52 | 4000.08 |
Sugar v1.13+minisat | 1125356 | MSAT (TO) | 475 | 3600.14 | 3618.64 |
Sugar++ v1.13+minisat-inc | 1125355 | No Cert. | 231.72 | 234.542 |
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: 20327 17 3 37 21 9 21 9 0 33 10 0 33 10 22 1 3 2 0 27 36 36 0 41 43 3 32 43 8 29 3 43 1 43 0 0 43 7 33 43 10 19 0 3 43 0 0 2 19 43 31 35 27 0 27 7 33 0 31 1 2 0 0 1 35 32 7 0 0 0 0 3 3 1 37 35 43 31 0 0 33 42 0 35 42 1 27 0 4 41 42 43 1 7 43 7 8 9 18 2 36 3 5 29 43 5 43 2 5 29 10 23 33 43 2 43 1 43 2 43 4 3 43 0 43 42 2 7 3 2 1 0 32 9 43 33 29 23 7 0 23 27 0 3 0 35 34 2 32 43 42 31 2 3 7 35 19 41 43 0 3 43 41 2 7 35 35 2 36 0 2 0 2 0 2 7 0 43 7 36 0 41 5 42 0 41 0 0 0 10 4 0 33 43 1 1 32 2 43 41 34 0 39 7 0 41 31 1 7 27 43 43 7 43 31 2 0 7 0 3 9 43 5 43 0 10 0 27 1 43 33 5 5 37 1 4 33 32 32 43 3 36 7 31 9 42 35 7 0 1 43 10 -1