regrtest_results_goto_Thu_Nov_21_2013-lazyinst

test, time(s), result 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 252.061746, False 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 227.477661, False 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.split.0.T.hs, 170.056221, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.split.1.T.hs, 154.424913, False 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 72.812497, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 144.286836, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 132.288201, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 40.456182, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 386.282660, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 69.165861, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 4.290036, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 392.358685, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 72.811741, True 
../benchmarks/bytestring-0.9.2.1/Data/Foo1.hs, 28.384602, True 
../benchmarks/esop2013-submission/Array.hs, 29.506696, True 
../benchmarks/esop2013-submission/Base.hs, 308.726601, True 
../benchmarks/esop2013-submission/Fib.hs, 8.587903, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 25.129638, True 
../benchmarks/esop2013-submission/ListSort.hs, 10.725564, True 
../benchmarks/esop2013-submission/Splay.hs, 80.835837, True 
../benchmarks/esop2013-submission/Toy.hs, 4.335366, True 
../benchmarks/text-0.11.2.3/Data/Text.hs, 272.830975, True 
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 25.675606, True 
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 214.700005, True 
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 25.157724, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 159.138846, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 24.104620, True 
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 18.158930, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 259.980143, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 75.821913, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 43.103737, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 29.220730, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 15.942854, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 182.557208, True 
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 6.817344, True 
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 53.287848, True 
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 20.921891, True 
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 14.559856, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 86.357675, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 1.762114, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 8.695179, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 88.719042, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 15.659276, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 53.021603, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 51.922328, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 77.840555, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 26.831169, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 29.178372, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 4.959867, True 
../web/demos/Array.hs, 6.944371, True 
../web/demos/Foldr.hs, 1.710984, True 
../web/demos/IMaps.hs, 29.584548, True 
../web/demos/KMeans.hs, 21.453784, True 
../web/demos/KMeansHelper.hs, 6.304926, True 
../web/demos/KMeansOrig.hs, 32.442236, True 
../web/demos/LambdaEval.hs, 38.353263, True 
../web/demos/ListElts.hs, 2.361919, True 
../web/demos/ListLength.hs, 4.022078, True 
../web/demos/ListSort.hs, 11.595828, True 
../web/demos/Map.hs, 31.433325, True 
../web/demos/MapReduce.hs, 7.747673, True 
../web/demos/Order.hs, 49.927250, True 
../web/demos/SimpleRefinements.hs, 3.490514, True 
../web/demos/TellingLies.hs, 2.034149, True 
../web/demos/Termination.hs, 4.562617, True 
../web/demos/TerminationBasic.hs, 3.534083, True 
../web/demos/UniqueZipper.hs, 10.681066, True 
../web/demos/absref101.hs, 2.745964, True 
../web/demos/blank.hs, 1.403712, True 
../web/demos/esop2013-demo.hs, 2.102912, True 
../web/demos/index-dependent-maps.hs, 30.518480, False 
../web/demos/lenMapReduce.hs, 31.841899, True 
../web/demos/refinements101.hs, 2.551209, True 
../web/demos/test000.hs, 1.474326, True 
../web/demos/treesum.hs, 2.116466, True 
../web/demos/vectorbounds.hs, 4.388265, True 
crash/funref.hs, 1.400431, True 
neg/Class1.hs, 2.063118, True 
neg/Class2.hs, 0.943682, True 
neg/Class3.hs, 1.469757, True 
neg/Eval.hs, 2.272467, True 
neg/Even.hs, 1.269822, True 
neg/GeneralizedTermination.hs, 2.187309, True 
neg/LazyWhere.hs, 1.529873, True 
neg/LazyWhere1.hs, 1.398103, True 
neg/ListConcat.hs, 2.091806, True 
neg/ListElem.hs, 1.672920, True 
neg/ListISort-LType.hs, 2.257632, True 
neg/ListISort.hs, 3.554205, True 
neg/ListKeys.hs, 1.956311, True 
neg/ListMSort.hs, 9.625737, True 
neg/ListQSort.hs, 4.897732, True 
neg/ListRange.hs, 1.760988, True 
neg/LocalSpec.hs, 1.633302, True 
neg/PairMeasure.hs, 1.643325, True 
neg/RecQSort.hs, 2.394857, True 
neg/SafePartialFunctions.hs, 2.300727, True 
neg/StrictPair0.hs, 1.871933, True 
neg/StrictPair1.hs, 4.395827, True 
neg/alias00.hs, 1.146435, True 
neg/ass0.hs, 1.552097, True 
neg/concat.hs, 3.076719, True 
neg/concat1.hs, 3.620538, True 
neg/concat2.hs, 2.385249, True 
neg/csv.hs, 39.981752, True 
neg/deppair0.hs, 1.788997, True 
neg/deptupW.hs, 2.177923, True 
neg/errorloc.hs, 1.916290, True 
neg/ex0-unsafe.hs, 2.402743, True 
neg/ex1-unsafe.hs, 1.849718, True 
neg/fixme.hs, 1.334215, True 
neg/foldN.hs, 1.339573, True 
neg/foldN1.hs, 1.908367, True 
neg/funcomposition.hs, 2.138539, True 
neg/grty0.hs, 2.072934, True 
neg/grty1.hs, 2.522358, True 
neg/grty2.hs, 2.468184, True 
neg/grty3.hs, 1.453087, True 
neg/list00.hs, 1.684819, True 
neg/mapreduce-tiny.hs, 1.978157, True 
neg/mapreduce.hs, 8.024011, True 
neg/meas0.hs, 2.115752, True 
neg/meas2.hs, 1.579947, True 
neg/meas3.hs, 1.491667, True 
neg/meas5.hs, 4.452327, True 
neg/meas7.hs, 1.804670, True 
neg/meas9.hs, 1.781102, True 
neg/monad3.hs, 1.862407, True 
neg/monad4.hs, 1.521963, True 
neg/monad5.hs, 1.781824, True 
neg/monad6.hs, 1.730963, True 
neg/monad7.hs, 2.886355, True 
neg/mr00.hs, 2.732204, True 
neg/nestedRecursion.hs, 1.403151, True 
neg/pair.hs, 4.283671, True 
neg/pair0.hs, 4.520842, True 
neg/pargs.hs, 0.750872, True 
neg/pargs1.hs, 1.647378, True 
neg/partial.hs, 2.117356, True 
neg/poly0.hs, 2.004277, True 
neg/poly1.hs, 1.809524, True 
neg/poly2-degenerate.hs, 1.543898, True 
neg/poly2.hs, 1.582858, True 
neg/polypred.hs, 1.340757, True 
neg/poslist.hs, 3.113390, True 
neg/pragma0-unsafe.hs, 1.319059, True 
neg/pred.hs, 1.188945, True 
neg/prune0.hs, 1.604863, True 
neg/qsloop.hs, 4.193969, True 
neg/range.hs, 5.069786, True 
neg/record0.hs, 1.813210, True 
neg/revshape.hs, 1.795174, True 
neg/stacks.hs, 1.224942, True 
neg/state0.hs, 1.564686, True 
neg/state00.hs, 1.674443, True 
neg/string00.hs, 1.624991, True 
neg/sumPoly.hs, 1.561584, True 
neg/sumk.hs, 1.417027, True 
neg/test00.hs, 1.733862, True 
neg/test00a.hs, 1.756142, True 
neg/test00b.hs, 1.484347, True 
neg/test1.hs, 1.806395, True 
neg/test2.hs, 1.382957, True 
neg/testRec.hs, 0.077503, True 
neg/trans.hs, 8.456952, True 
neg/truespec.hs, 1.631958, True 
neg/tyclass0-unsafe.hs, 1.609149, True 
neg/vector0.hs, 3.277925, True 
neg/vector00.hs, 2.110403, True 
neg/vector0a.hs, 2.345391, True 
neg/vector1a.hs, 2.710477, True 
neg/vector2.hs, 4.286195, True 
neg/wrap0.hs, 2.054354, True 
neg/wrap1.hs, 3.797391, True 
pos/Abs.hs, 1.683961, True 
pos/Ackermann.hs, 1.572011, True 
pos/BST.hs, 20.286123, True 
pos/BST000.hs, 4.905862, True 
pos/Class.hs, 2.219855, True 
pos/Coercion.hs, 2.001447, True 
pos/DataBase.hs, 1.687365, True 
pos/Even.hs, 1.456978, True 
pos/Even0.hs, 1.420291, True 
pos/GeneralizedTermination.hs, 2.050898, True 
pos/GhcListSort.hs, 24.806329, True 
pos/GhcSort1.hs, 10.683608, True 
pos/GhcSort2.hs, 4.647456, True 
pos/GhcSort3.T.hs, 4.796841, True 
pos/GhcSort3.hs, 8.823971, True 
pos/Goo.hs, 1.255737, True 
pos/Graph.hs, 4.001289, True 
pos/HedgeUnion.hs, 2.684789, True 
pos/HigherOrderRecFun.hs, 1.352801, True 
pos/Infinity.hs, 1.909269, True 
pos/LambdaEval.hs, 42.956421, True 
pos/LambdaEvalMini.hs, 9.505950, True 
pos/LambdaEvalSuperTiny.hs, 3.279427, True 
pos/LambdaEvalTiny.hs, 5.656456, True 
pos/LazyWhere.hs, 1.329632, True 
pos/LazyWhere1.hs, 1.295307, True 
pos/LiquidArray.hs, 1.469640, True 
pos/ListConcat.hs, 1.886238, True 
pos/ListElem.hs, 1.746898, True 
pos/ListISort-LType.hs, 2.827014, True 
pos/ListISort.hs, 2.176251, True 
pos/ListKeys.hs, 1.465657, True 
pos/ListLen-LType.hs, 4.118239, True 
pos/ListLen.hs, 4.350492, True 
pos/ListMSort-LType.hs, 6.857565, True 
pos/ListMSort.hs, 8.540278, True 
pos/ListQSort-LType.hs, 3.829065, True 
pos/ListQSort.hs, 5.145326, True 
pos/ListRange-LType.hs, 2.120524, True 
pos/ListRange.hs, 2.273905, True 
pos/ListReverse-LType.hs, 1.510907, True 
pos/ListSort.hs, 12.460225, True 
pos/LocalLazy.hs, 1.523833, True 
pos/LocalSpec.hs, 1.361918, True 
pos/Loo.hs, 1.500479, True 
pos/Map.hs, 45.261201, True 
pos/Map0.hs, 47.500622, True 
pos/Map2.hs, 45.249470, True 
pos/Mod1.hs, 1.416118, True 
pos/Mod2.hs, 1.486664, True 
pos/Moo.hs, 1.411398, True 
pos/MutualRec.hs, 9.685684, True 
pos/PairMeasure.hs, 1.528198, True 
pos/PairMeasure0.hs, 1.493957, True 
pos/Permutation.hs, 6.469942, True 
pos/RecQSort.hs, 2.522727, True 
pos/RecQSort0.hs, 2.266230, True 
pos/Resolve.hs, 1.397017, True 
pos/ResolveA.hs, 1.260703, True 
pos/ResolveB.hs, 42.956093, True 
pos/ResolvePred.hs, 1.596903, True 
pos/SafePartialFunctions.hs, 1.389527, True 
pos/StrictPair0.hs, 1.202058, True 
pos/StrictPair1.hs, 42.959041, True 
pos/Test761.hs, 1.428426, True 
pos/adt0.hs, 1.469091, True 
pos/alias00.hs, 1.246365, True 
pos/alias01.hs, 1.538477, True 
pos/anfbug.hs, 5.117453, True 
pos/anftest.hs, 1.749252, True 
pos/bar.hs, 1.552788, True 
pos/cmptag0.hs, 1.438177, True 
pos/compare.hs, 1.343195, True 
pos/compare1.hs, 1.876808, True 
pos/compare2.hs, 1.579447, True 
pos/comprehensionTerm.hs, 5.519466, True 
pos/cont1.hs, 1.392478, True 
pos/data2.hs, 1.536502, True 
pos/datacon0.hs, 1.749031, True 
pos/datacon1.hs, 1.692508, True 
pos/deepmeas0.hs, 2.274854, True 
pos/deppair0.hs, 1.375101, True 
pos/deppair1.hs, 1.469634, True 
pos/deptup.hs, 3.631405, True 
pos/deptup0.hs, 1.701007, True 
pos/deptup1.hs, 2.414675, True 
pos/deptup3.hs, 1.497033, True 
pos/deptupW.hs, 2.041112, True 
pos/duplicate-bind.hs, 1.686710, True 
pos/ex0.hs, 2.183401, True 
pos/ex01.hs, 1.426406, True 
pos/ex1.hs, 1.628861, True 
pos/ex2.hs, 9.502928, True 
pos/exp0.hs, 1.275291, True 
pos/extype.hs, 10.680813, True 
pos/fixme.hs, 4.035535, False 
pos/foldN.hs, 2.185066, True 
pos/foldr.hs, 1.598132, True 
pos/for.hs, 2.627646, True 
pos/forloop.hs, 2.057721, True 
pos/funcomposition.hs, 1.932138, True 
pos/gadtEval.hs, 5.702371, True 
pos/gimme.hs, 1.773627, True 
pos/go.hs, 1.587294, True 
pos/go_ugly_type.hs, 1.266279, True 
pos/grty0.hs, 1.325496, True 
pos/grty1.hs, 1.818657, True 
pos/grty2.hs, 1.407223, True 
pos/grty3.hs, 1.412055, True 
pos/hello.hs, 1.727870, True 
pos/imp0.hs, 1.360168, True 
pos/inccheck0.hs, 1.370624, True 
pos/infix.hs, 1.613031, True 
pos/initarray.hs, 2.809487, True 
pos/ite.hs, 1.127502, True 
pos/ite1.hs, 1.691430, True 
pos/lets.hs, 2.153040, True 
pos/lex.hs, 3.126720, True 
pos/listAnf.hs, 1.657457, True 
pos/listSet.hs, 2.179111, True 
pos/listSetDemo.hs, 2.936158, True 
pos/mapTvCrash.hs, 1.760579, True 
pos/mapreduce-bare.hs, 10.774098, True 
pos/mapreduce.hs, 7.082717, True 
pos/maybe.hs, 2.653161, True 
pos/maybe0.hs, 1.651407, True 
pos/maybe00.hs, 1.349161, True 
pos/maybe000.hs, 1.614677, True 
pos/maybe1.hs, 2.340868, True 
pos/maybe2.hs, 4.234011, True 
pos/maybe3.hs, 1.363726, True 
pos/maybe4.hs, 1.781236, True 
pos/meas0.hs, 1.524467, True 
pos/meas00.hs, 1.635599, True 
pos/meas000.hs, 1.603148, True 
pos/meas00a.hs, 1.624517, True 
pos/meas0a.hs, 1.828421, True 
pos/meas1.hs, 1.626660, True 
pos/meas10.hs, 2.138257, True 
pos/meas11.hs, 1.063476, True 
pos/meas2.hs, 1.122635, True 
pos/meas3.hs, 2.020775, True 
pos/meas4.hs, 1.660146, True 
pos/meas5.hs, 4.393940, True 
pos/meas6.hs, 1.713354, True 
pos/meas7.hs, 1.430742, True 
pos/meas8.hs, 1.912898, True 
pos/meas9.hs, 2.294435, True 
pos/modTest.hs, 1.440308, True 
pos/monad.hs, 1.397527, True 
pos/monad1.hs, 1.230636, True 
pos/monad2.hs, 1.963962, True 
pos/monad5.hs, 2.223755, True 
pos/monad6.hs, 1.754811, True 
pos/monad7.hs, 2.480962, True 
pos/mutrec.hs, 1.674415, True 
pos/niki.hs, 1.508613, True 
pos/niki1.hs, 1.438822, True 
pos/nullterm.hs, 2.371096, True 
pos/pair.hs, 3.111476, True 
pos/pair0.hs, 3.961942, True 
pos/pair00.hs, 3.185726, True 
pos/pargs.hs, 1.148306, True 
pos/pargs1.hs, 1.323170, True 
pos/poly0.hs, 1.813750, True 
pos/poly1.hs, 1.826537, True 
pos/poly2-degenerate.hs, 1.412018, True 
pos/poly2.hs, 1.451016, True 
pos/poly3.hs, 1.475560, True 
pos/poly3a.hs, 2.031624, True 
pos/poly4.hs, 1.508344, True 
pos/polyfun.hs, 1.645914, True 
pos/polyqual.hs, 3.431913, True 
pos/poslist.hs, 2.995362, True 
pos/poslist_dc.hs, 1.666819, True 
pos/pragma0.hs, 1.163079, True 
pos/pred.hs, 1.140928, True 
pos/primInt0.hs, 2.208779, True 
pos/profcrasher.hs, 1.407919, True 
pos/ptr2.hs, 5.834031, True 
pos/qualTest.hs, 1.592801, True 
pos/range.hs, 2.373239, True 
pos/range1.hs, 1.718476, True 
pos/rangeAdt.hs, 3.826707, True 
pos/rec_annot_go.hs, 2.046716, True 
pos/record0.hs, 1.533408, True 
pos/record1.hs, 1.268510, True 
pos/risers.hs, 7.844577, True 
pos/scanr.hs, 2.019646, True 
pos/selfList.hs, 2.900608, True 
pos/spec0.hs, 1.706703, True 
pos/stacks0.hs, 2.410698, True 
pos/state0.hs, 1.458312, True 
pos/sta/false0.hs, 1.507972, True 
pos/stateInvarint.hs, 2.467888, True 
pos/string00.hs, 1.553050, True 
pos/tagBinder.hs, 1.709668, True 
pos/take.hs, 3.122543, True 
pos/term0.hs, 1.981129, True 
pos/test0.hs, 1.468311, True 
pos/test00.hs, 1.389947, True 
pos/test00.old.hs, 1.567116, True 
pos/test000.hs, 1.422840, True 
pos/test00b.hs, 1.409434, True 
pos/test00c.hs, 2.205209, True 
pos/test1.hs, 1.527735, True 
pos/test2.hs, 1.300725, True 
pos/testMRec.hs, 1.339485, True 
pos/testRec.hs, 1.966288, True 
pos/top0.hs, 1.521237, True 
pos/trans.hs, 3.111795, True 
pos/transTAG.hs, 6.656689, True 
pos/transpose.hs, 12.419620, True 
pos/tup0.hs, 1.808364, True 
pos/tupparse.hs, 1.733335, True 
pos/tyclass0.hs, 1.277272, True 
pos/tyfam0.hs, 1.430523, True 
pos/typeAliasDup.hs, 1.650703, False 
pos/tyvar.hs, 1.043913, True 
pos/unusedtyvars.hs, 1.507985, True 
pos/vector0.hs, 3.398139, True 
pos/vector00.hs, 2.258536, True 
pos/vector1.hs, 6.653599, True 
pos/vector1a.hs, 2.460800, True 
pos/vector1b.hs, 2.188285, True 
pos/vector2.hs, 3.729024, True 
pos/wrap0.hs, 1.997160, True 
pos/wrap1.hs, 2.789126, True 
pos/zipSO.hs, 3.412834, True 
pos/zipW.hs, 1.694092, True 
pos/zipW1.hs, 1.247911, True 
pos/zipW2.hs, 1.382455, True 
pos/zipper.hs, 28.540457, True 
pos/zipper0.hs, 4.195145, True