source: vis_dev/vis-2.1/examples/tlc/check_result @ 15

FSM depth =                  7
reachable states =          20
--Total states covered by formula<1> = 6 , new = 6
---States covered w.r.t. farm_light = 6, new = 6
---States covered w.r.t. hwy_light = 0, new = 0
# MC: formula passed --- AG(!((farm_light=GREEN * hwy_light=GREEN)))
--Total states covered by formula<2> = 5 , new = 4
---States covered w.r.t. car_present = 1, new = 1
---States covered w.r.t. timer.state = 0, new = 0
---States covered w.r.t. farm_light = 4, new = 4
# MC: formula passed --- AG(((car_present=YES * timer.state=LONG) -> AF(farm_light=GREEN)))
--Total states covered by formula<3> = 6 , new = 0
---States covered w.r.t. hwy_light = 6, new = 6
# MC: formula passed --- AG(AF(hwy_light=GREEN))
--Total states covered by formula<4> = 0 , new = 0
---States covered w.r.t. car_present = 0, new = 0
---States covered w.r.t. farm_light = 0, new = 0
# MC: formula passed --- !(AG((car_present=YES -> AF(farm_light=GREEN))))
# MC: formula failed --- AG((car_present=YES -> AF(farm_light=GREEN)))
# States covered w.r.t. Neither Primary output nor input(farm_light) = 10, Percentage of Coverage = 50.000000
# States covered w.r.t. Neither Primary output nor input(hwy_light) = 6, Percentage of Coverage = 30.000000
# States covered w.r.t. Neither Primary output nor input(car_present) = 1, Percentage of Coverage = 5.000000
# States covered w.r.t. Neither Primary output nor input(timer.state) = 0, Percentage of Coverage = 0.000000
--There are 10 covered states (using improved coverage implementation)
--0 states covered by Primary Input Signals
--0 states covered by Primary Ouput Signals
--17 states covered by signals which are neither Primary input nor output Signals
Percentage of coverage (using improved coverage implementation)= 50.000000
 Average Percentage of coverage = 21.250000
Average Percentage of coverage for signals which are not primary = 21.250000