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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 3.076 seconds
Minimum batches required: 3
[[72, 53, 34, 15, 12, 31, 50, 69, 18, 10, 37, 29, 56, 48, 75, 67], [71, 52, 33, 14], [16, 9, 3, 35, 28, 22, 54, 47, 41, 73, 66, 60, 17, 36, 55, 74]]
Total program runtime: 3.498 seconds

real 3.80
user 4.59
sys 0.21
