regrtest_results_goto_Mon_Jul_14_master

test, time(s), result 
pos/monad2.hs, 1.526208, True 
pos/extype.hs, 1.580124, True 
pos/ResolveB.hs, 1.599463, True 
pos/datacon1.hs, 1.594830, True 
pos/Abs.hs, 1.612694, True 
pos/hello.hs, 1.675167, True 
pos/StrictPair1.hs, 1.717963, True 
pos/TokenType.hs, 1.675864, True 
pos/tup0.hs, 1.738700, True 
pos/StackClass.hs, 1.813880, True 
pos/ite1.hs, 1.838591, True 
pos/poly3a.hs, 1.890018, True 
pos/ex2.hs, 1.945578, True 
pos/meas9.hs, 2.041892, True 
pos/Holes.hs, 2.159324, True 
pos/meas3.hs, 2.307241, True 
pos/lets.hs, 2.396104, True 
pos/deptup1.hs, 2.617572, True 
pos/take.hs, 3.074086, True 
pos/ListConcat.hs, 1.600249, True 
pos/selfList.hs, 3.090870, True 
pos/go.hs, 1.464817, True 
pos/Mod1.hs, 1.523439, True 
pos/bar.hs, 1.533011, True 
pos/test00.old.hs, 1.726280, True 
pos/grty3.hs, 1.577148, True 
pos/Invariants.hs, 1.612806, True 
pos/meas0.hs, 1.834088, True 
pos/infix.hs, 1.589474, True 
pos/niki1.hs, 1.781662, True 
pos/LiquidArray.hs, 1.643469, True 
pos/zipper0.hs, 3.723261, True 
pos/ListISort.hs, 2.772992, True 
pos/gimme.hs, 2.150070, True 
pos/string00.hs, 1.648003, True 
pos/state00.hs, 1.683158, True 
pos/adt0.hs, 1.608618, True 
pos/stacks0.hs, 5.215416, True 
pos/ListQSort-LType.hs, 5.227258, True 
pos/GhcSort3.T.hs, 5.229923, True 
pos/LocalSpec.hs, 2.086980, True 
pos/TopLevel.hs, 1.932024, True 
pos/monad7.hs, 3.602069, True 
pos/Permutation.hs, 5.813083, True 
pos/data2.hs, 2.615153, True 
pos/trans.hs, 2.858264, True 
pos/polyqual.hs, 3.033767, True 
pos/modTest.hs, 1.909364, True 
pos/state0.hs, 2.619669, True 
pos/for.hs, 2.698141, True 
pos/range.hs, 2.925959, True 
pos/vecloop.hs, 3.876133, True 
pos/StateF.hs, 2.837445, True 
pos/tyclass0.hs, 1.453275, True 
pos/compare1.hs, 2.114053, True 
pos/tyfam0.hs, 2.137492, True 
pos/Loo.hs, 2.081747, True 
pos/gadtEval.hs, 4.254923, True 
pos/NoCaseExpand.hs, 7.626915, True 
pos/deppair0.hs, 2.276457, True 
pos/tyvar.hs, 1.784854, True 
pos/StrictPair0.hs, 1.558609, True 
pos/initarray.hs, 4.482476, True 
pos/SimplerNotation.hs, 1.677947, True 
pos/deppair1.hs, 1.720451, True 
pos/meas2.hs, 1.667141, True 
pos/LazyWhere1.hs, 1.801161, True 
pos/ResolveA.hs, 1.616992, True 
pos/Ackermann.hs, 1.640377, True 
pos/maybe3.hs, 1.597147, True 
pos/test00b.hs, 1.774170, True 
pos/fixme.hs, 3.635572, True 
pos/vector0.hs, 3.636360, True 
pos/StateF0.hs, 3.391603, True 
pos/profcrasher.hs, 1.284480, True 
pos/ex01.hs, 1.648763, True 
pos/pair.hs, 6.760393, True 
pos/maybe2.hs, 7.307752, True 
pos/RecordSelectorError.hs, 1.542292, True 
pos/alias01.hs, 1.522614, True 
pos/poly1.hs, 1.903127, True 
pos/Graph.hs, 1.812323, True 
pos/StateF00.hs, 1.882062, True 
pos/tupparse.hs, 1.936788, True 
pos/PairMeasure0.hs, 1.630811, True 
pos/DataBase.hs, 2.293576, True 
pos/datacon-inv.hs, 1.726058, True 
pos/unusedtyvars.hs, 1.853253, True 
pos/listSet.hs, 3.003646, True 
pos/ex1.hs, 2.414198, True 
pos/test2.hs, 1.858901, True 
pos/NoExhaustiveGuardsError.hs, 1.719914, True 
pos/maybe.hs, 4.197457, True 
pos/exp0.hs, 2.118968, True 
pos/deptup3.hs, 2.374988, True 
pos/meas8.hs, 2.453927, True 
pos/ListRange.hs, 3.110327, True 
pos/PairMeasure.hs, 2.379994, True 
pos/comprehensionTerm.hs, 6.391509, True 
pos/meas11.hs, 2.335485, True 
pos/go_ugly_type.hs, 2.270190, True 
pos/meas7.hs, 2.044430, True 
pos/Goo.hs, 1.661869, True 
pos/ListLen.hs, 4.850445, True 
pos/GhcSort2.hs, 6.124884, True 
pos/test000.hs, 1.861939, True 
pos/mapreduce.hs, 7.723135, True 
pos/Class.hs, 3.503527, True 
pos/poly3.hs, 2.017170, True 
pos/grty2.hs, 2.068393, True 
pos/zipW.hs, 2.178699, True 
pos/Even0.hs, 2.080377, True 
pos/vector1b.hs, 3.776054, True 
pos/GhcSort1.hs, 14.249835, True 
pos/HigherOrderRecFun.hs, 1.658419, True 
pos/wrap1.hs, 3.004200, True 
pos/meas6.hs, 2.890984, True 
pos/monad1.hs, 1.674065, True 
pos/transpose.hs, 7.477872, True 
pos/LambdaEvalMini.hs, 15.294177, True 
pos/scanr.hs, 2.449609, True 
pos/imp0.hs, 1.620585, True 
pos/HedgeUnion.hs, 2.430109, True 
pos/anftest.hs, 1.796198, True 
pos/pair0.hs, 6.921721, True 
pos/poly4.hs, 1.815943, True 
pos/monad6.hs, 2.555113, True 
pos/range1.hs, 2.274166, True 
pos/tagBinder.hs, 1.816355, True 
pos/pragma0.hs, 1.795072, True 
pos/top0.hs, 2.271462, True 
pos/vector1.hs, 3.332760, True 
pos/monad5.hs, 3.456468, True 
pos/maybe0.hs, 1.981242, True 
pos/ListReverse-LType.hs, 2.547059, True 
pos/TypeAlias.hs, 2.270546, True 
pos/wrap0.hs, 3.060186, True 
pos/test1.hs, 1.744521, True 
pos/grty0.hs, 1.533217, True 
pos/mutrec.hs, 2.273295, True 
pos/maybe4.hs, 1.901797, True 
pos/meas10.hs, 2.420097, True 
pos/deptupW.hs, 2.232687, True 
pos/mapTvCrash.hs, 2.370027, True 
pos/partial-tycon.hs, 1.855911, True 
pos/SafePartialFunctions.hs, 2.470257, True 
pos/maybe1.hs, 3.518283, True 
pos/Coercion.hs, 2.756829, True 
pos/foldr.hs, 2.201381, True 
pos/primInt0.hs, 2.873502, True 
pos/ListElem.hs, 2.586780, True 
pos/poly0.hs, 2.757884, True 
pos/RBTree-height.hs, 19.504061, True 
pos/stateInvarint.hs, 3.695088, True 
pos/lex.hs, 2.580166, True 
pos/transTAG.hs, 7.104157, True 
pos/deptup.hs, 3.922109, True 
pos/alias00.hs, 2.088671, True 
pos/fixme0.hs, 1.937304, True 
pos/ite.hs, 1.919332, True 
pos/StreamInvariants.hs, 1.782827, True 
pos/Even.hs, 2.156767, True 
pos/foldN.hs, 2.044341, True 
pos/zipSO.hs, 4.104017, True 
pos/ToyMVar.hs, 3.047306, True 
pos/RecSelector.hs, 1.865527, True 
pos/Class2.hs, 1.867247, True 
pos/pargs.hs, 1.582433, True 
pos/Assume.hs, 1.415665, True 
pos/niki.hs, 2.782362, True 
pos/deepmeas0.hs, 3.178533, True 
pos/record1.hs, 2.018756, True 
pos/risers.hs, 10.088611, True 
pos/meas0a.hs, 2.129927, True 
pos/Avg.hs, 1.803101, True 
pos/meas00.hs, 1.682550, True 
pos/MutualRec.hs, 10.457953, True 
pos/datacon0.hs, 2.342528, True 
pos/listAnf.hs, 2.660726, True 
pos/State1.hs, 1.827390, True 
pos/ListISort-LType.hs, 5.419087, True 
pos/spec0.hs, 1.657122, True 
pos/ListSort.hs, 16.270201, True 
pos/RecQSort0.hs, 2.586535, True 
pos/nullterm.hs, 3.643701, True 
pos/LocalLazy.hs, 2.040478, True 
pos/rangeAdt.hs, 5.516848, True 
pos/cont1.hs, 1.852580, True 
pos/grty1.hs, 2.034248, True 
pos/listSetDemo.hs, 3.526076, True 
pos/ex0.hs, 2.513147, True 
pos/deptup0.hs, 2.498756, True 
pos/meas4.hs, 3.018360, True 
pos/test00c.hs, 3.906451, True 
pos/ListMSort.hs, 10.449202, True 
pos/vector00.hs, 2.034519, True 
pos/Bar.hs, 1.641436, True 
pos/maybe000.hs, 1.440350, True 
pos/meas1.hs, 2.067426, True 
pos/poslist.hs, 3.186871, True 
pos/LambdaEvalTiny.hs, 6.061564, True 
pos/meas00a.hs, 2.044350, True 
pos/funcomposition.hs, 2.424235, True 
pos/ListMSort-LType.hs, 15.172623, True 
pos/ListRange-LType.hs, 3.106527, True 
pos/LambdaEvalSuperTiny.hs, 4.289346, True 
pos/zipper.hs, 11.076359, True 
pos/polyfun.hs, 2.131727, True 
pos/Infinity.hs, 2.412695, True 
pos/ListKeys.hs, 2.077219, True 
pos/pred.hs, 2.044953, True 
pos/test0.hs, 2.117484, True 
pos/maybe00.hs, 2.355889, True 
pos/test00.hs, 2.142365, True 
pos/zipW1.hs, 2.196916, True 
pos/record0.hs, 2.285273, True 
pos/compare2.hs, 2.011122, True 
pos/RealProps.hs, 2.154064, True 
pos/Foo.hs, 1.813541, True 
pos/rec_annot_go.hs, 2.334559, True 
pos/Measures.hs, 1.798622, True 
pos/testRec.hs, 2.862228, True 
pos/Resolve.hs, 1.998165, True 
pos/GeneralizedTermination.hs, 2.765780, True 
pos/pargs1.hs, 1.727230, True 
pos/State.hs, 3.764194, True 
pos/Overwrite.hs, 2.073966, True 
pos/LazyWhere.hs, 1.815297, True 
pos/poly2-degenerate.hs, 2.097335, True 
pos/poslist_dc.hs, 2.523979, True 
pos/Measures1.hs, 1.950420, True 
pos/Moo.hs, 1.985599, True 
pos/Mod2.hs, 2.300124, True 
pos/poly2.hs, 2.324337, True 
pos/State0.hs, 2.743495, True 
pos/ResolvePred.hs, 2.332627, True 
pos/RecQSort.hs, 3.767147, True 
pos/ListLen-LType.hs, 5.152461, True 
pos/BST000.hs, 9.083790, True 
pos/GCD.hs, 3.594095, True 
pos/multi-pred-app-00.hs, 1.981962, True 
pos/vector1a.hs, 3.782391, True 
pos/anfbug.hs, 2.883598, True 
pos/ListQSort.hs, 9.238587, True 
pos/cmptag0.hs, 2.542379, True 
pos/Test761.hs, 1.992894, True 
pos/forloop.hs, 3.548496, True 
pos/zipW2.hs, 1.927760, True 
pos/compare.hs, 2.631568, True 
pos/qualTest.hs, 2.996345, True 
pos/malformed0.hs, 4.572760, True 
pos/duplicate-bind.hs, 1.959090, True 
neg/Strata.hs, 1.938757, True 
pos/vector2.hs, 5.775842, True 
pos/mapreduce-bare.hs, 15.937930, True 
neg/StrictPair1.hs, 2.200087, True 
neg/meas3.hs, 2.525019, True 
pos/term0.hs, 3.154164, True 
neg/meas9.hs, 2.370080, True 
neg/datacon-eq.hs, 1.850130, True 
neg/truespec.hs, 2.122065, True 
neg/polypred.hs, 2.289324, True 
neg/ListConcat.hs, 2.139454, True 
neg/Class1.hs, 3.169028, True 
neg/pragma0-unsafe.hs, 1.526130, True 
neg/meas0.hs, 2.018473, True 
neg/grty3.hs, 2.205578, True 
neg/Invariants.hs, 2.214513, True 
neg/Class4.hs, 2.981278, True 
neg/Class5.hs, 3.188947, True 
neg/state00.hs, 3.595519, True 
neg/string00.hs, 3.850168, True 
neg/LocalSpec.hs, 3.535350, True 
pos/pair00.hs, 7.127134, True 
pos/meas5.hs, 6.835442, True 
neg/TopLevel.hs, 3.371526, True 
neg/fixme.hs, 2.703816, True 
neg/state0.hs, 3.396075, True 
neg/monad7.hs, 4.926758, True 
neg/deppair0.hs, 3.181548, True 
neg/ListISort.hs, 6.276560, True 
neg/vector0.hs, 4.610298, True 
neg/LazyWhere1.hs, 1.997362, True 
neg/StrictPair0.hs, 2.192432, True 
neg/errorloc.hs, 2.671057, True 
neg/Class3.hs, 2.549812, True 
neg/tyclass0-unsafe.hs, 2.038256, True 
neg/test00b.hs, 2.402856, True 
neg/meas2.hs, 2.648025, True 
neg/Baz.hs, 2.009484, True 
neg/poly1.hs, 2.546519, True 
neg/trans.hs, 6.798400, True 
neg/range.hs, 6.764920, True 
neg/pair.hs, 7.720058, True 
neg/NoExhaustiveGuardsError.hs, 1.614780, True 
neg/nestedRecursion.hs, 2.459616, True 
neg/ListRange.hs, 2.101700, True 
pos/RBTree-color.hs, 33.708643, True 
neg/stacks.hs, 3.170274, True 
pos/GhcSort3.hs, 14.401776, True 
neg/sumPoly.hs, 2.155203, True 
neg/test2.hs, 2.334829, True 
neg/meas7.hs, 2.052931, True 
neg/concat2.hs, 4.661417, True 
neg/foldN1.hs, 2.661281, True 
pos/RBTree-col-height.hs, 38.827409, True 
neg/CastedTotality.hs, 2.650262, True 
neg/PairMeasure.hs, 3.413491, True 
neg/prune0.hs, 2.064413, True 
neg/HolesTop.hs, 1.668577, True 
neg/test1.hs, 2.164603, True 
neg/grty0.hs, 1.592072, True 
neg/monad6.hs, 2.406363, True 
neg/SafePartialFunctions.hs, 1.513123, True 
neg/wrap0.hs, 2.480563, True 
neg/mapreduce-tiny.hs, 2.748637, True 
neg/monad5.hs, 2.979229, True 
neg/wrap1.hs, 3.975188, True 
neg/grty2.hs, 3.953978, True 
neg/ass0.hs, 1.875591, True 
neg/partial.hs, 3.113082, True 
neg/poly0.hs, 2.450084, True 
neg/ListElem.hs, 2.502277, True 
neg/StreamInvariants.hs, 1.973294, True 
neg/Even.hs, 2.230050, True 
neg/alias00.hs, 2.418159, True 
neg/qsloop.hs, 4.683351, True 
neg/deptupW.hs, 3.320038, True 
neg/sumk.hs, 2.861906, True 
neg/pargs.hs, 2.323946, True 
neg/RecSelector.hs, 2.470313, True 
neg/foldN.hs, 2.569260, True 
neg/Class2.hs, 2.864122, True 
pos/linspace.hs, 46.548267, True 
neg/testRec.hs, 0.140841, True 
neg/pair0.hs, 8.034522, True 
neg/mapreduce.hs, 10.697406, True 
neg/pred.hs, 1.161902, True 
neg/ListISort-LType.hs, 4.695128, True 
neg/vector0a.hs, 3.079740, True 
neg/test00a.hs, 2.455866, True 
neg/ListKeys.hs, 2.097122, True 
neg/record0.hs, 1.366193, True 
neg/test00.hs, 1.490938, True 
neg/vector00.hs, 2.331233, True 
neg/ex2-unsafe.hs, 2.158404, True 
neg/NoMethodBindingError.hs, 2.360889, True 
neg/concat.hs, 3.617596, True 
neg/funcomposition.hs, 2.692538, True 
neg/Eval.hs, 1.848839, True 
neg/concat1.hs, 4.663468, True 
neg/grty1.hs, 4.339592, True 
neg/RG.hs, 4.715524, True 
neg/poslist.hs, 4.668465, True 
neg/pargs1.hs, 2.191056, True 
neg/GeneralizedTermination.hs, 2.649521, True 
neg/LazyWhere.hs, 2.326022, True 
neg/poly2.hs, 2.230124, True 
neg/ex1-unsafe.hs, 2.311109, True 
neg/poly2-degenerate.hs, 2.652519, True 
neg/ex0-unsafe.hs, 3.081052, True 
neg/monad4.hs, 2.757027, True 
neg/RecQSort.hs, 3.458895, True 
neg/multi-pred-app-00.hs, 2.475362, True 
neg/vector1a.hs, 3.702478, True 
neg/monad3.hs, 3.342535, True 
crash/funref.hs, 1.734901, True 
neg/list00.hs, 2.564882, True 
crash/Unbound.hs, 1.933450, True 
crash/typeAliasDup.hs, 2.309277, True 
neg/ListQSort.hs, 6.693838, True 
neg/risers.hs, 12.337624, True 
neg/mr00.hs, 3.809296, True 
neg/revshape.hs, 2.841487, True 
neg/vector2.hs, 6.457698, True 
neg/csv.hs, 13.611231, True 
neg/ListMSort.hs, 14.483599, True 
neg/meas5.hs, 6.412465, True 
../benchmarks/esop2013-submission/Toy.hs, 6.179106, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 5.078918, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 9.486325, True 
pos/BST.hs, 47.489456, True 
../benchmarks/esop2013-submission/Fib.hs, 16.404438, True 
../benchmarks/esop2013-submission/ListSort.hs, 18.065466, True 
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 13.760750, True 
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 13.809595, True 
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 9.527899, True 
pos/GhcListSort.hs, 47.679936, True 
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 10.680308, True 
pos/LambdaEval.hs, 85.949191, True 
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 15.821898, True 
../benchmarks/esop2013-submission/Array.hs, 35.156253, True 
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 18.079481, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 4.259026, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 17.148353, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 5.941641, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 43.300081, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 44.302462, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 49.352698, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 49.039030, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 2.530125, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 10.107301, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 36.329103, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 18.528927, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 39.245236, True 
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 48.022056, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 3.552097, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 25.508611, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 53.554513, True 
pos/Map2.hs, 116.382826, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 38.750419, True 
pos/Map0.hs, 118.407187, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 53.011294, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 49.641736, True 
pos/Map.hs, 120.812001, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 59.696076, True 
pos/RBTree-ord.hs, 128.758508, True 
../benchmarks/esop2013-submission/Splay.hs, 112.030470, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 116.021439, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 118.467773, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 72.065022, True 
pos/RBTree.hs, 184.211479, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 148.421346, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 130.503974, True 
pos/OrdList.hs, 196.968714, True 
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 161.785666, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 174.495412, True 
../benchmarks/text-0.11.2.3/Data/Text.hs, 173.872642, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 181.626987, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 195.125440, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 240.192832, True 
../benchmarks/esop2013-submission/Base.hs, 295.235727, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 333.893841, True