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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 21.715 seconds
Minimum batches required: 2
[[288, 251, 214, 177, 140, 103, 66, 29], [33, 70, 107, 144, 181, 218, 255, 292, 32, 69, 106, 143, 180, 217, 254, 291]]
Total program runtime: 22.114 seconds

real 22.41
user 23.10
sys 0.43
