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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 137.792 seconds
Minimum batches required: 3
[[15, 39, 63, 87, 111, 135, 159, 183, 2, 3, 1, 4, 5, 8, 26, 27, 25, 28, 29, 32, 50, 51, 49, 52, 53, 56, 74, 75, 73, 76, 77, 80, 98, 99, 97, 100, 101, 104, 122, 123, 121, 124, 125, 128, 146, 147, 145, 148, 149, 152, 170, 171, 169, 172, 173, 176], [182, 158, 134, 110, 86, 62, 38, 14], [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: 154.074 seconds

real 154.40
user 156.75
sys 1.06
