Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Arpanet19723_3.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 3 
DFA transitions: 77
Problem file: dataND/zoo_json_MF/Arpanet19723_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 11.711 seconds
Subproblem verification time: 0.34 seconds
Subproblem verification time: 0.32 seconds
Subproblem verification time: 0.326 seconds
Minimum batches required: 3
[[0, 22, 10, 23, 24, 6, 25, 47, 35, 48, 49, 31, 50, 72, 60, 73, 74, 56, 75, 97, 85, 98, 99, 81], [15, 21, 40, 46, 65, 71, 90, 96], [2, 1, 4, 7, 16, 27, 26, 29, 32, 41, 52, 51, 54, 57, 66, 77, 76, 79, 82, 91]]
Total program runtime: 13.227 seconds

real 13.54
user 14.99
sys 0.44
