(*
  Result output by IMITATOR
  Version  : 2.7-beta2 (build 1074)
  Model    : '/home/mpi/models/simop.imi'
  Generated: Wed Apr 22, 2015 03:21:11
  Command  : /home/mpi/imitator/bin/imitator /home/mpi/models/simop.imi /home/mpi/models/simop.v0 -mode cover -distributed dynamic -verbose mute -output-result -output-cart -merge
  Stats    :  5 8 2 0 10201 81.6608920098 48
*)


 (***** Constraint 1*****)
 4*COMct + 70 >= SIGmrt
& COMct > 495
& 500 >= COMct
& SIGmrt > 4*COMct


 (***** Constraint 2*****)
 COMct > 495
& 500 >= COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 3*****)
 4*COMct > 80 + SIGmrt
& COMct >= 520
& 530 > COMct
& SIGmrt + 105 >= 4*COMct


 (***** Constraint 4*****)
 4*COMct >= 35 + SIGmrt
& COMct >= 520
& 530 > COMct
& SIGmrt + 70 >= 4*COMct


 (***** Constraint 5*****)
 COMct > 495
& 500 >= COMct
& 4*COMct = SIGmrt


 (***** Constraint 6*****)
 4*COMct > 70 + SIGmrt
& COMct >= 520
& 530 > COMct
& SIGmrt + 80 >= 4*COMct


 (***** Constraint 7*****)
 4*COMct >= 10 + SIGmrt
& COMct >= 520
& 530 > COMct
& SIGmrt + 35 > 4*COMct


 (***** Constraint 8*****)
 COMct >= 475
& 485 > COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 9*****)
 SIGmrt > 1870
& COMct = 450


 (***** Constraint 10*****)
 COMct > 500
& 510 >= COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 11*****)
 4*COMct + 70 >= SIGmrt
& COMct > 500
& 510 >= COMct
& SIGmrt > 4*COMct


 (***** Constraint 12*****)
 4*COMct > SIGmrt
& COMct > 500
& 510 >= COMct
& SIGmrt + 10 > 4*COMct


 (***** Constraint 13*****)
 4*COMct > 105 + SIGmrt
& COMct >= 520
& SIGmrt > 1180 + COMct
& 530 > COMct


 (***** Constraint 14*****)
 4*COMct >= 35 + SIGmrt
& COMct >= 530
& 1085 > 2*COMct
& SIGmrt + 70 >= 4*COMct


 (***** Constraint 15*****)
 4*COMct + 70 >= SIGmrt
& COMct >= 475
& 485 > COMct
& SIGmrt > 4*COMct


 (***** Constraint 16*****)
 SIGmrt > 2010
& COMct = 485


 (***** Constraint 17*****)
 COMct > 450
& 460 > COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 18*****)
 4*COMct + 70 >= SIGmrt
& COMct > 510
& 520 > COMct
& SIGmrt > 4*COMct


 (***** Constraint 19*****)
 4*COMct > 105 + SIGmrt
& COMct >= 530
& SIGmrt > 1180 + COMct
& 1085 > 2*COMct
& SIGmrt >= 110 + 3*COMct


 (***** Constraint 20*****)
 4*COMct >= 10 + SIGmrt
& COMct > 500
& 510 >= COMct
& SIGmrt + 35 > 4*COMct


 (***** Constraint 21*****)
 4*COMct > 80 + SIGmrt
& COMct >= 530
& 1085 > 2*COMct
& SIGmrt + 105 >= 4*COMct


 (***** Constraint 22*****)
 4*COMct > 70 + SIGmrt
& COMct >= 530
& 1085 > 2*COMct
& SIGmrt + 80 >= 4*COMct


 (***** Constraint 23*****)
 COMct > 485
& 495 > COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 24*****)
 SIGmrt > 1940
& 2010 >= SIGmrt
& COMct = 485


 (***** Constraint 25*****)
 COMct >= 460
& 1390 > 3*COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 26*****)
 4*COMct > 105 + SIGmrt
& 2*COMct > 1085
& 1095 > 2*COMct
& SIGmrt >= 110 + 3*COMct


 (***** Constraint 27*****)
 4*COMct > SIGmrt
& COMct > 510
& 520 > COMct
& SIGmrt + 10 > 4*COMct


 (***** Constraint 28*****)
 4*COMct >= 35 + SIGmrt
& COMct > 500
& 510 >= COMct
& SIGmrt + 70 >= 4*COMct


 (***** Constraint 29*****)
 4*COMct > 105 + SIGmrt
& 2*COMct > 1095
& 550 >= COMct
& SIGmrt >= 110 + 3*COMct


 (***** Constraint 30*****)
 4*COMct + 70 >= SIGmrt
& COMct > 485
& 495 > COMct
& SIGmrt > 4*COMct


 (***** Constraint 31*****)
 SIGmrt > 1980
& 2050 >= SIGmrt
& COMct = 495


 (***** Constraint 32*****)
 SIGmrt > 2050
& COMct = 495


 (***** Constraint 33*****)
 3*COMct >= 1390
& SIGmrt > 70 + 4*COMct
& 1865 > 4*COMct


 (***** Constraint 34*****)
 4*COMct >= 10 + SIGmrt
& COMct > 510
& 520 > COMct
& SIGmrt + 35 > 4*COMct


 (***** Constraint 35*****)
 4*COMct >= 35 + SIGmrt
& COMct > 510
& 520 > COMct
& SIGmrt + 70 >= 4*COMct


 (***** Constraint 36*****)
 4*COMct >= 1865
& SIGmrt > 70 + 4*COMct
& 1875 > 4*COMct


 (***** Constraint 37*****)
 4*COMct > 70 + SIGmrt
& COMct > 510
& 520 > COMct
& SIGmrt + 80 >= 4*COMct


 (***** Constraint 38*****)
 4*COMct > SIGmrt
& COMct >= 520
& 530 > COMct
& SIGmrt + 10 > 4*COMct


 (***** Constraint 39*****)
 4*COMct > 80 + SIGmrt
& 2*COMct > 1085
& 1095 > 2*COMct
& SIGmrt + 105 >= 4*COMct


 (***** Constraint 40*****)
 4*COMct >= 1875
& 1415 > 3*COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 41*****)
 COMct > 510
& 520 > COMct
& 4*COMct = SIGmrt


 (***** Constraint 42*****)
 3*COMct >= 1415
& 475 > COMct
& SIGmrt > 70 + 4*COMct


 (***** Constraint 43*****)
 4*COMct >= 10 + SIGmrt
& COMct >= 530
& 1085 > 2*COMct
& SIGmrt + 35 > 4*COMct


 (***** Constraint 44*****)
 COMct > 500
& 510 >= COMct
& 4*COMct = SIGmrt


 (***** Constraint 45*****)
 COMct >= 520
& 530 > COMct
& 4*COMct = SIGmrt


 (***** Constraint 46*****)
 4*COMct > 80 + SIGmrt
& 2*COMct > 1095
& 550 >= COMct
& SIGmrt + 105 >= 4*COMct


 (***** Constraint 47*****)
 4*COMct + 70 >= SIGmrt
& COMct >= 520
& 530 > COMct
& SIGmrt > 4*COMct


 (***** Constraint 48*****)
 4*COMct > 70 + SIGmrt
& 2*COMct > 1085
& 1095 > 2*COMct
& SIGmrt + 80 >= 4*COMct