Name | csp/haystacks/ normalized-haystacks-16.xml |
MD5SUM | 468d36833d7492d6979583a020018ac9 |
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 | 1661.73 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 256 |
Number of constraints | 1935 |
Maximum constraint arity | 2 |
Maximum domain size | 16 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1935 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-w | 1112319 | MSAT (TO) | 1 | 1661.73 | 4000.04 |
AbsconMax 112 pc-d | 1112320 | MSAT (TO) | 1 | 1662.6 | 4000.06 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112317 | MSAT (TO) | 1 | 3600.04 | 3634.02 |
Sugar v1.13+minisat | 1112322 | MSAT (TO) | 1 | 3600.06 | 3633.31 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112318 | MSAT (TO) | 1 | 3600.07 | 3601.53 |
Sugar++ v1.13+minisat-inc | 1112321 | MSAT (TO) | 1 | 3600.2 | 3608.36 |
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: 111 5 3 11 5 11 5 8 9 11 13 7 6 3 7 15 14 2 15 2 1 10 9 5 3 14 0 3 8 0 2 0 11 0 4 9 11 10 1 9 0 10 8 4 7 2 14 15 9 7 0 6 7 10 2 7 2 1 14 3 14 12 10 10 4 12 2 9 14 6 1 1 2 12 13 2 6 13 4 13 4 6 1 8 12 15 1 4 4 8 14 2 14 6 6 4 7 15 12 4 3 4 12 1 0 15 0 9 6 6 13 0 8 12 15 8 8 10 13 8 7 0 0 14 5 7 15 9 6 9 13 11 13 14 14 10 15 9 14 12 13 11 13 12 1 11 0 1 11 2 5 3 8 12 10 13 10 6 14 5 1 11 13 5 6 3 1 2 5 6 1 14 13 11 3 5 8 11 8 4 3 3 4 8 13 12 5 1 4 10 12 2 14 5 11 3 8 15 8 9 5 9 7 8 12 14 15 1 0 10 9 4 3 9 5 12 3 1 7 6 13 12 2 15 10 4 2 7 3 12 5 7 15 15 11 5 6 9 15 13 0 2 3 6 15 10 7 10 11 10 4 0 7 9 7 6