stoch net_4_100runs.stoch.output net_4.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=?[(10 <= time ^ time < 30) -> [det_on] = 1]
Probability:  1.0

Query:  P=?[(time < 10 V 30 <= time) -> [stochastic_on] = 1]
Probability:  1.0

Execution time:  1 second.