Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Intranetwork_3.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 5 
DFA transitions: 112
Problem file: data/zoo_json_alt_waypoint1/Intranetwork_3.json
Switches to update: 84

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

real 1.45
user 3.14
sys 0.43
