Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/BtLatinAmerica_4.json -E -C -R -O -V Low
DFA generation time: 0.02 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.08 seconds
Subproblem verification time: 0.343 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.167 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.109 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.022 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.027 seconds
Minimum batches required: 2
[[50, 48, 8, 41, 47, 6, 22, 10, 101, 99, 59, 92, 98, 57, 73, 61, 152, 150, 110, 143, 149, 108, 124, 112, 203, 201, 161, 194, 200, 159, 175, 163, 254, 252, 212, 245, 251, 210, 226, 214, 305, 303, 263, 296, 302, 261, 277, 265, 356, 354, 314, 347, 353, 312, 328, 316, 407, 405, 365, 398, 404, 363, 379, 367], [1, 23, 52, 74, 103, 125, 154, 176, 205, 227, 256, 278, 307, 329, 358, 380]]
Total program runtime: 2.095 seconds

real 2.40
user 3.93
sys 0.71
