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

Decomposed topology into 4 subproblems
Topological decomposition took 0.029 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.057 seconds
Minimum batches required: 2
[[3, 1, 7, 6, 19, 17, 23, 22, 35, 33, 39, 38, 51, 49, 55, 54], [4, 8, 20, 24, 36, 40, 52, 56]]
Total program runtime: 0.78 seconds

real 1.09
user 1.94
sys 0.24
