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

Decomposed topology into 8 subproblems
Topological decomposition took 0.035 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.026 seconds
Minimum batches required: 3
[[1, 4, 9, 12, 15, 20, 23, 26, 31, 34, 37, 42, 45, 48, 53, 56, 59, 64, 67, 70, 75, 78, 81, 86], [10, 21, 32, 43, 54, 65, 76, 87], [7, 6, 18, 17, 29, 28, 40, 39, 51, 50, 62, 61, 73, 72, 84, 83]]
Total program runtime: 0.882 seconds

real 1.20
user 2.36
sys 0.32
