Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Psinet_4.json -T -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 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 6.432 seconds
Minimum batches required: 3
[[22, 46, 70, 94, 118, 142, 166, 190, 23, 7, 47, 31, 71, 55, 95, 79, 119, 103, 143, 127, 167, 151, 191, 175], [182, 158, 134, 110, 86, 62, 38, 14], [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: 7.037 seconds

real 7.36
user 9.34
sys 0.41
