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