B12 N=6 [copy]: 316 variables, 821 constraints, 30 pair and 60 copy binaries; INFEASIBLE (83.9s)
rep10 N=6 ppppps [copy]: 216 variables, 403 constraints, 20 pair and 20 copy binaries; INFEASIBLE (1.6s)
rep10 N=6 ppppss [copy]: 228 variables, 449 constraints, 22 pair and 24 copy binaries; INFEASIBLE (3.2s)
rep10 N=6 pppsss [copy]: 214 variables, 387 constraints, 21 pair and 18 copy binaries; INFEASIBLE (0.5s)
rep10 N=6 ppssss [copy]: 186 variables, 271 constraints, 17 pair and 8 copy binaries; INFEASIBLE (0.0s)
rep5 N=6 ppppps [nocopy]: 217 variables, 424 constraints, 20 pair and 20 copy binaries; INFEASIBLE (0.2s)
rep5 N=6 ppppss [nocopy]: 229 variables, 475 constraints, 22 pair and 24 copy binaries; INFEASIBLE (1.3s)
rep5 N=6 pppsss [nocopy]: 215 variables, 407 constraints, 21 pair and 18 copy binaries; INFEASIBLE (1.5s)
rep5 N=6 ppssss [nocopy]: 187 variables, 280 constraints, 17 pair and 8 copy binaries; INFEASIBLE (0.6s)
rep5 N=6 ppppps [copy]: 217 variables, 403 constraints, 20 pair and 20 copy binaries; INFEASIBLE (0.6s)
rep5 N=6 ppppss [copy]: 229 variables, 449 constraints, 22 pair and 24 copy binaries; INFEASIBLE (1.0s)
rep5 N=6 pppsss [copy]: 215 variables, 387 constraints, 21 pair and 18 copy binaries; INFEASIBLE (1.2s)
rep5 N=6 ppssss [copy]: 187 variables, 271 constraints, 17 pair and 8 copy binaries; INFEASIBLE (0.3s)
D12 N=6 [copy]: 317 variables, 821 constraints, 30 pair and 60 copy binaries; INFEASIBLE (4.8s)
