liquidhaskell-0.8.10.7: tests/logs/regrtest_results_ubuntu_Tue_Jul_19_100718_2011
test, time(s), result
pos/meas2.hs, 1.807319, True
pos/meas1.hs, 0.471403, True
pos/datacon1.hs, 0.291040, True
pos/poslist.hs, 1.504132, True
pos/poly2.hs, 0.782737, True
pos/range.hs, 5.813613, True
pos/poly2-degenerate.hs, 1.069523, True
pos/meas5.hs, 17.761125, True
pos/string01.hs, 0.221163, True
pos/poly3a.hs, 0.916095, True
pos/poly0.hs, 1.121835, True
pos/range1.hs, 1.414293, True
pos/string00.hs, 0.252267, True
pos/meas0.hs, 0.452246, True
pos/poly1.hs, 0.904185, True
pos/meas00a.hs, 0.223379, True
pos/test00.hs, 0.343490, True
pos/test1.hs, 0.486983, True
pos/mapreduce.hs, 17.498201, True
pos/mapreduce-bare.hs, 42.210847, True
pos/data2.hs, 636.660953, True
pos/meas4.hs, 1.403691, True
pos/test0.hs, 0.469446, True
pos/test2.hs, 0.516514, True
pos/measb0.hs, 0.451241, True
pos/deptup0.hs, 0.250958, True
pos/data1.hs, 1.291653, True
pos/datacon0.hs, 1.255256, True
pos/deptup2.hs, 2.012410, True
pos/meas0a.hs, 0.479123, True
pos/deptup.hs, 1.541043, False
pos/meas3.hs, 1.375187, True
pos/rangeAdt.hs, 6.417208, True
pos/poly3.hs, 0.783809, True
pos/poslist_dc.hs, 1.439242, True
neg/meas2.hs, 0.612531, True
neg/poly2.hs, 0.951016, True
neg/range.hs, 5.931716, True
neg/poly0.hs, 1.123314, True
neg/meas0.hs, 0.397978, True
neg/poly1.hs, 1.069777, True
neg/test1.hs, 0.848960, True
neg/test2.hs, 0.495244, True
neg/meas3.hs, 0.884021, True