Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Ntt_3.json -T -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 45
Problem file: dataND/zoo_json_MF/Ntt_3.json
Switches to update: 32

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 13.275 seconds
Minimum batches required: 3
[[165, 120, 75, 30, 43, 88, 133, 178], [135, 90, 45, 0], [3, 24, 48, 69, 93, 114, 138, 159, 44, 29, 89, 74, 134, 119, 179, 164, 9, 54, 99, 144]]
Total program runtime: 13.716 seconds

real 14.01
user 14.53
sys 0.45
