Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/TataNld_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 233
Problem file: data/zoo_json_reachability/TataNld_3.json
Switches to update: 220

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

real 1.53
user 3.43
sys 0.58
