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

Decomposed topology into 4 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 4.305 seconds
Subproblem verification time: 0.58 seconds
Subproblem verification time: 0.586 seconds
Subproblem verification time: 0.646 seconds
Minimum batches required: 3
[[12, 11, 23, 7, 43, 42, 54, 38, 74, 73, 85, 69, 105, 104, 116, 100], [30, 3, 17, 61, 34, 48, 92, 65, 79, 123, 96, 110], [27, 28, 29, 9, 19, 58, 59, 60, 40, 50, 89, 90, 91, 71, 81, 120, 121, 122, 102, 112]]
Total program runtime: 6.638 seconds

real 6.96
user 8.00
sys 0.39
