Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Globenet_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 217
Problem file: dataND/zoo_json_MF/Globenet_4.json
Switches to update: 136

Decomposed topology into 16 subproblems
Topological decomposition took 0.099 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.049 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.062 seconds
Minimum batches required: 3
[[57, 48, 42, 37, 53, 34, 43, 63, 9, 12, 14, 124, 115, 109, 104, 120, 101, 110, 130, 76, 79, 81, 191, 182, 176, 171, 187, 168, 177, 197, 143, 146, 148, 258, 249, 243, 238, 254, 235, 244, 264, 210, 213, 215, 325, 316, 310, 305, 321, 302, 311, 331, 277, 280, 282, 392, 383, 377, 372, 388, 369, 378, 398, 344, 347, 349, 459, 450, 444, 439, 455, 436, 445, 465, 411, 414, 416, 526, 517, 511, 506, 522, 503, 512, 532, 478, 481, 483], [58, 46, 39, 10, 125, 113, 106, 77, 192, 180, 173, 144, 259, 247, 240, 211, 326, 314, 307, 278, 393, 381, 374, 345, 460, 448, 441, 412, 527, 515, 508, 479], [2, 38, 69, 105, 136, 172, 203, 239, 270, 306, 337, 373, 404, 440, 471, 507]]
Total program runtime: 1.573 seconds

real 1.87
user 3.98
sys 0.71
