Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Restena_4.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: data/zoo_json_reachability/Restena_4.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.045 seconds
Subproblem verification time: 0.295 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.071 seconds
Minimum batches required: 3
[[15, 16, 9, 3, 2, 34, 35, 28, 22, 21, 53, 54, 47, 41, 40, 72, 73, 66, 60, 59, 91, 92, 85, 79, 78, 110, 111, 104, 98, 97, 129, 130, 123, 117, 116, 148, 149, 142, 136, 135], [10, 29, 48, 67, 86, 105, 124, 143], [12, 18, 31, 37, 50, 56, 69, 75, 88, 94, 107, 113, 126, 132, 145, 151]]
Total program runtime: 1.397 seconds

real 1.74
user 3.30
sys 0.44
