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