Name | csp/queensKnights/ normalized-queensKnights-80-5-mul.xml |
MD5SUM | 2ab0ed2a36c3cca2c75b23b1150e1b9d |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 974.987 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 3570 |
Maximum constraint arity | 2 |
Maximum domain size | 6400 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3570 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1112196 | OPTIMUM | 1 | 974.987 | 984.625 |
AbsconMax 112 pc-w | 1112193 | MSAT | 1 | 1137.45 | 1240.19 |
AbsconMax 112 pc-d | 1112194 | MSAT | 1 | 1197.15 | 1513.33 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112192 | MSAT (TO) | 1 | 3600.04 | 3621.92 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112191 | MSAT (TO) | 1 | 3600.1 | 3627.52 |
Sugar++ v1.13+minisat-inc | 1112195 | MSAT (MO) | 214 | 45.9001 | 59.2638 |
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: 147 31 59 0 29 25 32 45 3 5 2 4 62 71 26 1 50 39 64 30 38 66 13 36 33 69 79 48 17 19 40 60 37 73 65 74 53 56 54 41 67 44 70 43 52 68 21 61 63 16 12 9 58 23 18 35 15 22 6 57 42 7 11 20 51 49 34 14 10 8 77 27 76 24 75 46 28 55 72 78 6319 6158 6236 6397 6397