Name | csp/graphColoring/register/inithx/ normalized-inithx-i-2-20.xml |
MD5SUM | 4a2ea02751f7df9d0bb61a77d9049c7d |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 20 |
Best CPU time to get the best result obtained on this benchmark | 3600 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 645 |
Number of constraints | 13979 |
Maximum constraint arity | 2 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 13979 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113275 | MSAT (TO) | 20 | 3600 | 3617.62 |
AbsconMax 112 pc-w | 1113277 | MSAT (TO) | 21 | 1781.89 | 4000.07 |
AbsconMax 112 pc-d | 1113278 | MSAT (TO) | 37 | 1684.28 | 4000.07 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113276 | MSAT (TO) | 91 | 3600.07 | 3633.72 |
Sugar++ v1.13+minisat-inc | 1113279 | ? | 183.92 | 191.635 | |
Sugar v1.13+minisat | 1113280 | ? | 196.206 | 203.934 |
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: 209 18 7 15 2 16 12 11 7 16 4 12 2 11 18 9 11 1 13 6 3 2 11 7 2 8 9 18 18 7 9 13 19 4 12 19 10 1 17 12 19 19 12 14 19 12 16 8 0 16 17 0 16 19 4 16 14 5 0 17 19 17 17 10 10 14 14 4 14 19 14 19 19 19 6 17 4 6 15 14 1 19 10 19 19 19 12 19 10 6 7 17 10 19 13 13 19 10 12 5 12 14 1 15 17 14 18 6 0 0 1 19 8 8 10 2 8 6 10 0 2 3 15 19 5 5 0 19 5 6 10 5 19 2 19 5 19 19 19 19 12 5 5 19 5 10 0 3 10 10 0 10 4 13 8 15 8 10 1 1 10 13 10 13 10 1 10 0 4 1 13 8 1 10 0 1 2 14 5 1 2 6 2 12 14 4 19 10 10 0 3 8 3 13 3 1 10 10 1 8 8 0 17 8 14 8 10 12 3 12 14 1 14 12 12 14 14 14 12 10 17 12 4 10 3 13 18 19 10 3 14 8 13 1 0 19 0 19 14 10 13 0 8 14 10 10 13 14 6 10 9 5 8 0 14 1 3 0 0 1 8 3 14 0 0 0 14 8 0 4 0 12 0 4 5 19 4 14 12 0 3 3 10 5 17 12 10 14 4 14 4 14 12 4 10 17 4 5 4 14 14 17 18 17 11 8 5 5 18 5 8 17 8 13 12 14 19 10 8 10 1 3 1 19 19 19 14 1 19 14 4 0 10 19 1 14 4 19 0 3 1 0 5 19 14 0 5 14 4 14 19 14 14 15 0 19 12 16 16 1 19 14 0 16 10 15 4 19 0 14 17 12 17 19 12 15 12 10 12 10 14 14 12 2 15 8 4 2 5 15 6 14 6 12 0 19 14 19 12 4 7 0 14 19 0 14 12 12 12 14 14 19 12 5 10 19 10 12 10 14 10 12 19 14 16 17 5 12 4 19 14 16 0 2 6 5 0 19 5 1 8 3 14 5 5 1 1 8 5 14 19 19 19 14 1 8 3 5 19 5 19 14 8 19 13 19 19 8 18 5 12 14 19 14 19 0 12 14 8 3 12 14 4 14 19 4 12 19 12 19 0 1 19 19 14 10 5 19 10 10 14 8 17 4 7 1 4 19 10 19 12 0 10 14 2 9 14 14 19 19 5 19 16 14 10 19 14 5 10 6 14 5 10 14 14 19 19 1 12 4 17 10 19 12 4 12 0 1 14 13 14 10 19 1 19 19 18 14 13 0 14 0 19 19 14 5 14 19 0 13 4 5 1 19 5 14 14 5 14 14 0 10 19 14 19 14 4 19 14 19 14 5 19 14 4 10 19 19 19 1 4 19 12 3 19 19 14 12 4 10 0 5 4 17 5 12 12 10 14 12 6 6 12 13 4 12 4 12 14 12 4 17 11 14 17 16 4 1 8 10 1 0 0 14 4