Name | csp/haystacks/ normalized-haystacks-35.xml |
MD5SUM | 1eb3c150032c50ac46662d9f9a65bfe6 |
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 | 1731.63 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1225 |
Number of constraints | 20859 |
Maximum constraint arity | 2 |
Maximum domain size | 35 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 20859 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-w | 1112313 | MSAT (TO) | 1 | 1731.63 | 4000.07 |
AbsconMax 112 pc-d | 1112314 | MSAT (TO) | 1 | 1770.9 | 4000.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112311 | MSAT (TO) | 1 | 3600.02 | 3617.83 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112312 | MSAT (TO) | 2 | 3600.03 | 3607.32 |
Sugar++ v1.13+minisat-inc | 1112315 | ? | 213.555 | 588.993 | |
Sugar v1.13+minisat | 1112316 | ? | 241.426 | 249.724 |
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: 18 30 4 2 25 5 16 1 26 9 22 32 28 2 25 24 24 0 6 0 8 3 24 32 1 30 13 12 2 13 0 17 11 7 23 17 10 18 14 15 17 22 5 30 13 1 19 21 34 28 14 27 6 24 8 31 3 33 15 2 7 19 20 13 33 0 16 33 3 3 12 7 27 31 16 29 32 17 0 10 12 13 33 29 5 32 9 28 6 11 3 20 3 5 21 27 8 17 20 3 6 14 29 3 27 17 6 32 23 19 4 25 2 26 2 2 15 28 20 11 21 9 5 10 25 29 4 27 27 25 21 15 19 30 13 10 20 22 29 34 27 26 26 11 32 29 32 16 10 26 28 18 13 12 33 28 26 5 0 28 25 20 8 4 25 30 15 8 6 6 9 25 17 1 32 4 5 1 26 16 2 17 14 11 0 3 19 17 25 18 21 18 33 1 8 18 18 21 9 13 20 26 14 26 3 17 9 31 7 19 24 3 3 8 9 27 4 24 15 20 18 5 22 15 32 17 25 33 14 27 2 31 32 10 0 33 23 29 32 30 26 2 25 26 15 23 24 27 30 15 19 1 29 23 19 32 23 20 26 32 7 9 34 29 20 33 28 5 1 28 10 1 14 1 21 24 29 32 7 7 4 5 28 33 20 2 26 11 33 26 9 31 25 22 25 34 22 34 8 23 18 17 0 26 6 18 27 16 5 18 3 13 4 7 31 30 9 7 19 30 20 10 30 1 30 4 15 15 24 19 30 29 27 20 5 17 14 6 12 24 33 34 17 17 26 26 15 30 12 23 10 29 21 12 12 9 24 32 22 32 23 3 12 9 20 29 5 23 14 4 23 27 7 11 4 9 31 21 4 26 12 13 1 29 5 15 31 5 34 8 26 0 16 17 3 22 8 21 18 10 33 13 2 10 20 10 22 31 14 28 13 32 14 25 7 1 17 1 33 6 6 23 6 32 2 11 22 28 27 34 8 31 27 12 13 18 2 12 3 18 27 7 24 15 34 12 29 20 4 25 17 12 27 23 1 22 29 19 22 16 2 23 3 18 0 34 10 30 22 25 29 11 32 20 28 3 25 7 31 25 11 27 10 20 29 9 21 2 21 13 13 11 21 34 27 4 24 4 7 9 8 32 21 25 17 11 15 0 4 24 33 26 26 14 7 26 9 0 30 25 16 20 33 31 13 14 20 26 0 9 4 34 1 13 13 1 29 30 1 17 33 6 32 1 1 20 5 5 15 31 15 9 6 0 20 12 21 9 9 5 19 22 26 23 13 15 16 24 20 12 23 4 10 0 12 27 25 19 28 15 33 22 9 7 16 0 24 33 24 7 20 18 12 0 12 14 13 29 31 25 34 19 16 18 20 20 28 16 21 18 3 10 27 21 19 0 22 16 17 6 15 6 14 33 18 34 15 16 11 27 6 27 30 34 19 34 3 23 15 34 0 15 22 28 29 32 0 13 4 19 26 20 15 30 30 4 22 19 19 9 32 6 8 9 22 13 3 18 30 21 33 5 11 4 8 34 19 31 10 22 21 11 24 30 34 21 10 30 17 29 7 15 2 3 18 33 32 15 7 0 7 2 2 8 19 7 14 18 10 13 31 21 4 30 8 23 21 19 28 28 23 18 14 2 30 34 16 29 14 25 30 16 0 16 29 26 13 1 0 11 6 7 26 25 29 18 6 18 8 16 28 19 13 8 21 20 13 12 1 31 5 6 30 14 29 28 32 18 2 10 6 28 6 3 33 8 23 31 3 10 18 21 3 11 16 33 8 6 2 13 34 24 24 27 1 26 11 28 15 0 25 30 22 17 11 2 3 2 2 28 18 22 25 18 7 29 17 17 34 1 11 31 13 27 12 26 22 16 5 21 19 1 16 4 29 22 4 22 19 22 21 11 22 4 27 16 34 4 1 31 30 3 11 23 15 31 24 25 12 12 26 26 4 6 19 32 13 23 24 21 14 5 34 19 15 24 34 28 15 27 23 18 33 29 31 10 25 8 34 10 23 9 22 15 1 12 1 30 34 28 5 10 17 25 28 15 16 24 2 28 4 12 27 17 34 11 4 3 28 33 23 12 19 23 26 1 17 5 31 12 21 23 22 10 6 6 8 14 8 32 2 3 15 21 9 12 19 18 21 5 0 14 7 0 27 32 4 32 24 7 20 26 10 14 34 7 24 31 27 18 20 11 16 32 19 17 7 14 9 20 19 31 31 29 23 8 10 11 22 14 12 6 11 17 6 8 2 22 31 1 24 28 7 21 11 26 23 3 4 18 30 18 14 8 11 16 25 28 0 6 21 11 33 34 33 34 19 10 13 23 9 5 31 17 2 5 30 14 25 9 4 32 7 32 0 24 13 16 22 4 13 10 32 1 0 1 28 24 6 6 9 16 23 5 14 25 33 14 12 21 30 31 29 10 6 17 28 1 2 4 8 2 34 31 10 20 22 27 26 16 5 30 7 20 23 10 8 12 13 24 7 18 6 19 3 6 33 13 9 4 12 5 5 5 7 3 25 17 3 7 5 28 29 9 8 11 5 29 32 16 0 24 14 16 2 16 19 25 16 24 2 11 8 34 7 24 29 3 7 7 27 31 32 21 14 34 11 9 24 9 31 13 0 30 5 16 31 16 15 9 21 11 9 29 2 17 33 10 23 0 14 17 1 23 8 11 22 12 10 25 10 2 33 8 20 33 31 33 34 28 19 24 22 8 18 27 14 33 23 28 31 0 11 14 0 20 14 8 12 3 12 27 27 30 15