Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Esnet_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 5 
DFA transitions: 164
Problem file: data/zoo_json_waypoint1/Esnet_4.json
Switches to update: 144

Decomposed topology into 8 subproblems
Topological decomposition took 0.073 seconds
Subproblem verification time: 0.139 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 3
[[51, 2, 58, 60, 61, 40, 41, 114, 65, 121, 123, 124, 103, 104, 177, 128, 184, 186, 187, 166, 167, 240, 191, 247, 249, 250, 229, 230, 303, 254, 310, 312, 313, 292, 293, 366, 317, 373, 375, 376, 355, 356, 429, 380, 436, 438, 439, 418, 419, 492, 443, 499, 501, 502, 481, 482], [6, 52, 69, 115, 132, 178, 195, 241, 258, 304, 321, 367, 384, 430, 447, 493], [18, 50, 11, 0, 62, 25, 16, 17, 39, 81, 113, 74, 63, 125, 88, 79, 80, 102, 144, 176, 137, 126, 188, 151, 142, 143, 165, 207, 239, 200, 189, 251, 214, 205, 206, 228, 270, 302, 263, 252, 314, 277, 268, 269, 291, 333, 365, 326, 315, 377, 340, 331, 332, 354, 396, 428, 389, 378, 440, 403, 394, 395, 417, 459, 491, 452, 441, 503, 466, 457, 458, 480]]
Total program runtime: 1.001 seconds

real 1.35
user 3.04
sys 0.39
