Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Globenet_2.json -T -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 59
Problem file: data/zoo_json_reachability/Globenet_2.json
Switches to update: 42

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 1.781 seconds
Minimum batches required: 3
[[2, 62, 48, 42, 69, 129, 115, 109, 61, 59, 53, 43, 8, 9, 12, 14, 128, 126, 120, 110, 75, 76, 79, 81], [113, 77, 131, 125, 46, 10, 64, 58], [57, 39, 19, 34, 17, 124, 106, 86, 101, 84]]
Total program runtime: 2.26 seconds

real 2.59
user 3.51
sys 0.18
