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