Update example/driving_NFM_v2.prism

2 jobs for breach_stuff in 18 seconds (queued for 1 second)
latest