Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Palmetto_4.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 9 
DFA transitions: 204
Problem file: data/zoo_json_waypoint2/Palmetto_4.json
Switches to update: 176

Decomposed topology into 16 subproblems
Topological decomposition took 0.11 seconds
Subproblem verification time: 0.217 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.044 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.027 seconds
Minimum batches required: 5
[[20, 17, 24, 21, 35, 36, 43, 41, 40, 8, 9, 39, 64, 61, 68, 65, 79, 80, 87, 85, 84, 52, 53, 83, 108, 105, 112, 109, 123, 124, 131, 129, 128, 96, 97, 127, 152, 149, 156, 153, 167, 168, 175, 173, 172, 140, 141, 171, 196, 193, 200, 197, 211, 212, 219, 217, 216, 184, 185, 215, 240, 237, 244, 241, 255, 256, 263, 261, 260, 228, 229, 259, 284, 281, 288, 285, 299, 300, 307, 305, 304, 272, 273, 303, 328, 325, 332, 329, 343, 344, 351, 349, 348, 316, 317, 347], [18, 4, 62, 63, 48, 106, 107, 92, 150, 151, 136, 194, 195, 180, 238, 239, 224, 282, 283, 268, 326, 327, 312], [13, 10, 37, 54, 81, 98, 125, 142, 169, 186, 213, 230, 257, 274, 301, 318, 345], [19, 12, 0, 1, 6, 57, 101, 145, 189, 233, 277, 321], [56, 44, 45, 50, 100, 88, 89, 94, 144, 132, 133, 138, 188, 176, 177, 182, 232, 220, 221, 226, 276, 264, 265, 270, 320, 308, 309, 314]]
Total program runtime: 1.518 seconds

real 1.83
user 3.82
sys 0.54
