testcases saved to fadd.0, fadd.1, ...