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

Decomposed topology into 8 subproblems
Topological decomposition took 0.039 seconds
Subproblem verification time: 0.192 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.066 seconds
Minimum batches required: 3
[[40, 4, 81, 45, 122, 86, 163, 127, 204, 168, 245, 209, 286, 250, 327, 291], [25, 36, 66, 77, 107, 118, 148, 159, 189, 200, 230, 241, 271, 282, 312, 323], [22, 63, 104, 145, 186, 227, 268, 309]]
Total program runtime: 1.333 seconds

real 1.64
user 2.63
sys 0.41
