Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/BtLatinAmerica_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 169
Problem file: dataND/zoo_json_MF/BtLatinAmerica_4.json
Switches to update: 80

Decomposed topology into 16 subproblems
Topological decomposition took 0.078 seconds
Subproblem verification time: 0.142 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.037 seconds
Minimum batches required: 2
[[22, 6, 47, 8, 41, 50, 48, 10, 73, 57, 98, 59, 92, 101, 99, 61, 124, 108, 149, 110, 143, 152, 150, 112, 175, 159, 200, 161, 194, 203, 201, 163, 226, 210, 251, 212, 245, 254, 252, 214, 277, 261, 302, 263, 296, 305, 303, 265, 328, 312, 353, 314, 347, 356, 354, 316, 379, 363, 404, 365, 398, 407, 405, 367], [1, 23, 52, 74, 103, 125, 154, 176, 205, 227, 256, 278, 307, 329, 358, 380]]
Total program runtime: 1.266 seconds

real 1.58
user 3.19
sys 0.51
