Name | csp/haystacks/ normalized-haystacks-43.xml |
MD5SUM | f2f84342904e22f7d1d97c8f943ceaa0 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1849 |
Number of constraints | 38871 |
Maximum constraint arity | 2 |
Maximum domain size | 43 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 38871 |
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 | 1112299 | MSAT (TO) | 1 | 3600.02 | 3622.33 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112300 | MSAT (TO) | 2 | 3600.04 | 3626.63 |
AbsconMax 112 pc-d | 1112302 | ? | 90.0913 | 90.2228 | |
AbsconMax 112 pc-w | 1112301 | ? | 98.0471 | 99.064 | |
Sugar++ v1.13+minisat-inc | 1112303 | ? | 224.265 | 233.391 | |
Sugar v1.13+minisat | 1112304 | ? | 230.704 | 239.175 |
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: 142 20 21 14 40 23 6 32 32 16 11 29 2 19 38 21 15 31 33 2 0 28 38 39 11 8 8 27 39 10 2 17 40 35 15 16 6 22 28 5 8 4 8 39 39 39 41 26 36 7 8 17 30 20 31 32 38 3 41 7 26 40 36 34 34 21 20 2 21 42 19 32 31 1 3 28 34 17 6 30 30 7 16 10 33 24 36 34 28 27 32 35 9 12 36 24 34 21 3 6 31 6 31 11 1 18 37 22 26 26 12 40 4 4 21 7 37 21 32 14 12 16 23 33 31 29 14 24 39 35 25 3 16 26 6 41 37 14 28 8 24 26 20 40 12 8 28 37 27 21 36 37 32 22 12 42 33 7 13 38 31 20 37 15 4 29 11 41 6 8 18 23 36 0 30 21 9 39 36 13 16 22 25 10 18 37 32 34 7 34 27 8 26 21 16 30 28 5 30 40 29 9 40 33 2 34 36 35 22 9 39 18 25 7 31 25 11 1 30 3 20 12 0 3 1 27 12 37 20 10 5 42 28 32 30 41 2 31 9 12 18 11 25 36 30 30 40 21 11 34 35 42 30 39 6 34 7 40 42 32 19 1 25 26 25 41 16 30 36 3 8 8 39 25 6 12 26 12 38 23 4 11 7 28 24 21 41 1 16 34 19 42 3 8 29 2 30 13 10 19 39 19 30 35 32 34 26 20 18 27 0 1 33 27 24 3 39 42 31 17 10 6 28 35 9 19 2 5 25 19 33 9 9 38 41 2 20 41 21 15 23 24 20 19 26 6 1 14 27 19 21 2 32 27 2 10 21 40 9 11 36 18 27 4 14 17 24 18 36 35 10 11 13 33 32 42 11 25 7 3 15 23 5 13 23 37 39 18 9 41 35 19 8 8 4 28 32 2 30 27 24 10 2 17 2 22 33 32 16 17 12 9 12 28 28 24 22 42 31 24 14 37 11 18 5 2 24 16 26 0 4 11 10 2 30 39 20 8 8 42 4 27 23 27 10 20 12 38 18 20 17 1 5 27 28 28 33 24 30 3 12 42 40 32 20 42 21 38 24 29 37 29 18 39 39 24 40 1 17 3 10 33 11 23 42 2 21 12 38 39 8 41 7 13 8 10 4 0 18 6 30 33 19 5 36 24 29 2 3 21 22 9 6 35 15 25 38 32 5 14 15 38 42 32 1 0 3 10 29 21 22 19 4 37 7 21 25 17 37 32 38 31 25 4 0 32 38 16 41 25 16 39 29 34 36 11 11 20 40 14 8 2 11 14 41 16 11 13 0 29 38 41 9 21 5 15 34 23 34 42 7 1 22 24 14 36 9 33 39 36 42 0 30 35 25 27 19 27 29 18 16 14 7 3 24 32 41 2 17 6 17 38 3 39 39 6 23 7 3 26 27 15 26 26 27 23 17 10 38 17 31 8 3 21 10 23 32 4 6 29 6 16 5 19 9 20 22 15 20 29 27 35 31 16 31 22 5 38 29 39 24 7 20 13 41 25 25 38 34 42 34 28 14 39 17 34 16 21 40 7 33 35 14 23 0 42 19 35 35 34 14 36 22 4 16 31 22 36 29 10 38 25 21 32 14 37 27 33 14 20 32 17 29 22 29 23 11 32 13 0 29 40 35 23 31 28 14 40 20 14 3 14 6 9 1 9 35 32 26 8 42 14 31 18 5 32 29 38 25 26 12 12 14 6 9 15 21 40 3 41 10 3 14 22 5 2 34 34 13 33 25 5 21 22 18 18 0 18 24 10 17 25 24 17 13 7 5 18 26 6 41 29 6 38 35 11 13 41 10 34 26 10 6 6 2 18 30 35 0 30 12 38 37 1 10 29 0 39 32 17 38 19 17 31 35 17 18 15 6 37 41 41 36 41 1 24 9 42 20 20 4 23 37 5 27 21 1 6 0 6 10 13 38 27 41 13 3 2 7 9 13 21 4 19 41 19 31 36 4 1 39 32 1 17 8 32 15 21 27 13 34 11 18 42 5 14 36 3 0 30 23 4 3 8 38 17 10 6 20 5 37 16 33 10 39 9 7 31 2 33 42 40 13 7 34 30 1 40 38 40 7 33 4 2 31 19 0 25 15 7 33 27 3 13 28 37 6 8 10 35 8 30 17 26 31 16 23 17 0 28 6 33 24 27 26 3 13 11 25 12 29 23 14 34 42 16 25 11 17 20 11 16 10 13 15 33 35 0 28 30 6 36 17 15 10 21 26 11 35 23 30 1 1 31 26 13 19 23 26 9 11 4 2 7 15 34 40 24 35 15 5 11 41 3 28 26 9 36 21 10 39 29 15 24 26 42 10 33 11 40 7 42 13 33 5 38 7 37 24 27 25 5 38 0 10 11 12 1 30 0 28 6 10 22 35 24 17 38 4 40 35 32 3 40 19 25 39 24 14 23 23 18 28 27 37 24 29 16 7 31 19 21 23 29 12 15 32 25 22 12 23 3 1 33 23 0 38 41 15 1 13 40 39 34 13 4 37 3 17 33 9 1 14 1 11 25 19 18 27 9 28 20 3 40 8 17 22 42 20 33 4 1 16 27 15 3 20 29 28 2 31 12 42 31 9 30 22 39 19 3 23 26 14 17 41 40 5 40 36 31 0 12 1 0 22 20 33 15 16 9 28 23 11 30 17 40 1 34 13 34 32 12 16 0 17 23 23 17 23 0 32 42 7 29 20 1 8 17 40 37 32 13 9 36 42 22 26 6 14 10 37 2 37 34 27 0 41 3 20 35 36 29 29 1 29 23 26 26 39 32 9 4 37 8 4 35 30 21 5 5 40 21 29 29 30 18 5 28 19 38 18 36 38 2 10 31 1 27 33 26 14 12 18 35 23 31 16 30 15 33 26 39 27 42 35 14 0 9 5 18 3 19 4 22 15 39 37 27 39 0 35 1 37 6 6 19 19 36 34 6 13 36 17 33 24 16 15 41 10 7 22 21 18 31 4 37 22 40 12 38 37 25 40 22 8 2 1 9 24 1 42 2 8 15 15 7 15 4 12 4 8 15 4 4 33 23 13 31 32 12 37 41 35 25 14 0 16 38 32 16 27 0 27 18 24 11 0 5 3 22 30 41 42 14 24 15 30 39 34 8 31 23 12 22 32 19 17 24 9 20 30 22 6 5 10 36 17 14 13 22 34 40 37 1 23 5 13 11 25 25 0 9 25 18 41 2 12 20 41 4 31 12 13 9 14 15 22 7 7 27 25 35 26 15 4 38 35 8 33 29 7 0 26 33 8 15 12 25 27 11 26 31 21 34 8 41 30 29 38 25 21 23 5 28 10 16 12 34 26 40 16 30 24 18 26 10 24 8 40 37 12 21 18 14 31 2 14 1 5 36 36 31 40 32 24 22 29 24 35 34 40 35 4 22 19 6 34 11 9 5 3 42 18 41 33 11 26 28 1 2 13 37 13 10 9 23 24 14 20 42 11 2 41 6 12 17 14 15 9 6 32 30 41 27 24 24 12 28 29 6 18 8 40 19 18 8 7 21 39 8 4 20 28 5 8 8 3 3 22 25 16 6 42 7 12 10 30 3 38 27 21 11 36 15 35 33 13 19 4 36 33 0 28 28 9 17 39 19 1 19 13 7 23 6 32 19 5 16 1 15 42 22 4 33 26 36 35 20 7 28 35 0 9 37 19 10 29 0 28 25 30 8 1 16 19 33 27 13 40 16 18 14 26 8 36 1 13 25 36 5 4 16 31 19 38 30 26 19 41 29 8 28 42 15 29 3 0 38 36 10 22 39 16 29 2 13 1 13 27 41 5 24 16 21 31 37 34 24 9 34 40 37 2 40 30 7 27 28 18 33 36 35 28 31 20 39 2 5 39 32 33 28 14 13 12 34 36 36 12 27 28 23 11 9 6 42 31 0 11 18 15 9 22 18 7 29 12 42 34 39 4 35 11 15 12 29 37 9 21 25 37 4 17 3 34 20 31 22 20 37 15 4 31 30 28 34 40 28 39 38 12 20 20 39 0 2 17 20 37 16 7 41 0 7 4 22 5 5 2 21 7 4 2 25 26 18 35 25 16 41 41 37 14 36 28 19 38 3 14 19 5 25 42 33 16 22 19 15 36 38 13 35 20 10 23 18 5 11 5 7 22 41 23 38 37 33 42 17 2 20 13 13 26 11 22 15 18 42 2