Name | csp/tdsp/ normalized-C4-3-60.xml |
MD5SUM | 2e6b653379e70d82ad071d293c462e81 |
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 | 104.074 |
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 22 0 0 35 0 0 44 0 0 38 0 0 51 0 4 0 0 4 10 0 4 13 0 4 18 0 4 20 0 5 22 0 5 35 0 14 18 0 14 20 0 17 13 0 17 18 0 19 10 0 19 13 0 22 38 0 22 45 0 23 0 0 23 2 0 23 22 0 23 26 0 23 38 0 23 47 0 23 51 0 27 0 0 27 2 0 27 38 0 27 47 0 30 22 0 30 26 0 32 0 0 32 3 0 32 24 0 32 35 0 32 38 0 32 49 0 35 24 0 35 35 0 43 17 0 43 3 0 47 35 0 47 0 0 55 49 0 55 38 0