Name | csp/tdsp/ normalized-C4-2-60.xml |
MD5SUM | 102df41e2ffd0705e5ca663a5dc5468e |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1353.87 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 149 |
Number of constraints | 1274 |
Maximum constraint arity | 6 |
Maximum domain size | 61 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1274 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:60 60 0 0 0 0 10 0 0 13 0 0 41 0 0 46 0 5 13 0 5 25 0 5 38 0 8 41 0 8 42 0 9 42 0 13 10 0 13 11 0 13 41 0 13 45 0 13 48 0 13 52 0 14 0 0 15 25 0 15 34 0 19 0 0 22 34 0 27 0 0 27 24 0 27 33 0 27 48 0 27 50 0 30 52 0 30 55 0 31 45 0 34 45 0 36 0 0 36 6 0 36 10 0 36 11 0 36 20 0 38 11 0 38 16 0 40 10 0 41 0 0 41 4 0 41 24 0 41 27 0 42 10 0 42 13 0 45 4 0 46 27 0 51 0 0 53 20 0