Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Palmetto_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 5 
DFA transitions: 196
Problem file: data/zoo_json_alt_waypoint1/Palmetto_4.json
Switches to update: 176

Decomposed topology into 11 subproblems
Topological decomposition took 0.089 seconds
Subproblem verification time: 0.179 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 41.123 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.029 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, 215, 240, 237, 259, 284, 281, 303, 200, 197, 211, 212, 219, 217, 216, 184, 185, 244, 241, 255, 256, 263, 261, 260, 228, 229, 288, 285, 299, 300, 307, 305, 304, 272, 273, 328, 325, 332, 329, 343, 344, 351, 349, 348, 316, 317, 347], [18, 4, 62, 63, 48, 106, 107, 92, 150, 151, 136, 268, 282, 283, 224, 238, 239, 180, 194, 195, 326, 327, 312], [13, 10, 37, 54, 81, 98, 125, 142, 169, 274, 230, 186, 318, 345], [19, 12, 0, 1, 6, 57, 101, 145, 277, 233, 189, 321], [56, 44, 45, 50, 100, 88, 89, 94, 144, 132, 133, 138, 188, 176, 177, 182, 213, 232, 220, 221, 226, 257, 276, 264, 265, 270, 301, 320, 308, 309, 314]]
Total program runtime: 42.414 seconds

real 42.75
user 44.05
sys 1.15
