Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/AsnetAm_4.json -T -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 97
Problem file: data/zoo_json_reachability/AsnetAm_4.json
Switches to update: 56

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 3.811 seconds
Minimum batches required: 3
[[22, 83, 144, 205, 266, 327, 388, 449, 54, 57, 115, 118, 176, 179, 237, 240, 298, 301, 359, 362, 420, 423, 481, 484], [434, 373, 312, 251, 190, 129, 68, 7], [56, 60, 59, 117, 121, 120, 178, 182, 181, 239, 243, 242, 300, 304, 303, 361, 365, 364, 422, 426, 425, 483, 487, 486]]
Total program runtime: 4.324 seconds

real 4.66
user 5.89
sys 0.24
