Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Intellifiber_3.json -E -C -R -O -V Low
DFA generation time: 0.02 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.048 seconds
Subproblem verification time: 0.369 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.089 seconds
Minimum batches required: 3
[[71, 70, 68, 67, 19, 53, 55, 10, 143, 142, 140, 139, 91, 125, 127, 82, 215, 214, 212, 211, 163, 197, 199, 154, 287, 286, 284, 283, 235, 269, 271, 226], [66, 6, 138, 78, 210, 150, 282, 222], [0, 3, 2, 16, 44, 41, 4, 72, 75, 74, 88, 116, 113, 76, 144, 147, 146, 160, 188, 185, 148, 216, 219, 218, 232, 260, 257, 220]]
Total program runtime: 1.571 seconds

real 1.97
user 3.44
sys 0.40
