Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Psinet_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 5 
DFA transitions: 156
Problem file: data/zoo_json_alt_waypoint1/Psinet_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.07 seconds
Subproblem verification time: 0.129 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.036 seconds
Minimum batches required: 3
[[15, 2, 3, 1, 4, 5, 8, 39, 26, 27, 25, 28, 29, 32, 63, 50, 51, 49, 52, 53, 56, 87, 74, 75, 73, 76, 77, 80, 111, 98, 99, 97, 100, 101, 104, 135, 122, 123, 121, 124, 125, 128, 159, 146, 147, 145, 148, 149, 152, 183, 170, 171, 169, 172, 173, 176], [14, 38, 62, 86, 110, 134, 158, 182], [22, 23, 7, 6, 12, 13, 46, 47, 31, 30, 36, 37, 70, 71, 55, 54, 60, 61, 94, 95, 79, 78, 84, 85, 118, 119, 103, 102, 108, 109, 142, 143, 127, 126, 132, 133, 166, 167, 151, 150, 156, 157, 190, 191, 175, 174, 180, 181]]
Total program runtime: 1.102 seconds

real 1.44
user 3.05
sys 0.53
