Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Arpanet19719_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 129
Problem file: dataND/zoo_json_MF/Arpanet19719_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 15.686 seconds
Subproblem verification time: 0.225 seconds
Subproblem verification time: 0.219 seconds
Subproblem verification time: 0.22 seconds
Subproblem verification time: 0.217 seconds
Subproblem verification time: 0.219 seconds
Subproblem verification time: 0.22 seconds
Subproblem verification time: 0.243 seconds
Minimum batches required: 3
[[7, 12, 14, 9, 2, 6, 4, 25, 30, 32, 27, 20, 24, 22, 43, 48, 50, 45, 38, 42, 40, 61, 66, 68, 63, 56, 60, 58, 79, 84, 86, 81, 74, 78, 76, 97, 102, 104, 99, 92, 96, 94, 115, 120, 122, 117, 110, 114, 112, 133, 138, 140, 135, 128, 132, 130], [8, 3, 26, 21, 44, 39, 62, 57, 80, 75, 98, 93, 116, 111, 134, 129], [5, 10, 16, 1, 23, 28, 34, 19, 41, 46, 52, 37, 59, 64, 70, 55, 77, 82, 88, 73, 95, 100, 106, 91, 113, 118, 124, 109, 131, 136, 142, 127]]
Total program runtime: 17.848 seconds

real 18.14
user 19.82
sys 0.63
