Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Globenet_4.json -R -O -V Low
DFA generation time: 0.018 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.079 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 3
[[57, 48, 37, 53, 34, 124, 115, 104, 120, 101, 191, 182, 171, 187, 168, 258, 249, 238, 254, 235, 325, 316, 305, 321, 302, 392, 383, 372, 388, 369, 459, 450, 439, 455, 436, 526, 517, 506, 522, 503], [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, 39, 38, 69, 106, 105, 136, 173, 172, 203, 240, 239, 270, 307, 306, 337, 374, 373, 404, 441, 440, 471, 508, 507]]
Total program runtime: 1.181 seconds

real 1.48
user 3.42
sys 0.49
