Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/BtLatinAmerica_4.json -E -C -R -O -V Low
DFA generation time: 0.037 seconds 
DFA states: 19 
DFA transitions: 501
Problem file: data/zoo_json_cond_enf2/BtLatinAmerica_4.json
Switches to update: 32

Decomposed topology into 9 subproblems
Topological decomposition took 0.091 seconds
Subproblem verification time: 0.111 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 75.162 seconds
Minimum batches required: 2
[[35, 10, 76, 51, 117, 92, 158, 133, 297, 256, 215, 174, 322, 281, 240, 199], [34, 23, 75, 64, 116, 105, 157, 146, 310, 321, 269, 280, 228, 239, 187, 198]]
Total program runtime: 76.171 seconds

real 76.46
user 77.09
sys 1.90
