Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Cesnet201006_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 5 
DFA transitions: 108
Problem file: data/zoo_json_waypoint1/Cesnet201006_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.051 seconds
Subproblem verification time: 0.783 seconds
Subproblem verification time: 0.201 seconds
Subproblem verification time: 0.199 seconds
Subproblem verification time: 0.184 seconds
Subproblem verification time: 0.185 seconds
Subproblem verification time: 0.189 seconds
Subproblem verification time: 0.186 seconds
Subproblem verification time: 0.183 seconds
Minimum batches required: 3
[[11, 0, 48, 63, 52, 100, 115, 104, 152, 167, 156, 204, 219, 208, 256, 271, 260, 308, 323, 312, 360, 375, 364, 412], [51, 103, 155, 207, 259, 311, 363, 415], [9, 6, 5, 7, 20, 2, 61, 58, 57, 59, 72, 54, 113, 110, 109, 111, 124, 106, 165, 162, 161, 163, 176, 158, 217, 214, 213, 215, 228, 210, 269, 266, 265, 267, 280, 262, 321, 318, 317, 319, 332, 314, 373, 370, 369, 371, 384, 366]]
Total program runtime: 2.704 seconds

real 3.02
user 4.68
sys 0.52
