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