summary-last-ghc7.csv

 (HEAD) : 1aba981fe855028c5ccd572fe8672cbc482f612e
Timestamp: 2017-05-02 08:02:43 +0530
Epoch Timestamp: 1493692363
--------------------------------------------------------------------------------
test, time(s), result

Tests/Unit/pos/zipW2.hs, 0.7623, True
Tests/Unit/pos/zipW1.hs, 0.6780, True
Tests/Unit/pos/zipW.hs, 0.7119, True
Tests/Unit/pos/zipSO.hs, 0.7488, True
Tests/Unit/pos/zipper000.hs, 0.7535, True
Tests/Unit/pos/zipper0.hs, 0.8477, True
Tests/Unit/pos/zipper.hs, 1.4976, True
Tests/Unit/pos/WrapUnWrap.hs, 0.7705, True
Tests/Unit/pos/wrap1.hs, 0.9772, True
Tests/Unit/pos/wrap0.hs, 0.7689, True
Tests/Unit/pos/Words1.hs, 0.6400, True
Tests/Unit/pos/Words.hs, 0.6398, True
Tests/Unit/pos/WBL0.hs, 1.5602, True
Tests/Unit/pos/WBL.hs, 1.5934, True
Tests/Unit/pos/VerifiedNum.hs, 0.6513, True
Tests/Unit/pos/VerifiedMonoid.hs, 0.9687, True
Tests/Unit/pos/vector2.hs, 1.4296, True
Tests/Unit/pos/vector1b.hs, 1.1177, True
Tests/Unit/pos/vector1a.hs, 1.1386, True
Tests/Unit/pos/vector1.hs, 1.0719, True
Tests/Unit/pos/vector00.hs, 0.7724, True
Tests/Unit/pos/vector0.hs, 1.0465, True
Tests/Unit/pos/vecloop.hs, 0.9008, True
Tests/Unit/pos/Variance2.hs, 0.6383, True
Tests/Unit/pos/Variance.hs, 0.6416, True
Tests/Unit/pos/unusedtyvars.hs, 0.6386, True
Tests/Unit/pos/UnboxedTuplesAndTH.hs, 1.1666, True
Tests/Unit/pos/UnboxedTuples.hs, 0.6493, True
Tests/Unit/pos/tyvar.hs, 0.6364, True
Tests/Unit/pos/TypeFamilies.hs, 0.7401, True
Tests/Unit/pos/TypeAlias.hs, 0.6724, True
Tests/Unit/pos/tyfam0.hs, 0.6819, True
Tests/Unit/pos/tyExpr.hs, 0.6203, True
Tests/Unit/pos/tyclass0.hs, 0.6366, True
Tests/Unit/pos/tupparse.hs, 0.7652, True
Tests/Unit/pos/tup0.hs, 0.6555, True
Tests/Unit/pos/transTAG.hs, 1.7778, True
Tests/Unit/pos/transpose.hs, 1.1778, True
Tests/Unit/pos/trans.hs, 0.8559, True
Tests/Unit/pos/ToyMVar.hs, 0.9025, True
Tests/Unit/pos/TopLevel.hs, 0.6797, True
Tests/Unit/pos/top0.hs, 0.7409, True
Tests/Unit/pos/TokenType.hs, 0.6231, True
Tests/Unit/pos/testRec.hs, 0.6860, True
Tests/Unit/pos/Test761.hs, 0.6909, True
Tests/Unit/pos/test2.hs, 0.6965, True
Tests/Unit/pos/test1.hs, 0.8430, True
Tests/Unit/pos/test00c.hs, 0.8319, True
Tests/Unit/pos/test00b.hs, 0.7061, True
Tests/Unit/pos/test000.hs, 0.7220, True
Tests/Unit/pos/test00.old.hs, 0.6925, True
Tests/Unit/pos/test00.hs, 0.7028, True
Tests/Unit/pos/test00-int.hs, 0.6905, True
Tests/Unit/pos/test0.hs, 0.6871, True
Tests/Unit/pos/TerminationNum0.hs, 0.6911, True
Tests/Unit/pos/TerminationNum.hs, 0.6720, True
Tests/Unit/pos/Termination.lhs, 1.2970, True
Tests/Unit/pos/term0.hs, 0.7445, True
Tests/Unit/pos/Term.hs, 0.7397, True
Tests/Unit/pos/TemplateHaskellImp.hs, 0.9344, True
Tests/Unit/pos/TemplateHaskell.hs, 1.6588, True
Tests/Unit/pos/take.hs, 0.9210, True
Tests/Unit/pos/tagBinder.hs, 0.6311, True
Tests/Unit/pos/T914.hs, 0.7142, True
Tests/Unit/pos/T866.hs, 0.6387, True
Tests/Unit/pos/T820.hs, 0.7626, True
Tests/Unit/pos/T819A.hs, 0.9399, True
Tests/Unit/pos/T819.hs, 0.7510, True
Tests/Unit/pos/T716.hs, 0.7578, True
Tests/Unit/pos/T675.hs, 0.7707, True
Tests/Unit/pos/T598.hs, 0.7908, True
Tests/Unit/pos/T595a.hs, 0.6323, True
Tests/Unit/pos/T595.hs, 0.7449, True
Tests/Unit/pos/T531.hs, 0.6277, True
Tests/Unit/pos/Sum.hs, 0.6675, True
Tests/Unit/pos/StructRec.hs, 0.6742, True
Tests/Unit/pos/Strings.hs, 0.6691, True
Tests/Unit/pos/StringLit.hs, 0.6304, True
Tests/Unit/pos/string00.hs, 0.6893, True
Tests/Unit/pos/StrictPair1.hs, 0.9685, True
Tests/Unit/pos/StrictPair0.hs, 0.6787, True
Tests/Unit/pos/StreamInvariants.hs, 0.6432, True
Tests/Unit/pos/stateInvarint.hs, 0.8519, True
Tests/Unit/pos/StateF00.hs, 0.6651, True
Tests/Unit/pos/StateConstraints00.hs, 0.6612, True
Tests/Unit/pos/StateConstraints0.hs, 12.2324, True
Tests/Unit/pos/StateConstraints.hs, 6.7720, True
Tests/Unit/pos/State1.hs, 0.6728, True
Tests/Unit/pos/state00.hs, 0.6635, True
Tests/Unit/pos/State.hs, 0.7820, True
Tests/Unit/pos/stacks0.hs, 0.7041, True
Tests/Unit/pos/StackMachine.hs, 0.7691, True
Tests/Unit/pos/StackClass.hs, 0.6603, True
Tests/Unit/pos/spec0.hs, 0.6846, True
Tests/Unit/pos/Solver.hs, 1.2558, True
Tests/Unit/pos/SimplifyTup00.hs, 0.6534, True
Tests/Unit/pos/SimplerNotation.hs, 0.6330, True
Tests/Unit/pos/selfList.hs, 0.7779, True
Tests/Unit/pos/scanr.hs, 0.7655, True
Tests/Unit/pos/SafePartialFunctions.hs, 0.6713, True
Tests/Unit/pos/rta.hs, 0.6363, True
Tests/Unit/pos/risers.hs, 0.7250, True
Tests/Unit/pos/ResolvePred.hs, 0.6585, True
Tests/Unit/pos/ResolveB.hs, 0.6570, True
Tests/Unit/pos/ResolveA.hs, 0.6420, True
Tests/Unit/pos/Resolve.hs, 0.6524, True
Tests/Unit/pos/repeatHigherOrder.hs, 1.1442, True
Tests/Unit/pos/Repeat.hs, 0.6604, True
Tests/Unit/pos/RelativeComplete.hs, 0.6847, True
Tests/Unit/pos/ReflectLib4.hs, 0.7421, True
Tests/Unit/pos/ReflectLib3.hs, 0.7511, True
Tests/Unit/pos/ReflectLib2.hs, 0.6625, True
Tests/Unit/pos/ReflectLib1.hs, 0.6399, True
Tests/Unit/pos/ReflectLib0.hs, 0.6493, True
Tests/Unit/pos/ReflectClient4.hs, 1.0167, True
Tests/Unit/pos/ReflectClient3.hs, 0.7540, True
Tests/Unit/pos/ReflectClient2.hs, 0.6285, True
Tests/Unit/pos/ReflectClient1.hs, 0.6605, True
Tests/Unit/pos/ReflectClient0.hs, 0.6816, True
Tests/Unit/pos/ReflectBolleanFunctions.hs, 0.6630, True
Tests/Unit/pos/reflect0.hs, 0.6810, True
Tests/Unit/pos/RefinedADTs.hs, 0.6480, True
Tests/Unit/pos/Reduction.hs, 0.6266, True
Tests/Unit/pos/recursion0.hs, 0.6490, True
Tests/Unit/pos/RecSelector.hs, 0.6441, True
Tests/Unit/pos/RecQSort0.hs, 0.8442, True
Tests/Unit/pos/RecQSort.hs, 0.8481, True
Tests/Unit/pos/RecordSelectorError.hs, 0.6401, True
Tests/Unit/pos/record1.hs, 0.6315, True
Tests/Unit/pos/record0.hs, 0.7468, True
Tests/Unit/pos/rec_annot_go.hs, 0.7942, True
Tests/Unit/pos/RealProps1.hs, 0.6774, True
Tests/Unit/pos/RealProps.hs, 0.6816, True
Tests/Unit/pos/RBTree.hs, 10.5972, True
Tests/Unit/pos/RBTree-ord.hs, 6.5520, True
Tests/Unit/pos/RBTree-height.hs, 2.6513, True
Tests/Unit/pos/RBTree-color.hs, 3.1882, True
Tests/Unit/pos/RBTree-col-height.hs, 3.9045, True
Tests/Unit/pos/rangeAdt.hs, 2.3074, True
Tests/Unit/pos/range1.hs, 0.7096, True
Tests/Unit/pos/range.hs, 0.9776, True
Tests/Unit/pos/qualTest.hs, 0.6725, True
Tests/Unit/pos/QQTySyn.hs, 3.2166, True
Tests/Unit/pos/QQTySigTyVars.hs, 2.9974, True
Tests/Unit/pos/QQTySig.hs, 2.9555, True
Tests/Unit/pos/propmeasure1.hs, 0.6257, True
Tests/Unit/pos/propmeasure.hs, 0.7883, True
Tests/Unit/pos/Propability.hs, 0.7044, True
Tests/Unit/pos/PromotedDataCons.hs, 0.6398, True
Tests/Unit/pos/profcrasher.hs, 0.6754, True
Tests/Unit/pos/Product.hs, 0.9154, True
Tests/Unit/pos/primInt0.hs, 0.7622, True
Tests/Unit/pos/pred.hs, 0.6192, True
Tests/Unit/pos/pragma0.hs, 0.6426, True
Tests/Unit/pos/poslist_dc.hs, 0.7370, True
Tests/Unit/pos/poslist.hs, 0.8659, True
Tests/Unit/pos/polyqual.hs, 0.9561, True
Tests/Unit/pos/polyfun.hs, 0.7014, True
Tests/Unit/pos/poly4.hs, 0.6771, True
Tests/Unit/pos/poly3a.hs, 0.6582, True
Tests/Unit/pos/poly3.hs, 0.6674, True
Tests/Unit/pos/poly2.hs, 0.6990, True
Tests/Unit/pos/poly2-degenerate.hs, 0.6971, True
Tests/Unit/pos/poly1.hs, 0.7224, True
Tests/Unit/pos/poly0.hs, 0.7212, True
Tests/Unit/pos/PointDist.hs, 0.6894, True
Tests/Unit/pos/PlugHoles.hs, 0.6297, True
Tests/Unit/pos/PersistentVector.hs, 0.7826, True
Tests/Unit/pos/Permutation.hs, 1.5735, True
Tests/Unit/pos/partialmeasure.hs, 0.6483, True
Tests/Unit/pos/partial-tycon.hs, 0.6348, True
Tests/Unit/pos/pargs1.hs, 0.6489, True
Tests/Unit/pos/pargs.hs, 0.6330, True
Tests/Unit/pos/PairMeasure0.hs, 0.6563, True
Tests/Unit/pos/PairMeasure.hs, 0.6521, True
Tests/Unit/pos/pair00.hs, 1.1729, True
Tests/Unit/pos/pair0.hs, 1.3540, True
Tests/Unit/pos/pair.hs, 1.4149, True
Tests/Unit/pos/Overwrite.hs, 0.6447, True
Tests/Unit/pos/ORM.hs, 1.1300, True
Tests/Unit/pos/OrdList.hs, 15.3578, True
Tests/Unit/pos/nullterm.hs, 0.9599, True
Tests/Unit/pos/NoExhaustiveGuardsError.hs, 0.6441, True
Tests/Unit/pos/NoCaseExpand.hs, 1.1162, True
Tests/Unit/pos/niki1.hs, 0.7149, True
Tests/Unit/pos/niki.hs, 0.6972, True
Tests/Unit/pos/NewType.hs, 0.6330, True
Tests/Unit/pos/nats.hs, 0.7331, True
Tests/Unit/pos/NatClass.hs, 0.8224, True
Tests/Unit/pos/MutualRec.hs, 2.5327, True
Tests/Unit/pos/mutrec.hs, 0.6482, True
Tests/Unit/pos/MultipleInvariants.hs, 0.6432, True
Tests/Unit/pos/multi-pred-app-00.hs, 0.6335, True
Tests/Unit/pos/Moo.hs, 0.6387, True
Tests/Unit/pos/monad7.hs, 0.8899, True
Tests/Unit/pos/monad6.hs, 0.7260, True
Tests/Unit/pos/monad5.hs, 0.9105, True
Tests/Unit/pos/monad2.hs, 0.6424, True
Tests/Unit/pos/monad1.hs, 0.6439, True
Tests/Unit/pos/modTest.hs, 0.6777, True
Tests/Unit/pos/Mod2.hs, 0.6539, True
Tests/Unit/pos/Mod1.hs, 0.6361, True
Tests/Unit/pos/MergeSort.hs, 1.1764, True
Tests/Unit/pos/Merge1.hs, 0.6885, True
Tests/Unit/pos/MeasureSets.hs, 0.6591, True
Tests/Unit/pos/Measures1.hs, 0.6256, True
Tests/Unit/pos/Measures.hs, 0.6646, True
Tests/Unit/pos/MeasureDups.hs, 0.7149, True
Tests/Unit/pos/MeasureContains.hs, 0.7671, True
Tests/Unit/pos/meas9.hs, 0.7748, True
Tests/Unit/pos/meas8.hs, 0.7155, True
Tests/Unit/pos/meas7.hs, 0.6686, True
Tests/Unit/pos/meas6.hs, 0.8265, True
Tests/Unit/pos/meas5.hs, 1.2988, True
Tests/Unit/pos/meas4.hs, 0.8266, True
Tests/Unit/pos/meas3.hs, 0.8231, True
Tests/Unit/pos/meas2.hs, 0.6989, True
Tests/Unit/pos/meas11.hs, 0.6830, True
Tests/Unit/pos/meas10.hs, 0.7855, True
Tests/Unit/pos/meas1.hs, 0.7200, True
Tests/Unit/pos/meas0a.hs, 0.7104, True
Tests/Unit/pos/meas00a.hs, 0.6673, True
Tests/Unit/pos/meas00.hs, 0.6919, True
Tests/Unit/pos/meas0.hs, 0.6967, True
Tests/Unit/pos/maybe4.hs, 0.6547, True
Tests/Unit/pos/maybe3.hs, 0.6677, True
Tests/Unit/pos/maybe2.hs, 1.1445, True
Tests/Unit/pos/maybe1.hs, 0.8072, True
Tests/Unit/pos/maybe000.hs, 0.6598, True
Tests/Unit/pos/maybe00.hs, 0.6218, True
Tests/Unit/pos/maybe0.hs, 0.6977, True
Tests/Unit/pos/maybe.hs, 1.0397, True
Tests/Unit/pos/mapTvCrash.hs, 0.6706, True
Tests/Unit/pos/maps1.hs, 0.7025, True
Tests/Unit/pos/maps.hs, 0.7513, True
Tests/Unit/pos/MapReduceVerified.hs, 3.1433, True
Tests/Unit/pos/mapreduce-bare.hs, 4.1666, True
Tests/Unit/pos/MapFusion.hs, 0.9478, True
Tests/Unit/pos/Map2.hs, 13.4215, True
Tests/Unit/pos/Map0.hs, 12.9946, True
Tests/Unit/pos/Map.hs, 12.8356, True
Tests/Unit/pos/malformed0.hs, 1.4011, True
Tests/Unit/pos/Loo.hs, 0.7077, True
Tests/Unit/pos/LogicCurry1.hs, 0.7116, True
Tests/Unit/pos/LocalTermExpr.hs, 0.7536, True
Tests/Unit/pos/LocalSpecImp.hs, 0.6967, True
Tests/Unit/pos/LocalSpec0.hs, 0.7036, True
Tests/Unit/pos/LocalSpec.hs, 0.7380, True
Tests/Unit/pos/LocalLazy.hs, 0.7191, True
Tests/Unit/pos/LocalHole.hs, 0.7246, True
Tests/Unit/pos/lit02.hs, 0.7310, True
Tests/Unit/pos/lit00.hs, 0.7542, True
Tests/Unit/pos/lit.hs, 0.7391, True
Tests/Unit/pos/ListSort.hs, 2.1988, True
Tests/Unit/pos/listSetDemo.hs, 0.8850, True
Tests/Unit/pos/listSet.hs, 0.9019, True
Tests/Unit/pos/ListReverse-LType.hs, 0.7622, True
Tests/Unit/pos/ListRange.hs, 0.9195, True
Tests/Unit/pos/ListRange-LType.hs, 0.9181, True
Tests/Unit/pos/listqual.hs, 0.7687, True
Tests/Unit/pos/ListQSort.hs, 2.3712, True
Tests/Unit/pos/ListQSort-LType.hs, 2.4160, True
Tests/Unit/pos/ListMSort.hs, 1.7479, True
Tests/Unit/pos/ListMSort-LType.hs, 5.2246, True
Tests/Unit/pos/ListLen.hs, 1.3765, True
Tests/Unit/pos/ListLen-LType.hs, 1.2769, True
Tests/Unit/pos/ListKeys.hs, 0.7639, True
Tests/Unit/pos/ListISort.hs, 0.8565, True
Tests/Unit/pos/ListISort-LType.hs, 1.2980, True
Tests/Unit/pos/ListElem.hs, 0.7138, True
Tests/Unit/pos/ListConcat.hs, 0.7392, True
Tests/Unit/pos/listAnf.hs, 0.8651, True
Tests/Unit/pos/LiquidClass.hs, 0.7014, True
Tests/Unit/pos/LiquidAutomate.hs, 0.9443, True
Tests/Unit/pos/LiquidArray.hs, 0.7200, True
Tests/Unit/pos/Lib521.hs, 0.7214, True
Tests/Unit/pos/lex.hs, 0.7217, True
Tests/Unit/pos/lets.hs, 0.8251, True
Tests/Unit/pos/LazyWhere1.hs, 0.7406, True
Tests/Unit/pos/LazyWhere.hs, 0.7346, True
Tests/Unit/pos/LambdaEvalTiny.hs, 1.1076, True
Tests/Unit/pos/LambdaEvalSuperTiny.hs, 0.9957, True
Tests/Unit/pos/LambdaEvalMini.hs, 2.4529, True
Tests/Unit/pos/LambdaEval.hs, 12.2743, True
Tests/Unit/pos/LambdaDeBruijn.hs, 1.4377, True
Tests/Unit/pos/kmpVec.hs, 1.9278, True
Tests/Unit/pos/kmpIO.hs, 0.8748, True
Tests/Unit/pos/kmp.hs, 2.1196, True
Tests/Unit/pos/Keys.hs, 0.7357, True
Tests/Unit/pos/jeff.hs, 3.7029, True
Tests/Unit/pos/ite1.hs, 0.6856, True
Tests/Unit/pos/ite.hs, 0.7013, True
Tests/Unit/pos/invlhs.hs, 0.6916, True
Tests/Unit/pos/Invariants.hs, 0.8232, True
Tests/Unit/pos/inline1.hs, 0.7084, True
Tests/Unit/pos/inline.hs, 0.7714, True
Tests/Unit/pos/initarray.hs, 0.9978, True
Tests/Unit/pos/infix.hs, 0.7709, True
Tests/Unit/pos/Infinity.hs, 0.7786, True
Tests/Unit/pos/implies.hs, 0.7002, True
Tests/Unit/pos/imp0.hs, 0.7575, True
Tests/Unit/pos/idNat0.hs, 0.7079, True
Tests/Unit/pos/idNat.hs, 0.6914, True
Tests/Unit/pos/IcfpDemo.hs, 0.9686, True
Tests/Unit/pos/Holes.hs, 0.8039, True
Tests/Unit/pos/Holes-Slicing.hs, 0.7399, True
Tests/Unit/pos/hole-fun.hs, 0.7134, True
Tests/Unit/pos/hole-app.hs, 0.7029, True
Tests/Unit/pos/HigherOrderRecFun.hs, 0.7056, True
Tests/Unit/pos/hello.hs, 0.7425, True
Tests/Unit/pos/HedgeUnion.hs, 0.8846, True
Tests/Unit/pos/HaskellMeasure.hs, 0.7123, True
Tests/Unit/pos/HasElem.hs, 0.7377, True
Tests/Unit/pos/grty3.hs, 0.7175, True
Tests/Unit/pos/grty2.hs, 0.7257, True
Tests/Unit/pos/grty1.hs, 0.7060, True
Tests/Unit/pos/grty0.hs, 0.7098, True
Tests/Unit/pos/Graph.hs, 1.0627, True
Tests/Unit/pos/GoodHMeas.hs, 0.7230, True
Tests/Unit/pos/Goo.hs, 0.6811, True
Tests/Unit/pos/go_ugly_type.hs, 0.7528, True
Tests/Unit/pos/go.hs, 0.7552, True
Tests/Unit/pos/gimme.hs, 0.7302, True
Tests/Unit/pos/GhcSort3.T.hs, 1.5664, True
Tests/Unit/pos/GhcSort3.hs, 3.8354, True
Tests/Unit/pos/GhcSort2.hs, 1.4779, True
Tests/Unit/pos/GhcSort1.hs, 3.0975, True
Tests/Unit/pos/GhcListSort.hs, 7.1351, True
Tests/Unit/pos/GeneralizedTermination.hs, 0.8324, True
Tests/Unit/pos/GCD.hs, 0.9317, True
Tests/Unit/pos/GADTs.hs, 0.7040, True
Tests/Unit/pos/gadtEval.hs, 1.2848, True
Tests/Unit/pos/FractionalInstance.hs, 13.8675, True
Tests/Unit/pos/Fractional.hs, 0.6864, True
Tests/Unit/pos/forloop.hs, 0.9493, True
Tests/Unit/pos/for.hs, 0.9963, True
Tests/Unit/pos/Foo.hs, 0.6890, True
Tests/Unit/pos/foldr.hs, 0.7636, True
Tests/Unit/pos/foldN.hs, 0.7205, True
Tests/Unit/pos/Foldl.hs, 8.6604, True
Tests/Unit/pos/filterAbs.hs, 0.8718, True
Tests/Unit/pos/FFI.hs, 0.8523, True
Tests/Unit/pos/failName.hs, 0.7033, True
Tests/Unit/pos/extype.hs, 0.7192, True
Tests/Unit/pos/exp0.hs, 0.7476, True
Tests/Unit/pos/ExactFunApp.hs, 0.7381, True
Tests/Unit/pos/ex1.hs, 0.8890, True
Tests/Unit/pos/ex01.hs, 0.8150, True
Tests/Unit/pos/ex0.hs, 1.0827, True
Tests/Unit/pos/Even0.hs, 0.8674, True
Tests/Unit/pos/Even.hs, 0.8258, True
Tests/Unit/pos/Eval.hs, 0.9611, True
Tests/Unit/pos/eqelems.hs, 0.7412, True
Tests/Unit/pos/eq-poly-measure.hs, 1.0642, True
Tests/Unit/pos/elim01.hs, 1.3020, True
Tests/Unit/pos/elim00.hs, 0.9314, True
Tests/Unit/pos/elim-ex-map-3.hs, 3.8496, True
Tests/Unit/pos/elim-ex-map-2.hs, 3.3053, True
Tests/Unit/pos/elim-ex-map-1.hs, 3.2360, True
Tests/Unit/pos/elim-ex-list.hs, 3.1207, True
Tests/Unit/pos/elim-ex-let.hs, 3.6110, True
Tests/Unit/pos/elim-ex-compose.hs, 1.4468, True
Tests/Unit/pos/elems.hs, 1.0196, True
Tests/Unit/pos/elements.hs, 1.1955, True
Tests/Unit/pos/duplicate-bind.hs, 0.7857, True
Tests/Unit/pos/dropwhile.hs, 1.0307, True
Tests/Unit/pos/div000.hs, 0.7036, True
Tests/Unit/pos/deptupW.hs, 0.8525, True
Tests/Unit/pos/deptup3.hs, 0.8039, True
Tests/Unit/pos/deptup1.hs, 0.9448, True
Tests/Unit/pos/deptup0.hs, 0.8266, True
Tests/Unit/pos/deptup.hs, 1.1225, True
Tests/Unit/pos/deppair1.hs, 0.7783, True
Tests/Unit/pos/deppair0.hs, 0.8023, True
Tests/Unit/pos/DependentTypes.hs, 0.7698, True
Tests/Unit/pos/deepmeas0.hs, 0.8446, True
Tests/Unit/pos/DB00.hs, 0.7105, True
Tests/Unit/pos/DataKinds.hs, 0.7700, True
Tests/Unit/pos/dataConQuals.hs, 0.8534, True
Tests/Unit/pos/datacon1.hs, 0.7447, True
Tests/Unit/pos/datacon0.hs, 1.1399, True
Tests/Unit/pos/datacon-inv.hs, 0.9520, True
Tests/Unit/pos/DataBase.hs, 0.7624, True
Tests/Unit/pos/data2.hs, 0.8515, True
Tests/Unit/pos/cut00.hs, 0.7462, True
Tests/Unit/pos/csgordon_issue_296.hs, 0.7005, True
Tests/Unit/pos/CountMonad.hs, 0.8386, True
Tests/Unit/pos/coretologic.hs, 0.7509, True
Tests/Unit/pos/contra0.hs, 0.7691, True
Tests/Unit/pos/ConstraintsAppend.hs, 1.3117, True
Tests/Unit/pos/Constraints.hs, 0.7753, True
Tests/Unit/pos/comprehensionTerm.hs, 1.1936, True
Tests/Unit/pos/comprehension.hs, 0.6937, True
Tests/Unit/pos/CompareConstraints.hs, 1.0814, True
Tests/Unit/pos/compare2.hs, 0.7787, True
Tests/Unit/pos/compare1.hs, 0.8347, True
Tests/Unit/pos/compare.hs, 0.7789, True
Tests/Unit/pos/CommentedOut.hs, 0.7226, True
Tests/Unit/pos/Coercion.hs, 0.7619, True
Tests/Unit/pos/cmptag0.hs, 0.8326, True
Tests/Unit/pos/ClojurVector.hs, 0.9490, True
Tests/Unit/pos/Client521.hs, 0.7392, True
Tests/Unit/pos/ClassReg.hs, 0.7470, True
Tests/Unit/pos/ClassKind.hs, 0.7435, True
Tests/Unit/pos/Class2.hs, 0.9926, True
Tests/Unit/pos/Class.hs, 1.1796, True
Tests/Unit/pos/Chunks.hs, 1.1176, True
Tests/Unit/pos/CheckedNum.hs, 0.9532, True
Tests/Unit/pos/Cat.hs, 0.8224, True
Tests/Unit/pos/CasesToLogic.hs, 0.8086, True
Tests/Unit/pos/case-lambda-join.hs, 0.9189, True
Tests/Unit/pos/BST000.hs, 1.3134, True
Tests/Unit/pos/BST.hs, 9.4750, True
Tests/Unit/pos/bounds1.hs, 0.7197, True
Tests/Unit/pos/bool2.hs, 0.7413, True
Tests/Unit/pos/bool1.hs, 0.6990, True
Tests/Unit/pos/bool0.hs, 0.7394, True
Tests/Unit/pos/Books.hs, 0.7864, True
Tests/Unit/pos/BinarySearchOverflow.hs, 0.9483, True
Tests/Unit/pos/BinarySearch.hs, 0.9515, True
Tests/Unit/pos/bangPatterns.hs, 0.7559, True
Tests/Unit/pos/AVLRJ.hs, 2.1551, True
Tests/Unit/pos/AVL.hs, 2.0037, True
Tests/Unit/pos/Avg.hs, 0.7394, True
Tests/Unit/pos/AutoTerm1.hs, 0.7377, True
Tests/Unit/pos/AutoTerm.hs, 0.7585, True
Tests/Unit/pos/AutoSize.hs, 0.7294, True
Tests/Unit/pos/Automate.hs, 0.8339, True
Tests/Unit/pos/AssumedRecursive.hs, 0.7041, True
Tests/Unit/pos/Assume.hs, 0.7318, True
Tests/Unit/pos/anish1.hs, 0.6994, True
Tests/Unit/pos/anftest.hs, 0.7581, True
Tests/Unit/pos/anfbug.hs, 0.8426, True
Tests/Unit/pos/ANF.hs, 3.1447, True
Tests/Unit/pos/AmortizedQueue.hs, 0.8892, True
Tests/Unit/pos/alphaconvert-Set.hs, 1.0406, True
Tests/Unit/pos/alphaconvert-List.hs, 1.1812, True
Tests/Unit/pos/alias01.hs, 0.7053, True
Tests/Unit/pos/alias00.hs, 0.7627, True
Tests/Unit/pos/adt0.hs, 0.8228, True
Tests/Unit/pos/Ackermann.hs, 0.7981, True
Tests/Unit/pos/absref-crash0.hs, 0.7466, True
Tests/Unit/pos/absref-crash.hs, 0.6949, True
Tests/Unit/pos/Abs.hs, 0.7381, True
Tests/Unit/pos/sf/InductionRJ.hs, 3.1259, True
Tests/Unit/pos/sf/Induction.hs, 3.7790, True
Tests/Unit/pos/sf/Basics.hs, 34.3884, True
Tests/Unit/neg/wrap1.hs, 1.0085, True
Tests/Unit/neg/wrap0.hs, 0.8228, True
Tests/Unit/neg/VerifiedNum.hs, 0.6815, True
Tests/Unit/neg/VerifiedMonoid.hs, 0.9964, True
Tests/Unit/neg/vector2.hs, 1.4167, True
Tests/Unit/neg/vector1a.hs, 1.0861, True
Tests/Unit/neg/vector0a.hs, 0.8229, True
Tests/Unit/neg/vector00.hs, 0.8206, True
Tests/Unit/neg/vector0.hs, 0.9047, True
Tests/Unit/neg/Variance1.hs, 0.6996, True
Tests/Unit/neg/Variance.hs, 0.7026, True
Tests/Unit/neg/tyclass0-unsafe.hs, 0.6667, True
Tests/Unit/neg/truespec.hs, 0.7210, True
Tests/Unit/neg/trans.hs, 1.7279, True
Tests/Unit/neg/TotalHaskell.hs, 0.6824, True
Tests/Unit/neg/TopLevel.hs, 0.7212, True
Tests/Unit/neg/testRec.hs, 0.7807, True
Tests/Unit/neg/test2.hs, 0.7347, True
Tests/Unit/neg/test1.hs, 0.7335, True
Tests/Unit/neg/test00c.hs, 0.6767, True
Tests/Unit/neg/test00b.hs, 0.7507, True
Tests/Unit/neg/test00a.hs, 0.7341, True
Tests/Unit/neg/test00.hs, 0.7298, True
Tests/Unit/neg/TermReal.hs, 0.6956, True
Tests/Unit/neg/TerminationNum0.hs, 0.7135, True
Tests/Unit/neg/TerminationNum.hs, 0.6776, True
Tests/Unit/neg/T745.hs, 0.6635, True
Tests/Unit/neg/T743.hs, 0.7687, True
Tests/Unit/neg/T743-mini.hs, 0.7156, True
Tests/Unit/neg/T602.hs, 0.6839, True
Tests/Unit/neg/sumPoly.hs, 0.7080, True
Tests/Unit/neg/sumk.hs, 0.6754, True
Tests/Unit/neg/Sum.hs, 0.6894, True
Tests/Unit/neg/Strings.hs, 0.6313, True
Tests/Unit/neg/string00.hs, 0.6838, True
Tests/Unit/neg/StrictPair1.hs, 0.9622, True
Tests/Unit/neg/StrictPair0.hs, 0.6534, True
Tests/Unit/neg/StreamInvariants.hs, 0.6491, True
Tests/Unit/neg/Strata.hs, 0.6491, True
Tests/Unit/neg/StateConstraints00.hs, 0.6773, True
Tests/Unit/neg/StateConstraints0.hs, 23.4197, True
Tests/Unit/neg/StateConstraints.hs, 1.3977, True
Tests/Unit/neg/state00.hs, 0.6922, True
Tests/Unit/neg/state0.hs, 0.7223, True
Tests/Unit/neg/stacks.hs, 1.4597, True
Tests/Unit/neg/Solver.hs, 2.0472, True
Tests/Unit/neg/SafePartialFunctions.hs, 0.6849, True
Tests/Unit/neg/risers.hs, 0.7480, True
Tests/Unit/neg/RG.hs, 0.9609, True
Tests/Unit/neg/revshape.hs, 0.6978, True
Tests/Unit/neg/RecSelector.hs, 0.9376, True
Tests/Unit/neg/RecQSort.hs, 0.9407, True
Tests/Unit/neg/record0.hs, 0.7769, True
Tests/Unit/neg/range.hs, 1.2176, True
Tests/Unit/neg/qsloop.hs, 1.0638, True
Tests/Unit/neg/QQTySyn2.hs, 3.6210, True
Tests/Unit/neg/QQTySyn1.hs, 3.4827, True
Tests/Unit/neg/QQTySig.hs, 3.2222, True
Tests/Unit/neg/prune0.hs, 0.7816, True
Tests/Unit/neg/Propability0.hs, 0.7544, True
Tests/Unit/neg/Propability.hs, 0.8975, True
Tests/Unit/neg/pred.hs, 0.5988, True
Tests/Unit/neg/pragma0-unsafe.hs, 0.6622, True
Tests/Unit/neg/poslist.hs, 0.9900, True
Tests/Unit/neg/polypred.hs, 0.7528, True
Tests/Unit/neg/poly2.hs, 0.7844, True
Tests/Unit/neg/poly2-degenerate.hs, 0.7655, True
Tests/Unit/neg/poly1.hs, 0.7940, True
Tests/Unit/neg/poly0.hs, 0.8259, True
Tests/Unit/neg/partial.hs, 0.7108, True
Tests/Unit/neg/pargs1.hs, 0.7150, True
Tests/Unit/neg/pargs.hs, 0.7005, True
Tests/Unit/neg/PairMeasure.hs, 0.7329, True
Tests/Unit/neg/pair0.hs, 1.4881, True
Tests/Unit/neg/pair.hs, 1.5527, True
Tests/Unit/neg/NoMethodBindingError.hs, 0.6803, True
Tests/Unit/neg/NoExhaustiveGuardsError.hs, 0.6933, True
Tests/Unit/neg/NewTypes0.hs, 0.6863, True
Tests/Unit/neg/NewTypes.hs, 0.7684, True
Tests/Unit/neg/nestedRecursion.hs, 0.7576, True
Tests/Unit/neg/MultipleInvariants.hs, 0.7039, True
Tests/Unit/neg/MultiParamTypeClasses.hs, 0.7293, True
Tests/Unit/neg/multi-pred-app-00.hs, 0.6730, True
Tests/Unit/neg/mr00.hs, 0.8850, True
Tests/Unit/neg/monad7.hs, 0.9795, True
Tests/Unit/neg/monad6.hs, 0.7948, True
Tests/Unit/neg/monad5.hs, 0.7856, True
Tests/Unit/neg/monad4.hs, 0.9502, True
Tests/Unit/neg/monad3.hs, 0.8911, True
Tests/Unit/neg/MergeSort.hs, 1.3086, True
Tests/Unit/neg/MeasureDups.hs, 0.8214, True
Tests/Unit/neg/MeasureContains.hs, 0.8341, True
Tests/Unit/neg/meas9.hs, 0.7474, True
Tests/Unit/neg/meas7.hs, 0.7473, True
Tests/Unit/neg/meas5.hs, 1.4761, True
Tests/Unit/neg/meas3.hs, 0.8024, True
Tests/Unit/neg/meas2.hs, 0.7418, True
Tests/Unit/neg/meas0.hs, 0.7824, True
Tests/Unit/neg/MaybeMonad.hs, 0.8972, True
Tests/Unit/neg/maps.hs, 0.9364, True
Tests/Unit/neg/mapreduce.hs, 2.2201, True
Tests/Unit/neg/mapreduce-tiny.hs, 0.7600, True
Tests/Unit/neg/LocalSpec.hs, 0.7630, True
Tests/Unit/neg/lit.hs, 0.7030, True
Tests/Unit/neg/ListRange.hs, 0.8589, True
Tests/Unit/neg/ListQSort.hs, 1.2271, True
Tests/Unit/neg/listne.hs, 0.6868, True
Tests/Unit/neg/ListMSort.hs, 1.7739, True
Tests/Unit/neg/ListKeys.hs, 0.7098, True
Tests/Unit/neg/ListISort.hs, 1.3420, True
Tests/Unit/neg/ListISort-LType.hs, 0.9867, True
Tests/Unit/neg/ListElem.hs, 0.7331, True
Tests/Unit/neg/ListConcat.hs, 0.7631, True
Tests/Unit/neg/list00.hs, 0.7595, True
Tests/Unit/neg/LiquidClass1.hs, 0.8013, True
Tests/Unit/neg/LiquidClass.hs, 0.7201, True
Tests/Unit/neg/LazyWhere1.hs, 0.7475, True
Tests/Unit/neg/LazyWhere.hs, 0.7321, True
Tests/Unit/neg/IntAbsRef.hs, 0.6979, True
Tests/Unit/neg/inc2.hs, 0.8651, True
Tests/Unit/neg/HolesTop.hs, 0.8503, True
Tests/Unit/neg/HigherOrder.hs, 0.7879, True
Tests/Unit/neg/HasElem.hs, 0.8198, True
Tests/Unit/neg/grty3.hs, 0.7968, True
Tests/Unit/neg/grty2.hs, 0.9142, True
Tests/Unit/neg/grty1.hs, 0.9215, True
Tests/Unit/neg/grty0.hs, 0.7568, True
Tests/Unit/neg/GeneralizedTermination.hs, 0.8741, True
Tests/Unit/neg/GADTs.hs, 0.8598, True
Tests/Unit/neg/FunSoundness.hs, 0.7696, True
Tests/Unit/neg/FunctionRef.hs, 0.7985, True
Tests/Unit/neg/foldN1.hs, 0.8647, True
Tests/Unit/neg/foldN.hs, 0.8427, True
Tests/Unit/neg/filterAbs.hs, 0.9931, True
Tests/Unit/neg/ex1-unsafe.hs, 0.9475, True
Tests/Unit/neg/ex0-unsafe.hs, 0.9450, True
Tests/Unit/neg/Even.hs, 0.7867, True
Tests/Unit/neg/Eval.hs, 1.0181, True
Tests/Unit/neg/errorloc.hs, 0.8225, True
Tests/Unit/neg/errmsg.hs, 0.8374, True
Tests/Unit/neg/elim000.hs, 0.8005, True
Tests/Unit/neg/elim-ex-map-3.hs, 3.6188, True
Tests/Unit/neg/elim-ex-map-2.hs, 3.3812, True
Tests/Unit/neg/elim-ex-map-1.hs, 3.1931, True
Tests/Unit/neg/elim-ex-list.hs, 3.1508, True
Tests/Unit/neg/elim-ex-let.hs, 3.1441, True
Tests/Unit/neg/elim-ex-compose.hs, 0.8351, True
Tests/Unit/neg/deptupW.hs, 0.8275, True
Tests/Unit/neg/deppair0.hs, 0.8020, True
Tests/Unit/neg/DependentTypes.hs, 0.7854, True
Tests/Unit/neg/datacon-eq.hs, 0.7021, True
Tests/Unit/neg/csv.hs, 1.5317, True
Tests/Unit/neg/coretologic.hs, 0.7666, True
Tests/Unit/neg/contra0.hs, 0.7992, True
Tests/Unit/neg/ConstraintsAppend.hs, 1.3980, True
Tests/Unit/neg/Constraints.hs, 0.7389, True
Tests/Unit/neg/concat2.hs, 1.1026, True
Tests/Unit/neg/concat1.hs, 1.0665, True
Tests/Unit/neg/concat.hs, 0.9859, True
Tests/Unit/neg/CompareConstraints.hs, 1.0312, True
Tests/Unit/neg/Client.hs, 0.6936, True
Tests/Unit/neg/Class5.hs, 0.6938, True
Tests/Unit/neg/Class4.hs, 0.7478, True
Tests/Unit/neg/Class3.hs, 0.7377, True
Tests/Unit/neg/Class2.hs, 0.7873, True
Tests/Unit/neg/Class1.hs, 0.9827, True
Tests/Unit/neg/CheckedNum.hs, 0.7239, True
Tests/Unit/neg/CastedTotality.hs, 0.7268, True
Tests/Unit/neg/Books.hs, 0.7893, True
Tests/Unit/neg/BinarySearchOverflow.hs, 0.9662, True
Tests/Unit/neg/BigNum.hs, 0.7163, True
Tests/Unit/neg/Baz.hs, 0.7194, True
Tests/Unit/neg/BadNats.hs, 0.7289, True
Tests/Unit/neg/BadHMeas.hs, 0.7773, True
Tests/Unit/neg/AutoTerm1.hs, 0.7393, True
Tests/Unit/neg/AutoTerm.hs, 0.7360, True
Tests/Unit/neg/AutoSize.hs, 0.7224, True
Tests/Unit/neg/Automate.hs, 0.8546, True
Tests/Unit/neg/Ast.hs, 0.7236, True
Tests/Unit/neg/ass0.hs, 0.6988, True
Tests/Unit/neg/alias00.hs, 0.7089, True
Tests/Unit/neg/AbsApp.hs, 0.6804, True
Tests/Unit/crash/Unbound.hs, 0.4490, True
Tests/Unit/crash/typeAliasDup.hs, 0.6988, True
Tests/Unit/crash/T774.hs, 0.6343, True
Tests/Unit/crash/T773.hs, 0.6393, True
Tests/Unit/crash/T691.hs, 0.4485, True
Tests/Unit/crash/T649.hs, 0.6683, True
Tests/Unit/crash/SizeFunMissing.hs, 0.6356, True
Tests/Unit/crash/RClass.hs, 0.4341, True
Tests/Unit/crash/Qualif.hs, 0.6496, True
Tests/Unit/crash/predparams.hs, 0.5937, True
Tests/Unit/crash/num-float-error1.hs, 0.6400, True
Tests/Unit/crash/num-float-error.hs, 0.6765, True
Tests/Unit/crash/MultipleRecordSelectors.hs, 0.6578, True
Tests/Unit/crash/Mismatch.hs, 0.6217, True
Tests/Unit/crash/LocalTermExpr.hs, 0.6600, True
Tests/Unit/crash/LocalHole.hs, 0.6421, True
Tests/Unit/crash/issue594.hs, 0.4337, True
Tests/Unit/crash/hole-crash3.hs, 0.6265, True
Tests/Unit/crash/hole-crash2.hs, 0.5758, True
Tests/Unit/crash/hole-crash1.hs, 0.6977, True
Tests/Unit/crash/HigherOrder.hs, 0.6187, True
Tests/Unit/crash/HaskellMeasure.hs, 0.5952, True
Tests/Unit/crash/FunRef2.hs, 0.6262, True
Tests/Unit/crash/FunRef1.hs, 0.6380, True
Tests/Unit/crash/funref.hs, 0.8426, True
Tests/Unit/crash/errmsg-mismatch.hs, 0.6349, True
Tests/Unit/crash/errmsg-dc-type.hs, 0.7705, True
Tests/Unit/crash/errmsg-dc-num.hs, 0.6354, True
Tests/Unit/crash/CyclicTypeAlias3.hs, 0.5823, True
Tests/Unit/crash/CyclicTypeAlias2.hs, 0.5819, True
Tests/Unit/crash/CyclicTypeAlias1.hs, 0.6059, True
Tests/Unit/crash/CyclicTypeAlias0.hs, 0.5817, True
Tests/Unit/crash/CyclicPredAlias3.hs, 0.5932, True
Tests/Unit/crash/CyclicPredAlias2.hs, 0.5912, True
Tests/Unit/crash/CyclicPredAlias1.hs, 0.6049, True
Tests/Unit/crash/CyclicPredAlias0.hs, 0.6329, True
Tests/Unit/crash/CyclicExprAlias3.hs, 0.6974, True
Tests/Unit/crash/CyclicExprAlias2.hs, 0.7249, True
Tests/Unit/crash/CyclicExprAlias1.hs, 0.7190, True
Tests/Unit/crash/CyclicExprAlias0.hs, 0.7007, True
Tests/Unit/crash/BadSyn4.hs, 0.6899, True
Tests/Unit/crash/BadSyn3.hs, 0.6766, True
Tests/Unit/crash/BadSyn2.hs, 0.6838, True
Tests/Unit/crash/BadSyn1.hs, 0.6561, True
Tests/Unit/crash/BadPragma2.hs, 0.4304, True
Tests/Unit/crash/BadPragma1.hs, 0.4396, True
Tests/Unit/crash/BadPragma0.hs, 0.4836, True
Tests/Unit/crash/BadExprArg.hs, 0.5926, True
Tests/Unit/crash/Ast.hs, 0.4656, True
Tests/Unit/crash/Assume1.hs, 0.6295, True
Tests/Unit/crash/Assume.hs, 0.7138, True
Tests/Unit/crash/AbsRef.hs, 0.4770, True
Tests/Unit/parser/pos/TokensAsPrefixes.hs, 0.6823, True
Tests/Unit/parser/pos/Parens.hs, 0.7419, True
Tests/Unit/error/crash/TerminationExpr1.hs, 0.6205, True
Tests/Unit/error/crash/TerminationExpr.hs, 0.6773, True
Tests/Unit/gradual_pos/Interpretations.hs, 0.7651, True
Tests/Unit/gradual_pos/Gradual.hs, 0.7277, True
Tests/Unit/gradual_pos/Dynamic.hs, 0.7515, True
Tests/Unit/gradual_pos/Discussion.hs, 0.7605, True
Tests/Unit/gradual_neg/Intro.hs, 0.7545, True
Tests/Benchmarks/text/Setup.lhs, 1.4804, True
Tests/Benchmarks/text/Data/Text.hs, 37.1282, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 2.1586, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 2.2833, True
Tests/Benchmarks/text/Data/Text/Search.hs, 12.5002, True
Tests/Benchmarks/text/Data/Text/Private.hs, 2.0527, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 53.5022, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 6.1450, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 30.6991, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 3.1413, True
Tests/Benchmarks/text/Data/Text/Encoding.hs, 56.7800, True
Tests/Benchmarks/text/Data/Text/Array.hs, 1.7795, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 45.3385, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 5.5301, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 8.4920, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 13.5274, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 10.5605, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 1.7784, True
Tests/Benchmarks/bytestring/Data/ByteString.T.hs, 44.6466, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 31.5310, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 1.7371, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 8.3237, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 34.4178, True
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 5.8497, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 20.5184, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 18.5166, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 7.8538, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 1.5064, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 9.3391, True
Tests/Benchmarks/esop/Toy.hs, 1.3559, True
Tests/Benchmarks/esop/Splay.hs, 6.5668, True
Tests/Benchmarks/esop/ListSort.hs, 2.1293, True
Tests/Benchmarks/esop/GhcListSort.hs, 6.7960, True
Tests/Benchmarks/esop/Fib.hs, 1.1100, True
Tests/Benchmarks/esop/Base.hs, 86.1486, True
Tests/Benchmarks/esop/Array.hs, 2.0008, True
Tests/Benchmarks/vect-algs/Setup.lhs, 1.0941, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 0.9968, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 2.9227, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 2.5105, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 8.4253, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 7.3287, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 5.1521, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 1.3939, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 26.5660, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.0249, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 0.6549, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 11.8417, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 0.9563, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 1.0834, True
Tests/Benchmarks/icfp_pos/TwiceM.hs, 8.5671, True
Tests/Benchmarks/icfp_pos/TestM.hs, 0.6918, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 21.8028, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 0.7013, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 8.2679, True
Tests/Benchmarks/icfp_pos/Incr.hs, 1.7530, True
Tests/Benchmarks/icfp_pos/Incr-elim.hs, 0.9651, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 2.9515, True
Tests/Benchmarks/icfp_pos/IfM.hs, 6.7270, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 1.5644, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 8.0142, True
Tests/Benchmarks/icfp_pos/FindRec.hs, 7.5421, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.1426, True
Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.0790, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 3.1643, True
Tests/Benchmarks/icfp_pos/CopyRec.hs, 20.1968, True
Tests/Benchmarks/icfp_pos/Composition.hs, 0.7633, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 0.9280, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.0416, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 1.3456, True
Tests/Benchmarks/icfp_neg/TwiceM.hs, 51.9343, True
Tests/Benchmarks/icfp_neg/TestM.hs, 0.9459, True
Tests/Benchmarks/icfp_neg/Records.hs, 0.8104, True
Tests/Benchmarks/icfp_neg/IfM.hs, 6.4239, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 2.8472, True
Tests/Benchmarks/icfp_neg/Composition.hs, 0.7597, True
Tests/Benchmarks/pldi17_pos/Unification.hs, 4.0751, True
Tests/Benchmarks/pldi17_pos/Solver.hs, 1.4442, True
Tests/Benchmarks/pldi17_pos/ProofCombinators.hs, 0.8029, True
Tests/Benchmarks/pldi17_pos/Peano.hs, 1.0376, True
Tests/Benchmarks/pldi17_pos/Overview.hs, 1.0350, True
Tests/Benchmarks/pldi17_pos/NormalForm.hs, 0.7609, True
Tests/Benchmarks/pldi17_pos/MonoidMaybe.hs, 0.9402, True
Tests/Benchmarks/pldi17_pos/MonoidList.hs, 0.9927, True
Tests/Benchmarks/pldi17_pos/MonadMaybe.hs, 1.0281, True
Tests/Benchmarks/pldi17_pos/MonadList.hs, 1.7530, True
Tests/Benchmarks/pldi17_pos/MonadId.hs, 0.9070, True
Tests/Benchmarks/pldi17_pos/MapFusion.hs, 1.2244, True
Tests/Benchmarks/pldi17_pos/FunctorMaybe.hs, 1.0171, True
Tests/Benchmarks/pldi17_pos/FunctorList.hs, 1.4781, True
Tests/Benchmarks/pldi17_pos/FunctorId.hs, 0.9217, True
Tests/Benchmarks/pldi17_pos/FunctionEquality101.hs, 0.8092, True
Tests/Benchmarks/pldi17_pos/FoldrUniversal.hs, 1.5725, True
Tests/Benchmarks/pldi17_pos/Fibonacci.hs, 2.0897, True
Tests/Benchmarks/pldi17_pos/Euclide.hs, 0.7830, True
Tests/Benchmarks/pldi17_pos/Compose.hs, 0.7628, True
Tests/Benchmarks/pldi17_pos/BasicLambdas0.hs, 0.7739, True
Tests/Benchmarks/pldi17_pos/BasicLambdas.hs, 0.7521, True
Tests/Benchmarks/pldi17_pos/ApplicativeMaybe.hs, 2.1464, True
Tests/Benchmarks/pldi17_pos/ApplicativeList.hs, 7.3796, True
Tests/Benchmarks/pldi17_pos/ApplicativeId.hs, 1.0396, True
Tests/Benchmarks/pldi17_pos/Append.hs, 1.4014, True
Tests/Benchmarks/pldi17_pos/AlphaEquivalence.hs, 0.8010, True
Tests/Benchmarks/pldi17_pos/Ackermann.hs, 4.5788, True
Tests/Benchmarks/pldi17_neg/MonadMaybe.hs, 1.0044, True
Tests/Benchmarks/pldi17_neg/MonadList.hs, 1.8909, True
Tests/Benchmarks/pldi17_neg/MapFusion.hs, 1.3670, True
Tests/Benchmarks/pldi17_neg/FunctorMaybe.hs, 1.1821, True
Tests/Benchmarks/pldi17_neg/FunctorList.hs, 1.5293, True
Tests/Benchmarks/pldi17_neg/Fibonacci.hs, 2.1748, True
Tests/Benchmarks/pldi17_neg/BasicLambdas.hs, 0.7427, True
Tests/Benchmarks/pldi17_neg/ApplicativeMaybe.hs, 2.1369, True
Tests/Benchmarks/pldi17_neg/ApplicativeList.hs, 7.0415, True
Tests/Benchmarks/pldi17_neg/Append.hs, 1.5378, True
Tests/Benchmarks/pldi17_neg/Ackermann.hs, 4.9788, True
Tests/Benchmarks/instances/Unification.hs, 4.5447, True
Tests/Benchmarks/instances/Solver.hs, 1.4578, True
Tests/Benchmarks/instances/ProofCombinators.hs, 0.7928, True
Tests/Benchmarks/instances/Peano.hs, 1.0820, True
Tests/Benchmarks/instances/Overview.hs, 0.9014, True
Tests/Benchmarks/instances/NormalForm.hs, 0.7461, True
Tests/Benchmarks/instances/MonoidMaybe.hs, 0.8289, True
Tests/Benchmarks/instances/MonoidList.hs, 0.9856, True
Tests/Benchmarks/instances/MonadList.hs, 1.7223, True
Tests/Benchmarks/instances/Maybe.hs, 0.6846, True
Tests/Benchmarks/instances/MapFusion.hs, 0.9043, True
Tests/Benchmarks/instances/Lists.hs, 0.8897, True
Tests/Benchmarks/instances/FunctorMaybe.hs, 0.8032, True
Tests/Benchmarks/instances/FunctorList.hs, 0.9746, True
Tests/Benchmarks/instances/FunctorId.hs, 0.9477, True
Tests/Benchmarks/instances/FunctionEquality101.hs, 0.8926, True
Tests/Benchmarks/instances/FoldrUniversal.hs, 1.1527, True
Tests/Benchmarks/instances/Fibonacci.hs, 1.6619, True
Tests/Benchmarks/instances/Euclide.hs, 0.9145, True
Tests/Benchmarks/instances/Compose.hs, 0.8373, True
Tests/Benchmarks/instances/BasicLambdas.hs, 0.8789, True
Tests/Benchmarks/instances/ApplicativeMaybe.hs, 1.1428, True
Tests/Benchmarks/instances/ApplicativeList.hs, 7.6253, True
Tests/Benchmarks/instances/ApplicativeId.hs, 0.8377, True
Tests/Benchmarks/instances/Append.hs, 1.4620, True
Tests/Benchmarks/instances/AlphaEquivalence.hs, 0.8317, True
Tests/Benchmarks/instances/Ackermann.hs, 57.4509, True