(*
  Result output by IMITATOR
  Version  : 2.7-beta2 (build 1074)
  Model    : 'models/sched5.imi'
  Generated: Fri Apr 24, 2015 17:22:24
  Command  : /home/mpi/imitator/bin/imitator models/sched5.imi models/sched5.v0 -mode cover -verbose mute -output-result -output-cart
  Stats    :  12 21 2 0 1681 3593.52186394 177
*)


 (***** Constraint 1*****)
 12 > t4_C
& 24 > t4_C + t5_C
& t4_C > 6
& t4_C + t5_C > 18


 (***** Constraint 2*****)
 12 > t5_C
& t5_C > 6
& t4_C = 12


 (***** Constraint 3*****)
 11 > t5_C
& t5_C > 5
& t4_C = 13


 (***** Constraint 4*****)
 18 > t4_C
& t4_C > 13
& t4_C + t5_C = 24


 (***** Constraint 5*****)
 18 > t4_C
& t4_C > 13
& t4_C + t5_C = 25


 (***** Constraint 6*****)
 18 > t4_C
& 31 > t4_C + t5_C
& t4_C > 13
& t4_C + t5_C > 25


 (***** Constraint 7*****)
 13 > t5_C
& t5_C > 7
& t4_C = 18


 (***** Constraint 8*****)
 24 > t4_C
& 31 > t4_C + t5_C
& t4_C > 18
& t4_C + t5_C > 25


 (***** Constraint 9*****)
 24 > t4_C
& t4_C > 18
& t4_C + t5_C = 31


 (***** Constraint 10*****)
 33 > t4_C + t5_C
& 24 > t4_C
& t4_C > 18
& t4_C + t5_C > 31


 (***** Constraint 11*****)
 24 > t4_C
& t4_C > 18
& t4_C + t5_C = 33


 (***** Constraint 12*****)
 14 > t5_C
& t5_C > 9
& t4_C = 24


 (***** Constraint 13*****)
 12 > t5_C
& t5_C > 8
& t4_C = 25


 (***** Constraint 14*****)
 29 > t4_C
& t4_C > 25
& 2*t4_C + t5_C = 62


 (***** Constraint 15*****)
 29 > t4_C
& 68 > 2*t4_C + t5_C
& t4_C > 25
& 2*t4_C + t5_C > 62


 (***** Constraint 16*****)
 t4_C = 29
& t5_C = 10


 (***** Constraint 17*****)
 31 > t4_C
& t4_C > 29
& 2*t4_C + t5_C > 68


 (***** Constraint 18*****)
 t5_C > 6
& t4_C = 31


 (***** Constraint 19*****)
 33 > t4_C
& t4_C > 31
& 2*t4_C + t5_C > 68


 (***** Constraint 20*****)
 t5_C > 2
& t4_C = 33


 (***** Constraint 21*****)
 t5_C > 0
& t4_C > 33


 (***** Constraint 22*****)
 t4_C = 13
& t5_C = 11


 (***** Constraint 23*****)
 24 > t4_C
& t4_C > 22
& 2*t4_C + t5_C = 57


 (***** Constraint 24*****)
 t5_C > 10
& t4_C = 29


 (***** Constraint 25*****)
 t4_C = 12
& t5_C = 12


 (***** Constraint 26*****)
 t4_C = 13
& t5_C = 12


 (***** Constraint 27*****)
 13 > t5_C
& t5_C > 11
& t4_C = 22


 (***** Constraint 28*****)
 62 > 2*t4_C + t5_C
& 24 > t4_C
& t4_C > 22
& 2*t4_C + t5_C > 57


 (***** Constraint 29*****)
 t4_C = 25
& t5_C = 12


 (***** Constraint 30*****)
 29 > t4_C
& t4_C > 25
& 2*t4_C + t5_C = 68


 (***** Constraint 31*****)
 12 > t4_C
& t4_C > 6
& t4_C + t5_C = 24


 (***** Constraint 32*****)
 t4_C = 12
& t5_C = 13


 (***** Constraint 33*****)
 18 > t5_C
& t5_C > 12
& t4_C = 13


 (***** Constraint 34*****)
 t4_C = 18
& t5_C = 13


 (***** Constraint 35*****)
 22 > t4_C
& t4_C > 18
& 2*t4_C + t5_C = 55


 (***** Constraint 36*****)
 t4_C = 22
& t5_C = 13


 (***** Constraint 37*****)
 18 > t5_C
& t5_C > 12
& t4_C = 25


 (***** Constraint 38*****)
 29 > t4_C
& t4_C > 25
& 2*t4_C + t5_C > 68


 (***** Constraint 39*****)
 12 > t4_C
& t4_C > 6
& t4_C + t5_C = 25


 (***** Constraint 40*****)
 19 > t5_C
& t5_C > 13
& t4_C = 12


 (***** Constraint 41*****)
 18 > t4_C
& t4_C > 13
& t4_C + t5_C = 31


 (***** Constraint 42*****)
 15 > t5_C
& t5_C > 13
& t4_C = 18


 (***** Constraint 43*****)
 55 > 2*t4_C + t5_C
& t4_C > 18
& t4_C + t5_C > 33


 (***** Constraint 44*****)
 57 > 2*t4_C + t5_C
& 22 > t4_C
& t4_C > 18
& 2*t4_C + t5_C > 55


 (***** Constraint 45*****)
 18 > t5_C
& t5_C > 13
& t4_C = 22


 (***** Constraint 46*****)
 t4_C = 24
& t5_C = 14


 (***** Constraint 47*****)
 12 > t4_C
& 31 > t4_C + t5_C
& t4_C > 6
& t4_C + t5_C > 25


 (***** Constraint 48*****)
 33 > t4_C + t5_C
& 18 > t4_C
& t4_C > 13
& t4_C + t5_C > 31


 (***** Constraint 49*****)
 t4_C = 18
& t5_C = 15


 (***** Constraint 50*****)
 22 > t4_C
& t4_C > 18
& 2*t4_C + t5_C = 57


 (***** Constraint 51*****)
 20 > t5_C
& t5_C > 14
& t4_C = 24


 (***** Constraint 52*****)
 18 > t4_C
& t4_C > 13
& t4_C + t5_C = 33


 (***** Constraint 53*****)
 19 > t5_C
& t5_C > 15
& t4_C = 18


 (***** Constraint 54*****)
 22 > t4_C
& 62 > 2*t4_C + t5_C
& t4_C > 18
& 2*t4_C + t5_C > 57


 (***** Constraint 55*****)
 24 > t4_C
& t4_C > 22
& 2*t4_C + t5_C = 62


 (***** Constraint 56*****)
 55 > 2*t4_C + t5_C
& 18 > t4_C
& t4_C > 16
& t4_C + t5_C > 33


 (***** Constraint 57*****)
 68 > 2*t4_C + t5_C
& 24 > t4_C
& t4_C > 22
& 2*t4_C + t5_C > 62


 (***** Constraint 58*****)
 t4_C = 13
& t5_C = 18


 (***** Constraint 59*****)
 23 > t5_C
& t5_C > 17
& t4_C = 16


 (***** Constraint 60*****)
 t4_C = 22
& t5_C = 18


 (***** Constraint 61*****)
 t4_C = 25
& t5_C = 18


 (***** Constraint 62*****)
 t4_C = 12
& t5_C = 19


 (***** Constraint 63*****)
 20 > t5_C
& t5_C > 18
& t4_C = 13


 (***** Constraint 64*****)
 t4_C = 15
& t5_C = 19


 (***** Constraint 65*****)
 t4_C = 18
& t5_C = 19


 (***** Constraint 66*****)
 24 > t5_C
& t5_C > 18
& t4_C = 22


 (***** Constraint 67*****)
 t5_C > 18
& t4_C = 25


 (***** Constraint 68*****)
 12 > t4_C
& t4_C > 6
& t4_C + t5_C = 31


 (***** Constraint 69*****)
 21 > t5_C
& t5_C > 19
& t4_C = 12


 (***** Constraint 70*****)
 t4_C = 13
& t5_C = 20


 (***** Constraint 71*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C = 48


 (***** Constraint 72*****)
 25 > t5_C
& t5_C > 19
& t4_C = 15


 (***** Constraint 73*****)
 21 > t5_C
& t5_C > 19
& t4_C = 18


 (***** Constraint 74*****)
 22 > t4_C
& t4_C > 18
& 2*t4_C + t5_C = 62


 (***** Constraint 75*****)
 t4_C = 24
& t5_C = 20


 (***** Constraint 76*****)
 33 > t4_C + t5_C
& 12 > t4_C
& t4_C > 6
& t4_C + t5_C > 31


 (***** Constraint 77*****)
 t4_C = 12
& t5_C = 21


 (***** Constraint 78*****)
 22 > t5_C
& t5_C > 20
& t4_C = 13


 (***** Constraint 79*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C = 49


 (***** Constraint 80*****)
 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C = 55


 (***** Constraint 81*****)
 t4_C = 18
& t5_C = 21


 (***** Constraint 82*****)
 22 > t4_C
& 68 > 2*t4_C + t5_C
& t4_C > 18
& 2*t4_C + t5_C > 62


 (***** Constraint 83*****)
 t5_C > 20
& t4_C = 24


 (***** Constraint 84*****)
 12 > t4_C
& t4_C > 6
& t4_C + t5_C = 33


 (***** Constraint 85*****)
 24 > t5_C
& t5_C > 21
& t4_C = 12


 (***** Constraint 86*****)
 t4_C = 13
& t5_C = 22


 (***** Constraint 87*****)
 55 > 2*t4_C + t5_C
& 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C > 49


 (***** Constraint 88*****)
 57 > 2*t4_C + t5_C
& 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C > 55


 (***** Constraint 89*****)
 26 > t5_C
& t5_C > 21
& t4_C = 18


 (***** Constraint 90*****)
 24 > t4_C
& t4_C > 22
& 2*t4_C + t5_C = 68


 (***** Constraint 91*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 45


 (***** Constraint 92*****)
 t4_C = 13
& t5_C = 23


 (***** Constraint 93*****)
 t4_C = 16
& t5_C = 23


 (***** Constraint 94*****)
 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C = 57


 (***** Constraint 95*****)
 24 > t4_C
& t4_C > 22
& 2*t4_C + t5_C > 68


 (***** Constraint 96*****)
 25 > t5_C
& t5_C > 23
& t4_C = 10


 (***** Constraint 97*****)
 48 > 2*t4_C + t5_C
& 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C > 45


 (***** Constraint 98*****)
 t4_C = 12
& t5_C = 24


 (***** Constraint 99*****)
 29 > t5_C
& t5_C > 23
& t4_C = 13


 (***** Constraint 100*****)
 25 > t5_C
& t5_C > 23
& t4_C = 16


 (***** Constraint 101*****)
 62 > 2*t4_C + t5_C
& 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C > 57


 (***** Constraint 102*****)
 t4_C = 22
& t5_C = 24


 (***** Constraint 103*****)
 t4_C = 10
& t5_C = 25


 (***** Constraint 104*****)
 t4_C = 12
& t5_C = 25


 (***** Constraint 105*****)
 t4_C = 15
& t5_C = 25


 (***** Constraint 106*****)
 t4_C = 16
& t5_C = 25


 (***** Constraint 107*****)
 t5_C > 24
& t4_C = 22


 (***** Constraint 108*****)
 28 > t5_C
& t5_C > 25
& t4_C = 10


 (***** Constraint 109*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 48


 (***** Constraint 110*****)
 31 > t5_C
& t5_C > 25
& t4_C = 12


 (***** Constraint 111*****)
 27 > t5_C
& t5_C > 25
& t4_C = 15


 (***** Constraint 112*****)
 30 > t5_C
& t5_C > 25
& t4_C = 16


 (***** Constraint 113*****)
 t4_C = 18
& t5_C = 26


 (***** Constraint 114*****)
 22 > t4_C
& t4_C > 18
& 2*t4_C + t5_C = 68


 (***** Constraint 115*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 49


 (***** Constraint 116*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C = 55


 (***** Constraint 117*****)
 t4_C = 15
& t5_C = 27


 (***** Constraint 118*****)
 32 > t5_C
& t5_C > 26
& t4_C = 18


 (***** Constraint 119*****)
 22 > t4_C
& t4_C > 18
& 2*t4_C + t5_C > 68


 (***** Constraint 120*****)
 t4_C = 10
& t5_C = 28


 (***** Constraint 121*****)
 55 > 2*t4_C + t5_C
& 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C > 49


 (***** Constraint 122*****)
 57 > 2*t4_C + t5_C
& 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C > 55


 (***** Constraint 123*****)
 32 > t5_C
& t5_C > 27
& t4_C = 15


 (***** Constraint 124*****)
 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C = 62


 (***** Constraint 125*****)
 t4_C = 10
& t5_C = 29


 (***** Constraint 126*****)
 t4_C = 13
& t5_C = 29


 (***** Constraint 127*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C = 57


 (***** Constraint 128*****)
 68 > 2*t4_C + t5_C
& 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C > 62


 (***** Constraint 129*****)
 35 > t5_C
& t5_C > 29
& t4_C = 10


 (***** Constraint 130*****)
 31 > t5_C
& t5_C > 29
& t4_C = 13


 (***** Constraint 131*****)
 62 > 2*t4_C + t5_C
& 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C > 57


 (***** Constraint 132*****)
 t4_C = 16
& t5_C = 30


 (***** Constraint 133*****)
 t4_C = 12
& t5_C = 31


 (***** Constraint 134*****)
 t4_C = 13
& t5_C = 31


 (***** Constraint 135*****)
 36 > t5_C
& t5_C > 30
& t4_C = 16


 (***** Constraint 136*****)
 33 > t5_C
& t5_C > 31
& t4_C = 12


 (***** Constraint 137*****)
 36 > t5_C
& t5_C > 31
& t4_C = 13


 (***** Constraint 138*****)
 t4_C = 15
& t5_C = 32


 (***** Constraint 139*****)
 t4_C = 18
& t5_C = 32


 (***** Constraint 140*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 55


 (***** Constraint 141*****)
 t4_C = 12
& t5_C = 33


 (***** Constraint 142*****)
 38 > t5_C
& t5_C > 32
& t4_C = 15


 (***** Constraint 143*****)
 t5_C > 32
& t4_C = 18


 (***** Constraint 144*****)
 57 > 2*t4_C + t5_C
& 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C > 55


 (***** Constraint 145*****)
 38 > t5_C
& t5_C > 33
& t4_C = 12


 (***** Constraint 146*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C = 62


 (***** Constraint 147*****)
 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C = 68


 (***** Constraint 148*****)
 t4_C = 10
& t5_C = 35


 (***** Constraint 149*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 57


 (***** Constraint 150*****)
 68 > 2*t4_C + t5_C
& 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C > 62


 (***** Constraint 151*****)
 18 > t4_C
& t4_C > 16
& 2*t4_C + t5_C > 68


 (***** Constraint 152*****)
 37 > t5_C
& t5_C > 35
& t4_C = 10


 (***** Constraint 153*****)
 62 > 2*t4_C + t5_C
& 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C > 57


 (***** Constraint 154*****)
 t4_C = 13
& t5_C = 36


 (***** Constraint 155*****)
 t4_C = 16
& t5_C = 36


 (***** Constraint 156*****)
 t4_C = 10
& t5_C = 37


 (***** Constraint 157*****)
 42 > t5_C
& t5_C > 36
& t4_C = 13


 (***** Constraint 158*****)
 t5_C > 36
& t4_C = 16


 (***** Constraint 159*****)
 42 > t5_C
& t5_C > 37
& t4_C = 10


 (***** Constraint 160*****)
 t4_C = 12
& t5_C = 38


 (***** Constraint 161*****)
 t4_C = 15
& t5_C = 38


 (***** Constraint 162*****)
 44 > t5_C
& t5_C > 38
& t4_C = 12


 (***** Constraint 163*****)
 t5_C > 38
& t4_C = 15


 (***** Constraint 164*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 62


 (***** Constraint 165*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C = 68


 (***** Constraint 166*****)
 68 > 2*t4_C + t5_C
& 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C > 62


 (***** Constraint 167*****)
 15 > t4_C
& t4_C > 13
& 2*t4_C + t5_C > 68


 (***** Constraint 168*****)
 t4_C = 10
& t5_C = 42


 (***** Constraint 169*****)
 t4_C = 13
& t5_C = 42


 (***** Constraint 170*****)
 48 > t5_C
& t5_C > 42
& t4_C = 10


 (***** Constraint 171*****)
 t5_C > 42
& t4_C = 13


 (***** Constraint 172*****)
 t4_C = 12
& t5_C = 44


 (***** Constraint 173*****)
 t5_C > 44
& t4_C = 12


 (***** Constraint 174*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C = 68


 (***** Constraint 175*****)
 12 > t4_C
& t4_C > 10
& 2*t4_C + t5_C > 68


 (***** Constraint 176*****)
 t4_C = 10
& t5_C = 48


 (***** Constraint 177*****)
 t5_C > 48
& t4_C = 10