Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/TataNld_3.json -R -O -V Low
DFA generation time: 0.043 seconds 
DFA states: 19 
DFA transitions: 981
Problem file: data/zoo_json_cond_enf2/TataNld_3.json
Switches to update: 232

Decomposed topology into 8 subproblems
Topological decomposition took 0.147 seconds
Subproblem verification time: 0.478 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.05 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.039 seconds
Minimum batches required: 4
[[139, 83, 41, 123, 91, 43, 108, 86, 107, 122, 119, 120, 93, 105, 106, 103, 104, 76, 129, 24, 25, 23, 22, 37, 36, 39, 38, 33, 113, 115, 116, 282, 226, 184, 266, 234, 186, 251, 229, 250, 265, 262, 263, 236, 248, 249, 246, 247, 219, 272, 167, 168, 166, 165, 180, 179, 182, 181, 176, 256, 258, 259, 425, 369, 327, 409, 377, 329, 394, 372, 393, 408, 405, 406, 379, 391, 392, 389, 390, 362, 415, 310, 311, 309, 308, 323, 322, 325, 324, 319, 399, 401, 402, 568, 512, 470, 552, 520, 472, 537, 515, 536, 551, 548, 549, 522, 534, 535, 532, 533, 505, 558, 453, 454, 452, 451, 466, 465, 468, 467, 462, 542, 544, 545], [94, 46, 40, 141, 137, 32, 97, 237, 189, 183, 284, 280, 175, 240, 380, 332, 326, 427, 423, 318, 383, 523, 475, 469, 570, 566, 461, 526], [88, 47, 117, 231, 190, 260, 374, 333, 403, 517, 476, 546], [138, 140, 142, 128, 126, 87, 67, 75, 82, 81, 26, 20, 52, 132, 131, 112, 110, 281, 283, 285, 271, 269, 230, 210, 218, 225, 224, 169, 163, 195, 275, 274, 255, 253, 424, 426, 428, 414, 412, 373, 353, 361, 368, 367, 312, 306, 338, 418, 417, 398, 396, 567, 569, 571, 557, 555, 516, 496, 504, 511, 510, 455, 449, 481, 561, 560, 541, 539]]
Total program runtime: 1.761 seconds

real 2.09
user 4.46
sys 0.54
