Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Integra_3.json -E -C -R -O -V Low
DFA generation time: 0.043 seconds 
DFA states: 33 
DFA transitions: 136
Problem file: data/zoo_json_waypoint4/Integra_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.044 seconds
Subproblem verification time: 16.158 seconds
Subproblem verification time: 0.372 seconds
Subproblem verification time: 0.381 seconds
Subproblem verification time: 0.424 seconds
Minimum batches required: 3
[[26, 11, 25, 24, 23, 3, 53, 38, 52, 51, 50, 30, 80, 65, 79, 78, 77, 57, 107, 92, 106, 105, 104, 84], [18, 6, 45, 33, 72, 60, 99, 87], [0, 20, 1, 7, 4, 27, 47, 28, 34, 31, 54, 74, 55, 61, 58, 81, 101, 82, 88, 85]]
Total program runtime: 17.928 seconds

real 18.27
user 19.66
sys 0.69
