Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Esnet_4.json -R -O -V Low
DFA generation time: 0.036 seconds 
DFA states: 19 
DFA transitions: 661
Problem file: data/zoo_json_cond_enf2/Esnet_4.json
Switches to update: 144

Decomposed topology into 5 subproblems
Topological decomposition took 0.105 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 2.071 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, 366, 317, 429, 380, 492, 443, 310, 312, 313, 292, 293, 373, 375, 376, 355, 356, 436, 438, 439, 418, 419, 499, 501, 502, 481, 482], [6, 52, 69, 115, 132, 178, 195, 241, 447, 493, 384, 430, 321, 367, 258, 304], [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: 3.14 seconds

real 3.44
user 5.39
sys 0.40
