Name | csp/graphColoring/sgb/book/ normalized-homer-12.xml |
MD5SUM | 123e2cd4075a239e85b27a34c046082e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
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 | 163.587 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 561 |
Number of constraints | 1628 |
Maximum constraint arity | 2 |
Maximum domain size | 12 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1628 |
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 | 1113525 | OPTIMUM | 1 | 163.587 | 165.178 |
Sugar v1.13+minisat | 1113526 | OPTIMUM | 1 | 170.487 | 174.545 |
AbsconMax 112 pc-d | 1113524 | MSAT (TO) | 1 | 1614.23 | 4000.08 |
AbsconMax 112 pc-w | 1113523 | MSAT (TO) | 1 | 1735.3 | 4000.06 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113521 | MSAT (TO) | 1 | 3600.03 | 3603.12 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113522 | MSAT (TO) | 1 | 3600.09 | 3625.02 |
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: 16 10 11 11 10 6 11 11 11 8 7 11 7 11 8 11 10 11 10 11 11 11 11 11 11 10 3 7 10 10 9 9 10 9 0 11 1 7 8 6 11 10 11 7 11 7 3 11 9 6 11 11 11 10 11 11 10 10 11 9 8 7 11 9 11 11 9 9 8 11 10 11 11 10 11 6 11 8 7 11 10 11 4 11 2 4 10 9 7 10 11 11 11 11 8 11 11 0 7 11 9 4 7 8 10 10 9 0 10 11 11 9 6 6 8 11 9 10 8 11 11 11 7 11 3 10 11 3 11 10 4 9 10 11 11 7 6 10 9 8 11 11 11 11 7 11 11 0 11 5 3 10 8 11 7 11 11 11 10 11 5 10 10 5 10 1 11 11 10 11 6 11 11 11 11 9 4 3 8 9 11 11 5 9 11 11 11 6 4 11 11 9 11 11 11 9 11 10 11 11 11 2 8 5 11 7 7 3 8 7 6 10 11 11 10 11 9 5 10 11 10 2 11 11 11 11 5 11 11 8 9 10 10 9 11 11 11 11 11 10 11 10 11 11 11 8 2 11 11 11 5 11 10 10 10 11 7 11 4 10 11 0 10 1 7 11 9 11 11 3 9 11 10 8 11 9 0 11 11 11 10 11 11 11 3 9 9 11 5 10 10 9 10 11 11 11 6 5 9 11 4 11 11 11 11 10 11 11 11 7 11 11 11 2 11 10 6 11 7 10 10 5 11 9 11 4 10 11 3 10 11 11 11 11 10 4 11 3 11 4 11 11 10 11 2 11 8 4 5 11 9 11 5 11 11 7 3 11 10 11 0 10 7 3 10 9 2 6 5 9 11 11 11 11 5 11 11 5 10 6 11 10 9 11 4 8 7 7 9 10 11 9 10 11 11 0 9 1 11 9 11 10 11 7 11 10 9 7 11 8 9 9 9 11 8 4 9 11 11 11 10 9 11 6 11 5 10 11 8 11 11 10 3 7 11 11 11 11 11 11 11 11 4 11 5 11 7 10 11 10 9 1 10 11 11 11 10 11 10 11 11 7 11 6 10 3 9 10 9 10 10 10 11 1 9 11 9 6 10 2 11 11 10 11 9 11 11 11 11 11 6 6 11 11 11 1 10 6 11 11 11 9 11 11 11 4 11 10 11 2 10 3 10 6 8 10 11 11 10 11 10 11 5 6 10 0 11 4 10 11 9 8 3 8 11 10 11 5 11 11 2 9 11 11 10 11 11 9 8 11 5 9 11 8 7 11 10 9 11 1 6