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

Decomposed topology into 4 subproblems
Topological decomposition took 0.092 seconds
Subproblem verification time: 0.201 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.095 seconds
Minimum batches required: 3
[[46, 109, 107, 108, 116, 115, 113, 129, 130, 134, 135, 136, 51, 58, 59, 56, 79, 69, 60, 71, 15, 19, 119, 122, 123, 86, 83, 43, 139, 189, 252, 250, 251, 259, 258, 256, 272, 273, 277, 278, 279, 194, 201, 202, 199, 222, 212, 203, 214, 158, 162, 262, 265, 266, 229, 226, 186, 282, 332, 395, 393, 394, 402, 401, 399, 415, 416, 420, 421, 422, 337, 344, 345, 342, 365, 355, 346, 357, 301, 305, 405, 408, 409, 372, 369, 329, 425, 475, 538, 536, 537, 545, 544, 542, 558, 559, 563, 564, 565, 480, 487, 488, 485, 508, 498, 489, 500, 444, 448, 548, 551, 552, 515, 512, 472, 568], [141, 47, 110, 284, 190, 253, 427, 333, 396, 570, 476, 539], [112, 117, 32, 131, 132, 52, 70, 54, 23, 25, 24, 76, 97, 98, 67, 87, 88, 94, 126, 128, 40, 142, 140, 138, 41, 255, 260, 175, 274, 275, 195, 213, 197, 166, 168, 167, 219, 240, 241, 210, 230, 231, 237, 269, 271, 183, 285, 283, 281, 184, 398, 403, 318, 417, 418, 338, 356, 340, 309, 311, 310, 362, 383, 384, 353, 373, 374, 380, 412, 414, 326, 428, 426, 424, 327, 541, 546, 461, 560, 561, 481, 499, 483, 452, 454, 453, 505, 526, 527, 496, 516, 517, 523, 555, 557, 469, 571, 569, 567, 470]]
Total program runtime: 1.216 seconds

real 1.56
user 3.97
sys 0.32
