Name | csp/graphColoring/register/fpsol/ normalized-fpsol2-i-3-27.xml |
MD5SUM | e31576dea5e6c1512da28f76b6ab241b |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 5 |
Best CPU time to get the best result obtained on this benchmark | 1672.91 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 425 |
Number of constraints | 8688 |
Maximum constraint arity | 2 |
Maximum domain size | 27 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8688 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-w | 1113283 | MSAT (TO) | 5 | 1672.91 | 4000.06 |
AbsconMax 112 pc-d | 1113284 | MSAT (TO) | 5 | 1699.49 | 4000.05 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113281 | MSAT (TO) | 5 | 3600.02 | 3625.22 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113282 | MSAT (TO) | 26 | 3600.03 | 3608.22 |
Sugar v1.13+minisat | 1113286 | ? | 174.55 | 334.089 | |
Sugar++ v1.13+minisat-inc | 1113285 | ? | 190.319 | 195.687 |
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: 522 19 4 21 25 1 12 11 20 7 23 8 0 3 2 13 19 26 18 11 26 22 8 10 3 16 2 0 22 13 11 4 17 12 6 15 11 24 22 15 2 16 15 12 21 12 1 12 1 14 16 9 18 16 15 14 14 15 12 21 15 9 23 15 23 6 23 23 7 5 21 21 25 9 25 1 9 24 12 18 26 15 17 6 9 10 1 5 1 14 15 15 21 21 20 21 24 12 25 7 6 9 5 14 21 4 15 24 15 5 9 6 5 25 15 15 15 19 3 15 24 20 6 25 24 16 4 23 23 12 24 5 23 14 24 25 9 23 12 9 25 25 5 9 7 25 25 5 14 5 25 25 5 14 23 15 15 11 23 24 5 9 24 6 9 8 20 23 14 7 5 9 16 23 7 14 6 5 6 9 24 6 14 25 7 5 23 6 14 9 24 7 14 14 23 24 23 6 24 14 5 5 14 5 14 5 14 13 5 7 9 7 14 24 23 14 25 9 7 23 24 14 7 7 23 24 7 14 16 5 14 14 15 23 24 17 24 9 5 12 20 20 21 23 24 21 1 5 21 24 25 12 23 14 15 20 17 5 20 17 12 15 20 6 21 23 7 3 21 25 21 14 14 11 25 5 25 23 6 25 12 7 6 5 23 21 25 6 23 6 15 17 15 12 14 12 25 12 17 7 17 6 14 23 20 17 15 6 14 21 12 16 25 17 7 25 23 6 21 21 7 15 19 26 15 23 6 25 15 7 23 15 21 23 15 17 15 6 15 16 5 5 1 23 17 17 6 15 17 23 21 15 23 9 23 7 6 15 6 6 3 26 6 16 2 5 24 15 25 17 21 7 12 25 10 12 23 21 14 17 7 6 14 7 21 2 14 22 6 17 25 25 6 25 7 14 15 21 25 5 12 14 5 5 8 6 5 15 24 6 9 24 15 6 3 7 16 21 25 12 15 9 15 12 24