Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Oteglobe_3.json -T -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 117
Problem file: dataND/zoo_json_MF/Oteglobe_3.json
Switches to update: 88

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 1.185 seconds
Minimum batches required: 3
[[63, 154, 245, 336, 31, 65, 33, 57, 58, 55, 44, 50, 49, 4, 5, 2, 122, 156, 124, 148, 149, 146, 135, 141, 140, 95, 96, 93, 213, 247, 215, 239, 240, 237, 226, 232, 231, 186, 187, 184, 304, 338, 306, 330, 331, 328, 317, 323, 322, 277, 278, 275], [301, 210, 119, 28], [85, 86, 87, 90, 76, 82, 80, 74, 176, 177, 178, 181, 167, 173, 171, 165, 267, 268, 269, 272, 258, 264, 262, 256, 358, 359, 360, 363, 349, 355, 353, 347]]
Total program runtime: 1.754 seconds

real 2.07
user 3.28
sys 0.27
