Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Tinet_3.json -E -C -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 3 
DFA transitions: 69
Problem file: data/zoo_json_reachability/Tinet_3.json
Switches to update: 56

Decomposed topology into 4 subproblems
Topological decomposition took 0.035 seconds
Subproblem verification time: 33.509 seconds
Subproblem verification time: 0.32 seconds
Subproblem verification time: 0.315 seconds
Subproblem verification time: 0.323 seconds
Minimum batches required: 3
[[5, 7, 6, 0, 1, 52, 43, 58, 60, 59, 53, 54, 105, 96, 111, 113, 112, 106, 107, 158, 149, 164, 166, 165, 159, 160, 211, 202], [51, 104, 157, 210], [41, 35, 24, 46, 47, 50, 94, 88, 77, 99, 100, 103, 147, 141, 130, 152, 153, 156, 200, 194, 183, 205, 206, 209]]
Total program runtime: 35.016 seconds

real 35.33
user 35.86
sys 1.34
