test, time(s), result 
pos/ite1.hs, 1.482943, True 
pos/ex2.hs, 1.556217, True 
pos/monad2.hs, 1.646984, True 
pos/TokenType.hs, 1.680325, True 
pos/StrictPair1.hs, 1.691307, True 
pos/Holes.hs, 1.782256, True 
pos/poly3a.hs, 1.809971, True 
pos/datacon1.hs, 1.817653, True 
pos/ResolveB.hs, 1.831332, True 
pos/tup0.hs, 1.833602, True 
pos/stacks0.hs, 1.922094, True 
pos/hello.hs, 1.957295, True 
pos/extype.hs, 2.014982, True 
pos/Abs.hs, 2.088019, True 
pos/StackClass.hs, 2.164501, True 
pos/meas9.hs, 2.374428, True 
pos/meas3.hs, 2.390263, True 
pos/lets.hs, 2.578107, True 
pos/deptup1.hs, 2.690277, True 
pos/ListConcat.hs, 1.502462, True 
pos/selfList.hs, 3.114081, True 
pos/test00.old.hs, 1.652615, True 
pos/grty3.hs, 1.674688, True 
pos/bar.hs, 2.000006, True 
pos/Mod1.hs, 1.963159, True 
pos/take.hs, 3.855700, True 
pos/go.hs, 2.125821, True 
pos/zipper0.hs, 3.990491, True 
pos/meas0.hs, 2.327692, True 
pos/LiquidArray.hs, 1.941047, True 
pos/infix.hs, 2.318283, True 
pos/Invariants.hs, 2.396569, True 
pos/gimme.hs, 2.308992, True 
pos/niki1.hs, 2.898453, True 
pos/string00.hs, 2.458198, True 
pos/ListISort.hs, 3.687231, True 
pos/state00.hs, 2.398530, True 
pos/TopLevel.hs, 1.578508, True 
pos/adt0.hs, 1.970238, True 
pos/data2.hs, 2.266203, True 
pos/GhcSort3.T.hs, 6.125512, True 
pos/LocalSpec.hs, 2.724286, True 
pos/ListQSort-LType.hs, 6.235992, True 
pos/vecloop.hs, 3.689916, True 
pos/monad7.hs, 4.275874, True 
pos/Permutation.hs, 6.414628, True 
pos/modTest.hs, 2.170118, True 
pos/trans.hs, 3.909729, True 
pos/tyclass0.hs, 1.691765, True 
pos/state0.hs, 3.342009, True 
pos/StateF.hs, 3.484014, True 
pos/polyqual.hs, 4.125119, True 
pos/tyfam0.hs, 2.505269, True 
pos/compare1.hs, 2.636665, True 
pos/for.hs, 3.965354, True 
pos/gadtEval.hs, 5.113966, True 
pos/range.hs, 4.313100, True 
pos/tyvar.hs, 2.117466, True 
pos/fixme.hs, 2.367248, True 
pos/deppair0.hs, 2.412729, True 
pos/Loo.hs, 2.575039, True 
pos/StrictPair0.hs, 1.909992, True 
pos/SimplerNotation.hs, 2.076693, True 
pos/initarray.hs, 5.253479, True 
pos/LazyWhere1.hs, 2.132391, True 
pos/pair.hs, 7.478286, True 
pos/NoCaseExpand.hs, 9.851849, True 
pos/ResolveA.hs, 2.288267, True 
pos/test00b.hs, 2.132434, True 
pos/meas2.hs, 2.388846, True 
pos/vector0.hs, 4.561918, True 
pos/maybe2.hs, 8.320060, True 
pos/maybe3.hs, 2.544696, True 
pos/Ackermann.hs, 2.638155, True 
pos/StateF0.hs, 4.302527, True 
pos/ex01.hs, 2.219968, True 
pos/deppair1.hs, 3.022621, True 
pos/profcrasher.hs, 2.402968, True 
pos/Graph.hs, 1.984889, True 
pos/RecordSelectorError.hs, 2.040817, True 
pos/poly1.hs, 2.586868, True 
pos/alias01.hs, 2.304394, True 
pos/StateF00.hs, 2.156574, True 
pos/maybe.hs, 4.101528, True 
pos/PairMeasure0.hs, 2.384319, True 
pos/DataBase.hs, 2.863146, True 
pos/datacon-inv.hs, 2.327426, True 
pos/comprehensionTerm.hs, 6.528452, True 
pos/tupparse.hs, 2.845531, True 
pos/unusedtyvars.hs, 2.643020, True 
pos/ex1.hs, 2.948352, True 
pos/listSet.hs, 3.365436, True 
pos/test2.hs, 2.215939, True 
pos/meas8.hs, 2.664085, True 
pos/exp0.hs, 2.214598, True 
pos/ListRange.hs, 3.105194, True 
pos/deptup3.hs, 2.763877, True 
pos/NoExhaustiveGuardsError.hs, 2.377706, True 
pos/PairMeasure.hs, 2.416741, True 
pos/Goo.hs, 1.730209, True 
pos/mapreduce.hs, 8.794140, True 
pos/go_ugly_type.hs, 2.208677, True 
pos/ListLen.hs, 5.107351, True 
pos/meas11.hs, 2.561115, True 
pos/Class.hs, 2.996970, True 
pos/GhcSort2.hs, 7.361163, True 
pos/grty2.hs, 2.212730, True 
pos/meas7.hs, 3.054328, True 
pos/zipW.hs, 2.520364, True 
pos/test000.hs, 2.777985, True 
pos/poly3.hs, 2.769757, True 
pos/Even0.hs, 2.444241, True 
pos/meas6.hs, 3.350340, True 
pos/HigherOrderRecFun.hs, 2.479316, True 
pos/monad1.hs, 2.421065, True 
pos/transpose.hs, 9.165298, True 
pos/pair0.hs, 7.196009, True 
pos/GhcSort1.hs, 18.205175, True 
pos/vector1b.hs, 5.544622, True 
pos/LambdaEvalMini.hs, 18.516432, True 
pos/wrap1.hs, 5.073060, True 
pos/monad6.hs, 3.055203, True 
pos/scanr.hs, 3.936219, True 
pos/anftest.hs, 2.685172, True 
pos/imp0.hs, 2.668139, True 
pos/range1.hs, 2.981494, True 
pos/HedgeUnion.hs, 3.792744, True 
pos/monad5.hs, 4.447575, True 
pos/wrap0.hs, 3.608194, True 
pos/ListReverse-LType.hs, 3.021647, True 
pos/top0.hs, 3.989084, True 
pos/vector1.hs, 5.077020, True 
pos/pragma0.hs, 2.653413, True 
pos/tagBinder.hs, 2.866118, True 
pos/poly4.hs, 3.217193, True 
pos/TypeAlias.hs, 2.882372, True 
pos/maybe0.hs, 2.555992, True 
pos/test1.hs, 2.948781, True 
pos/grty0.hs, 2.639783, True 
pos/Coercion.hs, 2.643299, True 
pos/mutrec.hs, 2.913021, True 
pos/mapTvCrash.hs, 2.428651, True 
pos/maybe1.hs, 3.596176, True 
pos/meas10.hs, 3.268370, True 
pos/SafePartialFunctions.hs, 2.931502, True 
pos/foldr.hs, 1.987498, True 
pos/deptupW.hs, 2.531182, True 
pos/maybe4.hs, 2.546670, True 
pos/RBTree-height.hs, 22.944112, True 
pos/partial-tycon.hs, 2.264487, True 
pos/ListElem.hs, 2.319894, True 
pos/primInt0.hs, 3.217976, True 
pos/stateInvarint.hs, 3.729204, True 
pos/poly0.hs, 3.263891, True 
pos/alias00.hs, 2.171215, True 
pos/fixme0.hs, 2.116505, True 
pos/lex.hs, 2.856850, True 
pos/transTAG.hs, 9.243198, True 
pos/StreamInvariants.hs, 2.037044, True 
pos/ite.hs, 2.734340, True 
pos/foldN.hs, 2.323945, True 
pos/RecSelector.hs, 2.204805, True 
pos/Class2.hs, 2.264367, True 
pos/Even.hs, 3.446516, True 
pos/zipSO.hs, 4.592967, True 
pos/ToyMVar.hs, 3.891335, True 
pos/deptup.hs, 5.405461, True 
pos/niki.hs, 2.824027, True 
pos/pargs.hs, 2.233051, True 
pos/risers.hs, 11.848340, True 
pos/Assume.hs, 1.985306, True 
pos/deepmeas0.hs, 3.765245, True 
pos/listAnf.hs, 2.826187, True 
pos/record1.hs, 2.120782, True 
pos/meas0a.hs, 2.409366, True 
pos/ListISort-LType.hs, 5.716984, True 
pos/MutualRec.hs, 13.445218, True 
pos/Avg.hs, 2.357398, True 
pos/meas00.hs, 2.460190, True 
pos/datacon0.hs, 2.970214, True 
pos/State1.hs, 2.557876, True 
pos/spec0.hs, 2.393822, True 
pos/LocalLazy.hs, 2.233952, True 
pos/ListSort.hs, 20.189790, True 
pos/nullterm.hs, 3.696066, True 
pos/RecQSort0.hs, 3.426506, True 
pos/cont1.hs, 1.892793, True 
pos/listSetDemo.hs, 3.505435, True 
pos/ex0.hs, 2.710560, True 
pos/rangeAdt.hs, 6.647566, True 
pos/grty1.hs, 2.631776, True 
pos/test00c.hs, 4.310235, True 
pos/deptup0.hs, 2.529402, True 
pos/ListMSort.hs, 12.680259, True 
pos/meas4.hs, 4.251206, True 
pos/LambdaEvalTiny.hs, 6.756509, True 
pos/zipper.hs, 12.391196, True 
pos/vector00.hs, 2.731637, True 
pos/meas1.hs, 2.775267, True 
pos/ListMSort-LType.hs, 18.560733, True 
pos/maybe000.hs, 2.333658, True 
pos/meas00a.hs, 2.433398, True 
pos/funcomposition.hs, 2.965944, True 
pos/Bar.hs, 2.663286, True 
pos/poslist.hs, 4.257486, True 
pos/Infinity.hs, 2.819935, True 
pos/ListRange-LType.hs, 4.051988, True 
pos/polyfun.hs, 3.368189, True 
pos/ListKeys.hs, 2.697071, True 
pos/zipW1.hs, 2.227244, True 
pos/maybe00.hs, 2.742852, True 
pos/LambdaEvalSuperTiny.hs, 6.823687, True 
pos/pred.hs, 3.135207, True 
pos/record0.hs, 2.995894, True 
pos/RealProps.hs, 3.005433, True 
pos/Foo.hs, 2.461686, True 
pos/test0.hs, 3.418445, True 
pos/testRec.hs, 3.372502, True 
pos/Resolve.hs, 2.448328, True 
pos/test00.hs, 3.463805, True 
pos/compare2.hs, 3.188702, True 
pos/State.hs, 4.394893, True 
pos/Measures.hs, 2.565398, True 
pos/rec_annot_go.hs, 3.641018, True 
pos/Overwrite.hs, 2.524054, True 
pos/GeneralizedTermination.hs, 3.979872, True 
pos/pargs1.hs, 2.819828, True 
pos/poly2-degenerate.hs, 2.480111, True 
pos/poslist_dc.hs, 3.040656, True 
pos/LazyWhere.hs, 2.527770, True 
pos/Moo.hs, 2.500877, True 
pos/Mod2.hs, 2.427755, True 
pos/Measures1.hs, 3.051650, True 
pos/ResolvePred.hs, 2.612496, True 
pos/RecQSort.hs, 4.348983, True 
pos/poly2.hs, 2.980357, True 
pos/ListLen-LType.hs, 6.339409, True 
pos/BST000.hs, 11.620339, True 
pos/GCD.hs, 4.264048, True 
pos/State0.hs, 4.351477, True 
pos/vector1a.hs, 4.518069, True 
pos/multi-pred-app-00.hs, 2.447221, True 
pos/anfbug.hs, 2.937410, True 
pos/compare.hs, 2.563149, True 
pos/cmptag0.hs, 3.084876, True 
pos/qualTest.hs, 2.690144, True 
pos/Test761.hs, 2.818617, True 
pos/forloop.hs, 4.445605, True 
pos/ListQSort.hs, 12.207585, True 
pos/vector2.hs, 6.167050, True 
pos/malformed0.hs, 5.355993, True 
pos/zipW2.hs, 3.047369, True 
neg/polypred.hs, 1.861405, True 
pos/term0.hs, 3.610871, True 
neg/Strata.hs, 2.957602, True 
neg/meas3.hs, 2.793375, True 
pos/duplicate-bind.hs, 3.169750, True 
neg/meas9.hs, 2.726000, True 
neg/datacon-eq.hs, 2.564958, True 
neg/StrictPair1.hs, 3.628013, True 
neg/truespec.hs, 3.728958, True 
neg/meas0.hs, 3.163408, True 
neg/pragma0-unsafe.hs, 2.351054, True 
neg/grty3.hs, 3.192829, True 
neg/Class1.hs, 4.866168, True 
neg/Class5.hs, 1.679818, True 
neg/Invariants.hs, 2.630436, True 
neg/string00.hs, 2.292276, True 
neg/ListConcat.hs, 4.243222, True 
neg/state00.hs, 2.203423, True 
pos/mapreduce-bare.hs, 22.488034, True 
pos/pair00.hs, 7.297838, True 
neg/monad7.hs, 4.376783, True 
neg/Class4.hs, 2.475908, True 
neg/LocalSpec.hs, 2.912619, True 
neg/fixme.hs, 2.458628, True 
neg/TopLevel.hs, 3.011611, True 
neg/errorloc.hs, 2.737066, True 
neg/state0.hs, 3.102410, True 
pos/meas5.hs, 8.730764, True 
neg/Class3.hs, 2.686299, True 
neg/StrictPair0.hs, 2.571896, True 
neg/ListISort.hs, 7.312650, True 
neg/deppair0.hs, 3.515418, True 
neg/LazyWhere1.hs, 2.808610, True 
neg/test00b.hs, 2.837951, True 
neg/vector0.hs, 5.148445, True 
neg/meas2.hs, 3.031388, True 
neg/tyclass0-unsafe.hs, 2.454337, True 
neg/nestedRecursion.hs, 2.245517, True 
neg/Baz.hs, 2.415940, True 
neg/stacks.hs, 2.973894, True 
neg/poly1.hs, 3.270372, True 
neg/test2.hs, 2.754914, True 
neg/ListRange.hs, 3.310908, True 
neg/pair.hs, 9.249419, True 
neg/range.hs, 7.961873, True 
neg/concat2.hs, 5.261563, True 
neg/sumPoly.hs, 2.701482, True 
pos/GhcSort3.hs, 17.627013, True 
neg/NoExhaustiveGuardsError.hs, 3.065653, True 
neg/meas7.hs, 2.950384, True 
neg/trans.hs, 9.949375, True 
neg/foldN1.hs, 3.632439, True 
neg/CastedTotality.hs, 3.072922, True 
neg/PairMeasure.hs, 3.981908, True 
neg/wrap1.hs, 4.522625, True 
neg/monad5.hs, 3.642598, True 
neg/grty2.hs, 4.700207, True 
neg/prune0.hs, 3.469665, True 
neg/mapreduce-tiny.hs, 3.470205, True 
neg/test1.hs, 2.864875, True 
neg/monad6.hs, 3.423581, True 
neg/wrap0.hs, 3.453602, True 
neg/HolesTop.hs, 3.069830, True 
neg/SafePartialFunctions.hs, 2.609323, True 
neg/partial.hs, 2.283481, True 
neg/grty0.hs, 2.821422, True 
neg/pair0.hs, 8.287856, True 
neg/ListElem.hs, 2.468734, True 
neg/mapreduce.hs, 12.245844, True 
neg/poly0.hs, 3.135224, True 
neg/alias00.hs, 2.463698, True 
neg/ass0.hs, 3.193529, True 
neg/qsloop.hs, 5.830632, True 
pos/RBTree-color.hs, 47.766269, True 
neg/StreamInvariants.hs, 2.428175, True 
neg/foldN.hs, 2.539535, True 
neg/deptupW.hs, 4.302926, True 
neg/RecSelector.hs, 2.963644, True 
neg/sumk.hs, 3.915387, True 
neg/Even.hs, 3.139781, True 
neg/pargs.hs, 2.573180, True 
neg/Class2.hs, 3.590861, True 
neg/testRec.hs, 0.156725, True 
neg/ListISort-LType.hs, 4.836362, True 
neg/pred.hs, 2.012806, True 
neg/NoMethodBindingError.hs, 2.368170, True 
neg/vector0a.hs, 3.955441, True 
neg/test00a.hs, 3.192040, True 
neg/vector00.hs, 3.156100, True 
neg/ListKeys.hs, 3.469768, True 
neg/ex2-unsafe.hs, 3.456210, True 
neg/concat.hs, 4.757740, True 
neg/funcomposition.hs, 3.597433, True 
neg/test00.hs, 3.027686, True 
neg/grty1.hs, 4.958843, True 
neg/concat1.hs, 5.979804, True 
neg/RG.hs, 5.065013, True 
pos/RBTree-col-height.hs, 58.064961, True 
neg/record0.hs, 3.331891, True 
neg/poslist.hs, 5.653211, True 
neg/pargs1.hs, 2.528350, True 
neg/ex0-unsafe.hs, 3.127307, True 
neg/GeneralizedTermination.hs, 3.715146, True 
neg/LazyWhere.hs, 3.578027, True 
neg/Eval.hs, 4.956541, True 
pos/linspace.hs, 64.186692, True 
neg/ListQSort.hs, 7.698325, True 
crash/typeAliasDup.hs, 1.199494, True 
neg/poly2-degenerate.hs, 3.927421, True 
neg/multi-pred-app-00.hs, 2.919957, True 
neg/revshape.hs, 2.418280, True 
neg/list00.hs, 2.606352, True 
neg/poly2.hs, 3.612971, True 
neg/ex1-unsafe.hs, 3.988163, True 
neg/monad3.hs, 3.904121, True 
neg/monad4.hs, 3.842020, True 
neg/vector1a.hs, 4.554377, True 
neg/mr00.hs, 4.412950, True 
neg/RecQSort.hs, 6.597092, True 
crash/Unbound.hs, 2.615647, True 
crash/funref.hs, 3.278346, True 
neg/risers.hs, 18.892243, True 
neg/ListMSort.hs, 17.608373, True 
neg/meas5.hs, 7.705133, True 
neg/vector2.hs, 9.607981, True 
../benchmarks/esop2013-submission/Toy.hs, 7.220976, True 
neg/csv.hs, 20.556952, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 5.586573, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 11.702535, True 
../benchmarks/esop2013-submission/Fib.hs, 20.048515, True 
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 12.382752, True 
../benchmarks/esop2013-submission/ListSort.hs, 22.034912, True 
pos/BST.hs, 63.259288, True 
pos/GhcListSort.hs, 52.856383, True 
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 19.580348, True 
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 11.157620, True 
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 13.435012, True 
pos/LambdaEval.hs, 102.931512, True 
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 17.970636, True 
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 17.463969, True 
../benchmarks/esop2013-submission/Array.hs, 43.256615, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 14.972805, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 5.003034, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 6.126780, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 53.045111, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 52.063473, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 55.493664, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 10.316681, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 2.526035, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 62.138363, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 33.715435, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 3.203944, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 18.771475, True 
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 51.632125, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 50.168873, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 27.785788, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 60.625098, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 40.210963, True 
pos/Map0.hs, 137.314156, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 55.310148, True 
pos/Map2.hs, 137.713029, True 
pos/Map.hs, 133.249851, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 53.958066, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 62.003924, True 
pos/RBTree-ord.hs, 143.243264, True 
../benchmarks/esop2013-submission/Splay.hs, 124.239841, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 124.607391, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 132.467917, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 75.370127, True 
pos/RBTree.hs, 212.262342, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 157.537128, True 
pos/OrdList.hs, 219.067904, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 143.714383, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 185.703888, True 
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 178.455420, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 190.923177, True 
../benchmarks/text-0.11.2.3/Data/Text.hs, 186.396730, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 204.535936, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 248.923522, True 
../benchmarks/esop2013-submission/Base.hs, 286.428911, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 290.353899, True