Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Integra_3.json -E -C -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 9 
DFA transitions: 68
Problem file: data/zoo_json_waypoint2/Integra_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.033 seconds
Subproblem verification time: 12.162 seconds
Subproblem verification time: 0.396 seconds
Subproblem verification time: 0.374 seconds
Subproblem verification time: 0.466 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.904 seconds

real 14.21
user 15.72
sys 0.45
