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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 3.734 seconds
Minimum batches required: 3
[[8, 63, 118, 173, 228, 283, 338, 393, 41, 12, 30, 32, 96, 67, 85, 87, 151, 122, 140, 142, 206, 177, 195, 197, 261, 232, 250, 252, 316, 287, 305, 307, 371, 342, 360, 362, 426, 397, 415, 417], [404, 349, 294, 239, 184, 129, 74, 19], [16, 50, 54, 71, 105, 109, 126, 160, 164, 181, 215, 219, 236, 270, 274, 291, 325, 329, 346, 380, 384, 401, 435, 439]]
Total program runtime: 4.236 seconds

real 4.57
user 5.76
sys 0.31
