Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Janetbackbone_3.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 45
Problem file: dataND/zoo_json_MF/Janetbackbone_3.json
Switches to update: 40

Decomposed topology into 4 subproblems
Topological decomposition took 0.03 seconds
Subproblem verification time: 0.98 seconds
Subproblem verification time: 0.162 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.18 seconds
Minimum batches required: 3
[[18, 11, 13, 9, 39, 32, 34, 30, 60, 53, 55, 51, 81, 74, 76, 72], [14, 20, 35, 41, 56, 62, 77, 83], [5, 17, 12, 10, 26, 38, 33, 31, 47, 59, 54, 52, 68, 80, 75, 73]]
Total program runtime: 1.986 seconds

real 2.27
user 3.35
sys 0.25
