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