Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Psinet_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 145
Problem file: data/zoo_json_reachability/Psinet_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.062 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 3
[[22, 23, 7, 46, 47, 31, 70, 71, 55, 94, 95, 79, 118, 119, 103, 142, 143, 127, 166, 167, 151, 190, 191, 175], [14, 38, 62, 86, 110, 134, 158, 182], [15, 2, 1, 4, 5, 8, 9, 13, 12, 39, 26, 25, 28, 29, 32, 33, 37, 36, 63, 50, 49, 52, 53, 56, 57, 61, 60, 87, 74, 73, 76, 77, 80, 81, 85, 84, 111, 98, 97, 100, 101, 104, 105, 109, 108, 135, 122, 121, 124, 125, 128, 129, 133, 132, 159, 146, 145, 148, 149, 152, 153, 157, 156, 183, 170, 169, 172, 173, 176, 177, 181, 180]]
Total program runtime: 0.979 seconds

real 1.37
user 2.86
sys 0.30
