Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/UsSignal_3.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 5 
DFA transitions: 116
Problem file: data/zoo_json_alt_waypoint1/UsSignal_3.json
Switches to update: 96

Decomposed topology into 7 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 0.163 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 4
[[28, 56, 57, 49, 45, 46, 47, 18, 19, 0, 91, 119, 120, 112, 154, 182, 108, 109, 110, 81, 82, 63, 183, 175, 171, 172, 173, 144, 145, 126, 217, 245, 246, 238, 234, 235, 236, 207, 208, 189], [8, 31, 59, 71, 94, 157, 122, 185, 197, 220, 248], [33, 27, 13, 12, 9, 26, 60, 34, 62, 53, 54, 96, 90, 76, 75, 72, 89, 134, 186, 160, 188, 179, 180, 222, 216, 202, 201, 198, 215, 249, 223, 251, 242, 243], [123, 97, 125, 116, 117, 159, 153, 139, 138, 135, 152]]
Total program runtime: 1.1 seconds

real 1.43
user 2.89
sys 0.35
