Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Cesnet201006_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 137
Problem file: dataND/zoo_json_MF/Cesnet201006_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 29.352 seconds
Subproblem verification time: 1.401 seconds
Subproblem verification time: 1.386 seconds
Subproblem verification time: 1.385 seconds
Subproblem verification time: 1.427 seconds
Subproblem verification time: 1.349 seconds
Subproblem verification time: 1.459 seconds
Subproblem verification time: 1.718 seconds
Minimum batches required: 3
[[46, 49, 0, 11, 36, 98, 101, 52, 63, 88, 150, 153, 104, 115, 140, 202, 205, 156, 167, 192, 254, 257, 208, 219, 244, 306, 309, 260, 271, 296, 358, 361, 312, 323, 348, 410, 413, 364, 375, 400], [47, 9, 99, 61, 151, 113, 203, 165, 255, 217, 307, 269, 359, 321, 411, 373], [45, 51, 2, 20, 15, 48, 7, 97, 103, 54, 72, 67, 100, 59, 149, 155, 106, 124, 119, 152, 111, 201, 207, 158, 176, 171, 204, 163, 253, 259, 210, 228, 223, 256, 215, 305, 311, 262, 280, 275, 308, 267, 357, 363, 314, 332, 327, 360, 319, 409, 415, 366, 384, 379, 412, 371]]
Total program runtime: 40.105 seconds

real 40.39
user 41.62
sys 1.06
