Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Intranetwork_3.json -E -C -R -O -V Low
DFA generation time: 0.049 seconds 
DFA states: 33 
DFA transitions: 188
Problem file: data/zoo_json_waypoint4/Intranetwork_3.json
Switches to update: 84

Decomposed topology into 12 subproblems
Topological decomposition took 0.101 seconds
Subproblem verification time: 0.297 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.071 seconds
Minimum batches required: 3
[[28, 21, 20, 19, 4, 7, 13, 2, 37, 67, 60, 59, 58, 43, 46, 52, 41, 76, 106, 99, 98, 97, 82, 85, 91, 80, 115, 145, 138, 137, 136, 121, 124, 130, 119, 154], [11, 34, 16, 38, 14, 50, 73, 55, 77, 53, 89, 112, 94, 116, 92, 128, 151, 133, 155, 131], [18, 22, 12, 6, 5, 8, 29, 57, 61, 51, 45, 44, 47, 68, 96, 100, 90, 84, 83, 86, 107, 135, 139, 129, 123, 122, 125, 146]]
Total program runtime: 2.042 seconds

real 2.42
user 4.14
sys 0.57
