Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Intellifiber_3.json -T -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 101
Problem file: data/zoo_json_reachability/Intellifiber_3.json
Switches to update: 68

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 3.82 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: 4.38 seconds

real 4.68
user 5.80
sys 0.32
