Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr201110_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: data/zoo_json_reachability/Garr201110_4.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.331 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.084 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.085 seconds
Minimum batches required: 3
[[10, 44, 14, 64, 98, 68, 118, 152, 122, 172, 206, 176, 226, 260, 230, 280, 314, 284, 334, 368, 338, 388, 422, 392], [32, 86, 140, 194, 248, 302, 356, 410], [18, 53, 35, 34, 72, 107, 89, 88, 126, 161, 143, 142, 180, 215, 197, 196, 234, 269, 251, 250, 288, 323, 305, 304, 342, 377, 359, 358, 396, 431, 413, 412]]
Total program runtime: 1.524 seconds

real 1.91
user 3.21
sys 0.46
