Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Roedunet_4.json -E -C -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.039 seconds
Subproblem verification time: 0.227 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.056 seconds
Minimum batches required: 2
[[4, 36, 45, 77, 86, 118, 127, 159, 168, 200, 209, 241, 250, 282, 291, 323], [25, 22, 66, 63, 107, 104, 148, 145, 189, 186, 230, 227, 271, 268, 312, 309]]
Total program runtime: 1.178 seconds

real 1.49
user 2.37
sys 0.43
