Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Janetbackbone_3.json -E -C -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 41
Problem file: data/zoo_json_reachability/Janetbackbone_3.json
Switches to update: 36

Decomposed topology into 4 subproblems
Topological decomposition took 0.032 seconds
Subproblem verification time: 0.473 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.098 seconds
Minimum batches required: 3
[[18, 11, 13, 9, 39, 32, 34, 30, 60, 53, 55, 51, 81, 74, 76, 72], [20, 41, 62, 83], [17, 12, 10, 14, 38, 33, 31, 35, 59, 54, 52, 56, 80, 75, 73, 77]]
Total program runtime: 1.264 seconds

real 1.58
user 2.44
sys 0.30
