Sigal Ar Jin-yi Cai Reliable Benchmarks Using Numerical Instability. 34-43 1994 SODA db/conf/soda/soda94.html#ArC94