Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Janetbackbone_3.json -R -O -V Low
DFA generation time: 0.019 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.15 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Minimum batches required: 3
[[9, 13, 11, 18, 30, 34, 32, 39, 51, 55, 53, 60, 72, 76, 74, 81], [14, 20, 35, 41, 56, 62, 77, 83], [10, 12, 17, 5, 31, 33, 38, 26, 52, 54, 59, 47, 73, 75, 80, 68]]
Total program runtime: 0.731 seconds

real 1.02
user 1.96
sys 0.23
