stoch net_2_1000runs.stoch.output net_2.queries --numtraces=10 -snoopy -time
Query:  P=?[ Â F([A] < 30)]
Probability:  1.0

Query:  P=?[F([A] = 30 ^ G(30 <= [A] ^ [A] <= 80))]
Probability:  0.946

Query:  P=?[F([A] = 30 ^ G(30 <= [A] ^ [A] <= 81))]
Probability:  0.994

Query:  P=?[F([A] = 30 ^ G(30 <= [A] ^ [A] <= 82))]
Probability:  0.996

Query:  P=?[F([A] = 30 ^ G(30 <= [A] ^ [A] <= 83))]
Probability:  0.998

Query:  P=?[F([A] = 30 ^ G(30 <= [A] ^ [A] <= 84))]
Probability:  0.999

Query:  P=?[F([A] = 30 ^ G(30 <= [A] ^ [A] <= 85))]
Probability:  1.0

Query:  P=?[G(d[B] >= 0)]
Probability:  0.0

Execution time:  5 seconds.