Constraint: AllDiff.
12-12
Perform Latin Hypercube sampling.
Number of solutions: 100
Space size: 8916100448256
Percent solutions: 0.00560846
Percent explored space: 2.24313e-09
Elapsed time: 364.744ms
