liquidhaskell-0.8.10.7: tests/logs/regrtest_results_ubuntu_Wed_Dec_21_191326_2011
test, time(s), result
pos/vector1.hs, 3.481860, True
pos/meas3.hs, 1.188862, True
pos/test00b.hs, 0.598252, True
pos/meas0a.hs, 0.620982, True
pos/for.hs, 2.749880, True
pos/poly3.hs, 0.936708, True
pos/range1.hs, 0.281637, False
pos/poly3a.hs, 0.603908, False
pos/data2.hs, 0.185733, False
pos/meas1.hs, 0.508196, False
pos/vector00.hs, 0.061286, False
pos/string00.hs, 0.059856, False
pos/meas00a.hs, 0.093434, True
pos/test00.hs, 0.070107, False
pos/poly0.hs, 0.063131, False
pos/test00.old.hs, 0.062156, False
pos/LambdaEvalMini.hs, 0.009320, False
pos/poslist.hs, 0.061299, False
pos/range.hs, 0.061624, False
pos/rangeAdt.hs, 0.064184, False
pos/vector1b.hs, 0.065011, False
pos/test1.hs, 0.060305, False
pos/LambdaEval.hs, 0.060545, False
pos/poly2.hs, 0.057645, False
pos/meas0.hs, 0.020587, False
pos/polyfun.hs, 0.071668, False
pos/poslist_dc.hs, 0.794681, True