stoch net_0_100runs.stoch.output net_0.queries --numtraces=10 -snoopy -time
Query:  P=?[G([A] < 7550)]
Probability:  1.0

Query:  P=?[G([B] < 5350)]
Probability:  0.95

Query:  P=?[F(time = 20 ^ [A] > 0.9*max[A] ^ 3000 < [B] ^ [B] < 3500)]
Probability:  0.9

Query:  P=?[F(29 < time ^ time < 30 ^ 5000 < [A] ^ [A] < 5400 ^ [B] > 0.9*max([B]) )]
Probability:  1.0

Query:  P=?[ (time >= 50) -> G([A] < [B])]
Probability:  0.03

Query:  P=?[ (time >= 55) -> G([A] < [B])]
Probability:  0.59

Query:  P=?[ (time >= 60) -> G([A] < [B])]
Probability:  0.8

Query:  P=?[ (time >= 70) -> G([A] < [B])]
Probability:  0.91

Query:  P=?[(time >= 50) -> G(1500 < [A] ^ [A] < 1800 ^ 1600 < [B] ^ [B] < 2000)]
Probability:  0.39

Query:  P=?[(time >= 60) -> G(1500 < [A] ^ [A] < 1800 ^ 1600 < [B] ^ [B] < 2000)]
Probability:  1.0

Execution time:  22 seconds.