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

Decomposed topology into 8 subproblems
Topological decomposition took 0.044 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.064 seconds
Minimum batches required: 3
[[23, 24, 6, 0, 54, 55, 37, 31, 85, 86, 68, 62, 116, 117, 99, 93, 147, 148, 130, 124, 178, 179, 161, 155, 209, 210, 192, 186, 240, 241, 223, 217], [30, 61, 92, 123, 154, 185, 216, 247], [25, 56, 87, 118, 149, 180, 211, 242]]
Total program runtime: 1.198 seconds

real 1.54
user 2.75
sys 0.43
