Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Integra_3.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 5 
DFA transitions: 60
Problem file: data/zoo_json_waypoint1/Integra_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.036 seconds
Subproblem verification time: 12.043 seconds
Subproblem verification time: 0.377 seconds
Subproblem verification time: 0.364 seconds
Subproblem verification time: 0.42 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: 13.71 seconds

real 14.04
user 15.49
sys 0.49
