test, time(s), result 
pos/datacon1.hs, 5.774688, True 
pos/extype.hs, 5.787036, True 
pos/monad2.hs, 5.800983, True 
pos/Abs.hs, 5.843896, True 
pos/StrictPair1.hs, 5.863755, True 
pos/ResolveB.hs, 5.897302, True 
pos/tup0.hs, 5.926251, True 
pos/TokenType.hs, 5.950048, True 
pos/ite1.hs, 5.964693, True 
pos/ex2.hs, 6.028685, True 
pos/hello.hs, 6.084420, True 
pos/stacks0.hs, 6.165357, True 
pos/meas9.hs, 6.270421, True 
pos/StackClass.hs, 6.400544, True 
pos/poly3a.hs, 6.702202, True 
pos/Holes.hs, 6.835655, True 
pos/selfList.hs, 6.866376, True 
pos/meas3.hs, 6.934653, True 
pos/deptup1.hs, 7.043404, True 
pos/lets.hs, 7.268503, True 
pos/zipper0.hs, 7.301313, True 
pos/take.hs, 7.962296, True 
pos/GhcSort3.T.hs, 8.217083, True 
pos/NoCaseExpand.hs, 8.915847, True 
pos/Permutation.hs, 9.234259, True 
pos/ListQSort-LType.hs, 9.614667, True 
pos/ListConcat.hs, 5.696799, True 
pos/grty3.hs, 5.656307, True 
pos/test00.old.hs, 5.824317, True 
pos/niki1.hs, 5.719661, True 
pos/meas0.hs, 6.073806, True 
pos/bar.hs, 6.101119, True 
pos/LiquidArray.hs, 5.622769, True 
pos/infix.hs, 5.978896, True 
pos/Mod1.hs, 6.321877, True 
pos/Invariants.hs, 6.283308, True 
pos/go.hs, 6.449666, True 
pos/gimme.hs, 5.852050, True 
pos/ListISort.hs, 7.005034, True 
pos/monad7.hs, 6.895736, True 
pos/string00.hs, 6.151765, True 
pos/LocalSpec.hs, 5.560738, True 
pos/state00.hs, 6.586077, True 
pos/LambdaEvalMini.hs, 14.031082, True 
pos/vecloop.hs, 7.772581, True 
pos/adt0.hs, 5.524776, True 
pos/trans.hs, 7.350342, True 
pos/gadtEval.hs, 8.199622, True 
pos/data2.hs, 6.244219, True 
pos/pair.hs, 9.318311, True 
pos/GhcSort1.hs, 16.749477, True 
pos/maybe2.hs, 10.087455, True 
pos/polyqual.hs, 7.890354, True 
pos/TopLevel.hs, 5.833483, True 
pos/range.hs, 7.078130, True 
pos/modTest.hs, 6.636895, True 
pos/tyfam0.hs, 6.263634, True 
pos/for.hs, 6.928873, True 
pos/compare1.hs, 6.467775, True 
pos/state0.hs, 7.024045, True 
pos/tyclass0.hs, 6.454574, True 
pos/fixme.hs, 6.109803, True 
pos/initarray.hs, 7.802990, True 
pos/StateF.hs, 7.549973, True 
pos/Loo.hs, 6.433576, True 
pos/deppair0.hs, 6.252773, True 
pos/vector0.hs, 7.612279, True 
pos/RBTree-height.hs, 20.434307, True 
pos/StateF0.hs, 7.150382, True 
pos/tyvar.hs, 6.389882, True 
pos/LazyWhere1.hs, 5.446368, True 
pos/SimplerNotation.hs, 5.836074, True 
pos/StrictPair0.hs, 6.433576, True 
pos/ResolveA.hs, 5.881116, True 
pos/meas2.hs, 6.018665, True 
pos/deppair1.hs, 6.640153, True 
pos/Ackermann.hs, 6.062423, True 
pos/comprehensionTerm.hs, 8.304284, True 
pos/maybe3.hs, 6.382006, True 
pos/profcrasher.hs, 5.520920, True 
pos/mapreduce.hs, 10.529383, True 
pos/ex01.hs, 6.098754, True 
pos/RecordSelectorError.hs, 5.514955, True 
pos/test00b.hs, 6.598154, True 
pos/poly1.hs, 5.988471, True 
pos/Graph.hs, 5.862065, True 
pos/alias01.hs, 6.019732, True 
pos/DataBase.hs, 5.910087, True 
pos/maybe.hs, 7.766876, True 
pos/PairMeasure0.hs, 5.871978, True 
pos/StateF00.hs, 6.775877, True 
pos/tupparse.hs, 6.401576, True 
pos/GhcSort2.hs, 8.920868, True 
pos/listSet.hs, 6.985504, True 
pos/ListLen.hs, 7.648041, True 
pos/ex1.hs, 6.755827, True 
pos/datacon-inv.hs, 5.436123, True 
pos/unusedtyvars.hs, 5.388466, True 
pos/meas8.hs, 6.679841, True 
pos/transpose.hs, 10.818517, True 
pos/deptup3.hs, 6.131310, True 
pos/ListRange.hs, 7.607171, True 
pos/test2.hs, 6.117875, True 
pos/exp0.hs, 5.978049, True 
pos/NoExhaustiveGuardsError.hs, 6.509524, True 
pos/meas11.hs, 6.212106, True 
pos/PairMeasure.hs, 6.686354, True 
pos/go_ugly_type.hs, 6.308676, True 
pos/Class.hs, 6.988723, True 
pos/pair0.hs, 9.590973, True 
pos/meas7.hs, 6.633580, True 
pos/vector1b.hs, 8.063737, True 
pos/zipW.hs, 5.514198, True 
pos/Even0.hs, 5.506970, True 
pos/test000.hs, 6.238865, True 
pos/meas6.hs, 6.250662, True 
pos/Goo.hs, 6.692603, True 
pos/wrap1.hs, 6.903644, True 
pos/grty2.hs, 6.138928, True 
pos/poly3.hs, 6.544272, True 
pos/HigherOrderRecFun.hs, 5.979136, True 
pos/monad1.hs, 5.820115, True 
pos/scanr.hs, 6.854815, True 
pos/monad5.hs, 7.663415, True 
pos/vector1.hs, 7.442057, True 
pos/HedgeUnion.hs, 6.602057, True 
pos/ListSort.hs, 19.039762, True 
pos/anftest.hs, 5.850544, True 
pos/range1.hs, 6.387748, True 
pos/monad6.hs, 6.833480, True 
pos/wrap0.hs, 6.659844, True 
pos/top0.hs, 6.212389, True 
pos/imp0.hs, 6.139081, True 
pos/ListReverse-LType.hs, 6.093750, True 
pos/tagBinder.hs, 6.011719, True 
pos/MutualRec.hs, 11.587522, True 
pos/pragma0.hs, 6.015718, True 
pos/poly4.hs, 6.365997, True 
pos/test1.hs, 5.877051, True 
pos/TypeAlias.hs, 6.503969, True 
pos/maybe0.hs, 6.595361, True 
pos/maybe1.hs, 6.558529, True 
pos/transTAG.hs, 9.978923, True 
pos/risers.hs, 12.411260, True 
pos/ListMSort-LType.hs, 15.960532, True 
pos/mutrec.hs, 6.588891, True 
pos/grty0.hs, 5.278993, True 
pos/mapTvCrash.hs, 5.123239, True 
pos/Coercion.hs, 5.621747, True 
pos/SafePartialFunctions.hs, 5.918886, True 
pos/meas10.hs, 6.590513, True 
pos/primInt0.hs, 5.923919, True 
pos/maybe4.hs, 6.307612, True 
pos/foldr.hs, 5.455169, True 
pos/deptupW.hs, 6.758460, True 
pos/lex.hs, 5.688326, True 
pos/partial-tycon.hs, 6.112953, True 
pos/alias00.hs, 5.205710, True 
pos/poly0.hs, 6.144570, True 
pos/stateInvarint.hs, 7.596815, True 
pos/ListElem.hs, 6.444021, True 
pos/linspace.hs, 40.501819, True 
pos/zipSO.hs, 6.967507, True 
pos/deptup.hs, 7.626433, True 
pos/fixme0.hs, 6.109563, True 
pos/ToyMVar.hs, 7.007019, True 
pos/Even.hs, 5.996622, True 
pos/ite.hs, 6.158915, True 
pos/ListISort-LType.hs, 8.833049, True 
pos/niki.hs, 5.104750, True 
pos/StreamInvariants.hs, 6.117057, True 
pos/Avg.hs, 2.557210, True 
pos/foldN.hs, 5.886935, True 
pos/pargs.hs, 5.242564, True 
pos/RecSelector.hs, 6.159986, True 
pos/Class2.hs, 5.830278, True 
pos/deepmeas0.hs, 6.710343, True 
pos/ListMSort.hs, 15.214279, True 
pos/listAnf.hs, 5.323470, True 
pos/zipper.hs, 14.321404, True 
pos/Assume.hs, 5.738087, True 
pos/meas0a.hs, 6.138664, True 
pos/record1.hs, 6.162955, True 
pos/rangeAdt.hs, 9.048298, True 
pos/datacon0.hs, 7.000903, True 
pos/State1.hs, 6.034550, True 
pos/meas00.hs, 6.348685, True 
pos/LambdaEvalTiny.hs, 7.887321, True 
pos/nullterm.hs, 8.162417, True 
pos/test00c.hs, 5.983168, True 
pos/RecQSort0.hs, 6.761060, True 
pos/spec0.hs, 6.025901, True 
pos/LocalLazy.hs, 6.493374, True 
pos/listSetDemo.hs, 7.723883, True 
pos/ex0.hs, 6.490173, True 
pos/cont1.hs, 5.323846, True 
pos/grty1.hs, 5.734414, True 
pos/meas4.hs, 7.269749, True 
pos/vector00.hs, 5.260953, True 
pos/deptup0.hs, 6.434107, True 
pos/ListRange-LType.hs, 6.197674, True 
pos/poslist.hs, 7.044178, True 
pos/funcomposition.hs, 5.583656, True 
pos/LambdaEvalSuperTiny.hs, 8.243524, True 
pos/meas1.hs, 6.371883, True 
pos/LambdaEval.hs, 58.867729, True 
pos/Bar.hs, 5.479241, True 
pos/mapreduce-bare.hs, 16.388501, True 
pos/maybe000.hs, 5.777125, True 
pos/meas00a.hs, 6.363472, True 
pos/BST000.hs, 10.219294, True 
pos/Infinity.hs, 6.278650, True 
pos/polyfun.hs, 6.021936, True 
pos/ListKeys.hs, 5.904818, True 
pos/RealProps.hs, 3.418721, True 
pos/pred.hs, 5.467187, True 
pos/test0.hs, 5.614849, True 
pos/maybe00.hs, 6.153631, True 
pos/testRec.hs, 5.713368, True 
pos/ListQSort.hs, 10.876193, True 
pos/zipW1.hs, 5.597129, True 
pos/State.hs, 7.295127, True 
pos/test00.hs, 6.415892, True 
pos/record0.hs, 6.606814, True 
pos/Foo.hs, 5.486364, True 
pos/Resolve.hs, 5.588928, True 
pos/compare2.hs, 6.641314, True 
pos/GeneralizedTermination.hs, 6.717002, True 
pos/Measures.hs, 5.720730, True 
pos/Overwrite.hs, 5.509562, True 
pos/pargs1.hs, 5.287603, True 
pos/rec_annot_go.hs, 6.894809, True 
pos/poslist_dc.hs, 5.885909, True 
pos/ListLen-LType.hs, 8.186611, True 
pos/poly2-degenerate.hs, 5.832535, True 
pos/RecQSort.hs, 6.466985, True 
pos/LazyWhere.hs, 6.427413, True 
pos/Moo.hs, 5.542435, True 
pos/Mod2.hs, 5.339177, True 
pos/GCD.hs, 7.325362, True 
pos/vector1a.hs, 7.809756, True 
pos/Measures1.hs, 7.375075, True 
pos/State0.hs, 8.352210, True 
pos/ResolvePred.hs, 6.798148, True 
pos/vector2.hs, 9.465702, True 
pos/poly2.hs, 7.586527, True 
pos/qualTest.hs, 5.847983, True 
pos/multi-pred-app-00.hs, 5.919100, True 
pos/compare.hs, 6.046502, True 
pos/Test761.hs, 5.566513, True 
pos/cmptag0.hs, 6.434971, True 
pos/anfbug.hs, 6.825261, True 
pos/forloop.hs, 7.229616, True 
pos/malformed0.hs, 8.339061, True 
pos/zipW2.hs, 5.963953, True 
pos/term0.hs, 6.019607, True 
pos/pair00.hs, 8.062054, True 
pos/duplicate-bind.hs, 6.119264, True 
neg/Strata.hs, 6.058966, True 
pos/GhcSort3.hs, 14.295813, True 
pos/meas5.hs, 8.851465, True 
neg/polypred.hs, 6.148470, True 
neg/Class1.hs, 6.684816, True 
neg/StrictPair1.hs, 6.664646, True 
neg/meas9.hs, 6.743316, True 
neg/meas3.hs, 6.990458, True 
neg/datacon-eq.hs, 6.712662, True 
neg/ListConcat.hs, 6.557861, True 
neg/truespec.hs, 6.921259, True 
neg/grty3.hs, 6.528704, True 
neg/pragma0-unsafe.hs, 6.324648, True 
neg/meas0.hs, 7.367279, True 
neg/Invariants.hs, 7.491573, True 
neg/monad7.hs, 7.596318, True 
neg/ListISort.hs, 9.371470, True 
neg/string00.hs, 6.126439, True 
neg/Class5.hs, 6.212834, True 
neg/state00.hs, 6.727804, True 
neg/TopLevel.hs, 5.239349, True 
neg/Class4.hs, 6.077151, True 
pos/BST.hs, 35.150975, True 
neg/LocalSpec.hs, 6.483096, True 
neg/state0.hs, 6.165909, True 
neg/deppair0.hs, 6.047541, True 
neg/fixme.hs, 6.429255, True 
neg/pair.hs, 10.780677, True 
neg/errorloc.hs, 6.796666, True 
neg/Class3.hs, 6.707811, True 
neg/StrictPair0.hs, 6.536871, True 
neg/range.hs, 8.197783, True 
neg/trans.hs, 9.251116, True 
neg/vector0.hs, 8.115800, True 
neg/LazyWhere1.hs, 6.722541, True 
neg/tyclass0-unsafe.hs, 5.884495, True 
neg/meas2.hs, 7.185777, True 
neg/poly1.hs, 6.518950, True 
neg/test00b.hs, 8.359626, True 
neg/Baz.hs, 6.485461, True 
neg/concat2.hs, 8.074118, True 
neg/nestedRecursion.hs, 6.262181, True 
neg/ListRange.hs, 6.631715, True 
neg/stacks.hs, 7.691450, True 
neg/sumPoly.hs, 6.657109, True 
neg/NoExhaustiveGuardsError.hs, 6.823378, True 
neg/mapreduce.hs, 12.919379, True 
neg/test2.hs, 7.333595, True 
neg/PairMeasure.hs, 6.288254, True 
neg/foldN1.hs, 6.697510, True 
neg/meas7.hs, 6.499066, True 
neg/pair0.hs, 8.749642, True 
neg/CastedTotality.hs, 6.792443, True 
neg/grty2.hs, 7.746223, True 
neg/wrap1.hs, 7.845829, True 
neg/prune0.hs, 6.361764, True 
neg/monad5.hs, 6.832973, True 
neg/mapreduce-tiny.hs, 6.519550, True 
neg/monad6.hs, 6.232077, True 
neg/wrap0.hs, 6.558289, True 
neg/test1.hs, 6.767913, True 
neg/HolesTop.hs, 5.492270, True 
neg/partial.hs, 5.596032, True 
neg/grty0.hs, 5.736868, True 
neg/qsloop.hs, 7.375138, True 
neg/poly0.hs, 5.736818, True 
neg/SafePartialFunctions.hs, 6.199543, True 
neg/deptupW.hs, 6.423098, True 
neg/ListElem.hs, 6.136505, True 
neg/ass0.hs, 6.442702, True 
neg/sumk.hs, 6.584531, True 
neg/Even.hs, 5.215253, True 
neg/alias00.hs, 6.312016, True 
neg/StreamInvariants.hs, 6.394161, True 
neg/ListISort-LType.hs, 8.076248, True 
neg/risers.hs, 14.550383, True 
neg/foldN.hs, 6.534187, True 
neg/testRec.hs, 0.072175, True 
neg/pargs.hs, 5.660169, True 
neg/RecSelector.hs, 6.687255, True 
neg/vector0a.hs, 5.990445, True 
pos/GhcListSort.hs, 35.907279, True 
neg/Class2.hs, 7.108183, True 
neg/concat1.hs, 7.615983, True 
neg/ListMSort.hs, 14.168938, True 
neg/concat.hs, 7.626655, True 
neg/poslist.hs, 7.275900, True 
neg/RG.hs, 7.491291, True 
neg/test00a.hs, 7.000344, True 
neg/grty1.hs, 7.443838, True 
neg/NoMethodBindingError.hs, 5.653362, True 
neg/funcomposition.hs, 6.124936, True 
neg/ListKeys.hs, 6.323026, True 
neg/vector00.hs, 7.222673, True 
neg/csv.hs, 15.860048, True 
neg/ListQSort.hs, 9.052707, True 
neg/pred.hs, 5.749821, True 
neg/ex2-unsafe.hs, 6.660611, True 
neg/test00.hs, 5.962553, True 
neg/GeneralizedTermination.hs, 6.017981, True 
neg/record0.hs, 6.618952, True 
neg/pargs1.hs, 5.597986, True 
neg/Eval.hs, 6.894768, True 
neg/ex0-unsafe.hs, 6.332060, True 
neg/poly2-degenerate.hs, 5.873751, True 
neg/RecQSort.hs, 7.099897, True 
neg/LazyWhere.hs, 5.819121, True 
neg/monad4.hs, 5.772958, True 
neg/ex1-unsafe.hs, 6.391351, True 
neg/vector1a.hs, 6.627531, True 
neg/poly2.hs, 6.621785, True 
neg/monad3.hs, 7.001044, True 
neg/mr00.hs, 6.456923, True 
neg/multi-pred-app-00.hs, 5.711267, True 
neg/list00.hs, 6.130843, True 
neg/vector2.hs, 8.435599, True 
crash/typeAliasDup.hs, 5.578948, True 
crash/funref.hs, 5.540055, True 
crash/Unbound.hs, 5.600602, True 
neg/revshape.hs, 6.642756, True 
neg/meas5.hs, 8.866021, True 
../benchmarks/esop2013-submission/Toy.hs, 9.275550, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Internal.hs, 9.044323, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Unsafe.hs, 12.489692, True 
../benchmarks/esop2013-submission/Fib.hs, 15.925207, True 
../benchmarks/esop2013-submission/ListSort.hs, 17.877743, True 
pos/Map2.hs, 75.396086, True 
../benchmarks/text-0.11.2.3/Data/Text/Internal.hs, 16.984924, True 
../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs, 21.938561, True 
pos/Map0.hs, 86.206156, True 
../benchmarks/text-0.11.2.3/Data/Text/Private.hs, 16.137091, True 
../benchmarks/text-0.11.2.3/Data/Text/Array.hs, 16.477644, True 
../benchmarks/text-0.11.2.3/Data/Text/UnsafeChar.hs, 22.418162, True 
pos/Map.hs, 83.820075, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Char8.hs, 41.134848, True 
../benchmarks/esop2013-submission/Array.hs, 47.145411, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy/Char8.hs, 43.297943, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 46.060367, True 
../benchmarks/text-0.11.2.3/Data/Text/Foreign.hs, 23.790498, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Internal.hs, 47.138945, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion/Size.hs, 9.672269, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Internal.hs, 21.663319, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Common.hs, 10.314416, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Insertion.hs, 12.207377, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Combinators.hs, 7.839238, True 
../benchmarks/text-0.11.2.3/Data/Text/Search.hs, 44.427122, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Fusion.hs, 43.238817, True 
pos/RBTree-ord.hs, 111.475248, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Encoding.hs, 40.525860, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Termination.hs, 11.185685, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Radix.hs, 22.302546, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Search.hs, 27.255483, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Builder.hs, 55.212662, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Intro.hs, 39.413726, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Merge.hs, 45.645680, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/AmericanFlag.hs, 48.189912, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Optimal.hs, 51.908752, True 
../benchmarks/esop2013-submission/Splay.hs, 103.185663, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs, 113.014804, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs, 119.198170, True 
../benchmarks/vector-algorithms-0.5.4.2/Data/Vector/Algorithms/Heap.hs, 68.390248, True 
pos/RBTree-col-height.hs, 231.580860, True 
pos/RBTree-color.hs, 224.799493, True 
../benchmarks/text-0.11.2.3/Data/Text/Fusion.hs, 144.296853, True 
pos/OrdList.hs, 214.785806, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy/Search.hs, 133.028399, True 
../benchmarks/text-0.11.2.3/Data/Text/Encoding.hs, 164.456120, True 
pos/RBTree.hs, 310.608168, True 
../benchmarks/text-0.11.2.3/Data/Text.hs, 227.251024, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs, 253.117372, True 
../benchmarks/esop2013-submission/Base.hs, 272.506221, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs, 272.236021, True 
../benchmarks/text-0.11.2.3/Data/Text/Lazy.hs, 264.247987, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs, 380.619533, True 
../benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs, 457.966312, True