Polybench's an automatic benchmarking framework that I developed for polyhedral implentations used in abstract interpretation
Browse the description
Browse the figures of Polybench's experimental results!
Example for feasibility test 64-bit, sampled database: