Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/UsSignal_3.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 9 
DFA transitions: 124
Problem file: data/zoo_json_waypoint2/UsSignal_3.json
Switches to update: 96

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

real 1.32
user 2.91
sys 0.33
