liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_Wed_Nov_20_152850_2013-master
test, time(s), result
pos/extype.hs, 1.375361, True
pos/ex2.hs, 1.518587, True
pos/meas000.hs, 1.558248, True
pos/test00.old.hs, 1.597767, True
pos/typeAliasDup.hs, 1.683299, False
pos/Abs.hs, 1.695439, True
pos/datacon1.hs, 1.762565, True
pos/ListConcat.hs, 1.879136, True
pos/ite1.hs, 2.036899, True
pos/hello.hs, 2.074353, True
pos/poly3a.hs, 2.079235, True
pos/meas3.hs, 2.205352, True
pos/lets.hs, 2.383306, True
pos/ListISort.hs, 2.277745, True
pos/stacks0.hs, 2.453869, True
pos/meas9.hs, 2.640441, True
pos/deptup1.hs, 2.638194, True
pos/selfList.hs, 2.927055, True
pos/Mod1.hs, 1.393892, True
pos/meas0.hs, 1.861254, True
pos/grty3.hs, 1.545038, True
pos/niki1.hs, 1.518981, True
pos/take.hs, 3.279905, True
pos/bar.hs, 1.915350, True
pos/go.hs, 1.877929, True
pos/infix.hs, 1.805505, True
pos/LiquidArray.hs, 1.830682, True
pos/StrictPair1.hs, 4.022221, True
pos/state00.hs, 1.787601, True
pos/adt0.hs, 1.209060, True
pos/tup0.hs, 4.156740, True
pos/ListQSort-LType.hs, 4.162787, True
pos/string00.hs, 1.842490, True
pos/zipper0.hs, 4.234889, True
pos/LocalSpec.hs, 1.751426, True
pos/gimme.hs, 2.245970, True
pos/data2.hs, 1.699366, True
pos/monad7.hs, 3.055618, True
pos/GhcSort3.T.hs, 5.097201, True
pos/compare1.hs, 1.790655, True
pos/state0.hs, 1.977012, True
pos/modTest.hs, 1.809113, True
pos/tyclass0.hs, 1.399648, True
pos/tyfam0.hs, 1.716404, True
pos/pair.hs, 3.648746, True
pos/Loo.hs, 1.542323, True
pos/range.hs, 2.515588, True
pos/tyvar.hs, 1.549048, True
pos/initarray.hs, 2.703961, True
pos/maybe2.hs, 3.907914, True
pos/StrictPair0.hs, 1.589715, True
pos/deppair0.hs, 1.970348, True
pos/trans.hs, 3.605297, True
pos/deppair1.hs, 1.551489, True
pos/LazyWhere1.hs, 1.690967, True
pos/ResolveA.hs, 1.231024, True
pos/polyqual.hs, 3.788299, True
pos/Ackermann.hs, 1.815596, True
pos/profcrasher.hs, 1.518708, True
pos/test00b.hs, 1.813615, True
pos/for.hs, 4.136276, True
pos/meas2.hs, 2.399144, True
pos/alias01.hs, 1.378236, True
pos/poly1.hs, 1.629592, True
pos/ex01.hs, 1.985331, True
pos/maybe3.hs, 2.373296, True
pos/tupparse.hs, 1.825563, True
pos/DataBase.hs, 2.453925, True
pos/PairMeasure0.hs, 1.776289, True
pos/unusedtyvars.hs, 1.870759, True
pos/vector0.hs, 5.180638, True
pos/inccheck0.hs, 1.902837, True
pos/deptup3.hs, 1.743128, True
pos/maybe.hs, 3.860218, True
pos/ex1.hs, 2.368623, True
pos/test2.hs, 2.030785, True
pos/meas8.hs, 2.245634, True
pos/ListRange.hs, 2.633719, True
pos/listSet.hs, 3.412565, True
pos/exp0.hs, 1.694125, True
pos/PairMeasure.hs, 1.813272, True
pos/mapreduce.hs, 6.614074, True
pos/Permutation.hs, 10.857382, True
pos/ResolveB.hs, 10.851616, True
pos/testMRec.hs, 1.641719, True
pos/gadtEval.hs, 8.472968, True
pos/meas11.hs, 1.675123, True
pos/meas7.hs, 1.606114, True
pos/go_ugly_type.hs, 1.856360, True
pos/Goo.hs, 1.605263, True
pos/ptr2.hs, 6.146842, True
pos/test000.hs, 1.639643, True
pos/poly3.hs, 1.670063, True
pos/GhcSort2.hs, 6.352297, True
pos/pair0.hs, 4.451491, True
pos/Class.hs, 3.083535, True
pos/meas6.hs, 2.313182, True
pos/ListLen.hs, 5.887443, True
pos/vector1b.hs, 3.101814, True
pos/Even0.hs, 1.692146, True
pos/HigherOrderRecFun.hs, 1.717873, True
pos/monad1.hs, 1.428187, True
pos/zipW.hs, 1.964904, True
pos/fixme.hs, 8.655164, True
pos/comprehensionTerm.hs, 8.448406, True
pos/Graph.hs, 6.755907, True
pos/grty2.hs, 2.151300, True
pos/monad2.hs, 13.724434, True
pos/LambdaEvalMini.hs, 13.728128, True
pos/monad5.hs, 2.865420, True
pos/scanr.hs, 2.705690, True
pos/wrap1.hs, 4.004177, True
pos/top0.hs, 1.968615, True
pos/imp0.hs, 1.557958, True
pos/tagBinder.hs, 1.450254, True
pos/poly4.hs, 1.574956, True
pos/monad6.hs, 2.220683, True
pos/pragma0.hs, 1.459421, True
pos/anftest.hs, 1.910483, True
pos/ListReverse-LType.hs, 1.876601, True
pos/test1.hs, 1.595113, True
pos/range1.hs, 2.350840, True
pos/wrap0.hs, 2.443004, True
pos/maybe0.hs, 1.799124, True
pos/mutrec.hs, 2.006787, True
pos/HedgeUnion.hs, 3.534733, True
pos/vector1.hs, 3.804170, True
pos/maybe1.hs, 2.398525, True
pos/grty0.hs, 1.488246, True
pos/mapTvCrash.hs, 1.879092, True
pos/maybe4.hs, 1.890261, True
pos/foldr.hs, 1.882166, True
pos/SafePartialFunctions.hs, 2.274125, True
pos/ListElem.hs, 1.972510, True
pos/deptupW.hs, 2.339455, True
pos/poly0.hs, 2.178473, True
pos/meas10.hs, 2.888948, True
pos/alias00.hs, 2.035169, True
pos/stateInvarint.hs, 3.058794, True
pos/ite.hs, 1.950646, True
pos/Coercion.hs, 3.331452, True
pos/primInt0.hs, 3.391421, True
pos/Even.hs, 2.704860, True
pos/GhcSort1.hs, 18.171282, True
pos/foldN.hs, 2.367171, True
pos/record1.hs, 1.733513, True
pos/niki.hs, 2.234640, True
pos/pargs.hs, 2.264184, True
pos/deptup.hs, 4.314012, True
pos/listAnf.hs, 2.291798, True
pos/meas0a.hs, 2.215766, True
pos/lex.hs, 4.271844, True
pos/deepmeas0.hs, 2.998577, True
pos/meas00.hs, 2.063782, True
pos/datacon0.hs, 2.380004, True
pos/ListISort-LType.hs, 5.570890, True
pos/LocalLazy.hs, 2.074321, True
pos/spec0.hs, 2.149460, True
pos/cont1.hs, 1.825452, True
pos/grty1.hs, 1.827018, True
pos/RecQSort0.hs, 2.912278, True
pos/meas4.hs, 2.392396, True
pos/rangeAdt.hs, 5.730999, True
pos/nullterm.hs, 4.068529, True
pos/zipSO.hs, 6.770042, True
pos/ListMSort-LType.hs, 11.523710, True
pos/test00c.hs, 3.116299, True
pos/ex0.hs, 2.923305, True
pos/deptup0.hs, 2.361349, True
pos/listSetDemo.hs, 4.178521, True
pos/maybe000.hs, 1.581744, True
pos/funcomposition.hs, 1.999482, True
pos/meas00a.hs, 2.032925, True
pos/ListRange-LType.hs, 2.761285, True
pos/maybe00.hs, 1.694890, True
pos/Infinity.hs, 2.294362, True
pos/pred.hs, 2.221109, True
pos/meas1.hs, 3.181958, True
pos/poslist.hs, 4.674205, True
pos/test0.hs, 2.107642, True
pos/vector00.hs, 3.322600, True
pos/polyfun.hs, 2.762402, True
pos/ListKeys.hs, 2.717683, True
pos/transTAG.hs, 12.991972, True
pos/LambdaEvalSuperTiny.hs, 6.012579, True
pos/transpose.hs, 18.663230, True
pos/test00.hs, 2.243353, True
pos/risers.hs, 13.938104, True
pos/record0.hs, 2.483646, True
pos/compare2.hs, 2.305692, True
pos/zipW1.hs, 2.452477, True
pos/testRec.hs, 4.011471, True
pos/Resolve.hs, 2.259811, True
pos/poly2-degenerate.hs, 1.954411, True
pos/LazyWhere.hs, 1.976188, True
pos/pargs1.hs, 2.307369, True
pos/poslist_dc.hs, 2.399071, True
pos/monad.hs, 1.628712, True
pos/GeneralizedTermination.hs, 3.563047, True
pos/rec_annot_go.hs, 3.189967, True
pos/Moo.hs, 1.942795, True
pos/MutualRec.hs, 15.978100, True
pos/Mod2.hs, 1.767612, True
pos/ListSort.hs, 20.955442, True
pos/RecQSort.hs, 3.264552, True
pos/LambdaEvalTiny.hs, 10.640206, True
pos/BST000.hs, 8.731328, True
pos/Test761.hs, 1.672521, True
pos/ResolvePred.hs, 2.508835, True
pos/zipW2.hs, 1.430847, True
pos/poly2.hs, 2.723976, True
pos/qualTest.hs, 1.993963, True
pos/cmptag0.hs, 2.284785, True
pos/vector1a.hs, 3.671773, True
pos/compare.hs, 2.343805, True
pos/ListMSort.hs, 15.678003, True
pos/duplicate-bind.hs, 1.854596, True
pos/ListQSort.hs, 9.452235, True
pos/forloop.hs, 3.324243, True
neg/meas3.hs, 2.211552, True
pos/term0.hs, 2.783487, True
pos/ListLen-LType.hs, 5.972619, True
neg/truespec.hs, 1.770968, True
neg/polypred.hs, 1.872253, True
neg/Class1.hs, 2.696014, True
neg/pragma0-unsafe.hs, 1.888818, True
neg/meas0.hs, 2.016392, True
neg/grty3.hs, 2.066217, True
pos/pair00.hs, 3.933958, True
neg/ListConcat.hs, 2.674659, True
pos/mapreduce-bare.hs, 15.592033, True
neg/meas9.hs, 3.114905, True
neg/state00.hs, 1.952039, True
neg/string00.hs, 2.287302, True
neg/LocalSpec.hs, 1.758110, True
pos/vector2.hs, 7.047260, True
neg/state0.hs, 2.073441, True
neg/fixme.hs, 2.188569, True
neg/deppair0.hs, 2.369322, True
neg/monad7.hs, 4.034024, True
neg/StrictPair0.hs, 2.089256, True
pos/meas5.hs, 5.916001, True
neg/errorloc.hs, 2.672103, True
neg/Class3.hs, 2.539422, True
neg/meas2.hs, 2.321545, True
neg/LazyWhere1.hs, 2.447536, True
neg/tyclass0-unsafe.hs, 2.154385, True
neg/StrictPair1.hs, 5.926006, True
neg/test00b.hs, 2.669829, True
neg/stacks.hs, 1.924129, True
neg/poly1.hs, 2.169512, True
neg/vector0.hs, 4.614338, True
neg/ListISort.hs, 6.342723, True
neg/nestedRecursion.hs, 2.513976, True
neg/sumPoly.hs, 1.868664, True
neg/pair.hs, 6.423835, True
neg/test2.hs, 2.517395, True
pos/anfbug.hs, 10.182260, True
neg/meas7.hs, 2.869125, True
neg/foldN1.hs, 3.242312, True
neg/PairMeasure.hs, 3.058355, True
neg/ListRange.hs, 3.591779, True
neg/concat2.hs, 5.423314, True
neg/test1.hs, 2.247898, True
neg/monad6.hs, 2.873818, True
neg/prune0.hs, 3.058657, True
neg/range.hs, 7.248138, True
neg/wrap0.hs, 2.697269, True
neg/mapreduce-tiny.hs, 3.400173, True
neg/grty0.hs, 1.913550, True
neg/SafePartialFunctions.hs, 1.927320, True
neg/monad5.hs, 3.815153, True
neg/grty2.hs, 4.575364, True
neg/partial.hs, 2.094342, True
neg/ListElem.hs, 2.299293, True
neg/poly0.hs, 2.333736, True
neg/pair0.hs, 6.010105, True
neg/ass0.hs, 2.187589, True
neg/wrap1.hs, 5.627938, True
neg/pargs.hs, 1.970258, True
neg/deptupW.hs, 3.001214, True
neg/Even.hs, 2.398459, True
neg/testRec.hs, 0.045286, True
neg/alias00.hs, 2.613046, True
pos/GhcSort3.hs, 14.692861, True
neg/Class2.hs, 2.275345, True
neg/sumk.hs, 2.768115, True
neg/foldN.hs, 2.381942, True
neg/vector0a.hs, 2.704608, True
neg/ListISort-LType.hs, 3.514012, True
neg/qsloop.hs, 5.881208, True
neg/test00a.hs, 2.105266, True
neg/pred.hs, 1.476706, True
neg/vector00.hs, 2.241098, True
neg/test00.hs, 1.896828, True
neg/ListKeys.hs, 2.101035, True
neg/concat1.hs, 4.197548, True
neg/record0.hs, 2.060088, True
neg/funcomposition.hs, 2.453428, True
neg/pargs1.hs, 2.063244, True
neg/grty1.hs, 3.290070, True
neg/GeneralizedTermination.hs, 2.342773, True
neg/concat.hs, 3.959534, True
neg/ex0-unsafe.hs, 2.665495, True
neg/poslist.hs, 3.643026, True
neg/poly2-degenerate.hs, 2.088331, True
neg/Eval.hs, 2.968923, True
neg/LazyWhere.hs, 2.137563, True
neg/mapreduce.hs, 12.281642, True
neg/RecQSort.hs, 3.225966, True
neg/poly2.hs, 2.010417, True
crash/funref.hs, 1.524381, True
neg/list00.hs, 1.884319, True
neg/vector1a.hs, 2.809276, True
neg/ex1-unsafe.hs, 2.676317, True
neg/trans.hs, 14.511810, True
neg/revshape.hs, 2.282968, True
neg/monad3.hs, 2.559998, True
neg/monad4.hs, 2.505228, True
neg/mr00.hs, 2.705687, True
../web/demos/esop2013-demo.hs, 2.235394, True
neg/ListQSort.hs, 5.855576, True
../web/demos/blank.hs, 1.643127, True
../web/demos/test000.hs, 2.059302, True
../web/demos/ListElts.hs, 4.009072, True
../web/demos/Foldr.hs, 3.340983, True
../web/demos/refinements101.hs, 4.490584, True
../web/demos/absref101.hs, 4.228064, True
neg/vector2.hs, 7.437015, True
../web/demos/treesum.hs, 2.331071, True
../web/demos/SimpleRefinements.hs, 5.872402, True
neg/ListMSort.hs, 14.789211, True
neg/meas5.hs, 8.015046, True
../web/demos/ListLength.hs, 5.284587, True
../web/demos/TellingLies.hs, 2.585534, True
pos/BST.hs, 34.656951, True
../web/demos/TerminationBasic.hs, 5.668610, True
../web/demos/KMeansHelper.hs, 10.574156, True
../web/demos/vectorbounds.hs, 7.733250, True
../web/demos/Termination.hs, 6.769200, True
../web/demos/MapReduce.hs, 12.488065, True
../benchmarks/esop2013-submission/Toy.hs, 5.871537, True
../web/demos/Array.hs, 12.944563, True
pos/zipper.hs, 44.580482, True
../web/demos/ListSort.hs, 17.639318, True
../web/demos/UniqueZipper.hs, 17.862792, True
../benchmarks/esop2013-submission/Fib.hs, 13.572001, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 13.881833, True
../benchmarks/esop2013-submission/ListSort.hs, 20.702533, True
pos/GhcListSort.hs, 45.854595, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 7.659486, True
pos/LambdaEval.hs, 82.145222, True
../web/demos/KMeans.hs, 37.780683, True
../web/demos/IMaps.hs, 48.965214, True
../web/demos/index-dependent-maps.hs, 50.805547, False
../benchmarks/esop2013-submission/Array.hs, 47.534230, True
../benchmarks/esop2013-submission/GhcListSort.hs, 45.182227, True
../web/demos/KMeansOrig.hs, 57.129011, True
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 27.372500, True
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 23.655586, True
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 10.063669, True
../web/demos/lenMapReduce.hs, 67.088021, True
neg/csv.hs, 73.173782, True
../web/demos/Map.hs, 62.763764, True
../web/demos/LambdaEval.hs, 76.070243, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 58.256881, True
pos/Map0.hs, 98.744056, True
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 20.081434, True
pos/Map2.hs, 103.545090, True
pos/Map.hs, 99.686065, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 19.692540, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 13.617428, True
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 37.660696, True
../web/demos/Order.hs, 94.146452, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 2.637930, True
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 37.990516, True
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 34.750418, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 28.890541, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 52.347542, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 5.790583, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 106.698982, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 62.820043, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 116.264546, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 55.215669, True
../benchmarks/esop2013-submission/Splay.hs, 143.658050, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 60.695248, True
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 95.854431, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 131.021480, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 125.374880, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 117.065254, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 219.635076, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 159.322881, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 157.705727, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 233.145724, True
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 165.793018, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.split.0.T.hs, 278.995746, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.split.1.T.hs, 280.638223, True
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 256.711428, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 279.090085, True
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 347.230062, True
../benchmarks/text-0.11.2.3/Data/Text.hs, 395.099009, True
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 379.233335, True
../benchmarks/esop2013-submission/Base.hs, 430.378937, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 433.143511, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 462.115994, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 529.844607, True
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 566.690167, True