Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Psinet_4.json -R -O -V Low
DFA generation time: 0.185 seconds 
DFA states: 513 
DFA transitions: 2456
Problem file: data/zoo_json_waypoint8/Psinet_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.264 seconds
Subproblem verification time: 0.192 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.028 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.508 seconds

real 1.82
user 4.90
sys 0.57
