stoch net_1_100runs.stoch.output net_1.queries --numtraces=10 -snoopy -time
Query:  P=?[G( [output_on] = 1 -> [B] = 0)]
Probability:  1.0

Query:  P=?[(time = 20) -> [B] = 0]
Probability:  0.99

Query:  P=?[F(time = 20  ^ [B] = 0)]
Probability:  1.0

Query:  P=?[F([B] > 0 ^ ([B] > 0 U (time = 20 ^ [B] = 0 )))]
Probability:  1.0

Query:  P=?[F(time = 20 ^ [B] = 0) ^ F([B] > 0 ^ ([B] > 0 U (time = 40 ^ [B] = 0 )))]
Probability:  1.0

Execution time:  15 seconds.