Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/RoedunetFibre_3.json -E -C -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 85
Problem file: data/zoo_json_reachability/RoedunetFibre_3.json
Switches to update: 56

Decomposed topology into 4 subproblems
Topological decomposition took 0.042 seconds
Subproblem verification time: 24.323 seconds
Subproblem verification time: 0.537 seconds
Subproblem verification time: 0.516 seconds
Subproblem verification time: 0.529 seconds
Minimum batches required: 3
[[0, 2, 47, 45, 44, 40, 48, 50, 95, 93, 92, 88, 96, 98, 143, 141, 140, 136, 144, 146, 191, 189, 188, 184], [41, 89, 137, 185], [16, 15, 14, 21, 25, 42, 22, 64, 63, 62, 69, 73, 90, 70, 112, 111, 110, 117, 121, 138, 118, 160, 159, 158, 165, 169, 186, 166]]
Total program runtime: 26.453 seconds

real 26.76
user 27.92
sys 0.67
