liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_post_qualshrink_Mon_Jul_22_2013

test, time(s), result 
pos/ptr.hs, 0.311163, False 
pos/cont.hs, 0.714010, False 
pos/Mod1.hs, 2.814879, True 
pos/go.hs, 2.880907, True 
pos/datacon1.hs, 2.929265, True 
pos/selfList.hs, 2.979977, True 
pos/test00.old.hs, 3.106806, True 
pos/poly3a.hs, 3.220960, True 
pos/ite1.hs, 3.220354, True 
pos/niki1.hs, 3.023550, True 
pos/meas0.hs, 3.334252, True 
pos/extype.hs, 3.402850, True 
pos/meas9.hs, 3.402090, True 
pos/hello.hs, 3.405659, True 
pos/StrictPair1.hs, 3.406087, True 
pos/bar.hs, 3.403523, True 
pos/Abs.hs, 3.404240, True 
pos/ListConcat.hs, 3.405064, True 
pos/infix.hs, 2.694127, True 
pos/lets.hs, 3.411523, True 
pos/monad2.hs, 3.407504, True 
pos/grty3.hs, 3.402676, True 
pos/deptup1.hs, 3.410718, True 
pos/meas3.hs, 3.590902, True 
pos/stacks0.hs, 3.598128, True 
pos/ListISort.hs, 3.606489, True 
pos/take.hs, 3.782458, True 
pos/ptr3.hs, 0.374544, False 
pos/ListQSort-LType.hs, 3.910365, True 
pos/zipper0.hs, 3.920181, True 
pos/LiquidArray.hs, 1.340475, True 
pos/ptr2.hs, 0.211282, False 
pos/tyvar.hs, 0.716986, True 
pos/string00.hs, 1.290205, True 
pos/state00.hs, 1.333140, True 
pos/Loo.hs, 0.973758, True 
pos/adt0.hs, 1.477737, True 
pos/gimme.hs, 1.772462, True 
pos/state0.hs, 1.504419, True 
pos/deppair0.hs, 1.457084, True 
pos/StrictPair0.hs, 1.445083, True 
pos/data2.hs, 1.981594, True 
pos/meas2.hs, 1.475139, True 
pos/deppair1.hs, 1.552309, True 
pos/monad7.hs, 2.688553, True 
pos/maybe3.hs, 1.404530, True 
pos/ex01.hs, 1.047564, True 
pos/Ackermann.hs, 1.530337, True 
pos/range.hs, 2.656787, True 
pos/test00b.hs, 1.593098, True 
pos/alias01.hs, 1.129104, True 
pos/for.hs, 2.979581, True 
pos/profcrasher.hs, 1.540456, True 
pos/trans.hs, 3.231772, True 
pos/PairMeasure0.hs, 0.969458, True 
pos/poly1.hs, 2.000084, True 
pos/unusedtyvars.hs, 1.011390, True 
pos/tupparse.hs, 1.577568, True 
pos/DataBase.hs, 1.758692, True 
pos/polyqual.hs, 3.903807, True 
pos/ex1.hs, 1.486284, True 
pos/maybe2.hs, 4.919800, True 
pos/exp0.hs, 1.822190, True 
pos/meas8.hs, 2.162326, True 
pos/test2.hs, 2.410695, True 
pos/listSet.hs, 3.642560, True 
pos/ListRange.hs, 3.144795, True 
pos/pair.hs, 6.132650, True 
pos/meas11.hs, 2.279289, True 
pos/deptup3.hs, 2.965070, True 
pos/meas7.hs, 2.051183, True 
pos/initarray.hs, 5.947400, True 
pos/fixme.hs, 5.946616, True 
pos/maybe.hs, 4.780554, True 
pos/testMRec.hs, 2.298536, True 
pos/PairMeasure.hs, 2.725702, True 
pos/modTest.hs, 6.203965, True 
pos/compare1.hs, 6.204452, True 
pos/vector0.hs, 6.206750, True 
pos/go_ugly_type.hs, 2.473128, True 
pos/gadtEval.hs, 6.293544, True 
pos/LambdaEvalMini.hs, 9.644785, True 
pos/Goo.hs, 1.835842, True 
pos/pair0.hs, 3.583181, True 
pos/GhcSort2.hs, 5.267073, True 
pos/ListLen.hs, 4.432925, True 
pos/GhcSort1.hs, 9.856812, True 
pos/mapreduce.hs, 6.265078, True 
pos/test000.hs, 1.649104, True 
pos/HigherOrderRecFun.hs, 0.951048, True 
pos/monad1.hs, 0.996214, True 
pos/tagBinder.hs, 0.742652, True 
pos/grty2.hs, 1.334842, True 
pos/poly3.hs, 1.346324, True 
pos/poly4.hs, 1.182481, True 
pos/test1.hs, 1.150681, True 
pos/anftest.hs, 1.286332, True 
pos/maybe0.hs, 1.227779, True 
pos/vector1b.hs, 3.830763, True 
pos/range1.hs, 1.371862, True 
pos/grty0.hs, 0.825628, True 
pos/zipW.hs, 1.893828, True 
pos/wrap0.hs, 1.398134, True 
pos/monad6.hs, 1.452463, True 
pos/top0.hs, 1.518432, True 
pos/meas10.hs, 1.396027, True 
pos/maybe1.hs, 1.523145, True 
pos/mapTvCrash.hs, 1.042198, True 
pos/scanr.hs, 2.043462, True 
pos/meas6.hs, 2.595654, True 
pos/maybe4.hs, 1.160417, True 
pos/alias00.hs, 0.946957, True 
pos/vector1.hs, 2.656984, True 
pos/ite.hs, 1.009828, True 
pos/foldr.hs, 1.232085, True 
pos/monad5.hs, 2.742500, True 
pos/ListElem.hs, 1.193633, True 
pos/poly0.hs, 1.250817, True 
pos/pargs.hs, 0.937116, True 
pos/deptupW.hs, 1.973628, True 
pos/primInt0.hs, 2.363702, True 
pos/foldN.hs, 1.508902, True 
pos/niki.hs, 1.552158, True 
pos/record1.hs, 0.988012, True 
pos/stateInvarint.hs, 2.668801, True 
pos/wrap1.hs, 4.751499, True 
pos/lex.hs, 2.289586, True 
pos/listAnf.hs, 2.216428, True 
pos/deepmeas0.hs, 2.547245, True 
pos/meas0a.hs, 1.992744, True 
pos/datacon0.hs, 2.102161, True 
pos/cont1.hs, 1.125684, True 
pos/grty1.hs, 1.315567, True 
pos/spec0.hs, 2.183293, True 
pos/deptup.hs, 4.238092, True 
pos/deptup0.hs, 1.809837, True 
pos/listSetDemo.hs, 3.116918, True 
pos/meas4.hs, 2.822332, True 
pos/ex0.hs, 3.149768, True 
pos/ListISort-LType.hs, 4.854396, True 
pos/rangeAdt.hs, 4.752920, True 
pos/funcomposition.hs, 1.944289, True 
pos/nullterm.hs, 4.028318, True 
pos/test00c.hs, 3.961088, True 
pos/meas1.hs, 2.731848, True 
pos/vector00.hs, 2.915342, True 
pos/ListRange-LType.hs, 2.975096, True 
pos/meas00a.hs, 2.352093, True 
pos/zipSO.hs, 5.988207, True 
pos/polyfun.hs, 1.923440, True 
pos/maybe000.hs, 1.997695, True 
pos/ListKeys.hs, 1.835978, True 
pos/pred.hs, 1.504589, True 
pos/poslist.hs, 3.952061, True 
pos/maybe00.hs, 1.613744, True 
pos/test0.hs, 1.373707, True 
pos/ListMSort-LType.hs, 9.817265, True 
pos/zipW1.hs, 1.221765, True 
pos/ListSort.hs, 12.436800, True 
pos/LambdaEvalSuperTiny.hs, 4.708412, True 
pos/test00.hs, 1.591027, True 
pos/record0.hs, 1.642779, True 
pos/pargs1.hs, 1.097365, True 
pos/monad.hs, 1.025438, True 
pos/Moo.hs, 1.145795, True 
pos/testRec.hs, 2.585951, True 
pos/Mod2.hs, 1.274185, True 
pos/compare2.hs, 1.658496, True 
pos/poly2.hs, 1.642629, True 
pos/poly2-degenerate.hs, 2.301426, True 
pos/cmptag0.hs, 1.952988, True 
pos/qualTest.hs, 1.764184, True 
pos/poslist_dc.hs, 2.665984, True 
pos/zipW2.hs, 1.461981, True 
pos/compare.hs, 2.169691, True 
pos/Test761.hs, 1.959886, True 
pos/BST000.hs, 7.291769, True 
pos/rec_annot_go.hs, 3.487415, True 
pos/vector1a.hs, 3.401124, True 
pos/term0.hs, 2.280048, True 
pos/forloop.hs, 3.504442, True 
pos/risers.hs, 11.636738, True 
pos/LambdaEvalTiny.hs, 9.512917, True 
neg/truespec.hs, 1.345447, True 
neg/meas3.hs, 1.773242, True 
pos/duplicate-bind.hs, 1.925030, True 
neg/meas9.hs, 1.704512, True 
pos/transTAG.hs, 12.156537, True 
neg/ListConcat.hs, 1.371123, True 
neg/polypred.hs, 1.844185, True 
neg/funref.hs, 0.955486, True 
neg/meas0.hs, 1.639619, True 
neg/grty3.hs, 1.455958, True 
neg/string00.hs, 1.416308, True 
pos/pair00.hs, 4.244416, True 
neg/state00.hs, 1.630690, True 
pos/ListQSort.hs, 9.452584, True 
neg/state0.hs, 1.667326, True 
neg/deppair0.hs, 1.568584, True 
pos/ListMSort.hs, 13.568469, True 
pos/vector2.hs, 6.490136, True 
neg/StrictPair0.hs, 1.282271, True 
neg/errorloc.hs, 1.888974, True 
neg/stacks.hs, 0.647180, True 
neg/meas2.hs, 1.481560, True 
pos/meas5.hs, 4.913340, True 
neg/test00b.hs, 1.509955, True 
pos/ListLen-LType.hs, 7.426104, True 
neg/fixme2.hs, 0.078766, True 
neg/monad7.hs, 3.387804, True 
neg/poly1.hs, 1.392014, True 
neg/test2.hs, 1.181662, True 
neg/sumPoly.hs, 1.198121, True 
neg/StrictPair1.hs, 5.367434, True 
neg/ListISort.hs, 4.602900, True 
neg/meas7.hs, 0.857746, True 
neg/PairMeasure.hs, 1.295953, True 
neg/foldN1.hs, 1.581181, True 
pos/anfbug.hs, 7.876052, True 
neg/vector0.hs, 3.911898, True 
neg/monad6.hs, 1.405456, True 
neg/ListRange.hs, 2.683873, True 
neg/pair.hs, 4.926224, True 
neg/mapreduce-tiny.hs, 1.811176, True 
neg/partial.hs, 1.098038, True 
neg/monad5.hs, 1.869273, True 
pos/mapreduce-bare.hs, 15.201227, True 
neg/test1.hs, 1.519394, True 
neg/grty0.hs, 1.357576, True 
neg/grty2.hs, 2.266928, True 
neg/ListElem.hs, 1.066829, True 
neg/concat2.hs, 3.694318, True 
neg/wrap0.hs, 1.887392, True 
neg/range.hs, 5.283125, True 
neg/deptupW.hs, 1.564466, True 
neg/ass0.hs, 1.113127, True 
neg/alias00.hs, 1.086977, True 
neg/poly0.hs, 2.076148, True 
neg/sumk.hs, 1.908467, True 
neg/pred.hs, 0.588691, True 
neg/pair0.hs, 4.580516, True 
neg/pargs.hs, 1.789772, True 
neg/foldN.hs, 1.800974, True 
neg/fixme0.hs, 1.835246, True 
neg/test00a.hs, 1.680709, True 
neg/vector0a.hs, 2.055092, True 
neg/ListKeys.hs, 1.363403, True 
neg/ListISort-LType.hs, 2.623854, True 
neg/funcomposition.hs, 1.672418, True 
neg/fixme1.hs, 3.807135, True 
neg/wrap1.hs, 4.877272, True 
neg/vector00.hs, 2.338684, True 
neg/grty1.hs, 2.677527, True 
neg/pargs1.hs, 1.189433, True 
neg/record0.hs, 1.376788, True 
neg/test00.hs, 1.570981, True 
neg/poly2-degenerate.hs, 1.619419, True 
neg/testRec.hs, 2.104140, True 
neg/poly2.hs, 1.372620, True 
neg/ex1-unsafe.hs, 1.448019, True 
neg/concat.hs, 3.625112, True 
neg/monad4.hs, 1.599302, True 
neg/list00.hs, 1.358821, True 
neg/concat1.hs, 4.194725, True 
neg/ex0-unsafe.hs, 2.541630, True 
neg/poslist.hs, 3.990260, True 
pos/GhcSort3.hs, 13.838501, True 
neg/monad3.hs, 2.260901, True 
neg/vector1a.hs, 2.637191, True 
../web/demos/esop2013-demo.hs, 1.993116, True 
neg/ListQSort.hs, 4.824519, True 
neg/mr00.hs, 2.580063, True 
neg/trans.hs, 10.372834, True 
../web/demos/blank.hs, 1.179790, True 
neg/mapreduce.hs, 10.384649, True 
../web/demos/Composition.hs, 2.040231, False 
../web/demos/Foldr.hs, 2.054344, True 
../web/demos/Loop.hs, 3.054198, False 
../web/demos/test000.hs, 1.570114, True 
../web/demos/refinements101reax.hs, 2.193446, False 
../web/demos/ListElts.hs, 3.668085, True 
../web/demos/refinements101.hs, 4.132633, True 
../web/demos/absref101.hs, 3.552145, True 
../web/demos/treesum.hs, 2.059307, True 
neg/meas5.hs, 5.893088, True 
neg/vector2.hs, 7.493901, True 
../web/demos/SimpleRefinements.hs, 6.042695, True 
neg/ListMSort.hs, 12.025020, True 
../web/demos/ListLength.hs, 6.021521, True 
pos/zipper.hs, 29.717256, True 
../web/demos/KMeansHelper.hs, 9.715887, True 
../web/demos/vectorbounds.hs, 7.760847, True 
../web/demos/MapReduce.hs, 11.657698, True 
../benchmarks/esop2013-submission/Toy.hs, 8.338792, True 
pos/BST.hs, 32.555486, True 
../web/demos/Array.hs, 15.029361, True 
../web/demos/UniqueZipper.hs, 17.162310, True 
../benchmarks/esop2013-submission/Fib.hs, 15.352574, True 
../web/demos/ListSort.hs, 20.123455, True 
../benchmarks/esop2013-submission/ListSort.hs, 19.271712, True 
../benchmarks/esop2013-submission/Base0.hs, 22.936361, False 
pos/GhcListSort.hs, 40.569693, True 
../web/demos/KMeans.hs, 28.468410, True 
pos/SS.hs, 43.684523, False 
pos/LambdaEval.hs, 64.470653, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 29.324019, True 
../benchmarks/esop2013-submission/Array.hs, 31.349156, True 
../web/demos/TalkingAboutSets.hs, 33.939703, False 
../web/demos/IMaps.hs, 36.852864, True 
../web/demos/index-dependent-maps.hs, 35.304840, True 
../web/demos/KMeansOrig.hs, 37.604629, True 
../web/demos/lenMapReduce.hs, 41.551780, True 
../web/demos/Map.hs, 38.654429, True 
../web/demos/LambdaEval.hs, 44.566919, True 
pos/Map.hs, 57.858313, True 
pos/Map0.hs, 62.561761, True 
../benchmarks/esop2013-submission/Splay.hs, 57.182731, True 
../benchmarks/esop2013-submission/Base.hs, 320.767672, True