liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_Sun_Oct_28_172434_2012
test, time(s), result
pos/grty3.hs, 0.530181, True
pos/adt0.hs, 0.583225, True
pos/LiquidArray.hs, 0.654759, True
pos/ite1.hs, 0.726410, True
pos/zipw.hs, 0.817957, True
pos/Abs.hs, 0.985875, True
pos/test00.old.hs, 1.140944, True
pos/string00.hs, 1.122855, True
pos/bar.hs, 1.143284, True
pos/niki1.hs, 1.189548, True
pos/poly3a.hs, 1.347842, True
pos/meas0.hs, 1.408038, True
pos/modTest.hs, 0.882341, True
pos/data2.hs, 1.604337, True
pos/meas9.hs, 1.726863, True
pos/lets.hs, 1.802244, True
pos/profcrasher.hs, 0.447225, True
pos/meas3.hs, 1.891661, True
pos/deptup1.hs, 2.081911, True
pos/meas2.hs, 0.933140, True
pos/test00b.hs, 0.881897, True
pos/Loo.hs, 1.164795, True
pos/deppair0.hs, 1.250205, True
pos/maybe3.hs, 1.314622, True
pos/ex1.hs, 1.328716, True
pos/deptup3.hs, 1.018171, True
pos/poly1.hs, 1.561655, True
pos/compare1.hs, 2.668215, True
pos/test2.hs, 0.924187, True
pos/range.hs, 3.347132, True
pos/meas8.hs, 1.333042, True
pos/listSet.hs, 2.107285, True
pos/meas11.hs, 0.733409, True
pos/Goo.hs, 0.560293, True
pos/meas7.hs, 0.779190, True
pos/trans.hs, 4.268273, True
pos/ListRange.hs, 2.287780, True
pos/fib.hs, 2.287772, True
pos/take.hs, 4.396910, True
pos/testMRec.hs, 1.243826, True
pos/test000.hs, 0.713203, True
pos/fixme.hs, 4.070725, True
pos/initarray.hs, 5.016668, True
pos/ListQSort-LType.hs, 5.331006, True
pos/datacon1.hs, 5.330582, True
pos/for.hs, 5.267267, True
pos/zipW.hs, 1.208132, True
pos/poly3.hs, 1.465223, True
pos/maybe.hs, 4.161730, True
pos/ListISort.hs, 5.585487, True
pos/range1.hs, 1.000114, True
pos/meas6.hs, 1.924375, True
pos/poly4.hs, 0.591868, True
pos/vector0.hs, 5.309131, True
pos/maybe0.hs, 0.686952, True
pos/pair.hs, 6.023185, True
pos/test1.hs, 0.803350, True
pos/grty0.hs, 0.589569, True
pos/anftest.hs, 1.105630, True
pos/wrap0.hs, 1.599209, True
pos/grty2.hs, 2.060647, True
pos/vector1b.hs, 3.562764, True
pos/alias00.hs, 0.700560, True
pos/ite.hs, 0.720017, True
pos/meas10.hs, 1.494504, True
pos/foldr.hs, 1.094681, True
pos/maybe1.hs, 1.574156, True
pos/maybe2.hs, 7.062408, True
pos/deptupW.hs, 1.248519, True
pos/pair0.hs, 5.085250, True
pos/fixme0.hs, 1.294469, True
pos/niki.hs, 0.628184, True
pos/scanr.hs, 3.468254, True
pos/listAnf.hs, 1.112767, True
pos/primInt0.hs, 2.339244, True
pos/spec0.hs, 0.770029, True
pos/datacon0.hs, 1.325010, True
pos/meas0a.hs, 1.401623, True
pos/poly0.hs, 2.735196, True
pos/wrap1.hs, 4.924840, True
pos/deptup.hs, 2.986439, True
pos/grty1.hs, 0.759330, True
pos/test00c.hs, 2.092561, True
pos/ex0.hs, 1.940709, True
pos/nullterm.hs, 2.545091, True
pos/vector1.hs, 5.382475, True
pos/deptup0.hs, 1.336756, True
pos/meas1.hs, 1.003710, True
pos/meas4.hs, 2.188987, True
pos/maybe000.hs, 0.423328, True
pos/meas00a.hs, 0.650475, True
pos/listSetDemo.hs, 2.954723, True
pos/vector00.hs, 1.343638, True
pos/maybe00.hs, 0.624414, True
pos/GhcSort2.hs, 9.257708, True
pos/zipW1.hs, 0.594988, True
pos/ListISort-LType.hs, 4.617965, True
pos/test0.hs, 0.915184, True
pos/ListRange-LType.hs, 2.036669, True
pos/polyfun.hs, 1.192177, True
pos/test00.hs, 0.933029, True
pos/compare2.hs, 1.034526, True
pos/poslist.hs, 2.820181, True
pos/Moo.hs, 0.326683, True
pos/poly2-degenerate.hs, 0.964424, True
pos/rangeAdt.hs, 5.197052, True
pos/poslist_dc.hs, 1.355771, True
pos/LambdaEvalSuperTiny.hs, 3.979946, True
pos/poly2.hs, 1.056540, True
pos/testRec.hs, 1.989467, True
pos/ListLen.hs, 10.455640, True
pos/cmptag0.hs, 1.185516, True
pos/compare.hs, 1.147320, True
pos/mapreduce.hs, 11.446334, True
pos/vector1a.hs, 2.275097, True
neg/meas0.hs, 0.688700, True
pos/BST000.hs, 5.004257, True
neg/meas3.hs, 1.152201, True
pos/duplicate-bind.hs, 1.299494, True
neg/meas9.hs, 1.392271, True
neg/polypred.hs, 1.163725, True
neg/grty3.hs, 1.203992, True
neg/string00.hs, 0.759650, True
pos/tclosure.hs, 10.582583, True
pos/transTAG.hs, 10.092529, True
pos/LambdaEvalTiny.hs, 7.881096, True
neg/meas2.hs, 1.068563, True
neg/deppair0.hs, 1.648263, True
pos/forloop.hs, 4.433936, True
neg/test00b.hs, 1.400036, True
neg/poly1.hs, 0.871520, True
pos/ListSort.hs, 14.730715, True
neg/ListISort.hs, 4.064718, True
neg/fixme.hs, 3.032933, True
neg/meas7.hs, 1.109191, True
neg/test2.hs, 1.123509, True
pos/LambdaEvalMini.hs, 16.555220, True
neg/ListRange.hs, 1.690272, True
pos/ListMSort-LType.hs, 13.186776, True
pos/pair00.hs, 5.152840, True
neg/grty0.hs, 0.486759, True
neg/test1.hs, 0.594319, True
neg/vector0.hs, 3.985892, True
neg/range.hs, 4.166897, True
neg/partial.hs, 0.815920, True
neg/ass0.hs, 0.396917, True
neg/poly0.hs, 0.988916, True
neg/pair.hs, 4.832620, True
pos/ListLen-LType.hs, 7.583294, True
neg/mapreduce-tiny.hs, 1.541976, True
neg/alias00.hs, 0.645791, True
pos/anfbug.hs, 6.990894, True
neg/wrap0.hs, 1.599005, True
pos/meas5.hs, 6.286135, True
neg/deptupW.hs, 1.503162, True
neg/concat2.hs, 3.586146, True
neg/sumk.hs, 1.060939, True
neg/vector0a.hs, 1.265427, True
neg/test00a.hs, 0.798243, True
neg/grty2.hs, 2.510526, True
neg/test00.hs, 0.897814, True
neg/poly2.hs, 0.816971, True
pos/ListMSort.hs, 13.534038, True
neg/vector00.hs, 1.440708, True
neg/list00.hs, 0.691659, True
neg/poly2-degenerate.hs, 1.376440, True
pos/ListQSort.hs, 10.754310, True
neg/ex1-unsafe.hs, 1.378869, True
neg/concat.hs, 2.342583, True
neg/wrap1.hs, 4.401476, True
neg/ex0-unsafe.hs, 2.019607, True
neg/grty1.hs, 2.330338, True
neg/mr00.hs, 1.428422, True
neg/poslist.hs, 2.308604, True
neg/pair0.hs, 5.183841, True
neg/ListISort-LType.hs, 3.076719, True
neg/concat1.hs, 3.286333, True
pos/GhcSort1.hs, 20.980545, True
neg/ListQSort.hs, 3.359413, True
neg/meas5.hs, 2.561179, True
neg/trans.hs, 8.985302, True
neg/mapreduce.hs, 8.694966, True
neg/ListMSort.hs, 6.995956, True
pos/GhcSort3.hs, 13.333657, True
pos/mapreduce-bare.hs, 17.736864, True
pos/BST.hs, 21.348254, True
pos/GhcListSort.hs, 25.978146, True
pos/LambdaEval.hs, 40.013951, True
pos/Map0.hs, 41.224594, True
pos/Map.hs, 40.527635, True