Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Palmetto_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 169
Problem file: data/zoo_json_reachability/Palmetto_4.json
Switches to update: 144

Decomposed topology into 16 subproblems
Topological decomposition took 0.08 seconds
Subproblem verification time: 0.113 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 3
[[21, 24, 17, 35, 44, 43, 41, 40, 8, 39, 38, 66, 69, 62, 80, 89, 88, 86, 85, 53, 84, 83, 111, 114, 107, 125, 134, 133, 131, 130, 98, 129, 128, 156, 159, 152, 170, 179, 178, 176, 175, 143, 174, 173, 201, 204, 197, 215, 224, 223, 221, 220, 188, 219, 218, 246, 249, 242, 260, 269, 268, 266, 265, 233, 264, 263, 291, 294, 287, 305, 314, 313, 311, 310, 278, 309, 308, 336, 339, 332, 350, 359, 358, 356, 355, 323, 354, 353], [31, 4, 76, 49, 121, 94, 166, 139, 211, 184, 256, 229, 301, 274, 346, 319], [32, 34, 27, 1, 6, 77, 79, 72, 46, 51, 122, 124, 117, 91, 96, 167, 169, 162, 136, 141, 212, 214, 207, 181, 186, 257, 259, 252, 226, 231, 302, 304, 297, 271, 276, 347, 349, 342, 316, 321]]
Total program runtime: 1.289 seconds

real 1.61
user 3.59
sys 0.49
