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

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.185 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[16, 28, 48, 49, 69, 81, 101, 102, 122, 134, 154, 155, 175, 187, 207, 208, 228, 240, 260, 261, 281, 293, 313, 314, 334, 346, 366, 367, 387, 399, 419, 420], [12, 19, 65, 72, 118, 125, 171, 178, 224, 231, 277, 284, 330, 337, 383, 390], [8, 39, 27, 61, 92, 80, 114, 145, 133, 167, 198, 186, 220, 251, 239, 273, 304, 292, 326, 357, 345, 379, 410, 398]]
Total program runtime: 0.996 seconds

real 1.31
user 2.66
sys 0.36
