Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Cesnet201006_4.json -T -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: data/zoo_json_reachability/Cesnet201006_4.json
Switches to update: 88

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 3.32 seconds
Minimum batches required: 3
[[36, 88, 140, 192, 244, 296, 348, 400, 11, 0, 49, 47, 46, 16, 63, 52, 101, 99, 98, 68, 115, 104, 153, 151, 150, 120, 167, 156, 205, 203, 202, 172, 219, 208, 257, 255, 254, 224, 271, 260, 309, 307, 306, 276, 323, 312, 361, 359, 358, 328, 375, 364, 413, 411, 410, 380], [373, 321, 269, 217, 165, 113, 61, 9], [7, 48, 15, 59, 100, 67, 111, 152, 119, 163, 204, 171, 215, 256, 223, 267, 308, 275, 319, 360, 327, 371, 412, 379]]
Total program runtime: 3.855 seconds

real 4.18
user 5.34
sys 0.26
