Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Globenet_4.json -E -C -R -O -V Low
DFA generation time: 0.023 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.091 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.299 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.309 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.355 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.315 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.324 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.312 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.3 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.305 seconds
Minimum batches required: 3
[[57, 14, 12, 9, 63, 43, 42, 34, 37, 53, 48, 124, 81, 79, 76, 130, 110, 109, 101, 104, 120, 115, 191, 148, 146, 143, 197, 177, 176, 168, 171, 187, 182, 258, 215, 213, 210, 264, 244, 243, 235, 238, 254, 249, 325, 282, 280, 277, 331, 311, 310, 302, 305, 321, 316, 392, 349, 347, 344, 398, 378, 377, 369, 372, 388, 383, 459, 416, 414, 411, 465, 445, 444, 436, 439, 455, 450, 526, 483, 481, 478, 532, 512, 511, 503, 506, 522, 517], [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: 3.538 seconds

real 3.82
user 5.77
sys 0.68
