Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Janetbackbone_4.json -E -C -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 73
Problem file: data/zoo_json_reachability/Janetbackbone_4.json
Switches to update: 40

Decomposed topology into 8 subproblems
Topological decomposition took 0.039 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.065 seconds
Minimum batches required: 3
[[11, 7, 35, 31, 59, 55, 83, 79, 107, 103, 131, 127, 155, 151, 179, 175], [17, 41, 65, 89, 113, 137, 161, 185], [1, 18, 25, 42, 49, 66, 73, 90, 97, 114, 121, 138, 145, 162, 169, 186]]
Total program runtime: 1.128 seconds

real 1.45
user 2.65
sys 0.36
