liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_Mon_Jul_14_post_parseparens
test, time(s), result
pos/datacon1.hs, 5.774688, True
pos/extype.hs, 5.787036, True
pos/monad2.hs, 5.800983, True
pos/Abs.hs, 5.843896, True
pos/StrictPair1.hs, 5.863755, True
pos/ResolveB.hs, 5.897302, True
pos/tup0.hs, 5.926251, True
pos/TokenType.hs, 5.950048, True
pos/ite1.hs, 5.964693, True
pos/ex2.hs, 6.028685, True
pos/hello.hs, 6.084420, True
pos/stacks0.hs, 6.165357, True
pos/meas9.hs, 6.270421, True
pos/StackClass.hs, 6.400544, True
pos/poly3a.hs, 6.702202, True
pos/Holes.hs, 6.835655, True
pos/selfList.hs, 6.866376, True
pos/meas3.hs, 6.934653, True
pos/deptup1.hs, 7.043404, True
pos/lets.hs, 7.268503, True
pos/zipper0.hs, 7.301313, True
pos/take.hs, 7.962296, True
pos/GhcSort3.T.hs, 8.217083, True
pos/NoCaseExpand.hs, 8.915847, True
pos/Permutation.hs, 9.234259, True
pos/ListQSort-LType.hs, 9.614667, True
pos/ListConcat.hs, 5.696799, True
pos/grty3.hs, 5.656307, True
pos/test00.old.hs, 5.824317, True
pos/niki1.hs, 5.719661, True
pos/meas0.hs, 6.073806, True
pos/bar.hs, 6.101119, True
pos/LiquidArray.hs, 5.622769, True
pos/infix.hs, 5.978896, True
pos/Mod1.hs, 6.321877, True
pos/Invariants.hs, 6.283308, True
pos/go.hs, 6.449666, True
pos/gimme.hs, 5.852050, True
pos/ListISort.hs, 7.005034, True
pos/monad7.hs, 6.895736, True
pos/string00.hs, 6.151765, True
pos/LocalSpec.hs, 5.560738, True
pos/state00.hs, 6.586077, True
pos/LambdaEvalMini.hs, 14.031082, True
pos/vecloop.hs, 7.772581, True
pos/adt0.hs, 5.524776, True
pos/trans.hs, 7.350342, True
pos/gadtEval.hs, 8.199622, True
pos/data2.hs, 6.244219, True
pos/pair.hs, 9.318311, True
pos/GhcSort1.hs, 16.749477, True
pos/maybe2.hs, 10.087455, True
pos/polyqual.hs, 7.890354, True
pos/TopLevel.hs, 5.833483, True
pos/range.hs, 7.078130, True
pos/modTest.hs, 6.636895, True
pos/tyfam0.hs, 6.263634, True
pos/for.hs, 6.928873, True
pos/compare1.hs, 6.467775, True
pos/state0.hs, 7.024045, True
pos/tyclass0.hs, 6.454574, True
pos/fixme.hs, 6.109803, True
pos/initarray.hs, 7.802990, True
pos/StateF.hs, 7.549973, True
pos/Loo.hs, 6.433576, True
pos/deppair0.hs, 6.252773, True
pos/vector0.hs, 7.612279, True
pos/RBTree-height.hs, 20.434307, True
pos/StateF0.hs, 7.150382, True
pos/tyvar.hs, 6.389882, True
pos/LazyWhere1.hs, 5.446368, True
pos/SimplerNotation.hs, 5.836074, True
pos/StrictPair0.hs, 6.433576, True
pos/ResolveA.hs, 5.881116, True
pos/meas2.hs, 6.018665, True
pos/deppair1.hs, 6.640153, True
pos/Ackermann.hs, 6.062423, True
pos/comprehensionTerm.hs, 8.304284, True
pos/maybe3.hs, 6.382006, True
pos/profcrasher.hs, 5.520920, True
pos/mapreduce.hs, 10.529383, True
pos/ex01.hs, 6.098754, True
pos/RecordSelectorError.hs, 5.514955, True
pos/test00b.hs, 6.598154, True
pos/poly1.hs, 5.988471, True
pos/Graph.hs, 5.862065, True
pos/alias01.hs, 6.019732, True
pos/DataBase.hs, 5.910087, True
pos/maybe.hs, 7.766876, True
pos/PairMeasure0.hs, 5.871978, True
pos/StateF00.hs, 6.775877, True
pos/tupparse.hs, 6.401576, True
pos/GhcSort2.hs, 8.920868, True
pos/listSet.hs, 6.985504, True
pos/ListLen.hs, 7.648041, True
pos/ex1.hs, 6.755827, True
pos/datacon-inv.hs, 5.436123, True
pos/unusedtyvars.hs, 5.388466, True
pos/meas8.hs, 6.679841, True
pos/transpose.hs, 10.818517, True
pos/deptup3.hs, 6.131310, True
pos/ListRange.hs, 7.607171, True
pos/test2.hs, 6.117875, True
pos/exp0.hs, 5.978049, True
pos/NoExhaustiveGuardsError.hs, 6.509524, True
pos/meas11.hs, 6.212106, True
pos/PairMeasure.hs, 6.686354, True
pos/go_ugly_type.hs, 6.308676, True
pos/Class.hs, 6.988723, True
pos/pair0.hs, 9.590973, True
pos/meas7.hs, 6.633580, True
pos/vector1b.hs, 8.063737, True
pos/zipW.hs, 5.514198, True
pos/Even0.hs, 5.506970, True
pos/test000.hs, 6.238865, True
pos/meas6.hs, 6.250662, True
pos/Goo.hs, 6.692603, True
pos/wrap1.hs, 6.903644, True
pos/grty2.hs, 6.138928, True
pos/poly3.hs, 6.544272, True
pos/HigherOrderRecFun.hs, 5.979136, True
pos/monad1.hs, 5.820115, True
pos/scanr.hs, 6.854815, True
pos/monad5.hs, 7.663415, True
pos/vector1.hs, 7.442057, True
pos/HedgeUnion.hs, 6.602057, True
pos/ListSort.hs, 19.039762, True
pos/anftest.hs, 5.850544, True
pos/range1.hs, 6.387748, True
pos/monad6.hs, 6.833480, True
pos/wrap0.hs, 6.659844, True
pos/top0.hs, 6.212389, True
pos/imp0.hs, 6.139081, True
pos/ListReverse-LType.hs, 6.093750, True
pos/tagBinder.hs, 6.011719, True
pos/MutualRec.hs, 11.587522, True
pos/pragma0.hs, 6.015718, True
pos/poly4.hs, 6.365997, True
pos/test1.hs, 5.877051, True
pos/TypeAlias.hs, 6.503969, True
pos/maybe0.hs, 6.595361, True
pos/maybe1.hs, 6.558529, True
pos/transTAG.hs, 9.978923, True
pos/risers.hs, 12.411260, True
pos/ListMSort-LType.hs, 15.960532, True
pos/mutrec.hs, 6.588891, True
pos/grty0.hs, 5.278993, True
pos/mapTvCrash.hs, 5.123239, True
pos/Coercion.hs, 5.621747, True
pos/SafePartialFunctions.hs, 5.918886, True
pos/meas10.hs, 6.590513, True
pos/primInt0.hs, 5.923919, True
pos/maybe4.hs, 6.307612, True
pos/foldr.hs, 5.455169, True
pos/deptupW.hs, 6.758460, True
pos/lex.hs, 5.688326, True
pos/partial-tycon.hs, 6.112953, True
pos/alias00.hs, 5.205710, True
pos/poly0.hs, 6.144570, True
pos/stateInvarint.hs, 7.596815, True
pos/ListElem.hs, 6.444021, True
pos/linspace.hs, 40.501819, True
pos/zipSO.hs, 6.967507, True
pos/deptup.hs, 7.626433, True
pos/fixme0.hs, 6.109563, True
pos/ToyMVar.hs, 7.007019, True
pos/Even.hs, 5.996622, True
pos/ite.hs, 6.158915, True
pos/ListISort-LType.hs, 8.833049, True
pos/niki.hs, 5.104750, True
pos/StreamInvariants.hs, 6.117057, True
pos/Avg.hs, 2.557210, True
pos/foldN.hs, 5.886935, True
pos/pargs.hs, 5.242564, True
pos/RecSelector.hs, 6.159986, True
pos/Class2.hs, 5.830278, True
pos/deepmeas0.hs, 6.710343, True
pos/ListMSort.hs, 15.214279, True
pos/listAnf.hs, 5.323470, True
pos/zipper.hs, 14.321404, True
pos/Assume.hs, 5.738087, True
pos/meas0a.hs, 6.138664, True
pos/record1.hs, 6.162955, True
pos/rangeAdt.hs, 9.048298, True
pos/datacon0.hs, 7.000903, True
pos/State1.hs, 6.034550, True
pos/meas00.hs, 6.348685, True
pos/LambdaEvalTiny.hs, 7.887321, True
pos/nullterm.hs, 8.162417, True
pos/test00c.hs, 5.983168, True
pos/RecQSort0.hs, 6.761060, True
pos/spec0.hs, 6.025901, True
pos/LocalLazy.hs, 6.493374, True
pos/listSetDemo.hs, 7.723883, True
pos/ex0.hs, 6.490173, True
pos/cont1.hs, 5.323846, True
pos/grty1.hs, 5.734414, True
pos/meas4.hs, 7.269749, True
pos/vector00.hs, 5.260953, True
pos/deptup0.hs, 6.434107, True
pos/ListRange-LType.hs, 6.197674, True
pos/poslist.hs, 7.044178, True
pos/funcomposition.hs, 5.583656, True
pos/LambdaEvalSuperTiny.hs, 8.243524, True
pos/meas1.hs, 6.371883, True
pos/LambdaEval.hs, 58.867729, True
pos/Bar.hs, 5.479241, True
pos/mapreduce-bare.hs, 16.388501, True
pos/maybe000.hs, 5.777125, True
pos/meas00a.hs, 6.363472, True
pos/BST000.hs, 10.219294, True
pos/Infinity.hs, 6.278650, True
pos/polyfun.hs, 6.021936, True
pos/ListKeys.hs, 5.904818, True
pos/RealProps.hs, 3.418721, True
pos/pred.hs, 5.467187, True
pos/test0.hs, 5.614849, True
pos/maybe00.hs, 6.153631, True
pos/testRec.hs, 5.713368, True
pos/ListQSort.hs, 10.876193, True
pos/zipW1.hs, 5.597129, True
pos/State.hs, 7.295127, True
pos/test00.hs, 6.415892, True
pos/record0.hs, 6.606814, True
pos/Foo.hs, 5.486364, True
pos/Resolve.hs, 5.588928, True
pos/compare2.hs, 6.641314, True
pos/GeneralizedTermination.hs, 6.717002, True
pos/Measures.hs, 5.720730, True
pos/Overwrite.hs, 5.509562, True
pos/pargs1.hs, 5.287603, True
pos/rec_annot_go.hs, 6.894809, True
pos/poslist_dc.hs, 5.885909, True
pos/ListLen-LType.hs, 8.186611, True
pos/poly2-degenerate.hs, 5.832535, True
pos/RecQSort.hs, 6.466985, True
pos/LazyWhere.hs, 6.427413, True
pos/Moo.hs, 5.542435, True
pos/Mod2.hs, 5.339177, True
pos/GCD.hs, 7.325362, True
pos/vector1a.hs, 7.809756, True
pos/Measures1.hs, 7.375075, True
pos/State0.hs, 8.352210, True
pos/ResolvePred.hs, 6.798148, True
pos/vector2.hs, 9.465702, True
pos/poly2.hs, 7.586527, True
pos/qualTest.hs, 5.847983, True
pos/multi-pred-app-00.hs, 5.919100, True
pos/compare.hs, 6.046502, True
pos/Test761.hs, 5.566513, True
pos/cmptag0.hs, 6.434971, True
pos/anfbug.hs, 6.825261, True
pos/forloop.hs, 7.229616, True
pos/malformed0.hs, 8.339061, True
pos/zipW2.hs, 5.963953, True
pos/term0.hs, 6.019607, True
pos/pair00.hs, 8.062054, True
pos/duplicate-bind.hs, 6.119264, True
neg/Strata.hs, 6.058966, True
pos/GhcSort3.hs, 14.295813, True
pos/meas5.hs, 8.851465, True
neg/polypred.hs, 6.148470, True
neg/Class1.hs, 6.684816, True
neg/StrictPair1.hs, 6.664646, True
neg/meas9.hs, 6.743316, True
neg/meas3.hs, 6.990458, True
neg/datacon-eq.hs, 6.712662, True
neg/ListConcat.hs, 6.557861, True
neg/truespec.hs, 6.921259, True
neg/grty3.hs, 6.528704, True
neg/pragma0-unsafe.hs, 6.324648, True
neg/meas0.hs, 7.367279, True
neg/Invariants.hs, 7.491573, True
neg/monad7.hs, 7.596318, True
neg/ListISort.hs, 9.371470, True
neg/string00.hs, 6.126439, True
neg/Class5.hs, 6.212834, True
neg/state00.hs, 6.727804, True
neg/TopLevel.hs, 5.239349, True
neg/Class4.hs, 6.077151, True
pos/BST.hs, 35.150975, True
neg/LocalSpec.hs, 6.483096, True
neg/state0.hs, 6.165909, True
neg/deppair0.hs, 6.047541, True
neg/fixme.hs, 6.429255, True
neg/pair.hs, 10.780677, True
neg/errorloc.hs, 6.796666, True
neg/Class3.hs, 6.707811, True
neg/StrictPair0.hs, 6.536871, True
neg/range.hs, 8.197783, True
neg/trans.hs, 9.251116, True
neg/vector0.hs, 8.115800, True
neg/LazyWhere1.hs, 6.722541, True
neg/tyclass0-unsafe.hs, 5.884495, True
neg/meas2.hs, 7.185777, True
neg/poly1.hs, 6.518950, True
neg/test00b.hs, 8.359626, True
neg/Baz.hs, 6.485461, True
neg/concat2.hs, 8.074118, True
neg/nestedRecursion.hs, 6.262181, True
neg/ListRange.hs, 6.631715, True
neg/stacks.hs, 7.691450, True
neg/sumPoly.hs, 6.657109, True
neg/NoExhaustiveGuardsError.hs, 6.823378, True
neg/mapreduce.hs, 12.919379, True
neg/test2.hs, 7.333595, True
neg/PairMeasure.hs, 6.288254, True
neg/foldN1.hs, 6.697510, True
neg/meas7.hs, 6.499066, True
neg/pair0.hs, 8.749642, True
neg/CastedTotality.hs, 6.792443, True
neg/grty2.hs, 7.746223, True
neg/wrap1.hs, 7.845829, True
neg/prune0.hs, 6.361764, True
neg/monad5.hs, 6.832973, True
neg/mapreduce-tiny.hs, 6.519550, True
neg/monad6.hs, 6.232077, True
neg/wrap0.hs, 6.558289, True
neg/test1.hs, 6.767913, True
neg/HolesTop.hs, 5.492270, True
neg/partial.hs, 5.596032, True
neg/grty0.hs, 5.736868, True
neg/qsloop.hs, 7.375138, True
neg/poly0.hs, 5.736818, True
neg/SafePartialFunctions.hs, 6.199543, True
neg/deptupW.hs, 6.423098, True
neg/ListElem.hs, 6.136505, True
neg/ass0.hs, 6.442702, True
neg/sumk.hs, 6.584531, True
neg/Even.hs, 5.215253, True
neg/alias00.hs, 6.312016, True
neg/StreamInvariants.hs, 6.394161, True
neg/ListISort-LType.hs, 8.076248, True
neg/risers.hs, 14.550383, True
neg/foldN.hs, 6.534187, True
neg/testRec.hs, 0.072175, True
neg/pargs.hs, 5.660169, True
neg/RecSelector.hs, 6.687255, True
neg/vector0a.hs, 5.990445, True
pos/GhcListSort.hs, 35.907279, True
neg/Class2.hs, 7.108183, True
neg/concat1.hs, 7.615983, True
neg/ListMSort.hs, 14.168938, True
neg/concat.hs, 7.626655, True
neg/poslist.hs, 7.275900, True
neg/RG.hs, 7.491291, True
neg/test00a.hs, 7.000344, True
neg/grty1.hs, 7.443838, True
neg/NoMethodBindingError.hs, 5.653362, True
neg/funcomposition.hs, 6.124936, True
neg/ListKeys.hs, 6.323026, True
neg/vector00.hs, 7.222673, True
neg/csv.hs, 15.860048, True
neg/ListQSort.hs, 9.052707, True
neg/pred.hs, 5.749821, True
neg/ex2-unsafe.hs, 6.660611, True
neg/test00.hs, 5.962553, True
neg/GeneralizedTermination.hs, 6.017981, True
neg/record0.hs, 6.618952, True
neg/pargs1.hs, 5.597986, True
neg/Eval.hs, 6.894768, True
neg/ex0-unsafe.hs, 6.332060, True
neg/poly2-degenerate.hs, 5.873751, True
neg/RecQSort.hs, 7.099897, True
neg/LazyWhere.hs, 5.819121, True
neg/monad4.hs, 5.772958, True
neg/ex1-unsafe.hs, 6.391351, True
neg/vector1a.hs, 6.627531, True
neg/poly2.hs, 6.621785, True
neg/monad3.hs, 7.001044, True
neg/mr00.hs, 6.456923, True
neg/multi-pred-app-00.hs, 5.711267, True
neg/list00.hs, 6.130843, True
neg/vector2.hs, 8.435599, True
crash/typeAliasDup.hs, 5.578948, True
crash/funref.hs, 5.540055, True
crash/Unbound.hs, 5.600602, True
neg/revshape.hs, 6.642756, True
neg/meas5.hs, 8.866021, True
../benchmarks/esop2013-submission/Toy.hs, 9.275550, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 9.044323, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 12.489692, True
../benchmarks/esop2013-submission/Fib.hs, 15.925207, True
../benchmarks/esop2013-submission/ListSort.hs, 17.877743, True
pos/Map2.hs, 75.396086, True
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 16.984924, True
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 21.938561, True
pos/Map0.hs, 86.206156, True
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 16.137091, True
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 16.477644, True
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 22.418162, True
pos/Map.hs, 83.820075, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 41.134848, True
../benchmarks/esop2013-submission/Array.hs, 47.145411, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 43.297943, True
../benchmarks/esop2013-submission/GhcListSort.hs, 46.060367, True
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 23.790498, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 47.138945, True
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 9.672269, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 21.663319, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 10.314416, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 12.207377, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 7.839238, True
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 44.427122, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 43.238817, True
pos/RBTree-ord.hs, 111.475248, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 40.525860, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 11.185685, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 22.302546, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 27.255483, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 55.212662, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 39.413726, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 45.645680, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 48.189912, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 51.908752, True
../benchmarks/esop2013-submission/Splay.hs, 103.185663, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 113.014804, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 119.198170, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 68.390248, True
pos/RBTree-col-height.hs, 231.580860, True
pos/RBTree-color.hs, 224.799493, True
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 144.296853, True
pos/OrdList.hs, 214.785806, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 133.028399, True
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 164.456120, True
pos/RBTree.hs, 310.608168, True
../benchmarks/text-0.11.2.3/Data/Text.hs, 227.251024, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 253.117372, True
../benchmarks/esop2013-submission/Base.hs, 272.506221, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 272.236021, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 264.247987, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 380.619533, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 457.966312, True