summary-develop-for-gradual.csv

 (HEAD, origin/develop, origin/HEAD, develop) : 904e6927a97480856fe2c7d2e083f7bc7a0710c5
Timestamp: 2017-03-14 21:34:20 +0530
Epoch Timestamp: 1489507460
--------------------------------------------------------------------------------
test, time(s), result

Tests/Unit/pos/zipW2.hs, 1.0576, True
Tests/Unit/pos/zipW1.hs, 0.9498, True
Tests/Unit/pos/zipW.hs, 1.0739, True
Tests/Unit/pos/zipSO.hs, 1.3621, True
Tests/Unit/pos/zipper000.hs, 1.2798, True
Tests/Unit/pos/zipper0.hs, 1.4381, True
Tests/Unit/pos/zipper.hs, 2.2146, True
Tests/Unit/pos/WrapUnWrap.hs, 1.0011, True
Tests/Unit/pos/wrap1.hs, 1.2924, True
Tests/Unit/pos/wrap0.hs, 1.0590, True
Tests/Unit/pos/Words1.hs, 0.9998, True
Tests/Unit/pos/Words.hs, 0.8576, True
Tests/Unit/pos/WBL0.hs, 2.7579, True
Tests/Unit/pos/WBL.hs, 2.4966, True
Tests/Unit/pos/VerifiedNum.hs, 0.8755, True
Tests/Unit/pos/VerifiedMonoid.hs, 1.2745, True
Tests/Unit/pos/vector2.hs, 2.3656, True
Tests/Unit/pos/vector1b.hs, 1.6728, True
Tests/Unit/pos/vector1a.hs, 1.6428, True
Tests/Unit/pos/vector1.hs, 2.0508, True
Tests/Unit/pos/vector00.hs, 1.0884, True
Tests/Unit/pos/vector0.hs, 1.6226, True
Tests/Unit/pos/vecloop.hs, 1.2942, True
Tests/Unit/pos/Variance2.hs, 0.8624, True
Tests/Unit/pos/Variance.hs, 1.0266, True
Tests/Unit/pos/unusedtyvars.hs, 0.8751, True
Tests/Unit/pos/UnboxedTuplesAndTH.hs, 1.7322, True
Tests/Unit/pos/UnboxedTuples.hs, 0.9929, True
Tests/Unit/pos/tyvar.hs, 0.9595, True
Tests/Unit/pos/TypeFamilies.hs, 1.0312, True
Tests/Unit/pos/TypeAlias.hs, 0.8654, True
Tests/Unit/pos/tyfam0.hs, 0.9653, True
Tests/Unit/pos/tyExpr.hs, 0.9324, True
Tests/Unit/pos/tyclass0.hs, 0.8847, True
Tests/Unit/pos/tupparse.hs, 0.9981, True
Tests/Unit/pos/tup0.hs, 0.9099, True
Tests/Unit/pos/transTAG.hs, 2.8339, True
Tests/Unit/pos/transpose.hs, 1.6892, True
Tests/Unit/pos/trans.hs, 1.1840, True
Tests/Unit/pos/ToyMVar.hs, 1.2657, True
Tests/Unit/pos/TopLevel.hs, 0.9428, True
Tests/Unit/pos/top0.hs, 1.1120, True
Tests/Unit/pos/TokenType.hs, 0.8629, True
Tests/Unit/pos/testRec.hs, 0.9640, True
Tests/Unit/pos/Test761.hs, 1.1499, True
Tests/Unit/pos/test2.hs, 1.2955, True
Tests/Unit/pos/test1.hs, 1.3296, True
Tests/Unit/pos/test00c.hs, 1.2510, True
Tests/Unit/pos/test00b.hs, 0.9962, True
Tests/Unit/pos/test000.hs, 1.0609, True
Tests/Unit/pos/test00.old.hs, 0.9480, True
Tests/Unit/pos/test00.hs, 0.9496, True
Tests/Unit/pos/test00-int.hs, 1.0042, True
Tests/Unit/pos/test0.hs, 0.9551, True
Tests/Unit/pos/TerminationNum0.hs, 0.9216, True
Tests/Unit/pos/TerminationNum.hs, 0.9444, True
Tests/Unit/pos/Termination.lhs, 1.5092, True
Tests/Unit/pos/term0.hs, 1.0431, True
Tests/Unit/pos/Term.hs, 1.1464, True
Tests/Unit/pos/TemplateHaskellImp.hs, 1.1643, True
Tests/Unit/pos/TemplateHaskell.hs, 1.8960, True
Tests/Unit/pos/take.hs, 1.4356, True
Tests/Unit/pos/tagBinder.hs, 0.9225, True
Tests/Unit/pos/T914.hs, 0.9276, True
Tests/Unit/pos/T866.hs, 0.8408, True
Tests/Unit/pos/T820.hs, 0.9795, True
Tests/Unit/pos/T819A.hs, 1.2228, True
Tests/Unit/pos/T819.hs, 1.0187, True
Tests/Unit/pos/T716.hs, 1.0266, True
Tests/Unit/pos/T675.hs, 1.1441, True
Tests/Unit/pos/T598.hs, 1.0269, True
Tests/Unit/pos/T595a.hs, 0.8626, True
Tests/Unit/pos/T595.hs, 0.9362, True
Tests/Unit/pos/T531.hs, 0.8617, True
Tests/Unit/pos/Sum.hs, 0.9948, True
Tests/Unit/pos/StructRec.hs, 0.9479, True
Tests/Unit/pos/Strings.hs, 0.8995, True
Tests/Unit/pos/StringLit.hs, 0.9127, True
Tests/Unit/pos/string00.hs, 0.9766, True
Tests/Unit/pos/StrictPair1.hs, 1.2957, True
Tests/Unit/pos/StrictPair0.hs, 0.9580, True
Tests/Unit/pos/StreamInvariants.hs, 0.8876, True
Tests/Unit/pos/stateInvarint.hs, 1.4120, True
Tests/Unit/pos/StateF00.hs, 0.9328, True
Tests/Unit/pos/StateConstraints00.hs, 0.9498, True
Tests/Unit/pos/StateConstraints0.hs, 32.7620, True
Tests/Unit/pos/StateConstraints.hs, 16.5619, True
Tests/Unit/pos/State1.hs, 1.1115, True
Tests/Unit/pos/state00.hs, 0.9612, True
Tests/Unit/pos/State.hs, 1.1552, True
Tests/Unit/pos/stacks0.hs, 1.0744, True
Tests/Unit/pos/StackMachine.hs, 1.0347, True
Tests/Unit/pos/StackClass.hs, 1.1583, True
Tests/Unit/pos/spec0.hs, 1.0801, True
Tests/Unit/pos/Solver.hs, 2.0713, True
Tests/Unit/pos/SimplifyTup00.hs, 0.9057, True
Tests/Unit/pos/SimplerNotation.hs, 0.8521, True
Tests/Unit/pos/selfList.hs, 1.1553, True
Tests/Unit/pos/scanr.hs, 1.1102, True
Tests/Unit/pos/SafePartialFunctions.hs, 0.9167, True
Tests/Unit/pos/rta.hs, 0.8827, True
Tests/Unit/pos/risers.hs, 1.0075, True
Tests/Unit/pos/ResolvePred.hs, 0.9253, True
Tests/Unit/pos/ResolveB.hs, 0.8564, True
Tests/Unit/pos/ResolveA.hs, 0.8589, True
Tests/Unit/pos/Resolve.hs, 0.8798, True
Tests/Unit/pos/repeatHigherOrder.hs, 1.9880, True
Tests/Unit/pos/Repeat.hs, 0.9353, True
Tests/Unit/pos/RelativeComplete.hs, 0.9402, True
Tests/Unit/pos/ReflectLib2.hs, 0.9546, True
Tests/Unit/pos/ReflectLib1.hs, 0.8500, True
Tests/Unit/pos/ReflectLib0.hs, 0.8562, True
Tests/Unit/pos/ReflectClient2.hs, 0.9411, True
Tests/Unit/pos/ReflectClient1.hs, 0.9178, True
Tests/Unit/pos/ReflectClient0.hs, 1.0651, True
Tests/Unit/pos/ReflectBolleanFunctions.hs, 0.9537, True
Tests/Unit/pos/reflect0.hs, 1.0688, True
Tests/Unit/pos/RefinedADTs.hs, 0.8981, True
Tests/Unit/pos/Reduction.hs, 0.8972, True
Tests/Unit/pos/recursion0.hs, 1.0504, True
Tests/Unit/pos/RecSelector.hs, 0.8848, True
Tests/Unit/pos/RecQSort0.hs, 1.3094, True
Tests/Unit/pos/RecQSort.hs, 1.6429, True
Tests/Unit/pos/RecordSelectorError.hs, 0.9811, True
Tests/Unit/pos/record1.hs, 0.9861, True
Tests/Unit/pos/record0.hs, 1.1391, True
Tests/Unit/pos/rec_annot_go.hs, 1.1660, True
Tests/Unit/pos/RealProps1.hs, 0.9761, True
Tests/Unit/pos/RealProps.hs, 0.9479, True
Tests/Unit/pos/RBTree.hs, 22.7508, True
Tests/Unit/pos/RBTree-ord.hs, 11.7872, True
Tests/Unit/pos/RBTree-height.hs, 4.3298, True
Tests/Unit/pos/RBTree-color.hs, 5.5428, True
Tests/Unit/pos/RBTree-col-height.hs, 6.7960, True
Tests/Unit/pos/rangeAdt.hs, 3.5255, True
Tests/Unit/pos/range1.hs, 1.0433, True
Tests/Unit/pos/range.hs, 1.4314, True
Tests/Unit/pos/qualTest.hs, 0.9529, True
Tests/Unit/pos/QQTySyn.hs, 3.7195, True
Tests/Unit/pos/QQTySigTyVars.hs, 3.1842, True
Tests/Unit/pos/QQTySig.hs, 3.3036, True
Tests/Unit/pos/propmeasure1.hs, 1.1225, True
Tests/Unit/pos/propmeasure.hs, 1.1152, True
Tests/Unit/pos/Propability.hs, 0.9760, True
Tests/Unit/pos/PromotedDataCons.hs, 0.8313, True
Tests/Unit/pos/profcrasher.hs, 0.9553, True
Tests/Unit/pos/Product.hs, 1.2276, True
Tests/Unit/pos/primInt0.hs, 1.0300, True
Tests/Unit/pos/pred.hs, 0.9076, True
Tests/Unit/pos/pragma0.hs, 0.8841, True
Tests/Unit/pos/poslist_dc.hs, 1.0946, True
Tests/Unit/pos/poslist.hs, 1.6351, True
Tests/Unit/pos/polyqual.hs, 2.7247, True
Tests/Unit/pos/polyfun.hs, 1.1605, True
Tests/Unit/pos/poly4.hs, 1.2619, True
Tests/Unit/pos/poly3a.hs, 1.3673, True
Tests/Unit/pos/poly3.hs, 1.6735, True
Tests/Unit/pos/poly2.hs, 1.7093, True
Tests/Unit/pos/poly2-degenerate.hs, 1.0430, True
Tests/Unit/pos/poly1.hs, 1.1538, True
Tests/Unit/pos/poly0.hs, 1.1294, True
Tests/Unit/pos/PointDist.hs, 1.0163, True
Tests/Unit/pos/PlugHoles.hs, 0.8351, True
Tests/Unit/pos/PersistentVector.hs, 1.0897, True
Tests/Unit/pos/Permutation.hs, 2.7395, True
Tests/Unit/pos/partialmeasure.hs, 1.4887, True
Tests/Unit/pos/partial-tycon.hs, 1.2456, True
Tests/Unit/pos/pargs1.hs, 1.4598, True
Tests/Unit/pos/pargs.hs, 1.0439, True
Tests/Unit/pos/PairMeasure0.hs, 1.0734, True
Tests/Unit/pos/PairMeasure.hs, 1.1322, True
Tests/Unit/pos/pair00.hs, 2.0682, True
Tests/Unit/pos/pair0.hs, 2.6918, True
Tests/Unit/pos/pair.hs, 3.6463, True
Tests/Unit/pos/Overwrite.hs, 0.8807, True
Tests/Unit/pos/ORM.hs, 1.7254, True
Tests/Unit/pos/OrdList.hs, 32.6042, True
Tests/Unit/pos/nullterm.hs, 2.5152, True
Tests/Unit/pos/NoExhaustiveGuardsError.hs, 1.3937, True
Tests/Unit/pos/NoCaseExpand.hs, 2.1435, True
Tests/Unit/pos/niki1.hs, 1.1226, True
Tests/Unit/pos/niki.hs, 1.0510, True
Tests/Unit/pos/NewType.hs, 1.1282, True
Tests/Unit/pos/nats.hs, 1.2497, True
Tests/Unit/pos/NatClass.hs, 1.1471, True
Tests/Unit/pos/MutualRec.hs, 4.6298, True
Tests/Unit/pos/mutrec.hs, 0.8814, True
Tests/Unit/pos/MultipleInvariants.hs, 0.8929, True
Tests/Unit/pos/multi-pred-app-00.hs, 0.9363, True
Tests/Unit/pos/Moo.hs, 0.8780, True
Tests/Unit/pos/monad7.hs, 1.2942, True
Tests/Unit/pos/monad6.hs, 1.0848, True
Tests/Unit/pos/monad5.hs, 1.2771, True
Tests/Unit/pos/monad2.hs, 0.8731, True
Tests/Unit/pos/monad1.hs, 0.9097, True
Tests/Unit/pos/modTest.hs, 0.9585, True
Tests/Unit/pos/Mod2.hs, 0.8746, True
Tests/Unit/pos/Mod1.hs, 0.9589, True
Tests/Unit/pos/MergeSort.hs, 1.9809, True
Tests/Unit/pos/Merge1.hs, 1.5331, True
Tests/Unit/pos/MeasureSets.hs, 1.0268, True
Tests/Unit/pos/Measures1.hs, 0.8975, True
Tests/Unit/pos/Measures.hs, 0.8794, True
Tests/Unit/pos/MeasureDups.hs, 1.0998, True
Tests/Unit/pos/MeasureContains.hs, 1.0139, True
Tests/Unit/pos/meas9.hs, 1.1250, True
Tests/Unit/pos/meas8.hs, 0.9935, True
Tests/Unit/pos/meas7.hs, 1.0401, True
Tests/Unit/pos/meas6.hs, 1.4312, True
Tests/Unit/pos/meas5.hs, 2.2166, True
Tests/Unit/pos/meas4.hs, 1.1835, True
Tests/Unit/pos/meas3.hs, 1.2803, True
Tests/Unit/pos/meas2.hs, 1.1480, True
Tests/Unit/pos/meas11.hs, 1.1045, True
Tests/Unit/pos/meas10.hs, 1.2019, True
Tests/Unit/pos/meas1.hs, 1.0343, True
Tests/Unit/pos/meas0a.hs, 1.0032, True
Tests/Unit/pos/meas00a.hs, 0.9377, True
Tests/Unit/pos/meas00.hs, 1.0539, True
Tests/Unit/pos/meas0.hs, 1.0433, True
Tests/Unit/pos/maybe4.hs, 0.9674, True
Tests/Unit/pos/maybe3.hs, 0.9198, True
Tests/Unit/pos/maybe2.hs, 1.9956, True
Tests/Unit/pos/maybe1.hs, 1.1912, True
Tests/Unit/pos/maybe000.hs, 0.9754, True
Tests/Unit/pos/maybe00.hs, 0.9209, True
Tests/Unit/pos/maybe0.hs, 0.9759, True
Tests/Unit/pos/maybe.hs, 1.9883, True
Tests/Unit/pos/mapTvCrash.hs, 0.9741, True
Tests/Unit/pos/maps1.hs, 1.1569, True
Tests/Unit/pos/maps.hs, 1.2685, True
Tests/Unit/pos/MapReduceVerified.hs, 5.6093, True
Tests/Unit/pos/mapreduce-bare.hs, 7.6412, True
Tests/Unit/pos/MapFusion.hs, 1.1946, True
Tests/Unit/pos/Map2.hs, 24.7155, True
Tests/Unit/pos/Map0.hs, 23.8584, True
Tests/Unit/pos/Map.hs, 24.9463, True
Tests/Unit/pos/malformed0.hs, 2.2567, True
Tests/Unit/pos/Loo.hs, 0.8976, True
Tests/Unit/pos/LogicCurry1.hs, 0.9244, True
Tests/Unit/pos/LocalTermExpr.hs, 1.2645, True
Tests/Unit/pos/LocalSpecImp.hs, 0.8982, True
Tests/Unit/pos/LocalSpec0.hs, 1.0227, True
Tests/Unit/pos/LocalSpec.hs, 0.9536, True
Tests/Unit/pos/LocalLazy.hs, 0.9799, True
Tests/Unit/pos/LocalHole.hs, 0.9905, True
Tests/Unit/pos/lit02.hs, 0.9423, True
Tests/Unit/pos/lit00.hs, 0.9654, True
Tests/Unit/pos/lit.hs, 0.9086, True
Tests/Unit/pos/ListSort.hs, 3.4986, True
Tests/Unit/pos/listSetDemo.hs, 1.1775, True
Tests/Unit/pos/listSet.hs, 1.1843, True
Tests/Unit/pos/ListReverse-LType.hs, 1.0035, True
Tests/Unit/pos/ListRange.hs, 1.1385, True
Tests/Unit/pos/ListRange-LType.hs, 1.1771, True
Tests/Unit/pos/listqual.hs, 0.9943, True
Tests/Unit/pos/ListQSort.hs, 2.4210, True
Tests/Unit/pos/ListQSort-LType.hs, 2.2800, True
Tests/Unit/pos/ListMSort.hs, 1.9596, True
Tests/Unit/pos/ListMSort-LType.hs, 6.0376, True
Tests/Unit/pos/ListLen.hs, 2.0168, True
Tests/Unit/pos/ListLen-LType.hs, 1.8906, True
Tests/Unit/pos/ListKeys.hs, 1.0275, True
Tests/Unit/pos/ListISort.hs, 1.0585, True
Tests/Unit/pos/ListISort-LType.hs, 1.9515, True
Tests/Unit/pos/ListElem.hs, 1.2273, True
Tests/Unit/pos/ListConcat.hs, 1.1851, True
Tests/Unit/pos/listAnf.hs, 1.2761, True
Tests/Unit/pos/LiquidClass.hs, 1.0517, True
Tests/Unit/pos/LiquidAutomate.hs, 1.4702, True
Tests/Unit/pos/LiquidArray.hs, 0.9046, True
Tests/Unit/pos/lex.hs, 0.9209, True
Tests/Unit/pos/lets.hs, 1.1392, True
Tests/Unit/pos/LazyWhere1.hs, 0.9574, True
Tests/Unit/pos/LazyWhere.hs, 0.9249, True
Tests/Unit/pos/LambdaEvalTiny.hs, 1.5936, True
Tests/Unit/pos/LambdaEvalSuperTiny.hs, 1.2926, True
Tests/Unit/pos/LambdaEvalMini.hs, 3.5908, True
Tests/Unit/pos/LambdaEval.hs, 27.4799, True
Tests/Unit/pos/LambdaDeBruijn.hs, 2.3216, True
Tests/Unit/pos/kmpVec.hs, 2.3701, True
Tests/Unit/pos/kmpIO.hs, 4.2879, True
Tests/Unit/pos/kmp.hs, 3.0251, True
Tests/Unit/pos/Keys.hs, 0.9484, True
Tests/Unit/pos/jeff.hs, 5.2112, True
Tests/Unit/pos/ite1.hs, 0.8781, True
Tests/Unit/pos/ite.hs, 0.9453, True
Tests/Unit/pos/invlhs.hs, 0.8946, True
Tests/Unit/pos/Invariants.hs, 1.0387, True
Tests/Unit/pos/inline1.hs, 0.8808, True
Tests/Unit/pos/inline.hs, 0.9687, True
Tests/Unit/pos/initarray.hs, 1.2858, True
Tests/Unit/pos/infix.hs, 0.9980, True
Tests/Unit/pos/Infinity.hs, 0.9995, True
Tests/Unit/pos/implies.hs, 0.8695, True
Tests/Unit/pos/imp0.hs, 0.9455, True
Tests/Unit/pos/idNat0.hs, 0.8798, True
Tests/Unit/pos/idNat.hs, 0.8926, True
Tests/Unit/pos/IcfpDemo.hs, 1.1868, True
Tests/Unit/pos/Holes.hs, 1.0026, True
Tests/Unit/pos/hole-fun.hs, 0.8885, True
Tests/Unit/pos/hole-app.hs, 0.8998, True
Tests/Unit/pos/HigherOrderRecFun.hs, 0.8799, True
Tests/Unit/pos/hello.hs, 0.8943, True
Tests/Unit/pos/HedgeUnion.hs, 1.0657, True
Tests/Unit/pos/HaskellMeasure.hs, 0.9247, True
Tests/Unit/pos/HasElem.hs, 0.9157, True
Tests/Unit/pos/grty3.hs, 0.8917, True
Tests/Unit/pos/grty2.hs, 0.8877, True
Tests/Unit/pos/grty1.hs, 0.8709, True
Tests/Unit/pos/grty0.hs, 0.8608, True
Tests/Unit/pos/Graph.hs, 1.4324, True
Tests/Unit/pos/Gradual.hs, 0.0002, True
Tests/Unit/pos/GoodHMeas.hs, 0.8894, True
Tests/Unit/pos/Goo.hs, 0.8582, True
Tests/Unit/pos/go_ugly_type.hs, 1.0082, True
Tests/Unit/pos/go.hs, 0.9808, True
Tests/Unit/pos/gimme.hs, 0.9115, True
Tests/Unit/pos/GhcSort3.T.hs, 2.0788, True
Tests/Unit/pos/GhcSort3.hs, 5.8772, True
Tests/Unit/pos/GhcSort2.hs, 2.1047, True
Tests/Unit/pos/GhcSort1.hs, 4.9755, True
Tests/Unit/pos/GhcListSort.hs, 12.8002, True
Tests/Unit/pos/GeneralizedTermination.hs, 1.2771, True
Tests/Unit/pos/GCD.hs, 1.1252, True
Tests/Unit/pos/GADTs.hs, 0.9169, True
Tests/Unit/pos/gadtEval.hs, 1.7580, True
Tests/Unit/pos/FractionalInstance.hs, 1.8034, True
Tests/Unit/pos/Fractional.hs, 0.8524, True
Tests/Unit/pos/forloop.hs, 1.2196, True
Tests/Unit/pos/for.hs, 1.3440, True
Tests/Unit/pos/Foo.hs, 0.8465, True
Tests/Unit/pos/foldr.hs, 0.9319, True
Tests/Unit/pos/foldN.hs, 0.9794, True
Tests/Unit/pos/Foldl.hs, 15.4643, True
Tests/Unit/pos/fixme.hs, 1.2321, True
Tests/Unit/pos/filterAbs.hs, 1.2415, True
Tests/Unit/pos/FFI.hs, 1.4449, True
Tests/Unit/pos/failName.hs, 0.8648, True
Tests/Unit/pos/extype.hs, 0.8897, True
Tests/Unit/pos/exp0.hs, 1.0078, True
Tests/Unit/pos/ExactFunApp.hs, 0.9453, True
Tests/Unit/pos/ex1.hs, 1.1421, True
Tests/Unit/pos/ex01.hs, 0.9048, True
Tests/Unit/pos/ex0.hs, 1.0432, True
Tests/Unit/pos/Even0.hs, 0.9229, True
Tests/Unit/pos/Even.hs, 0.8607, True
Tests/Unit/pos/Eval.hs, 1.0712, True
Tests/Unit/pos/eqelems.hs, 0.9643, True
Tests/Unit/pos/eq-poly-measure.hs, 0.9497, True
Tests/Unit/pos/elim01.hs, 0.9870, True
Tests/Unit/pos/elim00.hs, 0.9264, True
Tests/Unit/pos/elim-ex-map-3.hs, 3.8463, True
Tests/Unit/pos/elim-ex-map-2.hs, 3.0960, True
Tests/Unit/pos/elim-ex-map-1.hs, 3.0759, True
Tests/Unit/pos/elim-ex-list.hs, 2.9809, True
Tests/Unit/pos/elim-ex-let.hs, 2.9380, True
Tests/Unit/pos/elim-ex-compose.hs, 1.3898, True
Tests/Unit/pos/elems.hs, 0.9749, True
Tests/Unit/pos/elements.hs, 1.5105, True
Tests/Unit/pos/duplicate-bind.hs, 0.9565, True
Tests/Unit/pos/dropwhile.hs, 1.5540, True
Tests/Unit/pos/div000.hs, 0.9485, True
Tests/Unit/pos/deptupW.hs, 1.0822, True
Tests/Unit/pos/deptup3.hs, 1.0292, True
Tests/Unit/pos/deptup1.hs, 1.2945, True
Tests/Unit/pos/deptup0.hs, 1.0648, True
Tests/Unit/pos/deptup.hs, 1.5853, True
Tests/Unit/pos/deppair1.hs, 1.0169, True
Tests/Unit/pos/deppair0.hs, 1.0212, True
Tests/Unit/pos/DependentTypes.hs, 0.9370, True
Tests/Unit/pos/deepmeas0.hs, 1.0968, True
Tests/Unit/pos/DB00.hs, 0.9054, True
Tests/Unit/pos/DataKinds.hs, 0.8470, True
Tests/Unit/pos/dataConQuals.hs, 0.9117, True
Tests/Unit/pos/datacon1.hs, 0.8919, True
Tests/Unit/pos/datacon0.hs, 1.0776, True
Tests/Unit/pos/datacon-inv.hs, 0.9768, True
Tests/Unit/pos/DataBase.hs, 0.9378, True
Tests/Unit/pos/data2.hs, 1.0704, True
Tests/Unit/pos/cut00.hs, 1.0156, True
Tests/Unit/pos/csgordon_issue_296.hs, 0.8536, True
Tests/Unit/pos/CountMonad.hs, 1.0386, True
Tests/Unit/pos/coretologic.hs, 0.9724, True
Tests/Unit/pos/contra0.hs, 0.9648, True
Tests/Unit/pos/ConstraintsAppend.hs, 1.9425, True
Tests/Unit/pos/Constraints.hs, 0.9938, True
Tests/Unit/pos/comprehensionTerm.hs, 1.6290, True
Tests/Unit/pos/comprehension.hs, 0.9216, True
Tests/Unit/pos/CompareConstraints.hs, 1.3191, True
Tests/Unit/pos/compare2.hs, 0.9527, True
Tests/Unit/pos/compare1.hs, 1.0022, True
Tests/Unit/pos/compare.hs, 0.9710, True
Tests/Unit/pos/CommentedOut.hs, 0.8916, True
Tests/Unit/pos/Coercion.hs, 0.9155, True
Tests/Unit/pos/cmptag0.hs, 1.0275, True
Tests/Unit/pos/ClojurVector.hs, 1.2389, True
Tests/Unit/pos/ClassReg.hs, 0.8940, True
Tests/Unit/pos/ClassKind.hs, 0.8554, True
Tests/Unit/pos/Class2.hs, 1.3428, True
Tests/Unit/pos/Class.hs, 1.2776, True
Tests/Unit/pos/Chunks.hs, 1.0732, True
Tests/Unit/pos/CheckedNum.hs, 0.9220, True
Tests/Unit/pos/Cat.hs, 0.8916, True
Tests/Unit/pos/CasesToLogic.hs, 0.9342, True
Tests/Unit/pos/case-lambda-join.hs, 1.1112, True
Tests/Unit/pos/BST000.hs, 1.9589, True
Tests/Unit/pos/BST.hs, 14.1157, True
Tests/Unit/pos/bounds1.hs, 0.8556, True
Tests/Unit/pos/bool2.hs, 0.9169, True
Tests/Unit/pos/bool1.hs, 0.8631, True
Tests/Unit/pos/bool0.hs, 0.8792, True
Tests/Unit/pos/Books.hs, 0.9581, True
Tests/Unit/pos/BinarySearchOverflow.hs, 1.1708, True
Tests/Unit/pos/BinarySearch.hs, 1.0599, True
Tests/Unit/pos/bar.hs, 0.8598, True
Tests/Unit/pos/bangPatterns.hs, 0.9428, True
Tests/Unit/pos/AVLRJ.hs, 3.3621, True
Tests/Unit/pos/AVL.hs, 2.9598, True
Tests/Unit/pos/Avg.hs, 0.9162, True
Tests/Unit/pos/AutoTerm1.hs, 0.9172, True
Tests/Unit/pos/AutoTerm.hs, 0.9581, True
Tests/Unit/pos/AutoSize.hs, 0.9014, True
Tests/Unit/pos/Automate.hs, 1.0028, True
Tests/Unit/pos/AssumedRecursive.hs, 0.8529, True
Tests/Unit/pos/Assume.hs, 0.9412, True
Tests/Unit/pos/anish1.hs, 0.9200, True
Tests/Unit/pos/anftest.hs, 0.9746, True
Tests/Unit/pos/anfbug.hs, 1.0469, True
Tests/Unit/pos/ANF.hs, 4.2631, True
Tests/Unit/pos/AmortizedQueue.hs, 1.1118, True
Tests/Unit/pos/alphaconvert-Set.hs, 1.1395, True
Tests/Unit/pos/alphaconvert-List.hs, 1.5871, True
Tests/Unit/pos/alias01.hs, 0.8797, True
Tests/Unit/pos/alias00.hs, 0.9037, True
Tests/Unit/pos/adt0.hs, 0.9897, True
Tests/Unit/pos/Ackermann.hs, 0.9981, True
Tests/Unit/pos/absref-crash0.hs, 0.8926, True
Tests/Unit/pos/absref-crash.hs, 0.9104, True
Tests/Unit/pos/Abs.hs, 0.8849, True
Tests/Unit/neg/wrap1.hs, 1.3596, True
Tests/Unit/neg/wrap0.hs, 1.0622, True
Tests/Unit/neg/VerifiedNum.hs, 0.8755, True
Tests/Unit/neg/VerifiedMonoid.hs, 1.2919, True
Tests/Unit/neg/vector2.hs, 2.0108, True
Tests/Unit/neg/vector1a.hs, 1.4056, True
Tests/Unit/neg/vector0a.hs, 1.0196, True
Tests/Unit/neg/vector00.hs, 1.0135, True
Tests/Unit/neg/vector0.hs, 1.1626, True
Tests/Unit/neg/Variance1.hs, 0.8897, True
Tests/Unit/neg/Variance.hs, 0.8696, True
Tests/Unit/neg/tyclass0-unsafe.hs, 0.8894, True
Tests/Unit/neg/truespec.hs, 0.9164, True
Tests/Unit/neg/trans.hs, 2.6136, True
Tests/Unit/neg/TotalHaskell.hs, 0.9038, True
Tests/Unit/neg/TopLevel.hs, 0.9245, True
Tests/Unit/neg/testRec.hs, 1.0824, True
Tests/Unit/neg/test2.hs, 0.9890, True
Tests/Unit/neg/test1.hs, 0.9548, True
Tests/Unit/neg/test00c.hs, 0.9492, True
Tests/Unit/neg/test00b.hs, 0.9737, True
Tests/Unit/neg/test00a.hs, 0.9569, True
Tests/Unit/neg/test00.hs, 1.0016, True
Tests/Unit/neg/TermReal.hs, 0.8601, True
Tests/Unit/neg/TerminationNum0.hs, 0.9135, True
Tests/Unit/neg/TerminationNum.hs, 0.9215, True
Tests/Unit/neg/T745.hs, 0.8835, True
Tests/Unit/neg/T743.hs, 0.9825, True
Tests/Unit/neg/T743-mini.hs, 0.9537, True
Tests/Unit/neg/T602.hs, 0.9005, True
Tests/Unit/neg/sumPoly.hs, 0.9096, True
Tests/Unit/neg/sumk.hs, 0.8855, True
Tests/Unit/neg/Sum.hs, 1.0627, True
Tests/Unit/neg/Strings.hs, 0.8548, True
Tests/Unit/neg/string00.hs, 0.9554, True
Tests/Unit/neg/StrictPair1.hs, 1.2670, True
Tests/Unit/neg/StrictPair0.hs, 0.8888, True
Tests/Unit/neg/StreamInvariants.hs, 0.8831, True
Tests/Unit/neg/Strata.hs, 0.9028, True
Tests/Unit/neg/StateConstraints00.hs, 0.9110, True
Tests/Unit/neg/StateConstraints0.hs, 51.2648, True
Tests/Unit/neg/StateConstraints.hs, 2.6608, True
Tests/Unit/neg/state00.hs, 0.9220, True
Tests/Unit/neg/state0.hs, 0.9116, True
Tests/Unit/neg/stacks.hs, 1.3695, True
Tests/Unit/neg/Solver.hs, 1.7637, True
Tests/Unit/neg/SafePartialFunctions.hs, 0.9389, True
Tests/Unit/neg/risers.hs, 0.9983, True
Tests/Unit/neg/RG.hs, 1.3199, True
Tests/Unit/neg/revshape.hs, 0.8910, True
Tests/Unit/neg/RecSelector.hs, 0.8778, True
Tests/Unit/neg/RecQSort.hs, 1.2624, True
Tests/Unit/neg/record0.hs, 0.8862, True
Tests/Unit/neg/range.hs, 1.5906, True
Tests/Unit/neg/qsloop.hs, 1.2707, True
Tests/Unit/neg/QQTySyn2.hs, 4.0654, True
Tests/Unit/neg/QQTySyn1.hs, 3.2188, True
Tests/Unit/neg/QQTySig.hs, 3.2210, True
Tests/Unit/neg/prune0.hs, 0.9905, True
Tests/Unit/neg/Propability0.hs, 0.9382, True
Tests/Unit/neg/Propability.hs, 1.1559, True
Tests/Unit/neg/pred.hs, 0.8052, True
Tests/Unit/neg/pragma0-unsafe.hs, 0.8506, True
Tests/Unit/neg/poslist.hs, 1.3412, True
Tests/Unit/neg/polypred.hs, 0.9618, True
Tests/Unit/neg/poly2.hs, 3.7851, True
Tests/Unit/neg/poly2-degenerate.hs, 1.7618, True
Tests/Unit/neg/poly1.hs, 1.2716, True
Tests/Unit/neg/poly0.hs, 1.0539, True
Tests/Unit/neg/partial.hs, 1.2662, True
Tests/Unit/neg/pargs1.hs, 0.9859, True
Tests/Unit/neg/pargs.hs, 0.9982, True
Tests/Unit/neg/PairMeasure.hs, 1.0446, True
Tests/Unit/neg/pair0.hs, 3.2950, True
Tests/Unit/neg/pair.hs, 2.7868, True
Tests/Unit/neg/NoMethodBindingError.hs, 1.0879, True
Tests/Unit/neg/NoExhaustiveGuardsError.hs, 1.2123, True
Tests/Unit/neg/NewTypes0.hs, 1.1490, True
Tests/Unit/neg/NewTypes.hs, 1.0534, True
Tests/Unit/neg/nestedRecursion.hs, 1.1235, True
Tests/Unit/neg/MultipleInvariants.hs, 0.9759, True
Tests/Unit/neg/MultiParamTypeClasses.hs, 0.9888, True
Tests/Unit/neg/multi-pred-app-00.hs, 1.0305, True
Tests/Unit/neg/mr00.hs, 1.6201, True
Tests/Unit/neg/monad7.hs, 2.0972, True
Tests/Unit/neg/monad6.hs, 3.1123, True
Tests/Unit/neg/monad5.hs, 2.1173, True
Tests/Unit/neg/monad4.hs, 1.1859, True
Tests/Unit/neg/monad3.hs, 2.4366, True
Tests/Unit/neg/MergeSort.hs, 2.1412, True
Tests/Unit/neg/MeasureDups.hs, 1.0653, True
Tests/Unit/neg/MeasureContains.hs, 1.0526, True
Tests/Unit/neg/meas9.hs, 0.9618, True
Tests/Unit/neg/meas7.hs, 1.0480, True
Tests/Unit/neg/meas5.hs, 2.7032, True
Tests/Unit/neg/meas3.hs, 1.0518, True
Tests/Unit/neg/meas2.hs, 1.1051, True
Tests/Unit/neg/meas0.hs, 1.5241, True
Tests/Unit/neg/MaybeMonad.hs, 1.4759, True
Tests/Unit/neg/maps.hs, 1.2406, True
Tests/Unit/neg/mapreduce.hs, 4.6550, True
Tests/Unit/neg/mapreduce-tiny.hs, 1.0268, True
Tests/Unit/neg/LocalSpec.hs, 1.1146, True
Tests/Unit/neg/lit.hs, 1.1246, True
Tests/Unit/neg/ListRange.hs, 1.2483, True
Tests/Unit/neg/ListQSort.hs, 1.8413, True
Tests/Unit/neg/listne.hs, 0.8857, True
Tests/Unit/neg/ListMSort.hs, 4.9167, True
Tests/Unit/neg/ListKeys.hs, 1.3370, True
Tests/Unit/neg/ListISort.hs, 3.4639, True
Tests/Unit/neg/ListISort-LType.hs, 1.5722, True
Tests/Unit/neg/ListElem.hs, 1.0201, True
Tests/Unit/neg/ListConcat.hs, 0.9703, True
Tests/Unit/neg/list00.hs, 1.0125, True
Tests/Unit/neg/LiquidClass1.hs, 0.9444, True
Tests/Unit/neg/LiquidClass.hs, 0.9580, True
Tests/Unit/neg/LazyWhere1.hs, 1.2796, True
Tests/Unit/neg/LazyWhere.hs, 0.9956, True
Tests/Unit/neg/IntAbsRef.hs, 0.8748, True
Tests/Unit/neg/inc2.hs, 0.9218, True
Tests/Unit/neg/HolesTop.hs, 0.9315, True
Tests/Unit/neg/HigherOrder.hs, 0.8601, True
Tests/Unit/neg/HasElem.hs, 1.1229, True
Tests/Unit/neg/grty3.hs, 0.9101, True
Tests/Unit/neg/grty2.hs, 1.0009, True
Tests/Unit/neg/grty1.hs, 1.1262, True
Tests/Unit/neg/grty0.hs, 0.8308, True
Tests/Unit/neg/Gradual.hs, 1.1216, True
Tests/Unit/neg/GeneralizedTermination.hs, 1.0595, True
Tests/Unit/neg/GADTs.hs, 0.8970, True
Tests/Unit/neg/FunSoundness.hs, 0.8349, True
Tests/Unit/neg/FunctionRef.hs, 0.9236, True
Tests/Unit/neg/foldN1.hs, 0.9670, True
Tests/Unit/neg/foldN.hs, 0.9292, True
Tests/Unit/neg/filterAbs.hs, 1.3355, True
Tests/Unit/neg/ex1-unsafe.hs, 1.0266, True
Tests/Unit/neg/ex0-unsafe.hs, 1.0373, True
Tests/Unit/neg/Even.hs, 0.9251, True
Tests/Unit/neg/Eval.hs, 1.1333, True
Tests/Unit/neg/errorloc.hs, 0.9563, True
Tests/Unit/neg/errmsg.hs, 0.9439, True
Tests/Unit/neg/elim000.hs, 0.9012, True
Tests/Unit/neg/elim-ex-map-3.hs, 4.5383, True
Tests/Unit/neg/elim-ex-map-2.hs, 3.5952, True
Tests/Unit/neg/elim-ex-map-1.hs, 3.3264, True
Tests/Unit/neg/elim-ex-list.hs, 3.3029, True
Tests/Unit/neg/elim-ex-let.hs, 3.3504, True
Tests/Unit/neg/elim-ex-compose.hs, 1.1678, True
Tests/Unit/neg/deptupW.hs, 4.7880, True
Tests/Unit/neg/deppair0.hs, 1.5154, True
Tests/Unit/neg/DependentTypes.hs, 1.0764, True
Tests/Unit/neg/datacon-eq.hs, 1.1807, True
Tests/Unit/neg/csv.hs, 3.8096, True
Tests/Unit/neg/coretologic.hs, 1.3306, True
Tests/Unit/neg/contra0.hs, 1.6768, True
Tests/Unit/neg/ConstraintsAppend.hs, 3.6456, True
Tests/Unit/neg/Constraints.hs, 1.5618, True
Tests/Unit/neg/concat2.hs, 2.8144, True
Tests/Unit/neg/concat1.hs, 2.0867, True
Tests/Unit/neg/concat.hs, 1.7538, True
Tests/Unit/neg/CompareConstraints.hs, 3.1936, True
Tests/Unit/neg/Client.hs, 1.0288, True
Tests/Unit/neg/Class5.hs, 1.0173, True
Tests/Unit/neg/Class4.hs, 0.9756, True
Tests/Unit/neg/Class3.hs, 0.9349, True
Tests/Unit/neg/Class2.hs, 0.9678, True
Tests/Unit/neg/Class1.hs, 1.1526, True
Tests/Unit/neg/CheckedNum.hs, 0.8957, True
Tests/Unit/neg/CastedTotality.hs, 1.0792, True
Tests/Unit/neg/Books.hs, 1.0966, True
Tests/Unit/neg/BinarySearchOverflow.hs, 1.2366, True
Tests/Unit/neg/BigNum.hs, 0.9673, True
Tests/Unit/neg/Baz.hs, 1.1483, True
Tests/Unit/neg/BadNats.hs, 1.1271, True
Tests/Unit/neg/BadHMeas.hs, 1.2804, True
Tests/Unit/neg/AutoTerm1.hs, 0.9969, True
Tests/Unit/neg/AutoTerm.hs, 0.9398, True
Tests/Unit/neg/AutoSize.hs, 0.9433, True
Tests/Unit/neg/Automate.hs, 1.1523, True
Tests/Unit/neg/Ast.hs, 1.1764, True
Tests/Unit/neg/ass0.hs, 1.0178, True
Tests/Unit/neg/alias00.hs, 0.9885, True
Tests/Unit/neg/AbsApp.hs, 1.0929, True
Tests/Unit/crash/Unbound.hs, 0.4181, True
Tests/Unit/crash/typeAliasDup.hs, 0.8762, True
Tests/Unit/crash/T774.hs, 0.7716, True
Tests/Unit/crash/T773.hs, 0.7851, True
Tests/Unit/crash/T691.hs, 0.5716, True
Tests/Unit/crash/T649.hs, 1.0325, True
Tests/Unit/crash/SizeFunMissing.hs, 0.8068, True
Tests/Unit/crash/RClass.hs, 0.4446, True
Tests/Unit/crash/Qualif.hs, 0.7979, True
Tests/Unit/crash/predparams.hs, 0.7807, True
Tests/Unit/crash/num-float-error1.hs, 0.8797, True
Tests/Unit/crash/num-float-error.hs, 0.9747, True
Tests/Unit/crash/MultipleRecordSelectors.hs, 0.9342, True
Tests/Unit/crash/Mismatch.hs, 0.8025, True
Tests/Unit/crash/LocalTermExpr.hs, 0.8568, True
Tests/Unit/crash/LocalHole.hs, 1.0175, True
Tests/Unit/crash/issue594.hs, 0.4988, True
Tests/Unit/crash/hole-crash3.hs, 0.9846, True
Tests/Unit/crash/hole-crash2.hs, 0.9916, True
Tests/Unit/crash/hole-crash1.hs, 0.9096, True
Tests/Unit/crash/HigherOrder.hs, 0.8858, True
Tests/Unit/crash/HaskellMeasure.hs, 0.9276, True
Tests/Unit/crash/FunRef2.hs, 0.9601, True
Tests/Unit/crash/FunRef1.hs, 0.8915, True
Tests/Unit/crash/funref.hs, 1.1798, True
Tests/Unit/crash/errmsg-mismatch.hs, 1.0998, True
Tests/Unit/crash/errmsg-dc-type.hs, 0.9193, True
Tests/Unit/crash/errmsg-dc-num.hs, 1.6143, True
Tests/Unit/crash/CyclicTypeAlias3.hs, 1.0658, True
Tests/Unit/crash/CyclicTypeAlias2.hs, 1.0964, True
Tests/Unit/crash/CyclicTypeAlias1.hs, 1.2262, True
Tests/Unit/crash/CyclicTypeAlias0.hs, 1.4204, True
Tests/Unit/crash/CyclicPredAlias3.hs, 0.9671, True
Tests/Unit/crash/CyclicPredAlias2.hs, 0.8761, True
Tests/Unit/crash/CyclicPredAlias1.hs, 0.7737, True
Tests/Unit/crash/CyclicPredAlias0.hs, 0.7721, True
Tests/Unit/crash/CyclicExprAlias3.hs, 0.9091, True
Tests/Unit/crash/CyclicExprAlias2.hs, 0.7552, True
Tests/Unit/crash/CyclicExprAlias1.hs, 0.7729, True
Tests/Unit/crash/CyclicExprAlias0.hs, 0.7712, True
Tests/Unit/crash/BadSyn4.hs, 0.8024, True
Tests/Unit/crash/BadSyn3.hs, 0.8167, True
Tests/Unit/crash/BadSyn2.hs, 1.0274, True
Tests/Unit/crash/BadSyn1.hs, 0.8276, True
Tests/Unit/crash/BadPragma2.hs, 0.3833, True
Tests/Unit/crash/BadPragma1.hs, 0.3996, True
Tests/Unit/crash/BadPragma0.hs, 0.3840, True
Tests/Unit/crash/BadExprArg.hs, 0.8811, True
Tests/Unit/crash/Ast.hs, 0.5137, True
Tests/Unit/crash/Assume1.hs, 1.2571, True
Tests/Unit/crash/Assume.hs, 1.8533, True
Tests/Unit/crash/AbsRef.hs, 0.7102, True
Tests/Unit/parser/pos/TokensAsPrefixes.hs, 1.3178, True
Tests/Unit/parser/pos/Parens.hs, 1.4161, True
Tests/Unit/error/crash/TerminationExpr1.hs, 1.1720, True
Tests/Unit/error/crash/TerminationExpr.hs, 1.0961, True
Tests/Benchmarks/text/Setup.lhs, 3.0364, True
Tests/Benchmarks/text/Data/Text.hs, 64.6375, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 3.4850, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 3.4263, True
Tests/Benchmarks/text/Data/Text/Search.hs, 19.5460, True
Tests/Benchmarks/text/Data/Text/Private.hs, 3.0107, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 91.1294, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 7.5355, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 31.2316, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 5.5614, True
Tests/Benchmarks/text/Data/Text/Encoding.hs, 78.2475, True
Tests/Benchmarks/text/Data/Text/Array.hs, 3.6072, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 69.4315, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 7.5057, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 10.9239, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 16.4543, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 15.8640, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 2.7823, True
Tests/Benchmarks/bytestring/Data/ByteString.T.hs, 88.4421, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 68.8244, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 2.5409, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 12.3553, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 66.9541, True
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 8.6806, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 36.4227, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 32.6841, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 11.7708, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 2.1935, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 12.6104, True
Tests/Benchmarks/esop/Toy.hs, 2.5128, True
Tests/Benchmarks/esop/Splay.hs, 13.8861, True
Tests/Benchmarks/esop/ListSort.hs, 4.2345, True
Tests/Benchmarks/esop/GhcListSort.hs, 14.7055, True
Tests/Benchmarks/esop/Fib.hs, 1.7138, True
Tests/Benchmarks/esop/Base.hs, 304.5258, True
Tests/Benchmarks/esop/Array.hs, 3.5594, True
Tests/Benchmarks/vect-algs/Setup.lhs, 1.3297, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.4866, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 4.3253, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 4.1243, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 12.8532, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 10.1352, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 7.5979, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 2.2719, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 51.4523, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.3419, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 1.0912, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 19.2848, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 1.4421, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 1.8673, True
Tests/Benchmarks/icfp_pos/TwiceM.hs, 17.4329, True
Tests/Benchmarks/icfp_pos/TestM.hs, 0.9544, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 45.8139, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 1.3088, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 16.2336, True
Tests/Benchmarks/icfp_pos/Incr.hs, 2.2151, True
Tests/Benchmarks/icfp_pos/Incr-elim.hs, 1.3702, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 5.5823, True
Tests/Benchmarks/icfp_pos/IfM.hs, 11.9857, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 2.3789, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 15.5205, True
Tests/Benchmarks/icfp_pos/FindRec.hs, 17.8210, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.7400, True
Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.3533, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 5.3473, True
Tests/Benchmarks/icfp_pos/CopyRec.hs, 34.0088, True
Tests/Benchmarks/icfp_pos/Composition.hs, 1.1804, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.3412, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.6945, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 1.9951, True
Tests/Benchmarks/icfp_neg/TwiceM.hs, 101.9301, True
Tests/Benchmarks/icfp_neg/TestM.hs, 1.5237, True
Tests/Benchmarks/icfp_neg/Records.hs, 1.2837, True
Tests/Benchmarks/icfp_neg/IfM.hs, 18.5553, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 5.6056, True
Tests/Benchmarks/icfp_neg/Composition.hs, 1.3071, True
Tests/Benchmarks/pldi17_pos/Unification.hs, 7.9685, True
Tests/Benchmarks/pldi17_pos/Solver.hs, 2.1614, True
Tests/Benchmarks/pldi17_pos/ProofCombinators.hs, 1.1897, True
Tests/Benchmarks/pldi17_pos/Peano.hs, 1.5477, True
Tests/Benchmarks/pldi17_pos/Overview.hs, 1.5384, True
Tests/Benchmarks/pldi17_pos/NormalForm.hs, 1.2248, True
Tests/Benchmarks/pldi17_pos/MonoidMaybe.hs, 1.4491, True
Tests/Benchmarks/pldi17_pos/MonoidList.hs, 1.4167, True
Tests/Benchmarks/pldi17_pos/MonadMaybe.hs, 1.4212, True
Tests/Benchmarks/pldi17_pos/MonadList.hs, 2.8071, True
Tests/Benchmarks/pldi17_pos/MonadId.hs, 1.3999, True
Tests/Benchmarks/pldi17_pos/MapFusion.hs, 3.1587, True
Tests/Benchmarks/pldi17_pos/FunctorMaybe.hs, 1.4001, True
Tests/Benchmarks/pldi17_pos/FunctorList.hs, 2.2516, True
Tests/Benchmarks/pldi17_pos/FunctorId.hs, 1.3692, True
Tests/Benchmarks/pldi17_pos/FunctionEquality101.hs, 1.1474, True
Tests/Benchmarks/pldi17_pos/FoldrUniversal.hs, 2.4242, True
Tests/Benchmarks/pldi17_pos/Fibonacci.hs, 3.1773, True
Tests/Benchmarks/pldi17_pos/Euclide.hs, 1.0415, True
Tests/Benchmarks/pldi17_pos/Compose.hs, 1.0325, True
Tests/Benchmarks/pldi17_pos/BasicLambdas0.hs, 1.0515, True
Tests/Benchmarks/pldi17_pos/BasicLambdas.hs, 1.0161, True
Tests/Benchmarks/pldi17_pos/ApplicativeMaybe.hs, 3.2634, True
Tests/Benchmarks/pldi17_pos/ApplicativeList.hs, 14.4530, True
Tests/Benchmarks/pldi17_pos/ApplicativeId.hs, 1.6537, True
Tests/Benchmarks/pldi17_pos/Append.hs, 2.5246, True
Tests/Benchmarks/pldi17_pos/AlphaEquivalence.hs, 1.2314, True
Tests/Benchmarks/pldi17_pos/Ackermann.hs, 9.0664, True
Tests/Benchmarks/pldi17_neg/MonadMaybe.hs, 2.0619, True
Tests/Benchmarks/pldi17_neg/MonadList.hs, 3.9637, True
Tests/Benchmarks/pldi17_neg/MapFusion.hs, 2.4425, True
Tests/Benchmarks/pldi17_neg/FunctorMaybe.hs, 1.7631, True
Tests/Benchmarks/pldi17_neg/FunctorList.hs, 2.4636, True
Tests/Benchmarks/pldi17_neg/Fibonacci.hs, 3.1351, True
Tests/Benchmarks/pldi17_neg/BasicLambdas.hs, 1.0023, True
Tests/Benchmarks/pldi17_neg/ApplicativeMaybe.hs, 3.3481, True
Tests/Benchmarks/pldi17_neg/ApplicativeList.hs, 13.6342, True
Tests/Benchmarks/pldi17_neg/Append.hs, 2.4766, True
Tests/Benchmarks/pldi17_neg/Ackermann.hs, 8.2276, True
Tests/Benchmarks/instances/Unification.hs, 6.0277, True
Tests/Benchmarks/instances/Solver.hs, 2.0990, True
Tests/Benchmarks/instances/ProofCombinators.hs, 1.0684, True
Tests/Benchmarks/instances/Peano.hs, 1.3851, True
Tests/Benchmarks/instances/Overview.hs, 1.3853, True
Tests/Benchmarks/instances/NormalForm.hs, 0.9879, True
Tests/Benchmarks/instances/MonoidMaybe.hs, 1.1231, True
Tests/Benchmarks/instances/MonoidList.hs, 1.3471, True
Tests/Benchmarks/instances/MonadList.hs, 1.8913, True
Tests/Benchmarks/instances/Maybe.hs, 0.9612, True
Tests/Benchmarks/instances/MapFusion.hs, 1.3038, True
Tests/Benchmarks/instances/Lists.hs, 1.2777, True
Tests/Benchmarks/instances/FunctorMaybe.hs, 1.1816, True
Tests/Benchmarks/instances/FunctorList.hs, 1.5215, True
Tests/Benchmarks/instances/FunctorId.hs, 1.3801, True
Tests/Benchmarks/instances/FunctionEquality101.hs, 1.1190, True
Tests/Benchmarks/instances/FoldrUniversal.hs, 1.5785, True
Tests/Benchmarks/instances/Fibonacci.hs, 2.6068, True
Tests/Benchmarks/instances/Euclide.hs, 1.1714, True
Tests/Benchmarks/instances/Compose.hs, 1.2827, True
Tests/Benchmarks/instances/BasicLambdas.hs, 1.2023, True
Tests/Benchmarks/instances/ApplicativeMaybe.hs, 1.2807, True
Tests/Benchmarks/instances/ApplicativeList.hs, 7.0231, True
Tests/Benchmarks/instances/ApplicativeId.hs, 1.1598, True
Tests/Benchmarks/instances/Append.hs, 1.6902, True
Tests/Benchmarks/instances/AlphaEquivalence.hs, 1.1035, True
Tests/Benchmarks/instances/Ackermann.hs, 162.0299, True