Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint4/Columbus_3.json -R -O -V Low
DFA generation time: 0.045 seconds 
DFA states: 33 
DFA transitions: 232
Problem file: data/zoo_json_alt_waypoint4/Columbus_3.json
Switches to update: 132

Decomposed topology into 1 subproblems
Topological decomposition took 0.085 seconds
Subproblem verification time: 1.056 seconds
Minimum batches required: 4
[[24, 92, 160, 228, 25, 53, 11, 5, 4, 7, 1, 0, 27, 9, 46, 29, 67, 93, 121, 79, 73, 72, 75, 69, 68, 95, 77, 114, 97, 135, 161, 189, 147, 141, 140, 143, 137, 136, 163, 145, 182, 165, 203, 229, 257, 215, 209, 208, 211, 205, 204, 231, 213, 250, 233, 271], [226, 158, 90], [22], [54, 50, 57, 56, 55, 39, 40, 41, 38, 42, 33, 45, 49, 31, 26, 15, 12, 66, 122, 118, 125, 124, 123, 107, 108, 109, 106, 110, 101, 113, 117, 99, 94, 83, 80, 134, 190, 186, 193, 192, 191, 175, 176, 177, 174, 178, 169, 181, 185, 167, 162, 151, 148, 202, 258, 254, 261, 260, 259, 243, 244, 245, 242, 246, 237, 249, 253, 235, 230, 219, 216, 270]]
Total program runtime: 2.084 seconds

real 2.39
user 4.97
sys 0.43
