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

Decomposed topology into 8 subproblems
Topological decomposition took 0.049 seconds
Subproblem verification time: 0.142 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[16, 31, 69, 84, 122, 137, 175, 190, 228, 243, 281, 296, 334, 349, 387, 402], [48, 19, 101, 72, 154, 125, 207, 178, 260, 231, 313, 284, 366, 337, 419, 390], [8, 24, 29, 61, 77, 82, 114, 130, 135, 167, 183, 188, 220, 236, 241, 273, 289, 294, 326, 342, 347, 379, 395, 400]]
Total program runtime: 0.964 seconds

real 1.29
user 2.51
sys 0.39
