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

Decomposed topology into 8 subproblems
Topological decomposition took 0.067 seconds
Subproblem verification time: 0.147 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 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: 1.013 seconds

real 1.35
user 2.81
sys 0.38
