(* Result output by IMITATOR Version : 2.7-beta2 (build 1074) Model : '/home/mpi/models/sched3-bigV0.imi' Generated: Thu Apr 23, 2015 19:48:04 Command : /home/mpi/imitator/bin/imitator /home/mpi/models/sched3-bigV0.imi /home/mpi/models/sched3-bigV0.v0 -mode cover -distributed shuffle -verbose mute -output-result -output-cart Stats : 8 13 2 0 14746 6.31221199036 71 *) (***** Constraint 1*****) t2_C > 14 & t3_C > 0 (***** Constraint 2*****) t2_C > 12 & 2*t2_C + t3_C > 30 & 14 > t2_C (***** Constraint 3*****) t2_C > 6 & 2*t2_C + t3_C > 30 & 10 > t2_C (***** Constraint 4*****) t2_C > 0 & 3*t2_C + t3_C > 36 & 4 > t2_C (***** Constraint 5*****) t3_C > 24 & t2_C = 4 (***** Constraint 6*****) t3_C > 0 & 6 > t3_C & t2_C = 6 (***** Constraint 7*****) t3_C > 6 & 12 > t3_C & t2_C = 0 (***** Constraint 8*****) t3_C > 8 & 12 > t3_C & t2_C = 6 (***** Constraint 9*****) t2_C > 4 & 3*t2_C + t3_C > 36 & 6 > t2_C (***** Constraint 10*****) t2_C > 10 & 2*t2_C + t3_C > 30 & 12 > t2_C (***** Constraint 11*****) t3_C > 2 & t2_C = 14 (***** Constraint 12*****) t3_C > 10 & t2_C = 10 (***** Constraint 13*****) t3_C > 6 & t2_C = 12 (***** Constraint 14*****) t3_C > 36 & t2_C = 0 (***** Constraint 15*****) t2_C > 0 & 2*t2_C + t3_C > 18 & 4 > t2_C & 24 > 2*t2_C + t3_C (***** Constraint 16*****) t2_C > 6 & 2*t2_C + t3_C > 24 & 10 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 17*****) t2_C > 0 & 2*t2_C + t3_C > 24 & 4 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 18*****) t2_C > 0 & t2_C + t3_C > 6 & 6 > t2_C & 12 > t2_C + t3_C (***** Constraint 19*****) t2_C > 0 & 2*t2_C + t3_C > 30 & 4 > t2_C & 36 > 3*t2_C + t3_C (***** Constraint 20*****) t3_C > 18 & t2_C = 6 (***** Constraint 21*****) t2_C > 6 & t2_C + t3_C > 14 & 24 > 2*t2_C + t3_C (***** Constraint 22*****) t2_C = 6 & t3_C = 12 (***** Constraint 23*****) 22 > t3_C & t3_C > 16 & t2_C = 4 (***** Constraint 24*****) t3_C > 0 & 6 > t3_C & t2_C = 0 (***** Constraint 25*****) 10 > t3_C & t3_C > 4 & t2_C = 10 (***** Constraint 26*****) t2_C > 0 & 4 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 27*****) t2_C > 6 & 12 > t2_C & t2_C + t3_C = 14 (***** Constraint 28*****) t2_C > 0 & t2_C + t3_C > 12 & 6 > t2_C & 14 > t2_C + t3_C (***** Constraint 29*****) t2_C > 4 & t2_C + t3_C > 14 & 6 > t2_C & 24 > 2*t2_C + t3_C (***** Constraint 30*****) t2_C > 4 & 6 > t2_C & 2*t2_C + t3_C = 24 (***** Constraint 31*****) t2_C > 0 & 6 > t2_C & t2_C + t3_C = 14 (***** Constraint 32*****) t2_C > 6 & 10 > t2_C & 2*t2_C + t3_C = 24 (***** Constraint 33*****) t2_C = 10 & t3_C = 10 (***** Constraint 34*****) t2_C > 0 & 6 > t2_C & t2_C + t3_C = 12 (***** Constraint 35*****) t2_C > 0 & t2_C + t3_C > 14 & 18 > 2*t2_C + t3_C (***** Constraint 36*****) t3_C > 30 & 36 > t3_C & t2_C = 0 (***** Constraint 37*****) t3_C > 14 & 18 > t3_C & t2_C = 0 (***** Constraint 38*****) t3_C > 24 & 30 > t3_C & t2_C = 0 (***** Constraint 39*****) t2_C = 0 & t3_C = 12 (***** Constraint 40*****) t2_C = 12 & t3_C = 6 (***** Constraint 41*****) t2_C > 6 & t2_C + t3_C > 12 & 12 > t2_C & 14 > t2_C + t3_C (***** Constraint 42*****) t2_C = 6 & t3_C = 8 (***** Constraint 43*****) t2_C = 4 & t3_C = 16 (***** Constraint 44*****) t3_C > 12 & 18 > t3_C & t2_C = 6 (***** Constraint 45*****) t2_C > 4 & 2*t2_C + t3_C > 24 & 6 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 46*****) t2_C > 10 & t2_C + t3_C > 14 & 12 > t2_C & 30 > 2*t2_C + t3_C (***** Constraint 47*****) t2_C > 0 & 4 > t2_C & 3*t2_C + t3_C = 36 (***** Constraint 48*****) t2_C > 6 & 10 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 49*****) t3_C > 18 & 24 > t3_C & t2_C = 0 (***** Constraint 50*****) t2_C > 4 & 6 > t2_C & 3*t2_C + t3_C = 36 (***** Constraint 51*****) t3_C > 22 & 24 > t3_C & t2_C = 4 (***** Constraint 52*****) t2_C = 0 & t3_C = 6 (***** Constraint 53*****) t2_C > 4 & 6 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 54*****) t2_C = 0 & t3_C = 18 (***** Constraint 55*****) 16 > t3_C & t3_C > 10 & t2_C = 4 (***** Constraint 56*****) t2_C = 6 & t3_C = 18 (***** Constraint 57*****) t2_C = 0 & t3_C = 36 (***** Constraint 58*****) t2_C > 0 & 4 > t2_C & 2*t2_C + t3_C = 18 (***** Constraint 59*****) t2_C > 0 & 4 > t2_C & 2*t2_C + t3_C = 24 (***** Constraint 60*****) t2_C > 10 & 12 > t2_C & 2*t2_C + t3_C = 30 (***** Constraint 61*****) t2_C = 4 & t3_C = 24 (***** Constraint 62*****) t2_C > 0 & 6 > t2_C & t2_C + t3_C = 6 (***** Constraint 63*****) t2_C = 0 & t3_C = 14 (***** Constraint 64*****) t2_C = 6 & t3_C = 6 (***** Constraint 65*****) t3_C > 6 & 8 > t3_C & t2_C = 6 (***** Constraint 66*****) t2_C > 6 & 12 > t2_C & t2_C + t3_C = 12 (***** Constraint 67*****) t3_C > 2 & 6 > t3_C & t2_C = 12 (***** Constraint 68*****) t2_C = 4 & t3_C = 22 (***** Constraint 69*****) t2_C = 0 & t3_C = 24 (***** Constraint 70*****) t3_C > 12 & 14 > t3_C & t2_C = 0 (***** Constraint 71*****) t2_C = 0 & t3_C = 30