Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Bics_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 129
Problem file: data/zoo_json_reachability/Bics_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 9.595 seconds
Subproblem verification time: 0.475 seconds
Subproblem verification time: 0.474 seconds
Subproblem verification time: 0.459 seconds
Subproblem verification time: 0.465 seconds
Subproblem verification time: 0.458 seconds
Subproblem verification time: 0.448 seconds
Subproblem verification time: 0.459 seconds
Minimum batches required: 3
[[0, 2, 1, 16, 30, 32, 34, 33, 48, 62, 64, 66, 65, 80, 94, 96, 98, 97, 112, 126, 128, 130, 129, 144, 158, 160, 162, 161, 176, 190, 192, 194, 193, 208, 222, 224, 226, 225, 240, 254], [19, 29, 51, 61, 83, 93, 115, 125, 147, 157, 179, 189, 211, 221, 243, 253], [8, 25, 24, 14, 22, 28, 40, 57, 56, 46, 54, 60, 72, 89, 88, 78, 86, 92, 104, 121, 120, 110, 118, 124, 136, 153, 152, 142, 150, 156, 168, 185, 184, 174, 182, 188, 200, 217, 216, 206, 214, 220, 232, 249, 248, 238, 246, 252]]
Total program runtime: 13.508 seconds

real 13.87
user 15.32
sys 0.69
