[report] select statistics request

[izlatkin]

I’m interested in the following benchmarks:

• --inv-mode … gives coverage X1 and takes Y1 cur_bnd,
• --lb gives coverage X2 and takes Y2 cur_bnd
• X1 > Y1 and Y1 < Y2

[izlatkin]

-rw-rw-r-- 1 fmfsu fmfsu 90993355 Mar 17 22:58 TG_inv_0_new.zip -rw-rw-r-- 1 fmfsu fmfsu 97861663 Mar 17 15:51 TG_lb_1_update.zip

[izlatkin]

I guess it should be X1 > X2 and Y1 < Y2 following benchmarks are sat:

• benchmark12_linear.c (?)
• benchmark46_disjunctive.c
• mod3.c (?)
• simple_array_index_value_4.i.v+lhb-reducer.c

see full report 1_merge.xlsx