Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201111_3.json -E -C -R -O -V Low
DFA generation time: 0.02 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.042 seconds
Subproblem verification time: 5.702 seconds
Subproblem verification time: 0.608 seconds
Subproblem verification time: 0.647 seconds
Subproblem verification time: 0.652 seconds
Minimum batches required: 3
[[43, 34, 10, 54, 102, 93, 69, 113, 161, 152, 128, 172, 220, 211, 187, 231], [35, 36, 39, 58, 14, 21, 94, 95, 98, 117, 73, 80, 153, 154, 157, 176, 132, 139, 212, 213, 216, 235, 191, 198], [48, 18, 107, 77, 166, 136, 225, 195]]
Total program runtime: 8.094 seconds

real 8.39
user 9.38
sys 0.36
