rep10 N=7 pppppps [copy]: 379 variables, 608 constraints, 27 pair and 30 copy binaries; INFEASIBLE (47.4s)
rep10 N=7 pppppss [copy]: 405 variables, 714 constraints, 30 pair and 40 copy binaries; INFEASIBLE (214.8s)
rep10 N=7 ppppsss [copy]: 397 variables, 676 constraints, 30 pair and 36 copy binaries; INFEASIBLE (105.4s)
rep10 N=7 pppssss [copy]: 367 variables, 547 constraints, 27 pair and 24 copy binaries; INFEASIBLE (8.2s)
rep10 N=7 ppsssss [copy]: 327 variables, 382 constraints, 21 pair and 10 copy binaries; INFEASIBLE (0.0s)
rep5 N=7 pppppps [nocopy]: 380 variables, 639 constraints, 27 pair and 30 copy binaries; INFEASIBLE (0.8s)
rep5 N=7 pppppps [copy]: 380 variables, 608 constraints, 27 pair and 30 copy binaries; INFEASIBLE (2.7s)
rep5 N=7 pppppss [nocopy]: 406 variables, 756 constraints, 30 pair and 40 copy binaries; INFEASIBLE (8.2s)
rep5 N=7 pppppss [copy]: 406 variables, 714 constraints, 30 pair and 40 copy binaries; INFEASIBLE (5.4s)
rep5 N=7 ppppsss [nocopy]: 398 variables, 714 constraints, 30 pair and 36 copy binaries; INFEASIBLE (30.9s)
rep5 N=7 ppppsss [copy]: 398 variables, 676 constraints, 30 pair and 36 copy binaries; INFEASIBLE (9.2s)
rep5 N=7 pppssss [nocopy]: 368 variables, 573 constraints, 27 pair and 24 copy binaries; INFEASIBLE (20.5s)
rep5 N=7 pppssss [copy]: 368 variables, 547 constraints, 27 pair and 24 copy binaries; INFEASIBLE (3.9s)
rep5 N=7 ppsssss [nocopy]: 328 variables, 393 constraints, 21 pair and 10 copy binaries; INFEASIBLE (3.3s)
rep5 N=7 ppsssss [copy]: 328 variables, 382 constraints, 21 pair and 10 copy binaries; INFEASIBLE (1.0s)
RUN2 DONE
