Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Globenet_4.json -E -C -R -O -V Low
DFA generation time: 0.03 seconds 
DFA states: 9 
DFA transitions: 260
Problem file: data/zoo_json_waypoint2/Globenet_4.json
Switches to update: 176

Decomposed topology into 24 subproblems
Topological decomposition took 0.146 seconds
Subproblem verification time: 0.545 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.022 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.024 seconds
Minimum batches required: 3
[[43, 63, 9, 12, 14, 62, 61, 59, 48, 53, 31, 52, 56, 2, 110, 130, 76, 79, 81, 129, 128, 126, 115, 120, 98, 119, 123, 69, 177, 197, 143, 146, 148, 196, 195, 193, 182, 187, 165, 186, 190, 136, 244, 264, 210, 213, 215, 263, 262, 260, 249, 254, 232, 253, 257, 203, 311, 331, 277, 280, 282, 330, 329, 327, 316, 321, 299, 320, 324, 270, 378, 398, 344, 347, 349, 397, 396, 394, 383, 388, 366, 387, 391, 337, 445, 465, 411, 414, 416, 464, 463, 461, 450, 455, 433, 454, 458, 404, 512, 532, 478, 481, 483, 531, 530, 528, 517, 522, 500, 521, 525, 471], [16, 10, 39, 66, 83, 77, 106, 133, 150, 144, 173, 200, 217, 211, 240, 267, 284, 278, 307, 334, 351, 345, 374, 401, 418, 412, 441, 468, 485, 479, 508, 535], [46, 38, 17, 57, 113, 105, 84, 124, 180, 172, 151, 191, 247, 239, 218, 258, 314, 306, 285, 325, 381, 373, 352, 392, 448, 440, 419, 459, 515, 507, 486, 526]]
Total program runtime: 3.102 seconds

real 3.43
user 5.75
sys 0.75
