Name | csp/lexVg/ normalized-crossword-m1c-lex-vg12-14_ext.xml |
MD5SUM | 68b3fe5332aef7451ce40f90d3bc1cc1 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 13 |
Best CPU time to get the best result obtained on this benchmark | 3600.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 168 |
Number of constraints | 26 |
Maximum constraint arity | 14 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 26 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1111916 | MSAT (TO) | 13 | 3600.09 | 3617.23 |
Sugar++ v1.13+minisat-inc | 1111915 | MSAT (TO) | 13 | 3600.12 | 3622.83 |
AbsconMax 112 pc-d | 1111914 | MSAT (TO) | 26 | 3600.03 | 3621.83 |
AbsconMax 112 pc-w | 1111913 | MSAT (TO) | 26 | 3600.12 | 3601.56 |
toulbar2 2008-06-27 | 1111918 | ? (exit code) | 0.014997 | 0.019705 | |
toulbar2/BTD 2008-06-27 | 1111917 | ? (exit code) | 0.029995 | 0.0325461 | |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1111911 | ? (TO) | 3600.02 | 3620.82 | |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1111912 | ? (TO) | 3600.04 | 3624.82 |
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: 1318 12 15 15 19 2 25 7 12 0 25 22 18 2 19 20 4 17 17 14 25 24 14 20 25 8 14 17 17 11 13 4 0 13 25 15 13 19 25 11 20 24 0 11 8 15 13 5 25 14 10 7 25 11 19 15 8 8 19 14 18 8 25 19 4 4 25 8 7 19 6 6 4 13 12 18 25 7 24 13 25 0 22 0 7 0 13 3 8 2 17 0 5 19 18 12 4 13 19 19 19 4 19 0 25 11 11 8 25 18 18 0 0 0 8 17 19 19 25 0 14 2 25 1 19 11 22 22 0 0 8 14 25 12 22 0 25 20 4 24 0 13 17 13 13 17 25 20 4 19 25 17 17 25 24 24 24 19 6 24 25 18 17 4 25 6 13 4