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

Decomposed topology into 4 subproblems
Topological decomposition took 0.034 seconds
Subproblem verification time: 0.141 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.058 seconds
Minimum batches required: 3
[[38, 33, 47, 32, 18, 96, 91, 105, 90, 76, 154, 149, 163, 148, 134, 212, 207, 221, 206, 192], [14, 35, 72, 93, 130, 151, 188, 209], [53, 10, 57, 28, 111, 68, 115, 86, 169, 126, 173, 144, 227, 184, 231, 202]]
Total program runtime: 0.848 seconds

real 1.13
user 2.04
sys 0.33
