Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Arnes_3.json -E -C -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 61
Problem file: dataND/zoo_json_MF/Arnes_3.json
Switches to update: 56

Decomposed topology into 4 subproblems
Topological decomposition took 0.034 seconds
Subproblem verification time: 27.144 seconds
Subproblem verification time: 1.661 seconds
Subproblem verification time: 1.806 seconds
Subproblem verification time: 1.988 seconds
Minimum batches required: 3
[[22, 12, 11, 23, 7, 53, 43, 42, 54, 38, 84, 74, 73, 85, 69, 115, 105, 104, 116, 100], [30, 3, 17, 10, 61, 34, 48, 41, 92, 65, 79, 72, 123, 96, 110, 103], [27, 28, 29, 9, 19, 58, 59, 60, 40, 50, 89, 90, 91, 71, 81, 120, 121, 122, 102, 112]]
Total program runtime: 33.122 seconds

real 33.42
user 34.45
sys 0.75
