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

Decomposed topology into 8 subproblems
Topological decomposition took 0.049 seconds
Subproblem verification time: 0.132 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Minimum batches required: 3
[[67, 68, 70, 71, 10, 55, 53, 19, 139, 140, 142, 143, 82, 127, 125, 91, 211, 212, 214, 215, 154, 199, 197, 163, 283, 284, 286, 287, 226, 271, 269, 235], [66, 6, 138, 78, 210, 150, 282, 222], [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: 0.937 seconds

real 1.28
user 2.57
sys 0.30
