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

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 1.837 seconds
Minimum batches required: 3
[[10, 59, 137, 186, 264, 313, 391, 440, 50, 72, 177, 199, 304, 326, 431, 453], [441, 394, 314, 267, 187, 140, 60, 13], [102, 229, 356, 483]]
Total program runtime: 2.328 seconds

real 2.68
user 3.52
sys 0.22
