test, time(s), result 
pos/Abs.hs, 4.781472, True 
pos/ResolveB.hs, 4.845682, True 
pos/monad2.hs, 4.978558, True 
pos/tup0.hs, 5.349159, True 
pos/hello.hs, 5.480998, True 
pos/datacon1.hs, 5.600296, True 
pos/ite1.hs, 5.981407, True 
pos/StackClass.hs, 5.996863, True 
pos/meas9.hs, 6.083994, True 
pos/poly3a.hs, 6.085292, True 
pos/Holes.hs, 6.353410, True 
pos/TokenType.hs, 6.426175, True 
pos/StrictPair1.hs, 6.467966, True 
pos/stacks0.hs, 6.514147, True 
pos/ex2.hs, 6.581380, True 
pos/extype.hs, 6.586830, True 
pos/lets.hs, 6.588403, True 
pos/deptup1.hs, 6.965587, True 
pos/vecloop.hs, 0.190192, False 
pos/meas3.hs, 7.230542, True 
pos/selfList.hs, 7.487150, True 
pos/take.hs, 7.865643, True 
pos/Permutation.hs, 9.542906, True 
pos/GhcSort3.T.hs, 10.075581, True 
pos/NoCaseExpand.hs, 10.123527, True 
pos/ListConcat.hs, 5.881897, True 
pos/bar.hs, 5.407016, True 
pos/test00.old.hs, 6.106649, True 
pos/Mod1.hs, 5.510568, True 
pos/meas0.hs, 6.078902, True 
pos/ListISort.hs, 6.467966, True 
pos/go.hs, 5.770420, True 
pos/Invariants.hs, 5.646176, True 
pos/niki1.hs, 5.956689, True 
pos/grty3.hs, 6.070873, True 
pos/LiquidArray.hs, 5.580843, True 
pos/gimme.hs, 5.721043, True 
pos/infix.hs, 5.896564, True 
pos/string00.hs, 5.731959, True 
pos/state00.hs, 6.001306, True 
pos/monad7.hs, 7.164732, True 
pos/LocalSpec.hs, 5.867268, True 
pos/trans.hs, 7.594072, True 
pos/gadtEval.hs, 8.291587, True 
pos/ListQSort-LType.hs, 15.959524, True 
pos/LambdaEvalMini.hs, 15.963883, True 
pos/pair.hs, 9.430330, True 
pos/adt0.hs, 6.138450, True 
pos/TopLevel.hs, 5.356593, True 
pos/maybe2.hs, 10.499054, True 
pos/StateF.hs, 5.733795, False 
pos/data2.hs, 6.872227, True 
pos/range.hs, 7.097888, True 
pos/modTest.hs, 5.997870, True 
pos/polyqual.hs, 8.164638, True 
pos/tyfam0.hs, 5.981646, True 
pos/GhcSort1.hs, 18.384612, True 
pos/compare1.hs, 6.317228, True 
pos/tyclass0.hs, 6.250342, True 
pos/fixme.hs, 5.359616, True 
pos/transpose.hs, 0.186374, False 
pos/state0.hs, 7.461542, True 
pos/initarray.hs, 7.901371, True 
pos/for.hs, 7.632213, True 
pos/Loo.hs, 5.661749, True 
pos/zipper0.hs, 19.886268, True 
pos/RBTree-height.hs, 19.895567, True 
pos/vector0.hs, 7.572421, True 
pos/StateF0.hs, 5.250421, False 
pos/tyvar.hs, 4.812222, True 
pos/deppair0.hs, 5.486853, True 
pos/SimplerNotation.hs, 5.371083, True 
pos/StrictPair0.hs, 6.037242, True 
pos/LazyWhere1.hs, 6.035921, True 
pos/ResolveA.hs, 4.988554, False 
pos/deppair1.hs, 5.824143, True 
pos/ex01.hs, 5.428238, True 
pos/meas2.hs, 6.472362, True 
pos/maybe3.hs, 6.026315, True 
pos/test00b.hs, 6.393137, True 
pos/alias01.hs, 5.636908, True 
pos/profcrasher.hs, 6.514368, True 
pos/RecordSelectorError.hs, 6.074815, True 
pos/Ackermann.hs, 7.231849, True 
pos/comprehensionTerm.hs, 9.341001, True 
pos/poly1.hs, 6.467233, True 
pos/Graph.hs, 6.381008, True 
pos/StateF00.hs, 5.681595, True 
pos/DataBase.hs, 6.627937, True 
pos/maybe.hs, 8.208589, True 
pos/mapreduce.hs, 11.052769, True 
pos/tupparse.hs, 6.203308, True 
pos/PairMeasure0.hs, 6.200974, True 
pos/listSet.hs, 6.639350, True 
pos/ListLen.hs, 7.929519, True 
pos/ex1.hs, 6.823998, True 
pos/datacon-inv.hs, 6.217453, True 
pos/GhcSort2.hs, 10.408862, True 
pos/unusedtyvars.hs, 5.996917, True 
pos/ListRange.hs, 7.049931, True 
pos/exp0.hs, 5.271651, True 
pos/meas8.hs, 6.245881, True 
pos/deptup3.hs, 6.401626, True 
pos/NoExhaustiveGuardsError.hs, 5.551503, True 
pos/test2.hs, 6.527531, True 
pos/PairMeasure.hs, 6.088418, True 
pos/meas11.hs, 6.244403, True 
pos/Class.hs, 6.597084, True 
pos/meas7.hs, 6.512181, True 
pos/Goo.hs, 5.759946, True 
pos/go_ugly_type.hs, 7.092595, True 
pos/vector1b.hs, 7.283968, True 
pos/poly3.hs, 5.595778, True 
pos/test000.hs, 6.059661, True 
pos/zipW.hs, 5.006920, True 
pos/pair0.hs, 9.784216, True 
pos/meas6.hs, 6.711573, True 
pos/Even0.hs, 5.864413, True 
pos/grty2.hs, 6.004062, True 
pos/wrap1.hs, 7.652569, True 
pos/monad1.hs, 5.352233, True 
pos/scanr.hs, 5.636949, True 
pos/HigherOrderRecFun.hs, 6.408812, True 
pos/monad5.hs, 7.172032, True 
pos/wrap0.hs, 6.738023, True 
pos/HedgeUnion.hs, 7.392661, True 
pos/monad6.hs, 7.106152, True 
pos/ListSort.hs, 20.220582, True 
pos/vector1.hs, 8.390213, True 
pos/tagBinder.hs, 5.892013, True 
pos/range1.hs, 7.784925, True 
pos/anftest.hs, 7.386030, True 
pos/imp0.hs, 7.501315, True 
pos/top0.hs, 7.923535, True 
pos/poly4.hs, 7.493338, True 
pos/pragma0.hs, 6.912822, True 
pos/ListReverse-LType.hs, 7.610165, True 
pos/TypeAlias.hs, 6.781360, True 
pos/maybe0.hs, 6.244992, True 
pos/test1.hs, 6.266748, True 
pos/maybe1.hs, 7.404731, True 
pos/mutrec.hs, 6.074664, True 
pos/risers.hs, 13.128003, True 
pos/MutualRec.hs, 13.869318, True 
pos/ListMSort-LType.hs, 16.341062, True 
pos/transTAG.hs, 11.760054, True 
pos/meas10.hs, 6.264232, True 
pos/grty0.hs, 5.359139, True 
pos/Coercion.hs, 6.656060, True 
pos/mapTvCrash.hs, 6.346063, True 
pos/primInt0.hs, 6.236702, True 
pos/SafePartialFunctions.hs, 6.967245, True 
pos/poly0.hs, 5.519281, True 
pos/deptupW.hs, 6.604342, True 
pos/stateInvarint.hs, 7.462224, True 
pos/partial-tycon.hs, 6.065999, True 
pos/ListElem.hs, 6.143692, True 
pos/foldr.hs, 6.529558, True 
pos/lex.hs, 6.169244, True 
pos/alias00.hs, 5.297724, True 
pos/maybe4.hs, 7.379650, True 
pos/zipSO.hs, 6.823430, True 
pos/fixme0.hs, 5.449185, True 
pos/deptup.hs, 7.577595, True 
pos/Even.hs, 5.781050, True 
pos/ite.hs, 5.487513, True 
pos/ToyMVar.hs, 6.663054, True 
pos/zipper.hs, 12.822826, True 
pos/StreamInvariants.hs, 5.541271, True 
pos/linspace.hs, 43.427733, True 
pos/ListISort-LType.hs, 8.808184, True 
pos/ListMSort.hs, 14.032858, True 
pos/Avg.hs, 3.023869, False 
pos/foldN.hs, 5.449163, True 
pos/niki.hs, 5.444686, True 
pos/Class2.hs, 5.110530, True 
pos/RecSelector.hs, 5.797634, True 
pos/deepmeas0.hs, 6.548575, True 
pos/pargs.hs, 5.507881, True 
pos/Assume.hs, 5.351943, True 
pos/listAnf.hs, 5.937316, True 
pos/record1.hs, 5.359287, True 
pos/rangeAdt.hs, 8.951600, True 
pos/meas0a.hs, 6.108353, True 
pos/datacon0.hs, 6.304160, True 
pos/meas00.hs, 6.135332, True 
pos/nullterm.hs, 7.284976, True 
pos/spec0.hs, 5.263198, True 
pos/LocalLazy.hs, 6.085136, True 
pos/State1.hs, 7.546091, True 
pos/test00c.hs, 6.761761, True 
pos/listSetDemo.hs, 7.370976, True 
pos/RecQSort0.hs, 7.158034, True 
pos/LambdaEvalTiny.hs, 9.638170, True 
pos/ex0.hs, 6.579294, True 
pos/grty1.hs, 5.499447, True 
pos/meas4.hs, 6.663756, True 
pos/cont1.hs, 6.208172, True 
pos/vector00.hs, 5.421418, True 
pos/deptup0.hs, 6.281377, True 
pos/funcomposition.hs, 5.365395, True 
pos/mapreduce-bare.hs, 15.552667, True 
pos/LambdaEvalSuperTiny.hs, 7.843595, True 
pos/poslist.hs, 6.809973, True 
pos/meas1.hs, 6.132858, True 
pos/ListRange-LType.hs, 6.620835, True 
pos/meas00a.hs, 5.982755, True 
pos/Bar.hs, 5.776887, True 
pos/RealProps.hs, 2.344130, False 
pos/polyfun.hs, 5.132921, True 
pos/maybe000.hs, 6.261220, True 
pos/BST000.hs, 10.727014, True 
pos/LambdaEval.hs, 61.904882, True 
pos/pred.hs, 5.679520, True 
pos/Infinity.hs, 6.639413, True 
pos/maybe00.hs, 6.045366, True 
pos/vector2.hs, 0.143716, False 
pos/testRec.hs, 5.544580, True 
pos/test0.hs, 5.814494, True 
pos/ListKeys.hs, 6.792598, True 
pos/test00.hs, 5.615411, True 
pos/ListQSort.hs, 10.999624, True 
pos/State.hs, 7.426785, True 
pos/rec_annot_go.hs, 5.501524, True 
pos/record0.hs, 6.380288, True 
pos/GeneralizedTermination.hs, 6.005600, True 
pos/zipW1.hs, 6.443992, True 
pos/Foo.hs, 5.602294, True 
pos/compare2.hs, 6.547764, True 
pos/Resolve.hs, 5.766990, False 
pos/Measures.hs, 6.071736, True 
pos/Overwrite.hs, 6.190375, True 
pos/ListLen-LType.hs, 8.066561, True 
pos/pargs1.hs, 6.311186, True 
pos/poly2-degenerate.hs, 5.830074, True 
pos/RecQSort.hs, 6.717539, True 
pos/LazyWhere.hs, 5.834808, True 
pos/poslist_dc.hs, 6.897889, True 
pos/Measures1.hs, 5.832876, True 
pos/GCD.hs, 6.708657, True 
pos/State0.hs, 6.505610, True 
pos/Moo.hs, 6.515891, True 
pos/vector1a.hs, 7.098198, True 
pos/poly2.hs, 6.341102, True 
pos/Mod2.hs, 6.794353, True 
pos/anfbug.hs, 6.283446, True 
pos/ResolvePred.hs, 7.091463, True 
pos/cmptag0.hs, 6.772332, True 
pos/multi-pred-app-00.hs, 6.912201, True 
pos/forloop.hs, 7.525312, True 
pos/compare.hs, 6.491680, True 
pos/malformed0.hs, 7.956616, True 
pos/qualTest.hs, 5.979700, True 
pos/Test761.hs, 7.063916, True 
pos/zipW2.hs, 7.049125, True 
pos/term0.hs, 6.936737, True 
pos/duplicate-bind.hs, 6.213347, True 
neg/Strata.hs, 7.067288, True 
neg/meas3.hs, 7.085181, True 
neg/meas9.hs, 6.786581, True 
neg/truespec.hs, 5.409068, True 
neg/StrictPair1.hs, 7.027247, True 
neg/Class1.hs, 7.335828, True 
pos/pair00.hs, 9.876880, True 
neg/polypred.hs, 6.987625, True 
neg/datacon-eq.hs, 6.551408, True 
pos/GhcSort3.hs, 15.651373, True 
neg/ListConcat.hs, 6.575455, True 
neg/meas0.hs, 6.407576, True 
pos/meas5.hs, 10.057706, True 
neg/grty3.hs, 6.928683, True 
neg/pragma0-unsafe.hs, 7.095117, True 
neg/Invariants.hs, 6.854581, True 
neg/ListISort.hs, 9.160440, True 
neg/monad7.hs, 8.134914, True 
neg/Class5.hs, 6.066602, True 
neg/TopLevel.hs, 4.955912, True 
neg/LocalSpec.hs, 5.932300, True 
neg/string00.hs, 7.662305, True 
neg/state0.hs, 5.679894, True 
neg/state00.hs, 7.371244, True 
neg/Class4.hs, 7.385415, True 
neg/deppair0.hs, 5.696010, True 
neg/vector0.hs, 7.099710, True 
neg/errorloc.hs, 7.221698, True 
neg/fixme.hs, 7.506508, True 
neg/Class3.hs, 6.991614, True 
neg/StrictPair0.hs, 6.703212, True 
neg/trans.hs, 10.429780, True 
neg/pair.hs, 12.573160, True 
neg/LazyWhere1.hs, 6.598384, True 
neg/range.hs, 10.700260, True 
neg/test00b.hs, 6.027464, True 
neg/meas2.hs, 7.832826, True 
neg/tyclass0-unsafe.hs, 6.850284, True 
pos/BST.hs, 41.680034, True 
neg/poly1.hs, 8.044462, True 
neg/nestedRecursion.hs, 7.179078, True 
neg/Baz.hs, 7.888647, True 
neg/mapreduce.hs, 12.673322, True 
neg/stacks.hs, 7.827853, True 
neg/ListRange.hs, 7.368189, True 
neg/concat2.hs, 10.015648, True 
neg/sumPoly.hs, 7.009025, True 
neg/NoExhaustiveGuardsError.hs, 7.155732, True 
neg/test2.hs, 8.075097, True 
neg/meas7.hs, 6.302495, True 
neg/foldN1.hs, 7.530233, True 
neg/PairMeasure.hs, 7.718163, True 
neg/CastedTotality.hs, 6.819526, True 
neg/grty2.hs, 7.307748, True 
neg/pair0.hs, 10.582316, True 
neg/wrap1.hs, 8.092612, True 
neg/monad6.hs, 5.847625, True 
neg/prune0.hs, 7.125593, True 
neg/monad5.hs, 7.467999, True 
neg/HolesTop.hs, 5.180600, True 
neg/wrap0.hs, 6.145346, True 
neg/test1.hs, 6.751822, True 
neg/mapreduce-tiny.hs, 7.694423, True 
neg/qsloop.hs, 6.890064, True 
neg/grty0.hs, 6.152767, True 
neg/SafePartialFunctions.hs, 6.470984, True 
neg/poly0.hs, 5.657022, True 
neg/partial.hs, 6.640644, True 
neg/deptupW.hs, 6.280207, True 
neg/ListElem.hs, 5.936057, True 
neg/alias00.hs, 5.120198, True 
neg/sumk.hs, 6.423680, True 
neg/ass0.hs, 7.041770, True 
neg/ListISort-LType.hs, 6.872865, True 
neg/Even.hs, 6.807110, True 
neg/StreamInvariants.hs, 6.865913, True 
neg/risers.hs, 15.307891, True 
neg/testRec.hs, 0.073801, True 
neg/foldN.hs, 7.113519, True 
neg/pargs.hs, 6.137476, True 
neg/RecSelector.hs, 7.253481, True 
neg/vector0a.hs, 5.746625, True 
neg/Class2.hs, 7.076204, True 
neg/concat.hs, 6.982629, True 
neg/test00a.hs, 6.236877, True 
neg/concat1.hs, 8.102983, True 
neg/grty1.hs, 6.618298, True 
neg/vector00.hs, 5.593262, True 
neg/vector2.hs, 0.153653, False 
pos/GhcListSort.hs, 39.014260, True 
neg/ListMSort.hs, 15.399746, True 
neg/RG.hs, 7.629859, True 
neg/NoMethodBindingError.hs, 6.558651, True 
neg/poslist.hs, 8.128169, True 
neg/ListKeys.hs, 6.447786, True 
neg/funcomposition.hs, 7.301940, True 
neg/pred.hs, 5.492061, True 
neg/ex2-unsafe.hs, 5.819722, True 
neg/csv.hs, 16.318345, True 
neg/record0.hs, 6.221974, True 
neg/GeneralizedTermination.hs, 6.201509, True 
neg/ListQSort.hs, 10.325536, True 
neg/pargs1.hs, 6.349536, True 
neg/Eval.hs, 6.648221, True 
neg/test00.hs, 7.078123, True 
neg/ex0-unsafe.hs, 7.011972, True 
neg/poly2.hs, 4.962335, True 
neg/LazyWhere.hs, 5.786086, True 
neg/RecQSort.hs, 6.189010, True 
neg/monad4.hs, 5.069825, True 
neg/poly2-degenerate.hs, 6.328515, True 
neg/vector1a.hs, 6.151661, True 
neg/ex1-unsafe.hs, 6.070818, True 
neg/monad3.hs, 5.619874, True 
neg/multi-pred-app-00.hs, 4.883969, True 
neg/mr00.hs, 5.076263, True 
neg/list00.hs, 4.722914, True 
neg/revshape.hs, 4.281183, True 
crash/typeAliasDup.hs, 3.927614, True 
crash/funref.hs, 3.666659, True 
crash/Unbound.hs, 3.650160, True 
neg/meas5.hs, 5.259862, True 
pos/Map0.hs, 69.138364, True 
pos/Map2.hs, 67.687190, True 
pos/Map.hs, 58.762020, True 
pos/RBTree-ord.hs, 61.361764, True 
pos/RBTree-col-height.hs, 164.111853, True 
pos/RBTree-color.hs, 157.601452, True 
pos/OrdList.hs, 138.116743, True 
pos/RBTree.hs, 238.589753, True