Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Tw_3.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 57
Problem file: data/zoo_json_reachability/Tw_3.json
Switches to update: 44

Decomposed topology into 4 subproblems
Topological decomposition took 0.036 seconds
Subproblem verification time: 1.794 seconds
Subproblem verification time: 0.219 seconds
Subproblem verification time: 0.22 seconds
Subproblem verification time: 0.218 seconds
Minimum batches required: 3
[[26, 58, 32, 10, 97, 129, 103, 81, 168, 200, 174, 152, 239, 271, 245, 223], [61, 5, 132, 76, 203, 147, 274, 218], [31, 25, 54, 6, 7, 102, 96, 125, 77, 78, 173, 167, 196, 148, 149, 244, 238, 267, 219, 220]]
Total program runtime: 2.966 seconds

real 3.29
user 4.30
sys 0.36
