Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201008_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: dataND/zoo_json_MF/Garr201008_4.json
Switches to update: 48

Decomposed topology into 8 subproblems
Topological decomposition took 0.046 seconds
Subproblem verification time: 0.193 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.061 seconds
Minimum batches required: 3
[[38, 8, 49, 88, 58, 99, 138, 108, 149, 188, 158, 199, 238, 208, 249, 288, 258, 299, 338, 308, 349, 388, 358, 399], [12, 62, 112, 162, 212, 262, 312, 362], [16, 43, 66, 93, 116, 143, 166, 193, 216, 243, 266, 293, 316, 343, 366, 393]]
Total program runtime: 1.191 seconds

real 1.49
user 2.75
sys 0.42
