Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Globenet_4.json -E -C -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 7 
DFA transitions: 501
Problem file: data/zoo_json_cond_enf1/Globenet_4.json
Switches to update: 176

Decomposed topology into 22 subproblems
Topological decomposition took 0.149 seconds
Subproblem verification time: 0.452 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.09 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 15.723 seconds
Minimum batches required: 4
[[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, 471, 531, 530, 528, 517, 522, 500, 521, 525, 512, 532, 478, 481, 483], [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, 535, 479, 508], [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, 526, 485], [515, 507, 486]]
Total program runtime: 18.45 seconds

real 18.77
user 20.51
sys 1.11
