| spark/O220-024.smt2 |
| spark/underflow_1.smt2 |
| spark/exp_3_precision.smt2 |
| spark/protected_divide.smt2 |
| spark/underflow_2.smt2 |
| spark/shapes.smt2 |
| spark/guarded_div_1.smt2 |
| spark/exp_2_precision.smt2 |
| spark/riposte_floats_are_not_rational.smt2 |
| spark/cases_1.smt2 |
| spark/guarded_div_2.smt2 |
| spark/incorrect_reordering.smt2 |
| spark/average_3.smt2 |
| spark/non_zero_root.smt2 |
| spark/average_4.smt2 |
| spark/float_to_double.smt2 |
| spark/average_1.smt2 |
| spark/cancel_2.smt2 |
| spark/user_rule_1.smt2 |
| spark/average_6.smt2 |
| spark/zeros_count_2.smt2 |
| spark/range_add_mult.smt2 |
| spark/cases_2.smt2 |
| spark/cancel_1.smt2 |
| spark/precise_2.smt2 |
| spark/zeros_count_1.smt2 |
| spark/average_5.smt2 |
| spark/angle_between_2.smt2 |
| spark/scale_1.smt2 |
| spark/calc_proportion.smt2 |
| spark/average_2.smt2 |
| spark/riposte_floats_are_not_real.smt2 |
| spark/precise_3.smt2 |
| spark/assoc_mult.smt2 |
| spark/range_mult.smt2 |
| spark/precise_1.smt2 |
| spark/precise_4.smt2 |
| spark/discrete.smt2 |
| spark/scale_2.smt2 |
| spark/guarded_div_3.smt2 |
| spark/assoc_add.smt2 |
| spark/angle_between_1.smt2 |
| spark/range_add.smt2 |
| spark/zeros_class_1.smt2 |