(*
  Result output by IMITATOR
  Version  : 2.7-beta2 (build 1074)
  Model    : '/home/mpi/models/sched3.imi'
  Generated: Thu Apr 23, 2015 19:32:18
  Command  : /home/mpi/imitator/bin/imitator /home/mpi/models/sched3.imi /home/mpi/models/sched3.v0 -mode cover -distributed static -verbose mute -output-result -output-cart
  Stats    :  8 13 2 0 35 12.5904450417 59
*)


 (***** Constraint 1*****)
 12 > t3_C
& t3_C > 6
& t2_C = 0


 (***** Constraint 2*****)
 6 > t2_C
& t2_C > 0
& t2_C + t3_C = 12


 (***** Constraint 3*****)
 14 > t2_C + t3_C
& 6 > t2_C
& t2_C > 0
& t2_C + t3_C > 12


 (***** Constraint 4*****)
 6 > t2_C
& t2_C > 0
& t2_C + t3_C = 14


 (***** Constraint 5*****)
 16 > t3_C
& t3_C > 10
& t2_C = 4


 (***** Constraint 6*****)
 t2_C = 0
& t3_C = 12


 (***** Constraint 7*****)
 4 > t2_C
& t2_C > 0
& 2*t2_C + t3_C = 18


 (***** Constraint 8*****)
 14 > t3_C
& t3_C > 12
& t2_C = 0


 (***** Constraint 9*****)
 18 > 2*t2_C + t3_C
& t2_C > 0
& t2_C + t3_C > 14


 (***** Constraint 10*****)
 4 > t2_C
& 24 > 2*t2_C + t3_C
& t2_C > 0
& 2*t2_C + t3_C > 18


 (***** Constraint 11*****)
 t2_C = 0
& t3_C = 14


 (***** Constraint 12*****)
 18 > t3_C
& t3_C > 14
& t2_C = 0


 (***** Constraint 13*****)
 t2_C = 4
& t3_C = 16


 (***** Constraint 14*****)
 22 > t3_C
& t3_C > 16
& t2_C = 4


 (***** Constraint 15*****)
 t2_C > 4
& 3*t2_C + t3_C > 36
& 6 > t2_C


 (***** Constraint 16*****)
 t2_C > 4
& 6 > t2_C
& 3*t2_C + t3_C = 36


 (***** Constraint 17*****)
 t2_C > 4
& 6 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 18*****)
 t3_C > 18
& t2_C = 6


 (***** Constraint 19*****)
 t3_C > 10
& t2_C = 10


 (***** Constraint 20*****)
 2*t2_C + t3_C > 30
& t2_C > 6
& 10 > t2_C


 (***** Constraint 21*****)
 t2_C = 6
& t3_C = 18


 (***** Constraint 22*****)
 t2_C > 4
& 2*t2_C + t3_C > 24
& 6 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 23*****)
 t2_C = 0
& t3_C = 6


 (***** Constraint 24*****)
 t2_C + t3_C > 6
& t2_C > 0
& 6 > t2_C
& 12 > t2_C + t3_C


 (***** Constraint 25*****)
 t2_C > 0
& 6 > t2_C
& t2_C + t3_C = 6


 (***** Constraint 26*****)
 t3_C > 0
& 6 > t3_C
& t2_C = 0


 (***** Constraint 27*****)
 t3_C > 22
& 24 > t3_C
& t2_C = 4


 (***** Constraint 28*****)
 t2_C = 4
& t3_C = 22


 (***** Constraint 29*****)
 2*t2_C + t3_C > 24
& t2_C > 0
& 4 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 30*****)
 t3_C > 18
& 24 > t3_C
& t2_C = 0


 (***** Constraint 31*****)
 t2_C > 0
& 4 > t2_C
& 2*t2_C + t3_C = 24


 (***** Constraint 32*****)
 t2_C = 0
& t3_C = 18


 (***** Constraint 33*****)
 t2_C > 4
& 6 > t2_C
& 2*t2_C + t3_C = 24


 (***** Constraint 34*****)
 t3_C > 12
& 18 > t3_C
& t2_C = 6


 (***** Constraint 35*****)
 t2_C > 6
& 10 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 36*****)
 t2_C = 6
& t3_C = 12


 (***** Constraint 37*****)
 2*t2_C + t3_C > 24
& t2_C > 6
& 10 > t2_C
& 30 > 2*t2_C + t3_C


 (***** Constraint 38*****)
 t3_C > 8
& 12 > t3_C
& t2_C = 6


 (***** Constraint 39*****)
 t2_C > 4
& t2_C + t3_C > 14
& 6 > t2_C
& 24 > 2*t2_C + t3_C


 (***** Constraint 40*****)
 t2_C = 0
& t3_C = 30


 (***** Constraint 41*****)
 3*t2_C + t3_C > 36
& t2_C > 0
& 4 > t2_C


 (***** Constraint 42*****)
 t2_C > 0
& 4 > t2_C
& 3*t2_C + t3_C = 36


 (***** Constraint 43*****)
 t3_C > 24
& t2_C = 4


 (***** Constraint 44*****)
 2*t2_C + t3_C > 30
& t2_C > 0
& 4 > t2_C
& 36 > 3*t2_C + t3_C


 (***** Constraint 45*****)
 t3_C > 24
& 30 > t3_C
& t2_C = 0


 (***** Constraint 46*****)
 t2_C = 4
& t3_C = 24


 (***** Constraint 47*****)
 t2_C > 0
& 4 > t2_C
& 2*t2_C + t3_C = 30


 (***** Constraint 48*****)
 t2_C = 0
& t3_C = 24


 (***** Constraint 49*****)
 t2_C = 10
& t3_C = 10


 (***** Constraint 50*****)
 t2_C = 6
& t3_C = 8


 (***** Constraint 51*****)
 t2_C + t3_C > 14
& t2_C > 6
& 24 > 2*t2_C + t3_C


 (***** Constraint 52*****)
 t3_C > 6
& 8 > t3_C
& t2_C = 6


 (***** Constraint 53*****)
 t2_C > 6
& 10 > t2_C
& 2*t2_C + t3_C = 24


 (***** Constraint 54*****)
 t2_C = 6
& t3_C = 6


 (***** Constraint 55*****)
 t3_C > 4
& 10 > t3_C
& t2_C = 10


 (***** Constraint 56*****)
 t2_C > 6
& 12 > t2_C
& t2_C + t3_C = 14


 (***** Constraint 57*****)
 t2_C > 6
& t2_C + t3_C > 12
& 12 > t2_C
& 14 > t2_C + t3_C


 (***** Constraint 58*****)
 t2_C > 6
& 12 > t2_C
& t2_C + t3_C = 12


 (***** Constraint 59*****)
 t3_C > 0
& 6 > t3_C
& t2_C = 6