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

Decomposed topology into 8 subproblems
Topological decomposition took 0.075 seconds
Subproblem verification time: 0.197 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.068 seconds
Minimum batches required: 3
[[31, 50, 41, 21, 22, 49, 1, 52, 0, 6, 4, 5, 34, 84, 103, 94, 74, 75, 102, 54, 105, 53, 59, 57, 58, 87, 137, 156, 147, 127, 128, 155, 107, 158, 106, 112, 110, 111, 140, 190, 209, 200, 180, 181, 208, 160, 211, 159, 165, 163, 164, 193, 243, 262, 253, 233, 234, 261, 213, 264, 212, 218, 216, 217, 246, 296, 315, 306, 286, 287, 314, 266, 317, 265, 271, 269, 270, 299, 349, 368, 359, 339, 340, 367, 319, 370, 318, 324, 322, 323, 352, 402, 421, 412, 392, 393, 420, 372, 423, 371, 377, 375, 376, 405], [42, 35, 47, 95, 88, 100, 148, 141, 153, 201, 194, 206, 254, 247, 259, 307, 300, 312, 360, 353, 365, 413, 406, 418], [46, 19, 99, 72, 152, 125, 205, 178, 258, 231, 311, 284, 364, 337, 417, 390]]
Total program runtime: 1.395 seconds

real 1.70
user 3.53
sys 0.40
