Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Roedunet_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 57
Problem file: data/zoo_json_reachability/Roedunet_4.json
Switches to update: 32

Decomposed topology into 8 subproblems
Topological decomposition took 0.041 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 2
[[4, 36, 45, 77, 86, 118, 127, 159, 168, 200, 209, 241, 250, 282, 291, 323], [22, 25, 63, 66, 104, 107, 145, 148, 186, 189, 227, 230, 268, 271, 309, 312]]
Total program runtime: 0.925 seconds

real 1.25
user 2.23
sys 0.33
