liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_Tue_Jul_15-post-parseparens-and-errormsg-improved
test, time(s), result
pos/ite1.hs, 1.482943, True
pos/ex2.hs, 1.556217, True
pos/monad2.hs, 1.646984, True
pos/TokenType.hs, 1.680325, True
pos/StrictPair1.hs, 1.691307, True
pos/Holes.hs, 1.782256, True
pos/poly3a.hs, 1.809971, True
pos/datacon1.hs, 1.817653, True
pos/ResolveB.hs, 1.831332, True
pos/tup0.hs, 1.833602, True
pos/stacks0.hs, 1.922094, True
pos/hello.hs, 1.957295, True
pos/extype.hs, 2.014982, True
pos/Abs.hs, 2.088019, True
pos/StackClass.hs, 2.164501, True
pos/meas9.hs, 2.374428, True
pos/meas3.hs, 2.390263, True
pos/lets.hs, 2.578107, True
pos/deptup1.hs, 2.690277, True
pos/ListConcat.hs, 1.502462, True
pos/selfList.hs, 3.114081, True
pos/test00.old.hs, 1.652615, True
pos/grty3.hs, 1.674688, True
pos/bar.hs, 2.000006, True
pos/Mod1.hs, 1.963159, True
pos/take.hs, 3.855700, True
pos/go.hs, 2.125821, True
pos/zipper0.hs, 3.990491, True
pos/meas0.hs, 2.327692, True
pos/LiquidArray.hs, 1.941047, True
pos/infix.hs, 2.318283, True
pos/Invariants.hs, 2.396569, True
pos/gimme.hs, 2.308992, True
pos/niki1.hs, 2.898453, True
pos/string00.hs, 2.458198, True
pos/ListISort.hs, 3.687231, True
pos/state00.hs, 2.398530, True
pos/TopLevel.hs, 1.578508, True
pos/adt0.hs, 1.970238, True
pos/data2.hs, 2.266203, True
pos/GhcSort3.T.hs, 6.125512, True
pos/LocalSpec.hs, 2.724286, True
pos/ListQSort-LType.hs, 6.235992, True
pos/vecloop.hs, 3.689916, True
pos/monad7.hs, 4.275874, True
pos/Permutation.hs, 6.414628, True
pos/modTest.hs, 2.170118, True
pos/trans.hs, 3.909729, True
pos/tyclass0.hs, 1.691765, True
pos/state0.hs, 3.342009, True
pos/StateF.hs, 3.484014, True
pos/polyqual.hs, 4.125119, True
pos/tyfam0.hs, 2.505269, True
pos/compare1.hs, 2.636665, True
pos/for.hs, 3.965354, True
pos/gadtEval.hs, 5.113966, True
pos/range.hs, 4.313100, True
pos/tyvar.hs, 2.117466, True
pos/fixme.hs, 2.367248, True
pos/deppair0.hs, 2.412729, True
pos/Loo.hs, 2.575039, True
pos/StrictPair0.hs, 1.909992, True
pos/SimplerNotation.hs, 2.076693, True
pos/initarray.hs, 5.253479, True
pos/LazyWhere1.hs, 2.132391, True
pos/pair.hs, 7.478286, True
pos/NoCaseExpand.hs, 9.851849, True
pos/ResolveA.hs, 2.288267, True
pos/test00b.hs, 2.132434, True
pos/meas2.hs, 2.388846, True
pos/vector0.hs, 4.561918, True
pos/maybe2.hs, 8.320060, True
pos/maybe3.hs, 2.544696, True
pos/Ackermann.hs, 2.638155, True
pos/StateF0.hs, 4.302527, True
pos/ex01.hs, 2.219968, True
pos/deppair1.hs, 3.022621, True
pos/profcrasher.hs, 2.402968, True
pos/Graph.hs, 1.984889, True
pos/RecordSelectorError.hs, 2.040817, True
pos/poly1.hs, 2.586868, True
pos/alias01.hs, 2.304394, True
pos/StateF00.hs, 2.156574, True
pos/maybe.hs, 4.101528, True
pos/PairMeasure0.hs, 2.384319, True
pos/DataBase.hs, 2.863146, True
pos/datacon-inv.hs, 2.327426, True
pos/comprehensionTerm.hs, 6.528452, True
pos/tupparse.hs, 2.845531, True
pos/unusedtyvars.hs, 2.643020, True
pos/ex1.hs, 2.948352, True
pos/listSet.hs, 3.365436, True
pos/test2.hs, 2.215939, True
pos/meas8.hs, 2.664085, True
pos/exp0.hs, 2.214598, True
pos/ListRange.hs, 3.105194, True
pos/deptup3.hs, 2.763877, True
pos/NoExhaustiveGuardsError.hs, 2.377706, True
pos/PairMeasure.hs, 2.416741, True
pos/Goo.hs, 1.730209, True
pos/mapreduce.hs, 8.794140, True
pos/go_ugly_type.hs, 2.208677, True
pos/ListLen.hs, 5.107351, True
pos/meas11.hs, 2.561115, True
pos/Class.hs, 2.996970, True
pos/GhcSort2.hs, 7.361163, True
pos/grty2.hs, 2.212730, True
pos/meas7.hs, 3.054328, True
pos/zipW.hs, 2.520364, True
pos/test000.hs, 2.777985, True
pos/poly3.hs, 2.769757, True
pos/Even0.hs, 2.444241, True
pos/meas6.hs, 3.350340, True
pos/HigherOrderRecFun.hs, 2.479316, True
pos/monad1.hs, 2.421065, True
pos/transpose.hs, 9.165298, True
pos/pair0.hs, 7.196009, True
pos/GhcSort1.hs, 18.205175, True
pos/vector1b.hs, 5.544622, True
pos/LambdaEvalMini.hs, 18.516432, True
pos/wrap1.hs, 5.073060, True
pos/monad6.hs, 3.055203, True
pos/scanr.hs, 3.936219, True
pos/anftest.hs, 2.685172, True
pos/imp0.hs, 2.668139, True
pos/range1.hs, 2.981494, True
pos/HedgeUnion.hs, 3.792744, True
pos/monad5.hs, 4.447575, True
pos/wrap0.hs, 3.608194, True
pos/ListReverse-LType.hs, 3.021647, True
pos/top0.hs, 3.989084, True
pos/vector1.hs, 5.077020, True
pos/pragma0.hs, 2.653413, True
pos/tagBinder.hs, 2.866118, True
pos/poly4.hs, 3.217193, True
pos/TypeAlias.hs, 2.882372, True
pos/maybe0.hs, 2.555992, True
pos/test1.hs, 2.948781, True
pos/grty0.hs, 2.639783, True
pos/Coercion.hs, 2.643299, True
pos/mutrec.hs, 2.913021, True
pos/mapTvCrash.hs, 2.428651, True
pos/maybe1.hs, 3.596176, True
pos/meas10.hs, 3.268370, True
pos/SafePartialFunctions.hs, 2.931502, True
pos/foldr.hs, 1.987498, True
pos/deptupW.hs, 2.531182, True
pos/maybe4.hs, 2.546670, True
pos/RBTree-height.hs, 22.944112, True
pos/partial-tycon.hs, 2.264487, True
pos/ListElem.hs, 2.319894, True
pos/primInt0.hs, 3.217976, True
pos/stateInvarint.hs, 3.729204, True
pos/poly0.hs, 3.263891, True
pos/alias00.hs, 2.171215, True
pos/fixme0.hs, 2.116505, True
pos/lex.hs, 2.856850, True
pos/transTAG.hs, 9.243198, True
pos/StreamInvariants.hs, 2.037044, True
pos/ite.hs, 2.734340, True
pos/foldN.hs, 2.323945, True
pos/RecSelector.hs, 2.204805, True
pos/Class2.hs, 2.264367, True
pos/Even.hs, 3.446516, True
pos/zipSO.hs, 4.592967, True
pos/ToyMVar.hs, 3.891335, True
pos/deptup.hs, 5.405461, True
pos/niki.hs, 2.824027, True
pos/pargs.hs, 2.233051, True
pos/risers.hs, 11.848340, True
pos/Assume.hs, 1.985306, True
pos/deepmeas0.hs, 3.765245, True
pos/listAnf.hs, 2.826187, True
pos/record1.hs, 2.120782, True
pos/meas0a.hs, 2.409366, True
pos/ListISort-LType.hs, 5.716984, True
pos/MutualRec.hs, 13.445218, True
pos/Avg.hs, 2.357398, True
pos/meas00.hs, 2.460190, True
pos/datacon0.hs, 2.970214, True
pos/State1.hs, 2.557876, True
pos/spec0.hs, 2.393822, True
pos/LocalLazy.hs, 2.233952, True
pos/ListSort.hs, 20.189790, True
pos/nullterm.hs, 3.696066, True
pos/RecQSort0.hs, 3.426506, True
pos/cont1.hs, 1.892793, True
pos/listSetDemo.hs, 3.505435, True
pos/ex0.hs, 2.710560, True
pos/rangeAdt.hs, 6.647566, True
pos/grty1.hs, 2.631776, True
pos/test00c.hs, 4.310235, True
pos/deptup0.hs, 2.529402, True
pos/ListMSort.hs, 12.680259, True
pos/meas4.hs, 4.251206, True
pos/LambdaEvalTiny.hs, 6.756509, True
pos/zipper.hs, 12.391196, True
pos/vector00.hs, 2.731637, True
pos/meas1.hs, 2.775267, True
pos/ListMSort-LType.hs, 18.560733, True
pos/maybe000.hs, 2.333658, True
pos/meas00a.hs, 2.433398, True
pos/funcomposition.hs, 2.965944, True
pos/Bar.hs, 2.663286, True
pos/poslist.hs, 4.257486, True
pos/Infinity.hs, 2.819935, True
pos/ListRange-LType.hs, 4.051988, True
pos/polyfun.hs, 3.368189, True
pos/ListKeys.hs, 2.697071, True
pos/zipW1.hs, 2.227244, True
pos/maybe00.hs, 2.742852, True
pos/LambdaEvalSuperTiny.hs, 6.823687, True
pos/pred.hs, 3.135207, True
pos/record0.hs, 2.995894, True
pos/RealProps.hs, 3.005433, True
pos/Foo.hs, 2.461686, True
pos/test0.hs, 3.418445, True
pos/testRec.hs, 3.372502, True
pos/Resolve.hs, 2.448328, True
pos/test00.hs, 3.463805, True
pos/compare2.hs, 3.188702, True
pos/State.hs, 4.394893, True
pos/Measures.hs, 2.565398, True
pos/rec_annot_go.hs, 3.641018, True
pos/Overwrite.hs, 2.524054, True
pos/GeneralizedTermination.hs, 3.979872, True
pos/pargs1.hs, 2.819828, True
pos/poly2-degenerate.hs, 2.480111, True
pos/poslist_dc.hs, 3.040656, True
pos/LazyWhere.hs, 2.527770, True
pos/Moo.hs, 2.500877, True
pos/Mod2.hs, 2.427755, True
pos/Measures1.hs, 3.051650, True
pos/ResolvePred.hs, 2.612496, True
pos/RecQSort.hs, 4.348983, True
pos/poly2.hs, 2.980357, True
pos/ListLen-LType.hs, 6.339409, True
pos/BST000.hs, 11.620339, True
pos/GCD.hs, 4.264048, True
pos/State0.hs, 4.351477, True
pos/vector1a.hs, 4.518069, True
pos/multi-pred-app-00.hs, 2.447221, True
pos/anfbug.hs, 2.937410, True
pos/compare.hs, 2.563149, True
pos/cmptag0.hs, 3.084876, True
pos/qualTest.hs, 2.690144, True
pos/Test761.hs, 2.818617, True
pos/forloop.hs, 4.445605, True
pos/ListQSort.hs, 12.207585, True
pos/vector2.hs, 6.167050, True
pos/malformed0.hs, 5.355993, True
pos/zipW2.hs, 3.047369, True
neg/polypred.hs, 1.861405, True
pos/term0.hs, 3.610871, True
neg/Strata.hs, 2.957602, True
neg/meas3.hs, 2.793375, True
pos/duplicate-bind.hs, 3.169750, True
neg/meas9.hs, 2.726000, True
neg/datacon-eq.hs, 2.564958, True
neg/StrictPair1.hs, 3.628013, True
neg/truespec.hs, 3.728958, True
neg/meas0.hs, 3.163408, True
neg/pragma0-unsafe.hs, 2.351054, True
neg/grty3.hs, 3.192829, True
neg/Class1.hs, 4.866168, True
neg/Class5.hs, 1.679818, True
neg/Invariants.hs, 2.630436, True
neg/string00.hs, 2.292276, True
neg/ListConcat.hs, 4.243222, True
neg/state00.hs, 2.203423, True
pos/mapreduce-bare.hs, 22.488034, True
pos/pair00.hs, 7.297838, True
neg/monad7.hs, 4.376783, True
neg/Class4.hs, 2.475908, True
neg/LocalSpec.hs, 2.912619, True
neg/fixme.hs, 2.458628, True
neg/TopLevel.hs, 3.011611, True
neg/errorloc.hs, 2.737066, True
neg/state0.hs, 3.102410, True
pos/meas5.hs, 8.730764, True
neg/Class3.hs, 2.686299, True
neg/StrictPair0.hs, 2.571896, True
neg/ListISort.hs, 7.312650, True
neg/deppair0.hs, 3.515418, True
neg/LazyWhere1.hs, 2.808610, True
neg/test00b.hs, 2.837951, True
neg/vector0.hs, 5.148445, True
neg/meas2.hs, 3.031388, True
neg/tyclass0-unsafe.hs, 2.454337, True
neg/nestedRecursion.hs, 2.245517, True
neg/Baz.hs, 2.415940, True
neg/stacks.hs, 2.973894, True
neg/poly1.hs, 3.270372, True
neg/test2.hs, 2.754914, True
neg/ListRange.hs, 3.310908, True
neg/pair.hs, 9.249419, True
neg/range.hs, 7.961873, True
neg/concat2.hs, 5.261563, True
neg/sumPoly.hs, 2.701482, True
pos/GhcSort3.hs, 17.627013, True
neg/NoExhaustiveGuardsError.hs, 3.065653, True
neg/meas7.hs, 2.950384, True
neg/trans.hs, 9.949375, True
neg/foldN1.hs, 3.632439, True
neg/CastedTotality.hs, 3.072922, True
neg/PairMeasure.hs, 3.981908, True
neg/wrap1.hs, 4.522625, True
neg/monad5.hs, 3.642598, True
neg/grty2.hs, 4.700207, True
neg/prune0.hs, 3.469665, True
neg/mapreduce-tiny.hs, 3.470205, True
neg/test1.hs, 2.864875, True
neg/monad6.hs, 3.423581, True
neg/wrap0.hs, 3.453602, True
neg/HolesTop.hs, 3.069830, True
neg/SafePartialFunctions.hs, 2.609323, True
neg/partial.hs, 2.283481, True
neg/grty0.hs, 2.821422, True
neg/pair0.hs, 8.287856, True
neg/ListElem.hs, 2.468734, True
neg/mapreduce.hs, 12.245844, True
neg/poly0.hs, 3.135224, True
neg/alias00.hs, 2.463698, True
neg/ass0.hs, 3.193529, True
neg/qsloop.hs, 5.830632, True
pos/RBTree-color.hs, 47.766269, True
neg/StreamInvariants.hs, 2.428175, True
neg/foldN.hs, 2.539535, True
neg/deptupW.hs, 4.302926, True
neg/RecSelector.hs, 2.963644, True
neg/sumk.hs, 3.915387, True
neg/Even.hs, 3.139781, True
neg/pargs.hs, 2.573180, True
neg/Class2.hs, 3.590861, True
neg/testRec.hs, 0.156725, True
neg/ListISort-LType.hs, 4.836362, True
neg/pred.hs, 2.012806, True
neg/NoMethodBindingError.hs, 2.368170, True
neg/vector0a.hs, 3.955441, True
neg/test00a.hs, 3.192040, True
neg/vector00.hs, 3.156100, True
neg/ListKeys.hs, 3.469768, True
neg/ex2-unsafe.hs, 3.456210, True
neg/concat.hs, 4.757740, True
neg/funcomposition.hs, 3.597433, True
neg/test00.hs, 3.027686, True
neg/grty1.hs, 4.958843, True
neg/concat1.hs, 5.979804, True
neg/RG.hs, 5.065013, True
pos/RBTree-col-height.hs, 58.064961, True
neg/record0.hs, 3.331891, True
neg/poslist.hs, 5.653211, True
neg/pargs1.hs, 2.528350, True
neg/ex0-unsafe.hs, 3.127307, True
neg/GeneralizedTermination.hs, 3.715146, True
neg/LazyWhere.hs, 3.578027, True
neg/Eval.hs, 4.956541, True
pos/linspace.hs, 64.186692, True
neg/ListQSort.hs, 7.698325, True
crash/typeAliasDup.hs, 1.199494, True
neg/poly2-degenerate.hs, 3.927421, True
neg/multi-pred-app-00.hs, 2.919957, True
neg/revshape.hs, 2.418280, True
neg/list00.hs, 2.606352, True
neg/poly2.hs, 3.612971, True
neg/ex1-unsafe.hs, 3.988163, True
neg/monad3.hs, 3.904121, True
neg/monad4.hs, 3.842020, True
neg/vector1a.hs, 4.554377, True
neg/mr00.hs, 4.412950, True
neg/RecQSort.hs, 6.597092, True
crash/Unbound.hs, 2.615647, True
crash/funref.hs, 3.278346, True
neg/risers.hs, 18.892243, True
neg/ListMSort.hs, 17.608373, True
neg/meas5.hs, 7.705133, True
neg/vector2.hs, 9.607981, True
../benchmarks/esop2013-submission/Toy.hs, 7.220976, True
neg/csv.hs, 20.556952, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 5.586573, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 11.702535, True
../benchmarks/esop2013-submission/Fib.hs, 20.048515, True
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 12.382752, True
../benchmarks/esop2013-submission/ListSort.hs, 22.034912, True
pos/BST.hs, 63.259288, True
pos/GhcListSort.hs, 52.856383, True
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 19.580348, True
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 11.157620, True
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 13.435012, True
pos/LambdaEval.hs, 102.931512, True
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 17.970636, True
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 17.463969, True
../benchmarks/esop2013-submission/Array.hs, 43.256615, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 14.972805, True
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 5.003034, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 6.126780, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 53.045111, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 52.063473, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 55.493664, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 10.316681, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 2.526035, True
../benchmarks/esop2013-submission/GhcListSort.hs, 62.138363, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 33.715435, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 3.203944, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 18.771475, True
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 51.632125, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 50.168873, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 27.785788, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 60.625098, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 40.210963, True
pos/Map0.hs, 137.314156, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 55.310148, True
pos/Map2.hs, 137.713029, True
pos/Map.hs, 133.249851, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 53.958066, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 62.003924, True
pos/RBTree-ord.hs, 143.243264, True
../benchmarks/esop2013-submission/Splay.hs, 124.239841, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 124.607391, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 132.467917, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 75.370127, True
pos/RBTree.hs, 212.262342, True
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 157.537128, True
pos/OrdList.hs, 219.067904, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 143.714383, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 185.703888, True
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 178.455420, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 190.923177, True
../benchmarks/text-0.11.2.3/Data/Text.hs, 186.396730, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 204.535936, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 248.923522, True
../benchmarks/esop2013-submission/Base.hs, 286.428911, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 290.353899, True