Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Cesnet201006_4.json -R -O -V Low
DFA generation time: 0.025 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.051 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Minimum batches required: 3
[[36, 11, 0, 49, 47, 46, 16, 88, 63, 52, 101, 99, 98, 68, 140, 115, 104, 153, 151, 150, 120, 192, 167, 156, 205, 203, 202, 172, 244, 219, 208, 257, 255, 254, 224, 296, 271, 260, 309, 307, 306, 276, 348, 323, 312, 361, 359, 358, 328, 400, 375, 364, 413, 411, 410, 380], [9, 61, 113, 165, 217, 269, 321, 373], [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: 0.945 seconds

real 1.26
user 2.84
sys 0.34
