liquidhaskell-0.8.10.7: tests/logs/regrtest_results_ubuntu_Sun_Sep_11_193855_2011
test, time(s), result
pos/meas3.hs, 1.654381, True
pos/test00b.hs, 0.409320, False
pos/data-mono0.hs, 0.302846, True
pos/meas0a.hs, 0.805798, True
pos/poly3.hs, 0.548633, True
pos/range1.hs, 0.611349, True
pos/lambdaEval.hs, 33.906137, True
pos/poly3a.hs, 0.614762, True
pos/data2.hs, 1.090774, True
pos/meas1.hs, 0.942786, True
pos/string00.hs, 0.304940, True
pos/meas00a.hs, 0.264816, True
pos/test00.hs, 0.446844, False
pos/poly0.hs, 0.687721, True
pos/sumk.hs, 0.612090, False
pos/test00.old.hs, 0.367118, True
pos/poslist.hs, 0.617385, True
pos/range.hs, 3.086708, True
pos/data1.hs, 0.913305, True
pos/rangeAdt.hs, 4.054475, True
pos/test1.hs, 0.410112, True
pos/lambda-mini.hs, 8.722167, True
pos/poly2.hs, 0.463094, True
pos/meas0.hs, 0.803303, True
pos/poslist_dc.hs, 0.559739, True
pos/mapreduce-bare.hs, 16.996879, True
pos/foldr.hs, 1.061998, True
pos/test0.hs, 0.719581, True
pos/poly1.hs, 0.589758, True
pos/test2.hs, 0.465556, True
pos/meas2.hs, 0.715746, True
pos/meas4.hs, 1.376298, True
pos/datacon0.hs, 0.779106, True
pos/mapreduce.hs, 12.300223, True
pos/poly4.hs, 0.523458, True
pos/deptup.hs, 1.653859, True
pos/datacon1.hs, 0.540138, True
pos/deptup2.hs, 1.395613, True
pos/duplicate-bind.hs, 0.817261, True
pos/meas5.hs, 7.240366, True
pos/poly2-degenerate.hs, 0.453412, True
neg/meas3.hs, 0.456753, True
neg/test00b.hs, 0.438884, False
neg/test00.hs, 0.366640, True
neg/poly0.hs, 0.632854, True
neg/sumk.hs, 0.966963, True
neg/range.hs, 2.682059, True
neg/test1.hs, 0.405372, True
neg/poly2.hs, 0.451471, True
neg/meas0.hs, 0.374391, True
neg/test00a.hs, 0.383728, False
neg/poly1.hs, 0.546459, True
neg/test2.hs, 0.358615, True
neg/meas2.hs, 0.396263, True