Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Globenet_4.json -E -C -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 169
Problem file: data/zoo_json_reachability/Globenet_4.json
Switches to update: 88

Decomposed topology into 16 subproblems
Topological decomposition took 0.078 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.086 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.08 seconds
Minimum batches required: 3
[[57, 34, 37, 53, 48, 124, 101, 104, 120, 115, 191, 168, 171, 187, 182, 258, 235, 238, 254, 249, 325, 302, 305, 321, 316, 392, 369, 372, 388, 383, 459, 436, 439, 455, 450, 526, 503, 506, 522, 517], [58, 46, 10, 125, 113, 77, 192, 180, 144, 259, 247, 211, 326, 314, 278, 393, 381, 345, 460, 448, 412, 527, 515, 479], [2, 38, 39, 69, 105, 106, 136, 172, 173, 203, 239, 240, 270, 306, 307, 337, 373, 374, 404, 440, 441, 471, 507, 508]]
Total program runtime: 1.676 seconds

real 2.00
user 3.88
sys 0.66
