stoch net_3_1000runs.stoch.output net_3.queries --numtraces=10 -snoopy -time
Query:  P=?[G(([input_on] = 1 ^ [input_off] = 0) V ([input_on] = 0 ^ [input_off] = 1))]
Probability:  1.0

Query:  P=?[G( [A] < 10 -> [input_on] = 1 )]
Probability:  1.0

Query:  P=?[G([A] >= 30 -> [input_off] = 1)]
Probability:  1.0

Query:  P=?[G(5 <= [A] ^ [A] <= 40)]
Probability:  0.995

Execution time:  4 seconds.