Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Ibm_4.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 3 
DFA transitions: 97
Problem file: data/zoo_json_reachability/Ibm_4.json
Switches to update: 88

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 1.638 seconds
Subproblem verification time: 0.215 seconds
Subproblem verification time: 0.218 seconds
Subproblem verification time: 0.217 seconds
Subproblem verification time: 0.212 seconds
Subproblem verification time: 0.215 seconds
Subproblem verification time: 0.209 seconds
Subproblem verification time: 0.237 seconds
Minimum batches required: 3
[[14, 17, 1, 6, 32, 35, 19, 24, 50, 53, 37, 42, 68, 71, 55, 60, 86, 89, 73, 78, 104, 107, 91, 96, 122, 125, 109, 114, 140, 143, 127, 132], [7, 25, 43, 61, 79, 97, 115, 133], [12, 8, 4, 2, 3, 0, 30, 26, 22, 20, 21, 18, 48, 44, 40, 38, 39, 36, 66, 62, 58, 56, 57, 54, 84, 80, 76, 74, 75, 72, 102, 98, 94, 92, 93, 90, 120, 116, 112, 110, 111, 108, 138, 134, 130, 128, 129, 126]]
Total program runtime: 3.799 seconds

real 4.11
user 5.94
sys 0.37
