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

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

real 4.48
user 6.22
sys 0.54
