Legend:
vars...Boolean state variables / numerical state variables / Boolean inputs
locs...number of locations of the CFG
arcs...number of arcs of the CFG
times in seconds, >...timed out after 3600s
y...property proved, ?...property not proved
kept, worse, lost...percentage of bounds kept, worsened and lost in logico-numerical max-strategy iteration w.r.t. enumerated numerical max-strategy iteration
- worse2...percentage of worse bounds in standard logico-numerical octagon analysis w.r.t. logico-numerical max-strategy iteration on the same control flow graph
|