Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr201001_4.json -E -C -R -O -V Low
DFA generation time: 0.017 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.046 seconds
Subproblem verification time: 0.453 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.101 seconds
Minimum batches required: 3
[[49, 28, 48, 16, 102, 81, 101, 69, 155, 134, 154, 122, 208, 187, 207, 175, 261, 240, 260, 228, 314, 293, 313, 281, 367, 346, 366, 334, 420, 399, 419, 387], [12, 19, 65, 72, 118, 125, 171, 178, 224, 231, 277, 284, 330, 337, 383, 390], [27, 39, 8, 80, 92, 61, 133, 145, 114, 186, 198, 167, 239, 251, 220, 292, 304, 273, 345, 357, 326, 398, 410, 379]]
Total program runtime: 1.747 seconds

real 2.07
user 3.70
sys 0.45
