stoch net_5_100runs.stoch.output net_5.queries --numtraces=10 -snoopy -time
Query:  P=?[G( ([stochastic_on] = 1 ^ [det_on] = 0) V ([stochastic_on] = 0 ^ [det_on] = 1) )]
Probability:  1.0

Query:  P=?[(500 <= [A] ^ [A] < 700) -> ([det_on] = 1)]
Probability:  1.0

Query:  P=?[( [A] < 500 V 700 <= [A]) -> ([stochastic_on] = 1)]
Probability:  1.0

Execution time:  1 second.