Name | csp/haystacks/ normalized-haystacks-20.xml |
MD5SUM | a9dc0248b5bac88ceea300c49a32664c |
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 | 1677.64 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 3819 |
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 | 3819 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-w | 1112307 | MSAT (TO) | 1 | 1677.64 | 4000.04 |
AbsconMax 112 pc-d | 1112308 | MSAT (TO) | 1 | 1690.57 | 4000.08 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112306 | MSAT (TO) | 1 | 3600 | 3627.92 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112305 | MSAT (TO) | 1 | 3600.03 | 3610.12 |
Sugar v1.13+minisat | 1112310 | MSAT (TO) | 1 | 3600.27 | 3635.24 |
Sugar++ v1.13+minisat-inc | 1112309 | No Cert. | 129.979 | 132.278 |
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: 10 18 3 7 8 15 1 11 18 19 2 11 2 6 12 10 11 13 19 0 17 19 0 7 12 12 8 2 11 19 3 19 12 2 15 4 8 1 18 12 7 4 6 10 13 3 15 16 5 12 2 19 1 19 0 8 19 16 10 10 10 8 5 2 2 13 5 5 0 4 9 0 17 3 18 15 17 2 3 19 9 13 6 9 4 12 0 4 1 17 11 7 3 19 2 14 5 14 8 13 1 17 14 14 7 7 16 19 12 3 17 17 7 10 7 15 0 1 10 3 11 14 9 5 9 18 4 2 19 10 16 3 5 14 8 11 15 11 16 7 10 6 6 6 17 13 16 17 16 13 18 0 3 9 10 16 16 1 13 17 15 5 8 10 10 7 16 11 1 1 18 6 18 6 7 10 19 18 8 4 13 14 10 2 4 0 8 6 0 10 10 12 9 9 13 16 9 16 18 6 2 7 9 0 19 8 10 16 14 2 17 4 5 6 9 14 16 1 11 12 18 4 14 0 12 7 12 3 14 13 0 6 6 3 1 3 16 3 4 0 6 2 13 18 6 0 1 17 10 1 4 16 14 15 14 5 10 15 13 7 2 9 18 9 13 13 7 12 4 3 15 12 8 6 11 12 1 19 19 4 19 5 13 9 9 17 12 15 0 18 5 13 5 8 16 13 18 16 11 2 11 2 2 15 11 16 16 3 5 5 2 8 7 17 4 17 9 5 8 15 0 15 11 8 14 4 11 12 12 11 5 15 9 2 3 7 19 15 17 14 1 15 8 1 5 11 18 14 14 9 4 10 14 3 3 11 5 13 12 19 8 8 12 15 6 19 1 15 2 17 18 7 15 17 0 6 7 9 18 3 14 6 8 4 1 9 1 14 11 13 6 5 17 18 4 7 0 17 4 18