Name | csp/graphColoring/register/fpsol/ normalized-fpsol2-i-1-55.xml |
MD5SUM | 9685e02ee1e44c7ff05763d17f8830d9 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 10 |
Best CPU time to get the best result obtained on this benchmark | 1686.28 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 496 |
Number of constraints | 11654 |
Maximum constraint arity | 2 |
Maximum domain size | 55 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11654 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-d | 1113308 | MSAT (TO) | 10 | 1686.28 | 4000.06 |
AbsconMax 112 pc-w | 1113307 | MSAT (TO) | 10 | 1704.13 | 4000.05 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113305 | MSAT (TO) | 10 | 3600.09 | 3631.32 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113306 | MSAT (TO) | 15 | 3600 | 3625.42 |
Sugar++ v1.13+minisat-inc | 1113309 | ? | 212.651 | 946.651 | |
Sugar v1.13+minisat | 1113310 | ? | 219.793 | 226.984 |
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: 1040 25 19 3 30 52 39 6 28 44 29 0 13 36 49 14 46 4 34 29 7 36 14 23 40 25 12 9 39 1 0 0 32 32 12 27 15 22 13 35 30 0 3 32 19 52 20 46 52 6 44 47 6 31 8 36 53 32 31 22 47 43 28 23 18 22 13 33 3 18 38 37 47 27 16 30 19 3 6 49 47 30 13 19 30 49 32 49 3 24 51 48 18 16 28 45 42 26 45 21 7 5 24 53 47 37 37 54 43 33 5 40 2 35 2 21 33 21 12 41 11 10 26 44 38 54 9 17 17 19 38 3 39 30 41 8 30 43 14 24 3 31 6 23 52 3 31 11 53 13 27 53 43 22 23 8 26 23 52 30 5 40 33 44 20 15 23 53 21 13 44 5 48 36 47 24 4 36 2 26 2 52 50 1 13 18 44 2 5 3 7 25 33 41 53 32 15 14 54 17 6 7 15 47 53 40 15 41 53 17 29 39 17 13 14 42 49 49 17 30 6 47 5 13 30 6 25 49 24 47 0 15 42 5 50 13 8 6 17 47 5 15 10 11 54 38 7 2 10 20 9 16 39 53 30 53 48 22 30 41 5 22 49 5 17 18 13 47 30 34 17 34 5 26 22 5 49 22 22 23 54 27 50 3 0 17 1 50 31 23 39 31 46 52 10 38 19 36 43 37 40 27 43 6 31 46 17 3 48 8 0 8 44 53 27 5 4 12 1 40 17 45 25 46 30 24 41 50 15 1 32 4 50 40 23 20 47 30 5 19 48 9 43 32 26 26 25 1 49 18 31 31 38 37 31 4 9 17 32 53 23 28 52 47 25 37 45 19 9 4 13 2 42 6 8 4 36 41 43 3 0 43 43 43 21 49 1 47 51 43 17 45 1 17 51 17 33 47 0 50 43 43 37 13 49 35 17 17 43 33 47 3 43 50 31 21 22 11 46 11 31 48 11 12 2 41 34 43 48 19 43 46 32 31 33 49 32 31 48 25 47 16 17 30 19 26 14 35 49 39 49 17 27 33 27 37 19 9 52 17 2 15 49 4 31 29 50 22 32 43 49 1 17 32 32 48 39 52 22 50 28 5 49 30 9 3 51 52 31 52 17 41 15 40 34 49