Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Columbus_3.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 145
Problem file: data/zoo_json_reachability/Columbus_3.json
Switches to update: 120

Decomposed topology into 4 subproblems
Topological decomposition took 0.066 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.039 seconds
Minimum batches required: 3
[[24, 25, 53, 11, 5, 4, 7, 1, 34, 3, 2, 61, 69, 60, 68, 94, 95, 123, 81, 75, 74, 77, 71, 104, 73, 72, 131, 139, 130, 138, 164, 165, 193, 151, 145, 144, 147, 141, 174, 143, 142, 201, 209, 200, 208, 234, 235, 263, 221, 215, 214, 217, 211, 244, 213, 212, 271, 279, 270, 278], [22, 92, 162, 232], [54, 8, 48, 57, 56, 55, 16, 17, 58, 59, 44, 31, 13, 29, 124, 78, 118, 127, 126, 125, 86, 87, 128, 129, 114, 101, 83, 99, 194, 148, 188, 197, 196, 195, 156, 157, 198, 199, 184, 171, 153, 169, 264, 218, 258, 267, 266, 265, 226, 227, 268, 269, 254, 241, 223, 239]]
Total program runtime: 0.835 seconds

real 1.16
user 2.49
sys 0.34
