Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Arpanet19728_3.json -E -C -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 65
Problem file: data/zoo_json_reachability/Arpanet19728_3.json
Switches to update: 60

Decomposed topology into 4 subproblems
Topological decomposition took 0.037 seconds
Subproblem verification time: 37.321 seconds
Subproblem verification time: 7.134 seconds
Subproblem verification time: 7.138 seconds
Subproblem verification time: 8.169 seconds
Minimum batches required: 3
[[28, 27, 11, 57, 56, 40, 86, 85, 69, 115, 114, 98], [3, 32, 61, 90], [19, 20, 7, 4, 8, 13, 23, 18, 25, 15, 5, 48, 49, 36, 33, 37, 42, 52, 47, 54, 44, 34, 77, 78, 65, 62, 66, 71, 81, 76, 83, 73, 63, 106, 107, 94, 91, 95, 100, 110, 105, 112, 102, 92]]
Total program runtime: 60.314 seconds

real 60.64
user 60.80
sys 1.48
