Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Missouri_3.json -T -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 81
Problem file: dataND/zoo_json_MF/Missouri_3.json
Switches to update: 68

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 8.646 seconds
Minimum batches required: 3
[[11, 10, 75, 74, 139, 138, 203, 202], [196, 206, 132, 142, 68, 78, 4, 14], [29, 55, 48, 5, 7, 34, 93, 119, 112, 69, 71, 98, 157, 183, 176, 133, 135, 162, 221, 247, 240, 197, 199, 226, 30, 41, 17, 16, 49, 63, 1, 94, 105, 81, 80, 113, 127, 65, 158, 169, 145, 144, 177, 191, 129, 222, 233, 209, 208, 241, 255, 193]]
Total program runtime: 9.094 seconds

real 9.38
user 10.16
sys 0.39
