Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Intellifiber_3.json -T -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: dataND/zoo_json_MF/Intellifiber_3.json
Switches to update: 68

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 15.111 seconds
Minimum batches required: 3
[[67, 10, 139, 82, 211, 154, 283, 226, 68, 70, 71, 55, 53, 19, 140, 142, 143, 127, 125, 91, 212, 214, 215, 199, 197, 163, 284, 286, 287, 271, 269, 235], [222, 282, 150, 210, 78, 138, 6, 66], [2, 3, 0, 4, 41, 44, 16, 74, 75, 72, 76, 113, 116, 88, 146, 147, 144, 148, 185, 188, 160, 218, 219, 216, 220, 257, 260, 232]]
Total program runtime: 15.685 seconds

real 16.00
user 16.89
sys 0.66
