(* Result output by IMITATOR Version : 2.7-beta2 (build 1074) Model : '/home/mpi/models/simop.imi' Generated: Wed Apr 22, 2015 03:29:20 Command : /home/mpi/imitator/bin/imitator /home/mpi/models/simop.imi /home/mpi/models/simop.v0 -mode cover -distributed dynamic -distributedKillIM -verbose mute -output-result -output-cart -merge Stats : 5 8 2 0 10201 91.9214940072 48 *) (***** Constraint 1*****) 4*COMct + 70 >= SIGmrt & COMct > 495 & 500 >= COMct & SIGmrt > 4*COMct (***** Constraint 2*****) SIGmrt > 1870 & COMct = 450 (***** Constraint 3*****) 4*COMct + 70 >= SIGmrt & COMct > 500 & 510 >= COMct & SIGmrt > 4*COMct (***** Constraint 4*****) COMct > 450 & 460 > COMct & SIGmrt > 70 + 4*COMct (***** Constraint 5*****) 4*COMct + 70 >= SIGmrt & COMct > 510 & 520 > COMct & SIGmrt > 4*COMct (***** Constraint 6*****) COMct >= 460 & 1390 > 3*COMct & SIGmrt > 70 + 4*COMct (***** Constraint 7*****) 4*COMct > SIGmrt & COMct > 510 & 520 > COMct & SIGmrt + 10 > 4*COMct (***** Constraint 8*****) 3*COMct >= 1390 & SIGmrt > 70 + 4*COMct & 1865 > 4*COMct (***** Constraint 9*****) 4*COMct >= 10 + SIGmrt & COMct > 510 & 520 > COMct & SIGmrt + 35 > 4*COMct (***** Constraint 10*****) 4*COMct >= 1865 & SIGmrt > 70 + 4*COMct & 1875 > 4*COMct (***** Constraint 11*****) 4*COMct >= 10 + SIGmrt & COMct >= 520 & 530 > COMct & SIGmrt + 35 > 4*COMct (***** Constraint 12*****) 4*COMct >= 1875 & 1415 > 3*COMct & SIGmrt > 70 + 4*COMct (***** Constraint 13*****) 4*COMct >= 35 + SIGmrt & COMct >= 520 & 530 > COMct & SIGmrt + 70 >= 4*COMct (***** Constraint 14*****) 3*COMct >= 1415 & 475 > COMct & SIGmrt > 70 + 4*COMct (***** Constraint 15*****) 4*COMct >= 35 + SIGmrt & COMct >= 530 & 1085 > 2*COMct & SIGmrt + 70 >= 4*COMct (***** Constraint 16*****) COMct >= 475 & 485 > COMct & SIGmrt > 70 + 4*COMct (***** Constraint 17*****) 4*COMct > 70 + SIGmrt & COMct >= 530 & 1085 > 2*COMct & SIGmrt + 80 >= 4*COMct (***** Constraint 18*****) 4*COMct + 70 >= SIGmrt & COMct >= 475 & 485 > COMct & SIGmrt > 4*COMct (***** Constraint 19*****) 4*COMct > 80 + SIGmrt & COMct >= 530 & 1085 > 2*COMct & SIGmrt + 105 >= 4*COMct (***** Constraint 20*****) SIGmrt > 2010 & COMct = 485 (***** Constraint 21*****) 4*COMct > 105 + SIGmrt & COMct >= 530 & SIGmrt > 1180 + COMct & 1085 > 2*COMct & SIGmrt >= 110 + 3*COMct (***** Constraint 22*****) SIGmrt > 1940 & 2010 >= SIGmrt & COMct = 485 (***** Constraint 23*****) COMct > 485 & 495 > COMct & SIGmrt > 70 + 4*COMct (***** Constraint 24*****) 4*COMct > 105 + SIGmrt & 2*COMct > 1085 & 1095 > 2*COMct & SIGmrt >= 110 + 3*COMct (***** Constraint 25*****) 4*COMct + 70 >= SIGmrt & COMct > 485 & 495 > COMct & SIGmrt > 4*COMct (***** Constraint 26*****) SIGmrt > 1980 & 2050 >= SIGmrt & COMct = 495 (***** Constraint 27*****) 4*COMct > 105 + SIGmrt & 2*COMct > 1095 & 550 >= COMct & SIGmrt >= 110 + 3*COMct (***** Constraint 28*****) COMct > 510 & 520 > COMct & 4*COMct = SIGmrt (***** Constraint 29*****) 4*COMct > 80 + SIGmrt & 2*COMct > 1085 & 1095 > 2*COMct & SIGmrt + 105 >= 4*COMct (***** Constraint 30*****) SIGmrt > 2050 & COMct = 495 (***** Constraint 31*****) COMct > 495 & 500 >= COMct & 4*COMct = SIGmrt (***** Constraint 32*****) COMct > 495 & 500 >= COMct & SIGmrt > 70 + 4*COMct (***** Constraint 33*****) 4*COMct > SIGmrt & COMct > 500 & 510 >= COMct & SIGmrt + 10 > 4*COMct (***** Constraint 34*****) 4*COMct > SIGmrt & COMct >= 520 & 530 > COMct & SIGmrt + 10 > 4*COMct (***** Constraint 35*****) 4*COMct >= 10 + SIGmrt & COMct > 500 & 510 >= COMct & SIGmrt + 35 > 4*COMct (***** Constraint 36*****) COMct > 500 & 510 >= COMct & SIGmrt > 70 + 4*COMct (***** Constraint 37*****) 4*COMct >= 35 + SIGmrt & COMct > 500 & 510 >= COMct & SIGmrt + 70 >= 4*COMct (***** Constraint 38*****) COMct >= 520 & 530 > COMct & 4*COMct = SIGmrt (***** Constraint 39*****) 4*COMct >= 35 + SIGmrt & COMct > 510 & 520 > COMct & SIGmrt + 70 >= 4*COMct (***** Constraint 40*****) 4*COMct + 70 >= SIGmrt & COMct >= 520 & 530 > COMct & SIGmrt > 4*COMct (***** Constraint 41*****) 4*COMct > 70 + SIGmrt & COMct > 510 & 520 > COMct & SIGmrt + 80 >= 4*COMct (***** Constraint 42*****) 4*COMct >= 10 + SIGmrt & COMct >= 530 & 1085 > 2*COMct & SIGmrt + 35 > 4*COMct (***** Constraint 43*****) 4*COMct > 70 + SIGmrt & COMct >= 520 & 530 > COMct & SIGmrt + 80 >= 4*COMct (***** Constraint 44*****) 4*COMct > 80 + SIGmrt & 2*COMct > 1095 & 550 >= COMct & SIGmrt + 105 >= 4*COMct (***** Constraint 45*****) 4*COMct > 70 + SIGmrt & 2*COMct > 1085 & 1095 > 2*COMct & SIGmrt + 80 >= 4*COMct (***** Constraint 46*****) 4*COMct > 80 + SIGmrt & COMct >= 520 & 530 > COMct & SIGmrt + 105 >= 4*COMct (***** Constraint 47*****) 4*COMct > 105 + SIGmrt & COMct >= 520 & SIGmrt > 1180 + COMct & 530 > COMct (***** Constraint 48*****) COMct > 500 & 510 >= COMct & 4*COMct = SIGmrt