Name | csp/haystacks/ normalized-haystacks-36.xml |
MD5SUM | 87cb5ec2449d8c75ad96262506f10f50 |
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.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1296 |
Number of constraints | 22715 |
Maximum constraint arity | 2 |
Maximum domain size | 36 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 22715 |
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 | 1112353 | MSAT (TO) | 1 | 3600.03 | 3627.92 |
AbsconMax 112 pc-d | 1112356 | MSAT (TO) | 2 | 1727.45 | 4000.1 |
AbsconMax 112 pc-w | 1112355 | MSAT (TO) | 2 | 1752.62 | 4000.11 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112354 | MSAT (TO) | 2 | 3600.04 | 3618.42 |
Sugar++ v1.13+minisat-inc | 1112357 | ? | 207.488 | 215.863 | |
Sugar v1.13+minisat | 1112358 | ? | 221.702 | 260.966 |
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: 117 25 22 20 2 21 13 4 8 17 20 4 22 23 17 4 2 31 28 30 1 32 5 19 11 1 30 5 34 26 4 0 4 29 29 35 35 23 17 31 7 35 30 33 31 2 10 26 11 18 12 21 12 33 24 27 4 31 30 3 35 12 13 7 13 18 1 32 11 33 23 16 20 28 10 30 4 21 8 33 20 21 13 33 19 25 3 6 5 8 8 10 14 21 34 30 25 11 26 5 26 21 33 17 27 10 16 0 21 24 29 25 32 17 29 32 11 2 34 4 24 28 9 34 19 7 16 13 6 27 23 35 2 24 26 14 30 30 3 12 9 14 15 7 16 18 5 20 29 18 30 31 34 30 8 22 11 23 23 21 35 19 9 3 28 34 24 27 3 29 33 11 30 20 30 17 27 13 30 21 19 10 21 18 32 29 26 14 12 34 19 3 34 21 32 0 9 0 7 17 11 15 8 13 32 3 6 30 7 11 19 2 10 34 20 16 8 30 28 14 2 5 3 35 10 12 2 0 28 22 10 0 5 13 19 14 35 34 28 35 14 27 0 33 20 10 14 4 14 28 20 11 13 9 16 0 19 26 16 10 17 33 26 35 2 24 30 33 20 23 26 31 10 9 25 24 26 12 16 18 24 4 1 33 9 6 22 23 14 1 22 13 2 17 15 34 33 16 14 26 14 14 7 3 16 25 24 0 3 16 22 2 11 12 29 9 34 0 2 2 17 18 0 15 9 5 21 7 5 33 32 29 17 24 7 32 24 16 5 2 1 22 29 27 34 9 6 11 27 33 4 4 5 26 28 4 0 3 12 8 8 24 35 5 1 0 8 7 18 32 32 26 19 14 1 24 18 17 3 10 28 6 11 9 23 21 5 18 9 7 15 20 12 14 20 13 31 17 20 28 26 10 9 1 8 17 19 28 14 15 3 15 1 31 6 15 18 17 33 11 21 19 33 8 1 32 6 1 31 22 21 3 14 22 19 32 30 19 24 16 31 9 2 20 5 31 25 13 2 17 26 14 21 2 12 7 13 13 9 32 35 8 22 13 10 9 6 6 10 33 35 29 28 20 17 23 30 27 2 7 24 25 4 18 0 10 9 10 18 15 35 12 16 8 20 21 16 9 6 12 26 34 32 9 21 35 29 8 1 4 22 29 6 0 28 10 33 35 13 20 2 20 3 9 24 22 1 8 19 2 4 30 28 15 14 35 25 32 29 14 26 15 13 28 24 27 15 32 35 22 16 6 17 28 21 1 25 32 14 15 16 22 14 3 10 26 13 27 34 16 11 0 32 17 22 29 17 5 1 16 8 25 19 15 2 10 25 8 15 13 8 25 18 7 26 12 28 21 6 7 18 30 30 12 24 25 32 16 0 33 11 29 35 34 6 30 22 34 28 28 24 15 11 15 28 34 1 19 33 10 29 8 23 12 7 25 15 3 9 26 16 4 22 20 19 4 9 4 12 31 28 6 19 0 18 4 13 9 30 8 15 29 25 30 8 25 19 21 29 22 22 5 12 34 26 25 7 0 23 13 24 15 14 29 28 21 35 35 24 33 28 18 19 34 18 24 29 5 6 25 20 6 11 33 6 35 27 16 21 34 0 22 5 17 26 15 33 24 7 27 11 16 31 15 33 21 26 18 6 23 32 2 4 33 6 22 17 15 15 25 9 27 4 22 18 29 22 0 32 33 34 11 14 27 3 22 6 30 2 1 10 4 1 10 25 4 13 0 6 1 34 1 14 14 33 27 6 18 24 31 2 31 32 26 6 7 5 34 1 28 16 25 10 13 34 23 17 15 9 32 23 25 18 13 13 30 3 33 4 35 21 10 16 18 5 19 35 11 27 31 5 3 16 7 16 19 24 20 27 23 12 23 19 14 26 28 25 15 34 4 0 16 1 8 35 3 19 31 0 29 14 2 7 30 14 2 18 22 22 14 4 35 25 3 16 20 22 15 14 26 27 2 5 18 0 26 5 7 23 24 27 33 22 3 26 20 13 28 16 1 11 10 8 12 29 23 28 7 21 25 27 26 7 23 20 26 12 8 34 23 15 33 2 17 23 17 31 29 31 22 29 3 10 28 28 23 10 29 6 20 17 19 4 5 11 18 20 21 2 5 10 12 2 28 27 11 15 9 3 31 27 24 27 31 7 32 12 32 30 21 31 31 18 11 5 0 15 14 25 31 6 35 35 25 35 30 19 28 27 7 5 1 21 33 29 33 24 34 17 15 15 17 31 19 5 20 1 6 25 4 30 32 24 7 1 7 24 12 32 35 34 13 7 32 12 30 35 27 33 32 8 16 23 11 31 3 3 18 24 9 30 33 2 0 6 10 35 7 8 16 34 21 29 21 27 31 11 3 18 1 20 23 35 9 13 26 27 33 1 8 10 7 27 17 10 2 12 13 22 24 23 6 27 24 13 14 6 20 3 20 14 18 12 21 2 34 27 21 20 34 8 19 13 31 4 7 8 23 5 31 10 7 15 5 25 5 22 13 23 1 25 8 5 12 18 17 4 27 23 0 2 6 5 25 19 29 18 13 9 15 19 3 31 26 20 34 6 7 19 29 3 1 1 12 14 33 26 10 14 4 3 0 0 23 31 9 10 1 32 22 9 20 22 12 17 16 32 8 35 12 2 25 29 24 11 20 29 0 12 30 32 11 18 8 9 29 13 15 9 17 31 18 5 30 4 13 30 29 23 23 13 15 23 4 32 8 3 12 27 0 32 26 7 24 10 29 31 25 2 26 11 11 12 20 5 35 3 22 11 26 9 27 0 28 0 23 1 31 9 8 0 28 11 35 3 27 26 6 27 5 21 20 19 24 11 11 7 9 17 17 12 4 17 28 25 18 21 11 8 18 4 23 1 22 19 19 6 34 31 12 32 19 1 21 16 28 25 16 23 3 34 16 6 34 30 31