regrtest_results_goto_Thu_Nov_21_2013-master

test, time(s), result 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 489.554032, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 467.903385, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.split.0.T.hs, 308.701351, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.split.1.T.hs, 309.465205, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 119.547444, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 256.313153, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 235.751349, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 67.468668, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 608.465801, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 121.952410, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 10.673214, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 550.726721, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 16.138277, True 
../benchmarks/bytestring-0.9.2.1/Data/Foo1.hs, 66.920267, True 
../benchmarks/esop2013-submission/Array.hs, 53.446048, True 
../benchmarks/esop2013-submission/Base.hs, 474.456390, True 
../benchmarks/esop2013-submission/Fib.hs, 15.709454, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 54.729580, True 
../benchmarks/esop2013-submission/ListSort.hs, 23.525181, True 
../benchmarks/esop2013-submission/Splay.hs, 157.736496, True 
../benchmarks/esop2013-submission/Toy.hs, 6.845812, True 
../benchmarks/text-0.11.2.3/Data/Text.hs, 418.257219, True 
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 42.451441, True 
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 369.406359, True 
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 36.396074, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 276.673755, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 43.425026, True 
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 23.589273, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 395.291876, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 148.742184, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 71.702352, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 52.429242, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 19.705740, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 302.650651, True 
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 9.300490, True 
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 112.310056, True 
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 28.749415, True 
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 22.784814, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 177.633542, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 2.341402, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 14.760043, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 188.696739, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 32.077519, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 130.248742, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 147.978691, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 175.119404, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 67.988720, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 69.555789, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 7.280514, True 
../web/demos/Array.hs, 11.940798, True 
../web/demos/Foldr.hs, 2.604970, True 
../web/demos/IMaps.hs, 54.364500, True 
../web/demos/KMeans.hs, 44.293850, True 
../web/demos/KMeansHelper.hs, 9.526615, True 
../web/demos/KMeansOrig.hs, 65.139404, True 
../web/demos/LambdaEval.hs, 89.228418, True 
../web/demos/ListElts.hs, 3.578411, True 
../web/demos/ListLength.hs, 5.186004, True 
../web/demos/ListSort.hs, 22.247848, True 
../web/demos/Map.hs, 64.892905, True 
../web/demos/MapReduce.hs, 12.304299, True 
../web/demos/Order.hs, 98.755845, True 
../web/demos/SimpleRefinements.hs, 5.933235, True 
../web/demos/TellingLies.hs, 2.147015, True 
../web/demos/Termination.hs, 6.819288, True 
../web/demos/TerminationBasic.hs, 6.395965, True 
../web/demos/UniqueZipper.hs, 15.997675, True 
../web/demos/absref101.hs, 3.794240, True 
../web/demos/blank.hs, 1.944250, True 
../web/demos/esop2013-demo.hs, 3.054580, True 
../web/demos/index-dependent-maps.hs, 55.158520, False 
../web/demos/lenMapReduce.hs, 70.689049, True 
../web/demos/refinements101.hs, 4.846156, True 
../web/demos/test000.hs, 2.535432, True 
../web/demos/treesum.hs, 2.830260, True 
../web/demos/vectorbounds.hs, 5.514816, True 
crash/funref.hs, 1.079093, True 
neg/Class1.hs, 2.581202, True 
neg/Class2.hs, 2.111453, True 
neg/Class3.hs, 1.824863, True 
neg/Eval.hs, 3.634868, True 
neg/Even.hs, 2.078851, True 
neg/GeneralizedTermination.hs, 3.485201, True 
neg/LazyWhere.hs, 2.787431, True 
neg/LazyWhere1.hs, 1.666623, True 
neg/ListConcat.hs, 1.900421, True 
neg/ListElem.hs, 2.366465, True 
neg/ListISort-LType.hs, 2.986765, True 
neg/ListISort.hs, 5.098095, True 
neg/ListKeys.hs, 1.795496, True 
neg/ListMSort.hs, 14.492481, True 
neg/ListQSort.hs, 6.687925, True 
neg/ListRange.hs, 2.494706, True 
neg/LocalSpec.hs, 1.924619, True 
neg/PairMeasure.hs, 2.338056, True 
neg/RecQSort.hs, 4.317783, True 
neg/SafePartialFunctions.hs, 2.956535, True 
neg/StrictPair0.hs, 2.008425, True 
neg/StrictPair1.hs, 5.311092, True 
neg/alias00.hs, 2.030195, True 
neg/ass0.hs, 1.984010, True 
neg/concat.hs, 4.201591, True 
neg/concat1.hs, 5.461993, True 
neg/concat2.hs, 4.196859, True 
neg/csv.hs, 86.278424, True 
neg/deppair0.hs, 1.987760, True 
neg/deptupW.hs, 2.886116, True 
neg/errorloc.hs, 1.810869, True 
neg/ex0-unsafe.hs, 3.493087, True 
neg/ex1-unsafe.hs, 2.905877, True 
neg/fixme.hs, 1.848741, True 
neg/foldN.hs, 2.223155, True 
neg/foldN1.hs, 2.288327, True 
neg/funcomposition.hs, 2.092979, True 
neg/grty0.hs, 2.434322, True 
neg/grty1.hs, 3.131687, True 
neg/grty2.hs, 3.600515, True 
neg/grty3.hs, 1.516627, True 
neg/list00.hs, 2.379515, True 
neg/mapreduce-tiny.hs, 2.796805, True 
neg/mapreduce.hs, 10.197696, True 
neg/meas0.hs, 2.088560, True 
neg/meas2.hs, 2.329487, True 
neg/meas3.hs, 1.873911, True 
neg/meas5.hs, 6.161352, True 
neg/meas7.hs, 1.784993, True 
neg/meas9.hs, 2.096276, True 
neg/monad3.hs, 2.925077, True 
neg/monad4.hs, 2.746745, True 
neg/monad5.hs, 2.881974, True 
neg/monad6.hs, 2.836093, True 
neg/monad7.hs, 3.750554, True 
neg/mr00.hs, 3.258032, True 
neg/nestedRecursion.hs, 2.170268, True 
neg/pair.hs, 5.638678, True 
neg/pair0.hs, 5.834277, True 
neg/pargs.hs, 1.960621, True 
neg/pargs1.hs, 1.822163, True 
neg/partial.hs, 2.477380, True 
neg/poly0.hs, 2.732670, True 
neg/poly1.hs, 2.402915, True 
neg/poly2-degenerate.hs, 3.200313, True 
neg/poly2.hs, 2.663578, True 
neg/polypred.hs, 1.921867, True 
neg/poslist.hs, 5.250431, True 
neg/pragma0-unsafe.hs, 2.126374, True 
neg/pred.hs, 1.990913, True 
neg/prune0.hs, 1.745990, True 
neg/qsloop.hs, 5.881850, True 
neg/range.hs, 6.808109, True 
neg/record0.hs, 2.122155, True 
neg/revshape.hs, 1.801965, True 
neg/stacks.hs, 1.499664, True 
neg/state0.hs, 1.895560, True 
neg/state00.hs, 2.117369, True 
neg/string00.hs, 1.789341, True 
neg/sumPoly.hs, 1.693037, True 
neg/sumk.hs, 2.353140, True 
neg/test00.hs, 1.650741, True 
neg/test00a.hs, 2.201445, True 
neg/test00b.hs, 2.127108, True 
neg/test1.hs, 2.643679, True 
neg/test2.hs, 1.531058, True 
neg/testRec.hs, 0.064402, True 
neg/trans.hs, 13.899953, True 
neg/truespec.hs, 1.561524, True 
neg/tyclass0-unsafe.hs, 1.657802, True 
neg/vector0.hs, 4.555196, True 
neg/vector00.hs, 2.721847, True 
neg/vector0a.hs, 2.323726, True 
neg/vector1a.hs, 3.477368, True 
neg/vector2.hs, 7.359197, True 
neg/wrap0.hs, 3.222747, True 
neg/wrap1.hs, 5.183373, True 
pos/Abs.hs, 1.547172, True 
pos/Ackermann.hs, 2.371540, True 
pos/BST.hs, 31.317389, True 
pos/BST000.hs, 8.467277, True 
pos/Class.hs, 2.935463, True 
pos/Coercion.hs, 3.450939, True 
pos/DataBase.hs, 1.986910, True 
pos/Even.hs, 2.409570, True 
pos/Even0.hs, 1.593777, True 
pos/GeneralizedTermination.hs, 3.074287, True 
pos/GhcListSort.hs, 49.461084, True 
pos/GhcSort1.hs, 14.808115, True 
pos/GhcSort2.hs, 5.532393, True 
pos/GhcSort3.T.hs, 5.405315, True 
pos/GhcSort3.hs, 12.611840, True 
pos/Goo.hs, 2.031182, True 
pos/Graph.hs, 7.740925, True 
pos/HedgeUnion.hs, 4.558320, True 
pos/HigherOrderRecFun.hs, 1.672503, True 
pos/Infinity.hs, 3.067411, True 
pos/LambdaEval.hs, 90.131218, True 
pos/LambdaEvalMini.hs, 12.961928, True 
pos/LambdaEvalSuperTiny.hs, 5.253200, True 
pos/LambdaEvalTiny.hs, 8.403510, True 
pos/LazyWhere.hs, 1.998213, True 
pos/LazyWhere1.hs, 1.689548, True 
pos/LiquidArray.hs, 2.079216, True 
pos/ListConcat.hs, 1.793954, True 
pos/ListElem.hs, 2.547154, True 
pos/ListISort-LType.hs, 5.345704, True 
pos/ListISort.hs, 2.125194, True 
pos/ListKeys.hs, 1.615761, True 
pos/ListLen-LType.hs, 6.673096, True 
pos/ListLen.hs, 5.088108, True 
pos/ListMSort-LType.hs, 13.424792, True 
pos/ListMSort.hs, 13.167099, True 
pos/ListQSort-LType.hs, 4.753828, True 
pos/ListQSort.hs, 9.732815, True 
pos/ListRange-LType.hs, 3.033131, True 
pos/ListRange.hs, 2.824713, True 
pos/ListReverse-LType.hs, 1.626286, True 
pos/ListSort.hs, 19.896984, True 
pos/LocalLazy.hs, 2.359749, True 
pos/LocalSpec.hs, 1.647762, True 
pos/Loo.hs, 1.755754, True 
pos/Map.hs, 108.415092, True 
pos/Map0.hs, 108.742138, True 
pos/Map2.hs, 101.119958, True 
pos/Mod1.hs, 1.686620, True 
pos/Mod2.hs, 1.931239, True 
pos/Moo.hs, 1.803106, True 
pos/MutualRec.hs, 16.119441, True 
pos/PairMeasure.hs, 1.755904, True 
pos/PairMeasure0.hs, 1.519670, True 
pos/Permutation.hs, 9.576488, True 
pos/RecQSort.hs, 3.608923, True 
pos/RecQSort0.hs, 3.300848, True 
pos/Resolve.hs, 2.034354, True 
pos/ResolveA.hs, 1.999972, True 
pos/ResolveB.hs, 1.268225, True 
pos/ResolvePred.hs, 2.116609, True 
pos/SafePartialFunctions.hs, 1.414905, True 
pos/StrictPair0.hs, 1.761013, True 
pos/StrictPair1.hs, 4.180440, True 
pos/Test761.hs, 1.677594, True 
pos/adt0.hs, 1.780854, True 
pos/alias00.hs, 1.557509, True 
pos/alias01.hs, 1.463282, True 
pos/anfbug.hs, 7.576615, True 
pos/anftest.hs, 2.289627, True 
pos/bar.hs, 2.145139, True 
pos/cmptag0.hs, 2.064540, True 
pos/compare.hs, 1.932898, True 
pos/compare1.hs, 2.061505, True 
pos/compare2.hs, 2.336392, True 
pos/comprehensionTerm.hs, 9.036661, True 
pos/cont1.hs, 1.811894, True 
pos/data2.hs, 1.644128, True 
pos/datacon0.hs, 2.486597, True 
pos/datacon1.hs, 1.494838, True 
pos/deepmeas0.hs, 2.891535, True 
pos/deppair0.hs, 1.905833, True 
pos/deppair1.hs, 2.426531, True 
pos/deptup.hs, 4.397173, True 
pos/deptup0.hs, 2.667812, True 
pos/deptup1.hs, 2.200400, True 
pos/deptup3.hs, 2.062384, True 
pos/deptupW.hs, 2.302405, True 
pos/duplicate-bind.hs, 2.096550, True 
pos/ex0.hs, 3.355348, True 
pos/ex01.hs, 1.414076, True 
pos/ex1.hs, 1.961257, True 
pos/ex2.hs, 1.416354, True 
pos/exp0.hs, 2.053487, True 
pos/extype.hs, 1.766991, True 
pos/fixme.hs, 8.879487, True 
pos/foldN.hs, 2.962431, True 
pos/foldr.hs, 2.213522, True 
pos/for.hs, 3.337985, True 
pos/forloop.hs, 2.714458, True 
pos/funcomposition.hs, 1.987292, True 
pos/gadtEval.hs, 7.377775, True 
pos/gimme.hs, 2.048559, True 
pos/go.hs, 1.756148, True 
pos/go_ugly_type.hs, 1.704869, True 
pos/grty0.hs, 1.615179, True 
pos/grty1.hs, 2.040812, True 
pos/grty2.hs, 2.322508, True 
pos/grty3.hs, 1.717244, True 
pos/hello.hs, 1.713230, True 
pos/imp0.hs, 1.867217, True 
pos/inccheck0.hs, 2.186790, True 
pos/infix.hs, 1.584754, True 
pos/initarray.hs, 4.404862, True 
pos/ite.hs, 2.355198, True 
pos/ite1.hs, 1.479912, True 
pos/lets.hs, 2.184600, True 
pos/lex.hs, 4.573467, True 
pos/listAnf.hs, 2.359188, True 
pos/listSet.hs, 2.963165, True 
pos/listSetDemo.hs, 4.943104, True 
pos/mapTvCrash.hs, 1.466082, True 
pos/mapreduce-bare.hs, 17.719922, True 
pos/mapreduce.hs, 9.161943, True 
pos/maybe.hs, 2.994052, True 
pos/maybe0.hs, 1.411147, True 
pos/maybe00.hs, 2.223734, True 
pos/maybe000.hs, 2.050246, True 
pos/maybe1.hs, 2.583960, True 
pos/maybe2.hs, 5.824813, True 
pos/maybe3.hs, 1.810270, True 
pos/maybe4.hs, 2.079304, True 
pos/meas0.hs, 2.024087, True 
pos/meas00.hs, 2.431995, True 
pos/meas000.hs, 1.504744, True 
pos/meas00a.hs, 1.679236, True 
pos/meas0a.hs, 1.652122, True 
pos/meas1.hs, 2.741804, True 
pos/meas10.hs, 3.482057, True 
pos/meas11.hs, 1.681473, True 
pos/meas2.hs, 1.570833, True 
pos/meas3.hs, 1.950252, True 
pos/meas4.hs, 2.763230, True 
pos/meas5.hs, 5.222763, True 
pos/meas6.hs, 3.309653, True 
pos/meas7.hs, 2.057800, True 
pos/meas8.hs, 2.115764, True 
pos/meas9.hs, 2.033962, True 
pos/modTest.hs, 2.040013, True 
pos/monad.hs, 1.711572, True 
pos/monad1.hs, 1.807145, True 
pos/monad2.hs, 2.018966, True 
pos/monad5.hs, 2.521655, True 
pos/monad6.hs, 2.208692, True 
pos/monad7.hs, 2.569929, True 
pos/mutrec.hs, 1.450065, True 
pos/niki.hs, 2.129387, True 
pos/niki1.hs, 1.589377, True 
pos/nullterm.hs, 3.569844, True 
pos/pair.hs, 4.288522, True 
pos/pair0.hs, 4.977218, True 
pos/pair00.hs, 4.638161, True 
pos/pargs.hs, 2.252885, True 
pos/pargs1.hs, 1.857366, True 
pos/poly0.hs, 2.917435, True 
pos/poly1.hs, 2.069433, True 
pos/poly2-degenerate.hs, 2.198394, True 
pos/poly2.hs, 2.162105, True 
pos/poly3.hs, 1.398911, True 
pos/poly3a.hs, 1.776382, True 
pos/poly4.hs, 1.771609, True 
pos/polyfun.hs, 2.369444, True 
pos/polyqual.hs, 5.055091, True 
pos/poslist.hs, 5.434292, True 
pos/poslist_dc.hs, 2.206850, True 
pos/pragma0.hs, 1.656252, True 
pos/pred.hs, 1.921322, True 
pos/primInt0.hs, 2.554484, True 
pos/profcrasher.hs, 1.232289, True 
pos/ptr2.hs, 6.835329, True 
pos/qualTest.hs, 1.534074, True 
pos/range.hs, 3.468272, True 
pos/range1.hs, 2.187952, True 
pos/rangeAdt.hs, 6.414200, True 
pos/rec_annot_go.hs, 3.126641, True 
pos/record0.hs, 2.039162, True 
pos/record1.hs, 2.141750, True 
pos/risers.hs, 12.406313, True 
pos/scanr.hs, 2.929888, True 
pos/selfList.hs, 2.565455, True 
pos/spec0.hs, 2.403007, True 
pos/stacks0.hs, 2.015066, True 
pos/state0.hs, 2.024302, True 
pos/state00.hs, 1.740854, True 
pos/stateInvarint.hs, 2.374268, True 
pos/string00.hs, 1.466165, True 
pos/tagBinder.hs, 1.543447, True 
pos/take.hs, 3.872692, True 
pos/term0.hs, 1.958264, True 
pos/test0.hs, 1.800923, True 
pos/test00.hs, 2.035812, True 
pos/test00.old.hs, 1.437759, True 
pos/test000.hs, 2.022843, True 
pos/test00b.hs, 1.609052, True 
pos/test00c.hs, 4.078478, True 
pos/test1.hs, 1.581680, True 
pos/test2.hs, 1.974121, True 
pos/testMRec.hs, 1.750548, True 
pos/testRec.hs, 3.814693, True 
pos/top0.hs, 2.277818, True 
pos/trans.hs, 3.625366, True 
pos/transTAG.hs, 11.753087, True 
pos/transpose.hs, 20.070576, True 
pos/tup0.hs, 1.530960, True 
pos/tupparse.hs, 2.007998, True 
pos/tyclass0.hs, 1.440397, True 
pos/tyfam0.hs, 1.450669, True 
pos/typeAliasDup.hs, 1.396294, False 
pos/tyvar.hs, 1.534196, True 
pos/unusedtyvars.hs, 1.614174, True 
pos/vector0.hs, 4.955111, True 
pos/vector00.hs, 3.163052, True 
pos/vector1.hs, 3.263148, True 
pos/vector1a.hs, 3.306325, True 
pos/vector1b.hs, 3.652246, True 
pos/vector2.hs, 6.079458, True 
pos/wrap0.hs, 2.314265, True 
pos/wrap1.hs, 4.546644, True 
pos/zipSO.hs, 7.028592, True 
pos/zipW.hs, 1.686469, True 
pos/zipW1.hs, 1.700736, True 
pos/zipW2.hs, 1.465222, True 
pos/zipper.hs, 39.743686, True 
pos/zipper0.hs, 4.450097, True