(* Result output by IMITATOR Version : 2.7-beta2 (build 1074) Model : '/home/mpi/models/RCP.imi' Generated: Fri Apr 24, 2015 00:34:20 Command : /home/mpi/imitator/bin/imitator /home/mpi/models/RCP.imi /home/mpi/models/RCP.v0 -mode cover -distributed sequential -verbose mute -output-result -output-cart Stats : 5 6 2 0 3050 909.649375916 19 *) (***** Constraint 1*****) delay >= 0 & rc_slow_min > 85 + 2*delay & 38 > delay & 167 >= rc_slow_min (***** Constraint 2*****) 38 > delay & 2*delay + 85 >= rc_slow_min & 2*rc_slow_min > 170 + 3*delay (***** Constraint 3*****) 38 > delay & 3*rc_slow_min > 255 + 4*delay & 3*delay + 170 >= 2*rc_slow_min (***** Constraint 4*****) delay >= 38 & rc_slow_min > 9 + 3*delay & 3*rc_slow_min > 255 + 4*delay & 3*delay + 170 >= 2*rc_slow_min (***** Constraint 5*****) rc_slow_min > 9 + 3*delay & delay >= 38 & 2*rc_slow_min > 170 + 3*delay & 2*delay + 85 >= rc_slow_min & 167 >= rc_slow_min (***** Constraint 6*****) delay >= 38 & rc_slow_min > 85 + 2*delay & 167 >= rc_slow_min (***** Constraint 7*****) delay >= 38 & rc_slow_min > 9 + 3*delay & 4*rc_slow_min > 340 + 5*delay & 4*delay + 255 >= 3*rc_slow_min (***** Constraint 8*****) 3*delay + 9 >= rc_slow_min & rc_slow_min > 47 + 2*delay & 4*rc_slow_min > 340 + 5*delay & 4*delay + 255 >= 3*rc_slow_min (***** Constraint 9*****) 3*delay + 9 >= rc_slow_min & rc_slow_min > 47 + 2*delay & 5*rc_slow_min > 425 + 6*delay & 5*delay + 340 >= 4*rc_slow_min (***** Constraint 10*****) rc_slow_min > 47 + 2*delay & 3*delay + 9 >= rc_slow_min & 3*rc_slow_min > 255 + 4*delay & 167 >= rc_slow_min & 3*delay + 170 >= 2*rc_slow_min (***** Constraint 11*****) 3*delay + 9 >= rc_slow_min & rc_slow_min > 47 + 2*delay & 6*rc_slow_min > 510 + 7*delay & 6*delay + 425 >= 5*rc_slow_min (***** Constraint 12*****) 2*delay + 47 >= rc_slow_min & 3*rc_slow_min > 179 + 5*delay & 6*rc_slow_min > 510 + 7*delay & 6*delay + 425 >= 5*rc_slow_min (***** Constraint 13*****) 2*delay + 47 >= rc_slow_min & 3*rc_slow_min > 179 + 5*delay & 5*rc_slow_min > 425 + 6*delay & 5*delay + 340 >= 4*rc_slow_min (***** Constraint 14*****) 2*delay + 47 >= rc_slow_min & 3*rc_slow_min > 179 + 5*delay & 7*rc_slow_min > 595 + 8*delay & 7*delay + 510 >= 6*rc_slow_min (***** Constraint 15*****) 5*delay + 179 >= 3*rc_slow_min & 2*rc_slow_min > 132 + 3*delay & 8*rc_slow_min > 680 + 9*delay & 8*delay + 595 >= 7*rc_slow_min (***** Constraint 16*****) 5*delay + 179 >= 3*rc_slow_min & 2*rc_slow_min > 132 + 3*delay & 9*rc_slow_min > 765 + 10*delay & 9*delay + 680 >= 8*rc_slow_min (***** Constraint 17*****) 5*delay + 179 >= 3*rc_slow_min & 2*rc_slow_min > 132 + 3*delay & 7*rc_slow_min > 595 + 8*delay & 7*delay + 510 >= 6*rc_slow_min (***** Constraint 18*****) 3*delay + 132 >= 2*rc_slow_min & 5*rc_slow_min > 349 + 7*delay & 9*rc_slow_min > 765 + 10*delay & 9*delay + 680 >= 8*rc_slow_min (***** Constraint 19*****) 3*delay + 132 >= 2*rc_slow_min & 5*rc_slow_min > 349 + 7*delay & 11*rc_slow_min > 935 + 12*delay & 11*delay + 850 >= 10*rc_slow_min