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