(* Result output by IMITATOR Version : 2.7-beta2 (build 1074) Model : '/home/mpi/models/flipflop4D.imi' Generated: Sat Apr 25, 2015 17:43:13 Command : /home/mpi/imitator/bin/imitator /home/mpi/models/flipflop4D.imi /home/mpi/models/flipflop4D.v0 -mode cover -distributed random10 -verbose mute -output-result -output-cart Stats : 6 5 4 1 386400 516.914479971 184 *) (***** Constraint 1*****) dG2_u >= 5 & dG3_u >= 17 & dG4_u >= 7 & 24 > dG3_u & dG1_u >= 10 & 7 > dG2_u (***** Constraint 2*****) dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & dG2_u >= 11 & dG2_u + dG3_u + dG4_u >= 24 & dG1_u >= 11 & 24 > 2*dG3_u + dG4_u & dG1_u + dG3_u + dG4_u >= 24 & 24 > dG1_u + dG3_u (***** Constraint 3*****) dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG2_u + dG3_u >= 17 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & 11 > dG2_u & 24 > dG2_u + dG3_u (***** Constraint 4*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & 17 > dG2_u (***** Constraint 5*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 17 > dG2_u (***** Constraint 6*****) dG2_u + dG4_u >= 24 & dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 3 & dG1_u >= 17 & 7 > dG4_u & 24 > dG2_u (***** Constraint 7*****) dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u & 24 > dG2_u (***** Constraint 8*****) dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 7 & 10 > dG1_u (***** Constraint 9*****) dG1_u >= 17 & dG2_u >= 24 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u (***** Constraint 10*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 17 > dG1_u (***** Constraint 11*****) dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG2_u + dG3_u >= 17 & dG2_u + dG4_u >= 24 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & 11 > dG1_u & 24 > dG1_u + dG3_u (***** Constraint 12*****) dG1_u >= 17 & dG2_u >= 20 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & 24 > dG2_u (***** Constraint 13*****) dG1_u >= 17 & dG2_u >= 24 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 8 & 17 > dG3_u (***** Constraint 14*****) dG3_u >= 17 & dG4_u >= 7 & dG2_u >= 11 & 8 > dG4_u & 24 > dG3_u & dG1_u >= 11 & 24 > dG2_u + dG4_u (***** Constraint 15*****) dG2_u >= 5 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG1_u >= 7 & 17 > dG3_u & 10 > dG1_u (***** Constraint 16*****) dG1_u >= 17 & dG2_u >= 17 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 8 & 17 > dG3_u & 24 > dG2_u (***** Constraint 17*****) dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & 17 > dG1_u (***** Constraint 18*****) dG1_u + dG3_u >= 24 & dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 8 & 17 > dG3_u & 17 > dG1_u (***** Constraint 19*****) dG1_u >= 7 & dG2_u >= 5 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 3 & 17 > dG3_u & 24 > dG3_u + dG4_u & 10 > dG1_u (***** Constraint 20*****) dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u >= 24 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & 11 > dG2_u (***** Constraint 21*****) dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG1_u + dG3_u >= 24 & 24 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 22*****) dG2_u >= 8 & dG3_u >= 17 & dG1_u >= 10 & dG2_u + dG4_u >= 24 & 24 > dG3_u & dG1_u + dG4_u >= 24 & 11 > dG1_u (***** Constraint 23*****) dG2_u >= 5 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG1_u >= 10 & 17 > dG3_u & 7 > dG2_u (***** Constraint 24*****) dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG2_u >= 11 & 24 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG2_u + dG3_u (***** Constraint 25*****) dG3_u >= 8 & dG3_u + dG4_u >= 24 & dG2_u >= 7 & 17 > dG3_u & dG1_u >= 10 & 8 > dG2_u (***** Constraint 26*****) dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 17 & dG4_u >= 7 & 24 > dG3_u & 10 > dG1_u (***** Constraint 27*****) dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & dG2_u + dG3_u >= 17 & dG4_u >= 8 & 17 > dG3_u & dG1_u >= 10 & 11 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 28*****) dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG2_u >= 11 & 24 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG1_u + dG3_u (***** Constraint 29*****) dG2_u >= 17 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & dG1_u >= 17 & 20 > dG2_u (***** Constraint 30*****) dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 8 & dG2_u + dG4_u >= 17 & 24 > dG3_u & dG1_u >= 10 & 11 > dG1_u & 24 > dG1_u + dG4_u (***** Constraint 31*****) dG3_u + dG4_u >= 17 & dG2_u >= 8 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 32*****) dG1_u >= 17 & dG2_u >= 24 & dG3_u >= 24 & dG4_u >= 8 (***** Constraint 33*****) dG1_u + dG3_u >= 24 & dG1_u + dG4_u >= 24 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG4_u >= 8 & 17 > dG3_u & 17 > dG2_u (***** Constraint 34*****) dG2_u >= 17 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG1_u >= 17 & 24 > dG3_u + dG4_u & 24 > dG2_u (***** Constraint 35*****) dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 8 & dG2_u + dG4_u >= 17 & dG1_u >= 10 & 11 > dG1_u & 24 > dG1_u + dG4_u (***** Constraint 36*****) dG2_u >= 17 & dG3_u >= 24 & dG4_u >= 8 & dG1_u >= 17 & 20 > dG2_u (***** Constraint 37*****) dG1_u >= 17 & dG2_u >= 20 & dG3_u >= 24 & dG4_u >= 8 & 24 > dG2_u (***** Constraint 38*****) dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG2_u + dG4_u >= 24 & dG1_u >= 11 & dG1_u + dG4_u >= 24 & 24 > dG1_u + dG3_u (***** Constraint 39*****) dG4_u >= 3 & dG3_u >= 17 & dG2_u >= 17 & 24 > dG3_u + dG4_u & dG1_u >= 17 & 20 > dG2_u (***** Constraint 40*****) dG2_u >= 5 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 10 & 17 > dG3_u + dG4_u & 7 > dG2_u (***** Constraint 41*****) dG2_u >= 20 & dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 24 & dG4_u >= 3 & dG1_u >= 17 & 7 > dG4_u & 24 > dG3_u & 24 > dG2_u (***** Constraint 42*****) dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 17 & dG4_u >= 3 & dG1_u >= 11 & 7 > dG4_u & 24 > dG3_u & 17 > dG1_u & dG1_u + dG4_u >= 17 (***** Constraint 43*****) dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG2_u + dG3_u >= 24 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & 17 > dG3_u & dG1_u + dG3_u >= 24 & 11 > dG2_u (***** Constraint 44*****) dG2_u >= 7 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 10 & 17 > dG3_u & 24 > dG3_u + dG4_u & 8 > dG2_u (***** Constraint 45*****) dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & dG1_u >= 11 & 24 > dG1_u + dG4_u (***** Constraint 46*****) dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u >= 24 & dG4_u >= 8 & dG1_u >= 10 & 11 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 47*****) dG1_u >= 7 & dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & 10 > dG1_u (***** Constraint 48*****) dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & dG1_u >= 10 & 11 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 49*****) dG3_u >= 24 & dG4_u >= 7 & dG2_u >= 7 & dG1_u >= 10 & 8 > dG2_u (***** Constraint 50*****) dG3_u >= 17 & dG4_u >= 3 & dG2_u >= 5 & 24 > dG3_u + dG4_u & dG1_u >= 10 & 7 > dG2_u (***** Constraint 51*****) dG1_u >= 17 & dG2_u >= 24 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u (***** Constraint 52*****) dG2_u >= 24 & dG3_u + dG4_u >= 24 & dG1_u >= 17 & dG4_u >= 3 & 7 > dG4_u & 24 > dG3_u (***** Constraint 53*****) dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 10 & 7 > dG2_u (***** Constraint 54*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG1_u + dG3_u >= 24 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 17 > dG1_u (***** Constraint 55*****) dG3_u + dG4_u >= 24 & dG4_u >= 3 & dG2_u >= 8 & 7 > dG4_u & 24 > dG3_u & dG1_u >= 10 & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 56*****) dG2_u >= 8 & dG2_u + dG3_u >= 24 & dG1_u >= 10 & dG1_u + dG4_u >= 24 & dG2_u + dG4_u >= 24 & 17 > dG3_u & dG1_u + dG3_u >= 24 & 11 > dG1_u (***** Constraint 57*****) dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG3_u >= 8 & dG2_u + dG4_u >= 24 & dG1_u >= 11 & dG1_u + dG4_u >= 24 & 24 > dG2_u + dG3_u (***** Constraint 58*****) dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 11 & 17 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG2_u + dG3_u (***** Constraint 59*****) dG3_u >= 17 & dG4_u >= 7 & dG2_u >= 17 & 8 > dG4_u & 24 > dG3_u & dG1_u >= 17 & 20 > dG2_u (***** Constraint 60*****) dG3_u >= 17 & dG4_u >= 7 & dG2_u >= 7 & 24 > dG3_u & dG1_u >= 10 & 8 > dG2_u (***** Constraint 61*****) dG2_u >= 24 & dG3_u + dG4_u >= 17 & dG1_u >= 17 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u (***** Constraint 62*****) dG2_u + dG4_u >= 24 & dG2_u >= 8 & dG3_u >= 17 & dG1_u >= 10 & 24 > dG3_u & dG1_u + dG4_u >= 24 & 11 > dG2_u (***** Constraint 63*****) dG3_u >= 8 & dG3_u + dG4_u >= 24 & dG2_u >= 8 & dG2_u + dG4_u >= 24 & dG1_u >= 10 & 17 > dG2_u + dG3_u (***** Constraint 64*****) dG3_u >= 24 & dG4_u >= 3 & dG2_u >= 11 & dG1_u >= 11 & 17 > dG1_u + dG4_u (***** Constraint 65*****) dG2_u >= 5 & dG3_u >= 24 & dG4_u >= 3 & 7 > dG4_u & dG1_u >= 10 & 7 > dG2_u (***** Constraint 66*****) dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 3 & dG1_u >= 11 & 7 > dG4_u & 17 > dG1_u & dG1_u + dG4_u >= 17 (***** Constraint 67*****) dG3_u >= 24 & dG2_u + dG4_u >= 24 & 7 > dG4_u & dG1_u >= 17 & 20 > dG2_u (***** Constraint 68*****) dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 17 & dG4_u >= 3 & dG1_u >= 11 & 7 > dG4_u & 24 > dG3_u & 17 > dG2_u & dG1_u + dG4_u >= 17 (***** Constraint 69*****) 2*dG3_u + dG4_u >= 24 & dG4_u >= 3 & 8 > dG4_u & dG2_u >= 11 & 17 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG2_u + dG3_u (***** Constraint 70*****) dG2_u >= 5 & dG3_u >= 8 & dG4_u >= 3 & dG1_u >= 7 & 17 > dG3_u + dG4_u & 10 > dG1_u (***** Constraint 71*****) dG2_u >= 11 & 2*dG3_u + dG4_u >= 24 & dG2_u + dG3_u >= 24 & dG1_u >= 11 & dG4_u >= 3 & 8 > dG4_u & dG1_u + dG3_u >= 24 & 17 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 72*****) dG4_u >= 3 & dG3_u >= 24 & dG2_u >= 17 & dG1_u >= 17 & 20 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 73*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u >= 7 & 17 > dG3_u + dG4_u & dG1_u >= 10 & 8 > dG2_u (***** Constraint 74*****) dG2_u + dG4_u >= 17 & dG2_u >= 8 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG2_u + dG3_u >= 17 & 24 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG2_u (***** Constraint 75*****) dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & dG1_u >= 11 & 24 > dG2_u + dG4_u (***** Constraint 76*****) dG4_u >= 3 & 12 > dG3_u + dG4_u & dG3_u >= 8 & 11 > dG2_u & dG2_u >= 8 & dG1_u >= 10 (***** Constraint 77*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u >= 8 & dG1_u >= 10 & 24 > dG2_u + dG3_u + 2*dG4_u (***** Constraint 78*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u >= 8 & 12 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 79*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u >= 11 & 12 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG1_u + dG3_u + dG4_u (***** Constraint 80*****) dG4_u >= 3 & 12 > dG3_u + dG4_u & dG3_u >= 8 & dG2_u >= 11 & dG1_u >= 11 & 24 > dG2_u + dG3_u + dG4_u (***** Constraint 81*****) dG4_u >= 3 & dG3_u >= 8 & 12 > dG3_u + dG4_u & dG2_u + dG3_u + dG4_u >= 24 & dG1_u + dG3_u + dG4_u >= 24 & 24 > dG2_u + dG3_u (***** Constraint 82*****) dG4_u >= 3 & dG3_u >= 8 & 12 > dG3_u + dG4_u & dG2_u + dG3_u + dG4_u >= 24 & dG1_u + dG3_u + dG4_u >= 24 & 24 > dG1_u + dG3_u (***** Constraint 83*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u + dG3_u >= 24 & 12 > dG3_u + dG4_u & dG1_u + dG3_u >= 24 & 17 > dG2_u (***** Constraint 84*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u + dG3_u >= 24 & 12 > dG3_u + dG4_u & dG1_u + dG3_u >= 24 & 17 > dG1_u (***** Constraint 85*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u >= 17 & 12 > dG3_u + dG4_u & dG1_u >= 17 & 24 > dG2_u (***** Constraint 86*****) dG4_u >= 3 & dG3_u >= 8 & dG2_u >= 24 & 12 > dG3_u + dG4_u & dG1_u >= 17 (***** Constraint 87*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u >= 8 & dG2_u + dG3_u + 2*dG4_u >= 24 & 24 > 2*dG3_u + dG4_u & dG1_u >= 10 & 11 > dG2_u (***** Constraint 88*****) dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & dG2_u >= 8 & dG2_u + dG3_u + 2*dG4_u >= 24 & dG1_u >= 10 & 11 > dG2_u & 24 > dG2_u + dG3_u + dG4_u (***** Constraint 89*****) dG4_u >= 3 & dG3_u >= 8 & dG3_u + dG4_u >= 12 & dG2_u >= 8 & 11 > dG2_u & dG2_u + dG3_u + 2*dG4_u >= 24 & dG1_u >= 10 & 24 > dG1_u + dG3_u + dG4_u (***** Constraint 90*****) dG4_u >= 3 & dG3_u >= 8 & dG3_u + dG4_u >= 12 & dG2_u >= 8 & dG2_u + dG3_u + 2*dG4_u >= 24 & 24 > dG2_u + dG3_u + dG4_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 91*****) dG4_u >= 3 & dG3_u >= 8 & dG3_u + dG4_u >= 12 & dG2_u >= 11 & dG1_u >= 11 & 24 > dG2_u + dG3_u + dG4_u (***** Constraint 92*****) dG4_u >= 3 & dG3_u >= 8 & dG3_u + dG4_u >= 12 & dG2_u >= 8 & dG2_u + dG3_u + 2*dG4_u >= 24 & 11 > dG1_u & dG1_u >= 10 & 24 > dG1_u + dG3_u + dG4_u (***** Constraint 93*****) dG4_u >= 3 & dG3_u >= 8 & dG3_u + dG4_u >= 12 & dG2_u >= 11 & dG1_u >= 11 & 24 > dG1_u + dG3_u + dG4_u (***** Constraint 94*****) dG3_u + dG4_u >= 12 & dG3_u >= 8 & dG4_u >= 3 & dG2_u >= 11 & dG2_u + dG3_u + dG4_u >= 24 & dG1_u >= 11 & 24 > 2*dG3_u + dG4_u & dG1_u + dG3_u + dG4_u >= 24 & 24 > dG2_u + dG3_u (***** Constraint 95*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u + dG3_u >= 24 & dG1_u + dG3_u >= 24 & 24 > 2*dG3_u + dG4_u & 17 > dG2_u (***** Constraint 96*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u + dG3_u >= 24 & dG1_u + dG3_u >= 24 & 24 > 2*dG3_u + dG4_u & 17 > dG1_u (***** Constraint 97*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u >= 17 & dG1_u >= 17 & 24 > 2*dG3_u + dG4_u & 24 > dG2_u (***** Constraint 98*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u >= 24 & dG1_u >= 17 & 24 > 2*dG3_u + dG4_u (***** Constraint 99*****) 2*dG3_u + dG4_u >= 24 & dG2_u >= 8 & dG2_u + dG3_u + dG4_u >= 24 & dG4_u >= 3 & 8 > dG4_u & dG1_u >= 10 & 17 > dG3_u + dG4_u & dG1_u + dG3_u + dG4_u >= 24 & 11 > dG2_u (***** Constraint 100*****) dG2_u >= 8 & dG2_u + dG3_u + dG4_u >= 24 & dG4_u >= 3 & 2*dG3_u + dG4_u >= 24 & 8 > dG4_u & dG1_u >= 10 & 17 > dG3_u + dG4_u & dG1_u + dG3_u + dG4_u >= 24 & 11 > dG1_u (***** Constraint 101*****) 2*dG3_u + dG4_u >= 24 & dG4_u >= 3 & 8 > dG4_u & dG2_u >= 11 & 17 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG1_u + dG3_u (***** Constraint 102*****) dG2_u >= 11 & 2*dG3_u + dG4_u >= 24 & dG2_u + dG3_u >= 24 & dG1_u >= 11 & dG4_u >= 3 & 8 > dG4_u & dG1_u + dG3_u >= 24 & 17 > dG3_u + dG4_u & 17 > dG1_u (***** Constraint 103*****) 2*dG3_u + dG4_u >= 24 & dG2_u >= 17 & dG4_u >= 3 & 8 > dG4_u & dG1_u >= 17 & 17 > dG3_u + dG4_u & 24 > dG2_u (***** Constraint 104*****) 2*dG3_u + dG4_u >= 24 & dG2_u >= 24 & dG4_u >= 3 & 8 > dG4_u & dG1_u >= 17 & 17 > dG3_u + dG4_u (***** Constraint 105*****) dG2_u >= 5 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 3 & 17 > dG3_u & 24 > dG3_u + dG4_u & dG1_u >= 10 & 7 > dG2_u (***** Constraint 106*****) dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG2_u + dG3_u >= 24 & dG4_u >= 3 & 17 > dG3_u & dG1_u >= 11 & dG1_u + dG3_u >= 24 & 17 > dG1_u + dG4_u (***** Constraint 107*****) dG2_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 17 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 17 > dG2_u + dG4_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 108*****) dG3_u + dG4_u >= 17 & dG2_u >= 11 & dG4_u >= 3 & dG2_u + dG3_u >= 24 & 17 > dG3_u & dG1_u >= 11 & dG1_u + dG3_u >= 24 & 17 > dG2_u + dG4_u (***** Constraint 109*****) dG4_u >= 3 & dG3_u + dG4_u >= 17 & 17 > dG3_u & dG2_u >= 8 & dG1_u >= 10 & 11 > dG1_u & 17 > dG1_u + dG4_u (***** Constraint 110*****) dG1_u + dG4_u >= 17 & dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG1_u + dG3_u >= 24 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 111*****) dG2_u >= 17 & dG3_u + dG4_u >= 17 & dG1_u >= 17 & dG4_u >= 3 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & 24 > dG2_u (***** Constraint 112*****) dG2_u >= 5 & dG3_u >= 17 & dG4_u >= 3 & dG1_u >= 7 & 24 > dG3_u + dG4_u & 10 > dG1_u (***** Constraint 113*****) dG4_u >= 3 & dG3_u >= 17 & dG2_u >= 7 & 24 > dG3_u + dG4_u & dG1_u >= 10 & 8 > dG2_u (***** Constraint 114*****) dG4_u >= 3 & dG3_u >= 17 & dG2_u >= 8 & 24 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 115*****) dG3_u >= 17 & dG4_u >= 3 & dG2_u >= 8 & 24 > dG3_u + dG4_u & 11 > dG2_u & dG1_u >= 10 & 17 > dG1_u + dG4_u (***** Constraint 116*****) dG4_u >= 3 & dG3_u >= 17 & dG2_u >= 8 & 24 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG1_u & 17 > dG1_u + dG4_u (***** Constraint 117*****) dG3_u >= 17 & dG4_u >= 3 & dG2_u >= 11 & 24 > dG3_u + dG4_u & dG1_u >= 11 & 17 > dG1_u + dG4_u (***** Constraint 118*****) dG4_u >= 3 & dG3_u >= 17 & dG2_u >= 11 & 24 > dG3_u + dG4_u & dG1_u >= 11 & 17 > dG2_u + dG4_u (***** Constraint 119*****) dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 3 & dG1_u >= 11 & dG1_u + dG4_u >= 17 & 24 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 120*****) dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 3 & dG1_u >= 11 & dG1_u + dG4_u >= 17 & 24 > dG3_u + dG4_u & 17 > dG1_u (***** Constraint 121*****) dG3_u >= 17 & dG4_u >= 3 & dG2_u >= 20 & dG1_u >= 17 & 24 > dG3_u + dG4_u & 24 > dG2_u (***** Constraint 122*****) dG3_u >= 17 & dG4_u >= 3 & dG2_u >= 24 & dG1_u >= 17 & 24 > dG3_u + dG4_u (***** Constraint 123*****) dG2_u >= 5 & dG3_u + dG4_u >= 24 & dG1_u >= 7 & dG4_u >= 3 & 7 > dG4_u & 24 > dG3_u & 10 > dG1_u (***** Constraint 124*****) dG3_u + dG4_u >= 24 & dG2_u >= 5 & dG4_u >= 3 & 7 > dG4_u & 24 > dG3_u & dG1_u >= 10 & 7 > dG2_u (***** Constraint 125*****) dG2_u >= 7 & dG4_u >= 3 & dG3_u + dG4_u >= 24 & 7 > dG4_u & 24 > dG3_u & dG1_u >= 10 & 8 > dG2_u (***** Constraint 126*****) dG3_u + dG4_u >= 24 & dG4_u >= 3 & dG2_u >= 11 & 24 > dG3_u & dG1_u >= 11 & 17 > dG1_u + dG4_u (***** Constraint 127*****) dG4_u >= 3 & dG3_u + dG4_u >= 24 & dG2_u >= 8 & 7 > dG4_u & 24 > dG3_u & dG1_u >= 10 & 17 > dG2_u + dG4_u & 11 > dG1_u (***** Constraint 128*****) dG4_u >= 3 & dG3_u + dG4_u >= 24 & dG2_u >= 11 & 24 > dG3_u & dG1_u >= 11 & 17 > dG2_u + dG4_u (***** Constraint 129*****) dG4_u >= 3 & dG2_u >= 8 & dG3_u + dG4_u >= 24 & 24 > dG3_u & dG1_u >= 10 & 11 > dG1_u & 17 > dG1_u + dG4_u (***** Constraint 130*****) dG4_u >= 3 & dG2_u >= 17 & dG3_u + dG4_u >= 24 & 24 > dG3_u & dG1_u >= 17 & 20 > dG2_u & 24 > dG2_u + dG4_u (***** Constraint 131*****) dG4_u >= 3 & dG3_u + dG4_u >= 24 & dG2_u >= 20 & 24 > dG3_u & dG1_u >= 17 & 24 > dG2_u + dG4_u (***** Constraint 132*****) dG3_u >= 24 & dG4_u >= 3 & dG2_u >= 7 & 7 > dG4_u & dG1_u >= 10 & 8 > dG2_u (***** Constraint 133*****) dG4_u >= 3 & dG3_u >= 24 & dG2_u >= 8 & dG1_u >= 10 & 11 > dG1_u & 17 > dG1_u + dG4_u (***** Constraint 134*****) dG3_u >= 24 & dG4_u >= 3 & dG2_u >= 8 & dG1_u >= 10 & 11 > dG2_u & 17 > dG1_u + dG4_u (***** Constraint 135*****) dG3_u >= 24 & dG4_u >= 3 & dG2_u >= 8 & 7 > dG4_u & dG1_u >= 10 & 11 > dG2_u & 17 > dG2_u + dG4_u (***** Constraint 136*****) dG4_u >= 3 & dG3_u >= 24 & dG2_u >= 11 & dG1_u >= 11 & 17 > dG2_u + dG4_u (***** Constraint 137*****) dG2_u + dG4_u >= 17 & dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 3 & dG1_u >= 11 & 7 > dG4_u & 17 > dG2_u & dG1_u + dG4_u >= 17 (***** Constraint 138*****) dG4_u >= 3 & dG3_u >= 24 & dG2_u >= 20 & dG1_u >= 17 & 24 > dG2_u + dG4_u (***** Constraint 139*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u >= 8 & dG2_u + dG3_u + 2*dG4_u >= 24 & dG1_u >= 10 & 24 > 2*dG3_u + dG4_u & 11 > dG1_u (***** Constraint 140*****) dG3_u >= 8 & dG4_u >= 3 & dG3_u + dG4_u >= 12 & dG2_u >= 8 & dG2_u + dG3_u + 2*dG4_u >= 24 & 24 > 2*dG3_u + dG4_u & dG1_u >= 10 & 11 > dG1_u & 17 > dG1_u + dG4_u (***** Constraint 141*****) dG3_u + dG4_u >= 17 & dG2_u >= 11 & 24 > dG2_u + dG3_u & dG1_u >= 11 & 17 > dG1_u + dG4_u (***** Constraint 142*****) dG3_u + dG4_u >= 17 & dG2_u >= 11 & dG1_u >= 11 & 17 > dG2_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 143*****) dG3_u + dG4_u >= 17 & dG2_u >= 11 & dG1_u >= 11 & 17 > dG1_u + dG4_u & 24 > dG1_u + dG3_u (***** Constraint 144*****) dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 24 & 7 > dG4_u & 24 > dG3_u & dG1_u >= 17 & 20 > dG2_u (***** Constraint 145*****) dG3_u + dG4_u >= 17 & dG2_u >= 11 & 8 > dG4_u & dG2_u + dG4_u >= 17 & dG1_u >= 11 & dG1_u + dG4_u >= 17 & 24 > dG2_u + dG3_u (***** Constraint 146*****) dG3_u + dG4_u >= 17 & dG2_u >= 11 & 8 > dG4_u & dG2_u + dG4_u >= 17 & dG1_u >= 11 & dG1_u + dG4_u >= 17 & 24 > dG1_u + dG3_u (***** Constraint 147*****) dG3_u + dG4_u >= 17 & dG2_u + dG4_u >= 17 & dG1_u >= 10 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & dG1_u + dG4_u >= 17 & 11 > dG1_u (***** Constraint 148*****) dG3_u + dG4_u >= 17 & dG2_u + dG4_u >= 17 & dG1_u >= 10 & 8 > dG4_u & 17 > dG3_u & 24 > dG3_u + dG4_u & dG1_u + dG4_u >= 17 & 11 > dG2_u (***** Constraint 149*****) dG4_u >= 7 & dG3_u >= 17 & 8 > dG4_u & 24 > dG3_u & dG2_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 150*****) dG3_u >= 17 & dG4_u >= 7 & dG2_u + dG4_u >= 17 & 8 > dG4_u & 24 > dG3_u & dG1_u >= 10 & 11 > dG2_u (***** Constraint 151*****) dG3_u >= 17 & dG4_u >= 7 & dG2_u + dG4_u >= 17 & 8 > dG4_u & 24 > dG3_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 152*****) dG3_u >= 17 & dG4_u >= 7 & dG2_u >= 11 & 8 > dG4_u & 24 > dG3_u & dG1_u >= 11 & 24 > dG1_u + dG4_u (***** Constraint 153*****) dG2_u >= 20 & dG3_u >= 17 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u & 24 > dG3_u & 24 > dG2_u (***** Constraint 154*****) dG2_u >= 24 & dG3_u >= 17 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u & 24 > dG3_u (***** Constraint 155*****) dG4_u >= 7 & dG3_u >= 24 & 8 > dG4_u & dG2_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 156*****) dG3_u >= 24 & dG4_u >= 7 & dG2_u + dG4_u >= 17 & 8 > dG4_u & dG1_u >= 10 & 11 > dG2_u (***** Constraint 157*****) dG3_u >= 24 & dG4_u >= 7 & dG2_u + dG4_u >= 17 & 8 > dG4_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 158*****) dG3_u >= 24 & dG4_u >= 7 & dG2_u >= 11 & 8 > dG4_u & dG1_u >= 11 & 24 > dG2_u + dG4_u (***** Constraint 159*****) dG3_u >= 24 & dG4_u >= 7 & dG2_u >= 11 & 8 > dG4_u & dG1_u >= 11 & 24 > dG1_u + dG4_u (***** Constraint 160*****) dG3_u >= 24 & dG4_u >= 7 & dG2_u >= 17 & 8 > dG4_u & dG1_u >= 17 & 20 > dG2_u (***** Constraint 161*****) dG2_u >= 24 & dG3_u >= 24 & dG4_u >= 7 & dG1_u >= 17 & 8 > dG4_u (***** Constraint 162*****) dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 8 & 17 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG2_u (***** Constraint 163*****) dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 8 & 17 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 164*****) dG4_u >= 8 & dG3_u >= 8 & dG2_u >= 11 & 17 > dG3_u + dG4_u & dG1_u >= 11 & 24 > dG1_u + dG3_u (***** Constraint 165*****) dG3_u >= 8 & dG4_u >= 8 & dG2_u + dG3_u >= 24 & dG1_u + dG3_u >= 24 & 17 > dG3_u + dG4_u & 17 > dG1_u (***** Constraint 166*****) dG3_u >= 8 & dG4_u >= 8 & dG2_u + dG3_u >= 24 & dG1_u + dG3_u >= 24 & 17 > dG3_u + dG4_u & 17 > dG2_u (***** Constraint 167*****) dG3_u >= 8 & dG4_u >= 8 & dG2_u >= 17 & dG1_u >= 17 & 17 > dG3_u + dG4_u & 24 > dG2_u (***** Constraint 168*****) dG3_u >= 8 & dG4_u >= 8 & dG2_u >= 24 & dG1_u >= 17 & 17 > dG3_u + dG4_u (***** Constraint 169*****) dG4_u >= 8 & dG3_u + dG4_u >= 17 & 24 > dG3_u + dG4_u & dG2_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 170*****) dG2_u >= 8 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG2_u + dG4_u >= 17 & dG2_u + dG3_u >= 17 & 24 > dG3_u + dG4_u & dG1_u >= 10 & 11 > dG1_u (***** Constraint 171*****) dG1_u >= 11 & dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG1_u + dG3_u >= 24 & 24 > dG3_u + dG4_u & 17 > dG1_u (***** Constraint 172*****) dG2_u >= 24 & dG3_u + dG4_u >= 17 & dG3_u >= 8 & dG4_u >= 8 & dG1_u >= 17 & 24 > dG3_u + dG4_u (***** Constraint 173*****) dG4_u >= 8 & dG3_u + dG4_u >= 24 & 17 > dG3_u & dG2_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 174*****) dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG1_u >= 11 & dG4_u >= 8 & 17 > dG3_u & dG1_u + dG3_u >= 24 & 24 > dG1_u + dG4_u (***** Constraint 175*****) dG3_u + dG4_u >= 24 & dG2_u + dG4_u >= 17 & dG4_u >= 8 & dG2_u >= 8 & 17 > dG3_u & dG1_u >= 10 & 11 > dG1_u & 24 > dG1_u + dG4_u (***** Constraint 176*****) dG2_u + dG3_u >= 24 & dG2_u >= 11 & dG3_u + dG4_u >= 24 & dG1_u >= 11 & dG4_u >= 8 & 17 > dG3_u & dG1_u + dG3_u >= 24 & 24 > dG2_u + dG4_u (***** Constraint 177*****) dG4_u >= 8 & dG3_u >= 17 & 24 > dG3_u & dG2_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 178*****) dG2_u >= 11 & dG3_u >= 17 & dG4_u >= 8 & 24 > dG3_u & dG1_u >= 11 & 24 > dG2_u + dG4_u (***** Constraint 179*****) dG4_u >= 8 & dG3_u >= 24 & dG2_u >= 8 & dG1_u >= 10 & 17 > dG2_u + dG4_u (***** Constraint 180*****) dG2_u >= 11 & dG3_u >= 24 & dG4_u >= 8 & dG1_u >= 11 & 24 > dG1_u + dG4_u (***** Constraint 181*****) dG3_u >= 8 & dG3_u + dG4_u >= 17 & dG2_u >= 8 & 24 > dG3_u + dG4_u & dG2_u + dG4_u >= 17 & dG1_u >= 10 & 17 > dG2_u + dG3_u (***** Constraint 182*****) dG3_u + dG4_u >= 24 & dG2_u >= 11 & dG1_u >= 11 & 24 > dG1_u + dG4_u & 24 > dG1_u + dG3_u (***** Constraint 183*****) dG3_u + dG4_u >= 24 & dG2_u >= 11 & dG1_u >= 11 & 24 > dG2_u + dG4_u & 24 > dG2_u + dG3_u (***** Constraint 184*****) dG2_u >= 8 & dG3_u >= 24 & dG1_u >= 10 & dG2_u + dG4_u >= 24 & dG1_u + dG4_u >= 24 & 11 > dG1_u