Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Bics_4.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 153
Problem file: dataND/zoo_json_MF/Bics_4.json
Switches to update: 128

Decomposed topology into 8 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 0.169 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.072 seconds
Minimum batches required: 3
[[19, 29, 16, 0, 1, 51, 61, 48, 32, 33, 83, 93, 80, 64, 65, 115, 125, 112, 96, 97, 147, 157, 144, 128, 129, 179, 189, 176, 160, 161, 211, 221, 208, 192, 193, 243, 253, 240, 224, 225], [2, 30, 34, 62, 66, 94, 98, 126, 130, 158, 162, 190, 194, 222, 226, 254], [28, 22, 14, 24, 25, 8, 31, 15, 13, 60, 54, 46, 56, 57, 40, 63, 47, 45, 92, 86, 78, 88, 89, 72, 95, 79, 77, 124, 118, 110, 120, 121, 104, 127, 111, 109, 156, 150, 142, 152, 153, 136, 159, 143, 141, 188, 182, 174, 184, 185, 168, 191, 175, 173, 220, 214, 206, 216, 217, 200, 223, 207, 205, 252, 246, 238, 248, 249, 232, 255, 239, 237]]
Total program runtime: 1.324 seconds

real 1.64
user 3.27
sys 0.53
