Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/BtLatinAmerica_4.json -E -C -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 7 
DFA transitions: 245
Problem file: data/zoo_json_cond_enf1/BtLatinAmerica_4.json
Switches to update: 32

Decomposed topology into 9 subproblems
Topological decomposition took 0.067 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 72.413 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: 73.375 seconds

real 73.68
user 74.53
sys 1.40
