Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Cesnet201006_4.json -E -C -R -O -V Low
DFA generation time: 0.029 seconds 
DFA states: 9 
DFA transitions: 116
Problem file: data/zoo_json_waypoint2/Cesnet201006_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.933 seconds
Subproblem verification time: 0.244 seconds
Subproblem verification time: 0.242 seconds
Subproblem verification time: 0.23 seconds
Subproblem verification time: 0.193 seconds
Subproblem verification time: 0.239 seconds
Subproblem verification time: 0.238 seconds
Subproblem verification time: 0.251 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: 3.201 seconds

real 3.55
user 5.34
sys 0.42
