Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Shentel_3.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 3 
DFA transitions: 81
Problem file: data/zoo_json_reachability/Shentel_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.04 seconds
Subproblem verification time: 9.138 seconds
Subproblem verification time: 1.288 seconds
Subproblem verification time: 1.302 seconds
Subproblem verification time: 1.418 seconds
Minimum batches required: 3
[[3, 2, 22, 8, 31, 30, 50, 36, 59, 58, 78, 64, 87, 86, 106, 92], [20, 24, 23, 48, 52, 51, 76, 80, 79, 104, 108, 107], [26, 27, 18, 19, 15, 14, 54, 55, 46, 47, 43, 42, 82, 83, 74, 75, 71, 70, 110, 111, 102, 103, 99, 98]]
Total program runtime: 13.691 seconds

real 14.01
user 14.90
sys 0.55
