Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Funet_4.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 145
Problem file: dataND/zoo_json_MF/Funet_4.json
Switches to update: 120

Decomposed topology into 8 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 43.024 seconds
Subproblem verification time: 9.154 seconds
Subproblem verification time: 8.763 seconds
Subproblem verification time: 8.705 seconds
Subproblem verification time: 8.609 seconds
Subproblem verification time: 8.604 seconds
Subproblem verification time: 8.531 seconds
Subproblem verification time: 8.718 seconds
Minimum batches required: 3
[[25, 2, 3, 51, 28, 29, 77, 54, 55, 103, 80, 81, 129, 106, 107, 155, 132, 133, 181, 158, 159, 207, 184, 185], [6, 32, 58, 84, 110, 136, 162, 188], [19, 18, 23, 24, 4, 5, 8, 9, 13, 12, 7, 45, 44, 49, 50, 30, 31, 34, 35, 39, 38, 33, 71, 70, 75, 76, 56, 57, 60, 61, 65, 64, 59, 97, 96, 101, 102, 82, 83, 86, 87, 91, 90, 85, 123, 122, 127, 128, 108, 109, 112, 113, 117, 116, 111, 149, 148, 153, 154, 134, 135, 138, 139, 143, 142, 137, 175, 174, 179, 180, 160, 161, 164, 165, 169, 168, 163, 201, 200, 205, 206, 186, 187, 190, 191, 195, 194, 189]]
Total program runtime: 104.772 seconds

real 105.07
user 104.82
sys 2.43
