Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Cesnet201006_4.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 7 
DFA transitions: 213
Problem file: data/zoo_json_cond_enf1/Cesnet201006_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 0.935 seconds
Subproblem verification time: 0.192 seconds
Subproblem verification time: 0.188 seconds
Subproblem verification time: 0.188 seconds
Subproblem verification time: 0.188 seconds
Subproblem verification time: 0.187 seconds
Subproblem verification time: 0.191 seconds
Subproblem verification time: 0.213 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.899 seconds

real 3.21
user 5.02
sys 0.41
