Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/AsnetAm_3.json -E -C -R -O -V Low
DFA generation time: 0.033 seconds 
DFA states: 19 
DFA transitions: 213
Problem file: data/zoo_json_cond_enf2/AsnetAm_3.json
Switches to update: 24

Decomposed topology into 2 subproblems
Topological decomposition took 0.041 seconds
Subproblem verification time: 0.244 seconds
Subproblem verification time: 28.935 seconds
Minimum batches required: 3
[[7, 62, 199, 254, 135, 190, 71, 126], [22, 54, 214, 246, 150, 182, 86, 118], [61, 63, 253, 255, 189, 191, 125, 127]]
Total program runtime: 29.7 seconds

real 30.01
user 30.57
sys 0.76
