A24 N=3 [nocopy]: 52 variables, 141 constraints, 9 pair and 6 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (1, 2, 0.0)]; copies []; tf [0.5, 1.5]
A12 N=4 [nocopy]: 88 variables, 232 constraints, 12 pair and 12 copy binaries; FEASIBLE (0.1s): pairs (a, c, P_+(++)) [(0, 1, 0.0), (0, 3, 0.0), (1, 2, 0.0), (2, 3, 0.25)]; copies []; tf [0.0, 1.0, 0.0]
C12 N=4 [copy]: 87 variables, 218 constraints, 12 pair and 12 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (0, 3, 0.2), (1, 2, 0.2), (1, 3, 0.1), (2, 3, 0.1)]; copies [(0, 1, 2), (1, 2, 3)]; tf [0.0, 0.0]
B12 N=3 [copy]: 39 variables, 88 constraints, 6 pair and 3 copy binaries; INFEASIBLE (0.0s)
B12 N=4 [copy]: 86 variables, 218 constraints, 12 pair and 12 copy binaries; INFEASIBLE (0.1s)
B12 N=5 [copy]: 171 variables, 451 constraints, 20 pair and 30 copy binaries; INFEASIBLE (1.4s)
D12 N=3 [nocopy]: 40 variables, 92 constraints, 6 pair and 3 copy binaries; INFEASIBLE (0.0s)
D12 N=3 [copy]: 40 variables, 88 constraints, 6 pair and 3 copy binaries; INFEASIBLE (0.0s)
D12 N=4 [nocopy]: 87 variables, 232 constraints, 12 pair and 12 copy binaries; INFEASIBLE (0.2s)
D12 N=4 [copy]: 87 variables, 218 constraints, 12 pair and 12 copy binaries; INFEASIBLE (0.0s)
D12 N=5 [nocopy]: 172 variables, 483 constraints, 20 pair and 30 copy binaries; INFEASIBLE (1.1s)
D12 N=5 [copy]: 172 variables, 451 constraints, 20 pair and 30 copy binaries; INFEASIBLE (0.6s)
A12 N=4 [nocopy+spec]: 103 variables, 1129 constraints, 18 pair and 12 copy binaries; FEASIBLE (0.3s): pairs (a, c, P_+(++)) [(0, 1, 0.0), (0, 2, 0.25), (1, 3, 0.0), (2, 3, 0.0)]; copies []; tf [0.0, 0.0, 1.0]; c_L [-0.0, -0.0], kappa0 -0.0
C12 N=4 [copy+spec]: 102 variables, 1115 constraints, 18 pair and 12 copy binaries; FEASIBLE (0.1s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (0, 3, 0.2), (1, 2, 0.2), (1, 3, 0.1), (2, 3, 0.1)]; copies [(0, 1, 2), (1, 2, 3)]; tf [0.0, 0.0]; c_L [-0.0, 0.0], kappa0 0.0
B12 N=3 [copy+spec]: 48 variables, 967 constraints, 9 pair and 3 copy binaries; INFEASIBLE (0.0s)
B12 N=4 [copy+spec]: 101 variables, 1115 constraints, 18 pair and 12 copy binaries; INFEASIBLE (0.1s)
B12 N=5 [copy+spec]: 194 variables, 1372 constraints, 30 pair and 30 copy binaries; INFEASIBLE (2.2s)
D12 N=5 [nocopy+spec]: 195 variables, 1404 constraints, 30 pair and 30 copy binaries; INFEASIBLE (29.7s)
D12 N=5 [copy+spec]: 195 variables, 1372 constraints, 30 pair and 30 copy binaries; INFEASIBLE (2.9s)
RUN3 DONE
RUN4 (reproductions of the certificates of Props 11.5-11.12):
rep3 N=3 pps [nocopy]: 36 variables, 77 constraints, 5 pair and 2 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.2), (1, 2, 0.2)]; copies []; tf [1.0, 1.0]
rep8 N=3 pps [nocopy]: 36 variables, 77 constraints, 5 pair and 2 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.2), (1, 2, 0.2)]; copies []; tf [1.0, 1.0]
rep2 N=4 ppps [nocopy]: 70 variables, 155 constraints, 9 pair and 6 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 2, 0.0), (0, 3, 0.375), (1, 2, 0.0), (1, 3, 0.125)]; copies []; tf [0.0, -0.0, 1.0]
rep1 N=4 ppps [copy]: 69 variables, 148 constraints, 9 pair and 6 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (0, 3, 0.0), (1, 2, 0.1), (1, 3, 0.1), (2, 3, 0.1)]; copies [(0, 1, 3)]; tf [0.0, 0.0]
rep9 N=4 ppps [copy]: 69 variables, 148 constraints, 9 pair and 6 copy binaries; FEASIBLE (0.0s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (0, 3, 0.3), (1, 2, 0.1), (1, 3, 0.4), (2, 3, 0.3)]; copies [(0, 1, 3)]; tf [0.0, 0.0]
rep7 N=5 pppss [copy]: 126 variables, 259 constraints, 15 pair and 12 copy binaries; FEASIBLE (0.1s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (0, 3, 0.2), (1, 3, 0.4), (1, 4, 0.2), (2, 3, 0.4), (2, 4, 0.4)]; copies [(0, 1, 3)]; tf [0.0, 0.0]
rep6 N=6 ppppps [copy]: 217 variables, 403 constraints, 20 pair and 20 copy binaries; FEASIBLE (2.2s): pairs (a, c, P_+(++)) [(0, 1, 0.1), (0, 2, 0.1), (0, 5, 0.2), (1, 3, 0.1), (1, 5, 0.3), (2, 3, 0.1), (2, 4, 0.1), (2, 5, 0.3), (3, 4, 0.1), (3, 5, 0.2), (4, 5, 0.3)]; copies [(0, 1, 5), (0, 2, 5), (1, 3, 5), (3, 4, 5)]; tf [0.0, 0.0]
RUN4 DONE
