Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Arpanet19728_3.json -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 5 
DFA transitions: 104
Problem file: data/zoo_json_alt_waypoint1/Arpanet19728_3.json
Switches to update: 92

Decomposed topology into 4 subproblems
Topological decomposition took 0.048 seconds
Subproblem verification time: 0.244 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.058 seconds
Minimum batches required: 5
[[14, 22, 24, 13, 8, 4, 7, 20, 19, 6, 23, 18, 25, 15, 5, 43, 51, 53, 42, 37, 33, 36, 49, 48, 35, 52, 47, 54, 44, 34, 72, 80, 82, 71, 66, 62, 65, 78, 77, 64, 81, 76, 83, 73, 63, 101, 109, 111, 100, 95, 91, 94, 107, 106, 93, 110, 105, 112, 102, 92], [21, 50, 38, 79, 67, 108, 96], [28, 0, 26, 12, 29, 55, 41, 58, 84, 70, 87, 113, 99], [9, 27, 11, 57, 86, 115], [56, 40, 85, 69, 114, 98]]
Total program runtime: 1.054 seconds

real 1.37
user 2.89
sys 0.27
