formula_stress_test: database