Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr201010_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: data/zoo_json_reachability/Garr201010_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 0.503 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.076 seconds
Minimum batches required: 3
[[32, 30, 12, 41, 8, 87, 85, 67, 96, 63, 142, 140, 122, 151, 118, 197, 195, 177, 206, 173, 252, 250, 232, 261, 228, 307, 305, 287, 316, 283, 362, 360, 342, 371, 338, 417, 415, 397, 426, 393], [19, 74, 129, 184, 239, 294, 349, 404], [54, 50, 16, 109, 105, 71, 164, 160, 126, 219, 215, 181, 274, 270, 236, 329, 325, 291, 384, 380, 346, 439, 435, 401]]
Total program runtime: 1.682 seconds

real 2.09
user 3.68
sys 0.46
