Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Tw_4.json -R -O -V Low
DFA generation time: 0.017 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: dataND/zoo_json_MF/Tw_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[63, 66, 54, 25, 67, 6, 131, 134, 122, 93, 135, 74, 199, 202, 190, 161, 203, 142, 267, 270, 258, 229, 271, 210, 335, 338, 326, 297, 339, 278, 403, 406, 394, 365, 407, 346, 471, 474, 462, 433, 475, 414, 539, 542, 530, 501, 543, 482], [61, 49, 129, 117, 197, 185, 265, 253, 333, 321, 401, 389, 469, 457, 537, 525], [38, 17, 32, 10, 3, 106, 85, 100, 78, 71, 174, 153, 168, 146, 139, 242, 221, 236, 214, 207, 310, 289, 304, 282, 275, 378, 357, 372, 350, 343, 446, 425, 440, 418, 411, 514, 493, 508, 486, 479]]
Total program runtime: 0.962 seconds

real 1.27
user 2.80
sys 0.42
