FMCAD 2014 Benchmarks

Inez Input Scripts

The scripts can be downloaded from GitHub.

SMT-LIB Format

• birds_bounds
• birds_box
• birds_predict
• bounds_simple
• emp_groups
• emp_join
• emp_keys
• emp_keys_6400
• emp_keys_12800
• prop