Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201111_3.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 69
Problem file: dataND/zoo_json_MF/Garr201111_3.json
Switches to update: 48

Decomposed topology into 4 subproblems
Topological decomposition took 0.036 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.069 seconds
Minimum batches required: 3
[[54, 10, 34, 43, 113, 69, 93, 102, 172, 128, 152, 161, 231, 187, 211, 220], [14, 21, 73, 80, 132, 139, 191, 198], [18, 48, 58, 39, 36, 35, 77, 107, 117, 98, 95, 94, 136, 166, 176, 157, 154, 153, 195, 225, 235, 216, 213, 212]]
Total program runtime: 0.867 seconds

real 1.17
user 2.20
sys 0.29
