Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr201010_4.json -R -O -V Low
DFA generation time: 0.02 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.056 seconds
Subproblem verification time: 0.124 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[8, 41, 12, 30, 32, 63, 96, 67, 85, 87, 118, 151, 122, 140, 142, 173, 206, 177, 195, 197, 228, 261, 232, 250, 252, 283, 316, 287, 305, 307, 338, 371, 342, 360, 362, 393, 426, 397, 415, 417], [19, 74, 129, 184, 239, 294, 349, 404], [16, 50, 54, 71, 105, 109, 126, 160, 164, 181, 215, 219, 236, 270, 274, 291, 325, 329, 346, 380, 384, 401, 435, 439]]
Total program runtime: 0.964 seconds

real 1.29
user 2.55
sys 0.39
