Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Globenet_4.json -E -C -R -O -V Low
DFA generation time: 0.229 seconds 
DFA states: 513 
DFA transitions: 2552
Problem file: data/zoo_json_waypoint8/Globenet_4.json
Switches to update: 176

Decomposed topology into 24 subproblems
Topological decomposition took 0.382 seconds
Subproblem verification time: 0.55 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.025 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.599 seconds

real 3.92
user 7.68
sys 0.99
