liquidhaskell-0.8.10.7: tests/logs/regrtest_results_ubuntu_Sun_Sep_11_201206_2011
test, time(s), result
pos/meas3.hs, 1.585865, True
pos/test00b.hs, 0.444205, True
pos/data-mono0.hs, 0.354937, True
pos/meas0a.hs, 1.171377, True
pos/poly3.hs, 0.828146, True
pos/range1.hs, 0.790141, True
pos/lambdaEval.hs, 39.849260, True
pos/poly3a.hs, 0.673806, True
pos/data2.hs, 1.000491, True
pos/meas1.hs, 0.793913, True
pos/string00.hs, 0.275845, True
pos/meas00a.hs, 0.237137, True
pos/test00.hs, 0.387551, True
pos/poly0.hs, 0.766051, True
pos/sumk.hs, 0.761658, False
pos/test00.old.hs, 0.381043, True
pos/poslist.hs, 0.557567, True
pos/range.hs, 2.861784, True
pos/data1.hs, 0.938225, True
pos/rangeAdt.hs, 4.274954, True
pos/test1.hs, 0.449460, True
pos/lambda-mini.hs, 9.290129, True
pos/poly2.hs, 0.493516, True
pos/meas0.hs, 0.886385, True
pos/poslist_dc.hs, 0.667535, True
pos/mapreduce-bare.hs, 18.590934, True
pos/foldr.hs, 1.301555, True
pos/test0.hs, 0.391962, True
pos/poly1.hs, 0.646511, True
pos/test2.hs, 0.397362, True
pos/meas2.hs, 0.718877, True
pos/meas4.hs, 1.492226, True
pos/datacon0.hs, 0.863109, True
pos/mapreduce.hs, 11.665913, True
pos/poly4.hs, 0.302908, True
pos/deptup.hs, 0.950755, True
pos/datacon1.hs, 0.411375, True
pos/deptup2.hs, 0.701753, True
pos/duplicate-bind.hs, 0.831764, True
pos/meas5.hs, 7.515311, True
pos/poly2-degenerate.hs, 0.472570, True
neg/meas3.hs, 0.463367, True
neg/test00b.hs, 0.467099, True
neg/test00.hs, 0.356714, True
neg/poly0.hs, 0.693926, True
neg/sumk.hs, 1.010276, True
neg/range.hs, 2.905525, True
neg/test1.hs, 0.406533, True
neg/poly2.hs, 0.577375, True
neg/meas0.hs, 0.485451, True
neg/test00a.hs, 0.405952, True
neg/poly1.hs, 0.587591, True
neg/test2.hs, 0.391556, True
neg/meas2.hs, 0.420000, True