summary-first-ghc8.csv

 (HEAD -> pattern-inline, origin/pattern-inline) : d610293f44bca00bc918ef42f3129441c4a95575
Timestamp: 2017-06-03 21:42:41 -0700
Epoch Timestamp: 1496551361
--------------------------------------------------------------------------------
test, time(s), result

Tests/Unit/pos/zipW2.hs, 1.0237, True
Tests/Unit/pos/zipW1.hs, 0.9436, True
Tests/Unit/pos/zipW.hs, 0.9692, True
Tests/Unit/pos/zipSO.hs, 1.0292, True
Tests/Unit/pos/zipper000.hs, 1.0042, True
Tests/Unit/pos/zipper0.hs, 1.2951, True
Tests/Unit/pos/zipper.hs, 1.8799, True
Tests/Unit/pos/WrapUnWrap.hs, 0.9611, True
Tests/Unit/pos/wrap1.hs, 1.1874, True
Tests/Unit/pos/wrap0.hs, 0.9658, True
Tests/Unit/pos/Words1.hs, 0.8919, True
Tests/Unit/pos/Words.hs, 0.8990, True
Tests/Unit/pos/WBL0.hs, 2.3227, True
Tests/Unit/pos/WBL.hs, 2.1119, True
Tests/Unit/pos/VerifiedNum.hs, 0.8760, True
Tests/Unit/pos/VerifiedMonoid.hs, 1.2623, True
Tests/Unit/pos/vector2.hs, 1.8625, True
Tests/Unit/pos/vector1b.hs, 1.4160, True
Tests/Unit/pos/vector1a.hs, 1.5300, True
Tests/Unit/pos/vector1.hs, 1.4442, True
Tests/Unit/pos/vector00.hs, 1.1463, True
Tests/Unit/pos/vector0.hs, 1.3682, True
Tests/Unit/pos/vecloop.hs, 1.1790, True
Tests/Unit/pos/Variance2.hs, 0.9098, True
Tests/Unit/pos/Variance.hs, 0.9065, True
Tests/Unit/pos/unusedtyvars.hs, 0.9762, True
Tests/Unit/pos/UnboxedTuplesAndTH.hs, 1.6014, True
Tests/Unit/pos/UnboxedTuples.hs, 0.9200, True
Tests/Unit/pos/tyvar.hs, 0.9383, True
Tests/Unit/pos/TypeFamilies.hs, 0.9202, True
Tests/Unit/pos/TypeAlias.hs, 0.9155, True
Tests/Unit/pos/tyfam0.hs, 0.9236, True
Tests/Unit/pos/tyExpr.hs, 0.8987, True
Tests/Unit/pos/tyclass0.hs, 0.8812, True
Tests/Unit/pos/tupparse.hs, 1.0135, True
Tests/Unit/pos/tup0.hs, 0.8799, True
Tests/Unit/pos/transTAG.hs, 2.1000, True
Tests/Unit/pos/transpose.hs, 1.3692, True
Tests/Unit/pos/trans.hs, 1.0644, True
Tests/Unit/pos/ToyMVar.hs, 1.2975, True
Tests/Unit/pos/TopLevel.hs, 0.9014, True
Tests/Unit/pos/top0.hs, 0.9599, True
Tests/Unit/pos/TokenType.hs, 0.9051, True
Tests/Unit/pos/testRec.hs, 0.9568, True
Tests/Unit/pos/Test761.hs, 0.9511, True
Tests/Unit/pos/test2.hs, 0.9367, True
Tests/Unit/pos/test1.hs, 0.9564, True
Tests/Unit/pos/test00c.hs, 1.0182, True
Tests/Unit/pos/test00b.hs, 0.9794, True
Tests/Unit/pos/test000.hs, 0.9065, True
Tests/Unit/pos/test00.old.hs, 0.9334, True
Tests/Unit/pos/test00.hs, 0.9327, True
Tests/Unit/pos/test00-int.hs, 1.0022, True
Tests/Unit/pos/test0.hs, 0.9288, True
Tests/Unit/pos/TerminationNum0.hs, 0.9473, True
Tests/Unit/pos/TerminationNum.hs, 0.9099, True
Tests/Unit/pos/Termination.lhs, 1.4735, True
Tests/Unit/pos/term0.hs, 0.9744, True
Tests/Unit/pos/Term.hs, 1.0119, True
Tests/Unit/pos/TemplateHaskellImp.hs, 1.2552, True
Tests/Unit/pos/TemplateHaskell.hs, 2.7159, True
Tests/Unit/pos/take.hs, 1.2570, True
Tests/Unit/pos/tagBinder.hs, 0.8697, True
Tests/Unit/pos/T914.hs, 0.9365, True
Tests/Unit/pos/T866.hs, 0.8944, True
Tests/Unit/pos/T820.hs, 1.0331, True
Tests/Unit/pos/T819A.hs, 1.0248, True
Tests/Unit/pos/T819.hs, 1.0172, True
Tests/Unit/pos/T716.hs, 0.9195, True
Tests/Unit/pos/T675.hs, 1.0178, True
Tests/Unit/pos/T598.hs, 0.9689, True
Tests/Unit/pos/T595a.hs, 0.8718, True
Tests/Unit/pos/T595.hs, 1.0625, True
Tests/Unit/pos/T531.hs, 0.8766, True
Tests/Unit/pos/T1025a.hs, 1.0921, True
Tests/Unit/pos/T1025.hs, 1.1021, True
Tests/Unit/pos/T1024.hs, 0.8919, True
Tests/Unit/pos/T1013.hs, 1.0918, True
Tests/Unit/pos/Sum.hs, 0.9354, True
Tests/Unit/pos/StructRec.hs, 0.9741, True
Tests/Unit/pos/Strings.hs, 0.9134, True
Tests/Unit/pos/StringLit.hs, 0.8681, True
Tests/Unit/pos/string00.hs, 0.9292, True
Tests/Unit/pos/StrictPair1.hs, 1.2309, True
Tests/Unit/pos/StrictPair0.hs, 0.9012, True
Tests/Unit/pos/StreamInvariants.hs, 0.8786, True
Tests/Unit/pos/stateInvarint.hs, 1.1045, True
Tests/Unit/pos/StateF00.hs, 0.9499, True
Tests/Unit/pos/StateConstraints00.hs, 0.9176, True
Tests/Unit/pos/StateConstraints0.hs, 13.4943, True
Tests/Unit/pos/StateConstraints.hs, 7.4634, True
Tests/Unit/pos/State1.hs, 0.8903, True
Tests/Unit/pos/state00.hs, 0.9215, True
Tests/Unit/pos/State.hs, 1.0377, True
Tests/Unit/pos/stacks0.hs, 1.0217, True
Tests/Unit/pos/StackMachine.hs, 1.0118, True
Tests/Unit/pos/StackClass.hs, 0.9378, True
Tests/Unit/pos/spec0.hs, 0.9663, True
Tests/Unit/pos/Solver.hs, 1.5447, True
Tests/Unit/pos/SimplifyTup00.hs, 0.9181, True
Tests/Unit/pos/SimplerNotation.hs, 0.8576, True
Tests/Unit/pos/selfList.hs, 0.9911, True
Tests/Unit/pos/scanr.hs, 0.9702, True
Tests/Unit/pos/SafePartialFunctions.hs, 0.9194, True
Tests/Unit/pos/rta.hs, 0.9060, True
Tests/Unit/pos/risers.hs, 1.0131, True
Tests/Unit/pos/ResolvePred.hs, 0.9457, True
Tests/Unit/pos/ResolveB.hs, 0.8968, True
Tests/Unit/pos/ResolveA.hs, 0.9039, True
Tests/Unit/pos/Resolve.hs, 0.9257, True
Tests/Unit/pos/repeatHigherOrder.hs, 1.4758, True
Tests/Unit/pos/Repeat.hs, 0.9021, True
Tests/Unit/pos/RelativeComplete.hs, 1.0045, True
Tests/Unit/pos/ReflectBooleanFunctions.hs, 0.9370, True
Tests/Unit/pos/reflect0.hs, 0.9189, True
Tests/Unit/pos/RefinedADTs.hs, 0.9191, True
Tests/Unit/pos/Reduction.hs, 0.8835, True
Tests/Unit/pos/recursion0.hs, 0.9138, True
Tests/Unit/pos/RecSelector.hs, 0.9090, True
Tests/Unit/pos/RecQSort0.hs, 1.0978, True
Tests/Unit/pos/RecQSort.hs, 1.0833, True
Tests/Unit/pos/RecordSelectorError.hs, 0.9247, True
Tests/Unit/pos/record1.hs, 0.8927, True
Tests/Unit/pos/record0.hs, 1.0150, True
Tests/Unit/pos/rec_annot_go.hs, 1.0535, True
Tests/Unit/pos/RealProps1.hs, 0.9526, True
Tests/Unit/pos/RealProps.hs, 0.8962, True
Tests/Unit/pos/RBTree.hs, 12.1964, True
Tests/Unit/pos/RBTree-ord.hs, 8.1582, True
Tests/Unit/pos/RBTree-height.hs, 4.8639, True
Tests/Unit/pos/RBTree-color.hs, 4.6290, True
Tests/Unit/pos/RBTree-col-height.hs, 5.2329, True
Tests/Unit/pos/rangeAdt.hs, 2.6465, True
Tests/Unit/pos/range1.hs, 0.9971, True
Tests/Unit/pos/range.hs, 1.2340, True
Tests/Unit/pos/qualTest.hs, 0.9521, True
Tests/Unit/pos/QQTySyn.hs, 5.2082, True
Tests/Unit/pos/QQTySigTyVars.hs, 5.1855, True
Tests/Unit/pos/QQTySig.hs, 5.1073, True
Tests/Unit/pos/propmeasure1.hs, 0.8561, True
Tests/Unit/pos/propmeasure.hs, 1.0067, True
Tests/Unit/pos/Propability.hs, 0.9506, True
Tests/Unit/pos/PromotedDataCons.hs, 0.9223, True
Tests/Unit/pos/profcrasher.hs, 0.9336, True
Tests/Unit/pos/Product.hs, 1.2213, True
Tests/Unit/pos/primInt0.hs, 1.0158, True
Tests/Unit/pos/pred.hs, 0.9289, True
Tests/Unit/pos/pragma0.hs, 0.8701, True
Tests/Unit/pos/poslist_dc.hs, 1.0193, True
Tests/Unit/pos/poslist.hs, 1.1294, True
Tests/Unit/pos/polyqual.hs, 1.2460, True
Tests/Unit/pos/polyfun.hs, 0.9492, True
Tests/Unit/pos/poly4.hs, 0.9485, True
Tests/Unit/pos/poly3a.hs, 0.9282, True
Tests/Unit/pos/poly3.hs, 0.9821, True
Tests/Unit/pos/poly2.hs, 0.9701, True
Tests/Unit/pos/poly2-degenerate.hs, 0.9614, True
Tests/Unit/pos/poly1.hs, 0.9965, True
Tests/Unit/pos/poly0.hs, 1.0454, True
Tests/Unit/pos/PointDist.hs, 0.9413, True
Tests/Unit/pos/PlugHoles.hs, 0.8777, True
Tests/Unit/pos/PersistentVector.hs, 1.0365, True
Tests/Unit/pos/Permutation.hs, 1.8202, True
Tests/Unit/pos/partialmeasure.hs, 0.8910, True
Tests/Unit/pos/partial-tycon.hs, 0.9294, True
Tests/Unit/pos/pargs1.hs, 0.8582, True
Tests/Unit/pos/pargs.hs, 0.9052, True
Tests/Unit/pos/PairMeasure0.hs, 0.9351, True
Tests/Unit/pos/PairMeasure.hs, 0.8948, True
Tests/Unit/pos/pair00.hs, 1.4952, True
Tests/Unit/pos/pair0.hs, 1.7224, True
Tests/Unit/pos/pair.hs, 1.8621, True
Tests/Unit/pos/Overwrite.hs, 0.8687, True
Tests/Unit/pos/ORM.hs, 1.4922, True
Tests/Unit/pos/OrdList.hs, 17.8336, True
Tests/Unit/pos/nullterm.hs, 1.2524, True
Tests/Unit/pos/NoExhaustiveGuardsError.hs, 0.9048, True
Tests/Unit/pos/NoCaseExpand.hs, 1.4266, True
Tests/Unit/pos/niki1.hs, 0.9893, True
Tests/Unit/pos/niki.hs, 0.9380, True
Tests/Unit/pos/NewType.hs, 0.9158, True
Tests/Unit/pos/nats.hs, 0.9866, True
Tests/Unit/pos/NatClass.hs, 1.1418, True
Tests/Unit/pos/MutualRec.hs, 9.1509, True
Tests/Unit/pos/mutrec.hs, 0.8459, True
Tests/Unit/pos/MultipleInvariants.hs, 0.9019, True
Tests/Unit/pos/multi-pred-app-00.hs, 0.8563, True
Tests/Unit/pos/Moo.hs, 0.8793, True
Tests/Unit/pos/monad7.hs, 1.1864, True
Tests/Unit/pos/monad6.hs, 1.0094, True
Tests/Unit/pos/monad5.hs, 1.1554, True
Tests/Unit/pos/monad2.hs, 0.8910, True
Tests/Unit/pos/monad1.hs, 0.9017, True
Tests/Unit/pos/monad0.hs, 0.9285, True
Tests/Unit/pos/modTest.hs, 0.9348, True
Tests/Unit/pos/Mod2.hs, 0.8776, True
Tests/Unit/pos/Mod1.hs, 0.9031, True
Tests/Unit/pos/MergeSort.hs, 1.4774, True
Tests/Unit/pos/Merge1.hs, 0.9301, True
Tests/Unit/pos/MeasureSets.hs, 0.9066, True
Tests/Unit/pos/Measures1.hs, 0.8257, True
Tests/Unit/pos/Measures.hs, 0.8908, True
Tests/Unit/pos/MeasureDups.hs, 0.9796, True
Tests/Unit/pos/MeasureContains.hs, 1.0904, True
Tests/Unit/pos/meas9.hs, 1.0255, True
Tests/Unit/pos/meas8.hs, 0.9598, True
Tests/Unit/pos/meas7.hs, 0.8805, True
Tests/Unit/pos/meas6.hs, 1.0121, True
Tests/Unit/pos/meas5.hs, 1.7638, True
Tests/Unit/pos/meas4.hs, 1.0633, True
Tests/Unit/pos/meas3.hs, 1.0590, True
Tests/Unit/pos/meas2.hs, 0.9668, True
Tests/Unit/pos/meas11.hs, 0.9304, True
Tests/Unit/pos/meas10.hs, 1.0494, True
Tests/Unit/pos/meas1.hs, 0.9708, True
Tests/Unit/pos/meas0a.hs, 0.9723, True
Tests/Unit/pos/meas00a.hs, 0.9621, True
Tests/Unit/pos/meas00.hs, 0.9769, True
Tests/Unit/pos/meas0.hs, 0.9930, True
Tests/Unit/pos/maybe4.hs, 0.9087, True
Tests/Unit/pos/maybe3.hs, 0.9080, True
Tests/Unit/pos/maybe2.hs, 1.3864, True
Tests/Unit/pos/maybe1.hs, 1.0182, True
Tests/Unit/pos/maybe000.hs, 0.9549, True
Tests/Unit/pos/maybe00.hs, 0.8629, True
Tests/Unit/pos/maybe0.hs, 0.9693, True
Tests/Unit/pos/maybe.hs, 1.3676, True
Tests/Unit/pos/mapTvCrash.hs, 0.9337, True
Tests/Unit/pos/maps1.hs, 0.9739, True
Tests/Unit/pos/maps.hs, 1.1002, True
Tests/Unit/pos/MapReduceVerified.hs, 3.7840, True
Tests/Unit/pos/mapreduce-bare.hs, 4.7603, True
Tests/Unit/pos/MapFusion.hs, 1.1941, True
Tests/Unit/pos/Map2.hs, 12.8938, True
Tests/Unit/pos/Map0.hs, 12.5659, True
Tests/Unit/pos/Map.hs, 12.3091, True
Tests/Unit/pos/malformed0.hs, 1.6023, True
Tests/Unit/pos/Loo.hs, 0.9305, True
Tests/Unit/pos/LogicCurry1.hs, 0.8735, True
Tests/Unit/pos/LocalTermExpr.hs, 0.9727, True
Tests/Unit/pos/LocalSpecImp.hs, 0.9080, True
Tests/Unit/pos/LocalSpec0.hs, 0.9478, True
Tests/Unit/pos/LocalSpec.hs, 0.9871, True
Tests/Unit/pos/LocalLazy.hs, 0.9500, True
Tests/Unit/pos/LocalHole.hs, 0.9744, True
Tests/Unit/pos/lit02.hs, 0.9465, True
Tests/Unit/pos/lit00.hs, 0.9696, True
Tests/Unit/pos/lit.hs, 0.8290, True
Tests/Unit/pos/ListSort.hs, 2.3632, True
Tests/Unit/pos/listSetDemo.hs, 1.0543, True
Tests/Unit/pos/listSet.hs, 1.0414, True
Tests/Unit/pos/ListReverse-LType.hs, 0.9566, True
Tests/Unit/pos/ListRange.hs, 1.0745, True
Tests/Unit/pos/ListRange-LType.hs, 1.0654, True
Tests/Unit/pos/listqual.hs, 0.9318, True
Tests/Unit/pos/ListQSort.hs, 1.7285, True
Tests/Unit/pos/ListQSort-LType.hs, 1.7262, True
Tests/Unit/pos/ListMSort.hs, 1.5482, True
Tests/Unit/pos/ListMSort-LType.hs, 3.4587, True
Tests/Unit/pos/ListLen.hs, 1.4051, True
Tests/Unit/pos/ListLen-LType.hs, 1.3254, True
Tests/Unit/pos/ListKeys.hs, 0.9341, True
Tests/Unit/pos/ListISort.hs, 1.0037, True
Tests/Unit/pos/ListISort-LType.hs, 1.8900, True
Tests/Unit/pos/ListElem.hs, 0.9440, True
Tests/Unit/pos/ListConcat.hs, 0.9180, True
Tests/Unit/pos/listAnf.hs, 1.0277, True
Tests/Unit/pos/LiquidClass.hs, 0.9212, True
Tests/Unit/pos/LiquidAutomate.hs, 1.0915, True
Tests/Unit/pos/LiquidArray.hs, 0.9194, True
Tests/Unit/pos/Lib521.hs, 0.9051, True
Tests/Unit/pos/lex.hs, 0.9730, True
Tests/Unit/pos/lets.hs, 1.0220, True
Tests/Unit/pos/LazyWhere1.hs, 0.9588, True
Tests/Unit/pos/LazyWhere.hs, 0.9782, True
Tests/Unit/pos/LambdaEvalTiny.hs, 2.4052, True
Tests/Unit/pos/LambdaEvalSuperTiny.hs, 1.7913, True
Tests/Unit/pos/LambdaEvalMini.hs, 5.8736, True
Tests/Unit/pos/LambdaEval.hs, 3.7426, True
Tests/Unit/pos/LambdaDeBruijn.hs, 1.6046, True
Tests/Unit/pos/kmpVec.hs, 2.3232, True
Tests/Unit/pos/kmpIO.hs, 3.3172, True
Tests/Unit/pos/kmp.hs, 2.4794, True
Tests/Unit/pos/Keys.hs, 0.9235, True
Tests/Unit/pos/jeff.hs, 4.0846, True
Tests/Unit/pos/ite1.hs, 0.8610, True
Tests/Unit/pos/ite.hs, 0.8871, True
Tests/Unit/pos/invlhs.hs, 0.8973, True
Tests/Unit/pos/Invariants.hs, 1.0257, True
Tests/Unit/pos/inline1.hs, 0.9000, True
Tests/Unit/pos/inline.hs, 0.9982, True
Tests/Unit/pos/initarray.hs, 1.1833, True
Tests/Unit/pos/infix.hs, 0.9240, True
Tests/Unit/pos/Infinity.hs, 0.9942, True
Tests/Unit/pos/implies.hs, 0.8738, True
Tests/Unit/pos/imp0.hs, 0.9329, True
Tests/Unit/pos/idNat0.hs, 0.9167, True
Tests/Unit/pos/idNat.hs, 0.9371, True
Tests/Unit/pos/IcfpDemo.hs, 1.1461, True
Tests/Unit/pos/Holes.hs, 0.9355, True
Tests/Unit/pos/Holes-Slicing.hs, 0.9620, True
Tests/Unit/pos/hole-fun.hs, 0.8568, True
Tests/Unit/pos/hole-app.hs, 0.8816, True
Tests/Unit/pos/HigherOrderRecFun.hs, 0.9049, True
Tests/Unit/pos/hello.hs, 0.9483, True
Tests/Unit/pos/HedgeUnion.hs, 1.0488, True
Tests/Unit/pos/HaskellMeasure.hs, 0.9470, True
Tests/Unit/pos/HasElem.hs, 0.9038, True
Tests/Unit/pos/grty3.hs, 0.8882, True
Tests/Unit/pos/grty2.hs, 0.9099, True
Tests/Unit/pos/grty1.hs, 0.9769, True
Tests/Unit/pos/grty0.hs, 0.8393, True
Tests/Unit/pos/Graph.hs, 1.2502, True
Tests/Unit/pos/GoodHMeas.hs, 0.8802, True
Tests/Unit/pos/Goo.hs, 0.9296, True
Tests/Unit/pos/go_ugly_type.hs, 0.9274, True
Tests/Unit/pos/go.hs, 1.0006, True
Tests/Unit/pos/gimme.hs, 0.9684, True
Tests/Unit/pos/GhcSort3.T.hs, 1.6347, True
Tests/Unit/pos/GhcSort3.hs, 3.9877, True
Tests/Unit/pos/GhcSort2.hs, 1.5808, True
Tests/Unit/pos/GhcSort1.hs, 3.2705, True
Tests/Unit/pos/GhcListSort.hs, 7.2225, True
Tests/Unit/pos/GeneralizedTermination.hs, 1.0235, True
Tests/Unit/pos/GCD.hs, 1.1003, True
Tests/Unit/pos/GADTs.hs, 0.9032, True
Tests/Unit/pos/gadtEval.hs, 1.5705, True
Tests/Unit/pos/FractionalInstance.hs, 1.4790, True
Tests/Unit/pos/Fractional.hs, 0.9011, True
Tests/Unit/pos/forloop.hs, 1.1833, True
Tests/Unit/pos/for.hs, 1.1941, True
Tests/Unit/pos/Foo.hs, 0.8819, True
Tests/Unit/pos/foldr.hs, 0.9693, True
Tests/Unit/pos/foldN.hs, 0.9563, True
Tests/Unit/pos/Foldl.hs, 9.1875, True
Tests/Unit/pos/filterAbs.hs, 1.0369, True
Tests/Unit/pos/FibEq.hs, 1.2347, True
Tests/Unit/pos/FFI.hs, 1.0363, True
Tests/Unit/pos/failName.hs, 0.9229, True
Tests/Unit/pos/extype.hs, 0.9384, True
Tests/Unit/pos/exp0.hs, 0.9633, True
Tests/Unit/pos/ExactFunApp.hs, 0.8987, True
Tests/Unit/pos/ex1.hs, 1.0524, True
Tests/Unit/pos/ex01.hs, 0.8501, True
Tests/Unit/pos/ex0.hs, 0.9847, True
Tests/Unit/pos/Even0.hs, 0.9016, True
Tests/Unit/pos/Even.hs, 0.8927, True
Tests/Unit/pos/Eval.hs, 1.0847, True
Tests/Unit/pos/eqelems.hs, 0.9130, True
Tests/Unit/pos/eq-poly-measure.hs, 1.2199, True
Tests/Unit/pos/elim01.hs, 0.9941, True
Tests/Unit/pos/elim00.hs, 0.8901, True
Tests/Unit/pos/elim-ex-map-3.hs, 5.3033, True
Tests/Unit/pos/elim-ex-map-2.hs, 5.1322, True
Tests/Unit/pos/elim-ex-map-1.hs, 5.0484, True
Tests/Unit/pos/elim-ex-list.hs, 4.9883, True
Tests/Unit/pos/elim-ex-let.hs, 5.0987, True
Tests/Unit/pos/elim-ex-compose.hs, 1.3691, True
Tests/Unit/pos/elems.hs, 0.9397, True
Tests/Unit/pos/elements.hs, 1.3227, True
Tests/Unit/pos/duplicate-bind.hs, 0.9454, True
Tests/Unit/pos/dropwhile.hs, 1.1967, True
Tests/Unit/pos/div000.hs, 0.8832, True
Tests/Unit/pos/deptupW.hs, 1.0750, True
Tests/Unit/pos/deptup3.hs, 0.9979, True
Tests/Unit/pos/deptup1.hs, 1.1078, True
Tests/Unit/pos/deptup0.hs, 1.0052, True
Tests/Unit/pos/deptup.hs, 1.3165, True
Tests/Unit/pos/DepTriples.hs, 0.9661, True
Tests/Unit/pos/deppair1.hs, 0.9989, True
Tests/Unit/pos/deppair0.hs, 1.0030, True
Tests/Unit/pos/DependentTypes.hs, 0.8802, True
Tests/Unit/pos/deepmeas0.hs, 1.0112, True
Tests/Unit/pos/DB00.hs, 0.9102, True
Tests/Unit/pos/DataKinds.hs, 0.9401, True
Tests/Unit/pos/dataConQuals.hs, 0.9122, True
Tests/Unit/pos/datacon1.hs, 0.9190, True
Tests/Unit/pos/datacon0.hs, 1.0087, True
Tests/Unit/pos/datacon-inv.hs, 0.8681, True
Tests/Unit/pos/DataBase.hs, 0.9948, True
Tests/Unit/pos/data2.hs, 1.0182, True
Tests/Unit/pos/cut00.hs, 0.9490, True
Tests/Unit/pos/csgordon_issue_296.hs, 0.8682, True
Tests/Unit/pos/CountMonad.hs, 1.0497, True
Tests/Unit/pos/coretologic.hs, 0.9263, True
Tests/Unit/pos/contra0.hs, 1.0535, True
Tests/Unit/pos/ConstraintsAppend.hs, 1.6185, True
Tests/Unit/pos/Constraints.hs, 0.9505, True
Tests/Unit/pos/comprehensionTerm.hs, 1.3601, True
Tests/Unit/pos/comprehension.hs, 0.8999, True
Tests/Unit/pos/CompareConstraints.hs, 1.2090, True
Tests/Unit/pos/compare2.hs, 0.9190, True
Tests/Unit/pos/compare1.hs, 0.9887, True
Tests/Unit/pos/compare.hs, 1.0117, True
Tests/Unit/pos/CommentedOut.hs, 0.9422, True
Tests/Unit/pos/comma.hs, 0.9080, True
Tests/Unit/pos/Coercion.hs, 0.9868, True
Tests/Unit/pos/cmptag0.hs, 0.9753, True
Tests/Unit/pos/ClojurVector.hs, 1.2493, True
Tests/Unit/pos/Client521.hs, 0.8725, True
Tests/Unit/pos/ClassReg.hs, 0.9072, True
Tests/Unit/pos/ClassKind.hs, 0.8753, True
Tests/Unit/pos/Class2.hs, 1.2263, True
Tests/Unit/pos/Class.hs, 1.2136, True
Tests/Unit/pos/Chunks.hs, 1.0270, True
Tests/Unit/pos/CheckedNum.hs, 0.8903, True
Tests/Unit/pos/Cat.hs, 0.8791, True
Tests/Unit/pos/CasesToLogic.hs, 0.9493, True
Tests/Unit/pos/case-lambda-join.hs, 1.1482, True
Tests/Unit/pos/BST000.hs, 1.1346, True
Tests/Unit/pos/BST.hs, 8.4798, True
Tests/Unit/pos/bounds1.hs, 0.8849, True
Tests/Unit/pos/bool2.hs, 0.8966, True
Tests/Unit/pos/bool1.hs, 0.8962, True
Tests/Unit/pos/bool0.hs, 0.8980, True
Tests/Unit/pos/Books.hs, 0.9659, True
Tests/Unit/pos/BinarySearchOverflow.hs, 1.2548, True
Tests/Unit/pos/BinarySearch.hs, 1.1365, True
Tests/Unit/pos/bangPatterns.hs, 0.9672, True
Tests/Unit/pos/AVLRJ.hs, 2.3632, True
Tests/Unit/pos/AVL.hs, 2.1419, True
Tests/Unit/pos/Avg.hs, 0.9114, True
Tests/Unit/pos/AutoTerm1.hs, 0.8982, True
Tests/Unit/pos/AutoTerm.hs, 0.9226, True
Tests/Unit/pos/AutoSize.hs, 0.9323, True
Tests/Unit/pos/Automate.hs, 1.0216, True
Tests/Unit/pos/AssumedRecursive.hs, 0.8976, True
Tests/Unit/pos/Assume.hs, 0.9422, True
Tests/Unit/pos/anish1.hs, 0.9265, True
Tests/Unit/pos/anftest.hs, 0.9053, True
Tests/Unit/pos/anfbug.hs, 0.9903, True
Tests/Unit/pos/ANF.hs, 9.0475, True
Tests/Unit/pos/AmortizedQueue.hs, 1.0667, True
Tests/Unit/pos/alphaconvert-Set.hs, 1.1752, True
Tests/Unit/pos/alphaconvert-List.hs, 1.2879, True
Tests/Unit/pos/alias01.hs, 0.8767, True
Tests/Unit/pos/alias00.hs, 0.9269, True
Tests/Unit/pos/adt0.hs, 0.9290, True
Tests/Unit/pos/Ackermann.hs, 1.0024, True
Tests/Unit/pos/absref-crash0.hs, 0.9633, True
Tests/Unit/pos/absref-crash.hs, 0.8607, True
Tests/Unit/pos/Abs.hs, 0.9048, True
Tests/Unit/pos/sf/InductionRJ.hs, 2.9643, True
Tests/Unit/pos/sf/Induction.hs, 4.1339, True
Tests/Unit/pos/sf/Basics.hs, 77.8395, True
Tests/Unit/neg/wrap1.hs, 1.1742, True
Tests/Unit/neg/wrap0.hs, 0.9965, True
Tests/Unit/neg/VerifiedNum.hs, 0.8946, True
Tests/Unit/neg/VerifiedMonoid.hs, 1.2486, True
Tests/Unit/neg/vector2.hs, 1.6791, True
Tests/Unit/neg/vector1a.hs, 1.4299, True
Tests/Unit/neg/vector0a.hs, 1.1675, True
Tests/Unit/neg/vector00.hs, 1.1255, True
Tests/Unit/neg/vector0.hs, 1.2031, True
Tests/Unit/neg/Variance1.hs, 0.8940, True
Tests/Unit/neg/Variance.hs, 0.9188, True
Tests/Unit/neg/tyclass0-unsafe.hs, 0.8888, True
Tests/Unit/neg/truespec.hs, 0.9401, True
Tests/Unit/neg/trans.hs, 1.9511, True
Tests/Unit/neg/TotalHaskell.hs, 0.9133, True
Tests/Unit/neg/TopLevel.hs, 0.9581, True
Tests/Unit/neg/testRec.hs, 0.9835, True
Tests/Unit/neg/test2.hs, 0.9319, True
Tests/Unit/neg/test1.hs, 0.9419, True
Tests/Unit/neg/test00c.hs, 0.9178, True
Tests/Unit/neg/test00b.hs, 0.9708, True
Tests/Unit/neg/test00a.hs, 0.9708, True
Tests/Unit/neg/test00.hs, 0.9335, True
Tests/Unit/neg/TermReal.hs, 0.8765, True
Tests/Unit/neg/TerminationNum0.hs, 0.9691, True
Tests/Unit/neg/TerminationNum.hs, 0.9121, True
Tests/Unit/neg/T745.hs, 0.8982, True
Tests/Unit/neg/T743.hs, 0.9787, True
Tests/Unit/neg/T743-mini.hs, 0.9658, True
Tests/Unit/neg/T602.hs, 0.8875, True
Tests/Unit/neg/T1013A.hs, 1.2635, True
Tests/Unit/neg/sumPoly.hs, 0.8827, True
Tests/Unit/neg/sumk.hs, 0.9572, True
Tests/Unit/neg/Sum.hs, 0.9154, True
Tests/Unit/neg/Strings.hs, 0.9064, True
Tests/Unit/neg/string00.hs, 0.9660, True
Tests/Unit/neg/StrictPair1.hs, 1.1874, True
Tests/Unit/neg/StrictPair0.hs, 0.9163, True
Tests/Unit/neg/StreamInvariants.hs, 0.8737, True
Tests/Unit/neg/Strata.hs, 0.9335, True
Tests/Unit/neg/StateConstraints00.hs, 0.9300, True
Tests/Unit/neg/StateConstraints0.hs, 26.0211, True
Tests/Unit/neg/StateConstraints.hs, 1.6433, True
Tests/Unit/neg/state00.hs, 0.8793, True
Tests/Unit/neg/state0.hs, 0.9048, True
Tests/Unit/neg/stacks.hs, 1.1998, True
Tests/Unit/neg/Solver.hs, 1.5158, True
Tests/Unit/neg/SafePartialFunctions.hs, 0.9248, True
Tests/Unit/neg/risers.hs, 0.9616, True
Tests/Unit/neg/RG.hs, 1.1449, True
Tests/Unit/neg/revshape.hs, 0.9355, True
Tests/Unit/neg/RecSelector.hs, 0.9093, True
Tests/Unit/neg/RecQSort.hs, 1.0884, True
Tests/Unit/neg/record0.hs, 0.9138, True
Tests/Unit/neg/range.hs, 1.2358, True
Tests/Unit/neg/qsloop.hs, 1.1122, True
Tests/Unit/neg/QQTySyn2.hs, 5.2793, True
Tests/Unit/neg/QQTySyn1.hs, 5.2450, True
Tests/Unit/neg/QQTySig.hs, 5.0573, True
Tests/Unit/neg/prune0.hs, 0.9002, True
Tests/Unit/neg/Propability0.hs, 0.9540, True
Tests/Unit/neg/Propability.hs, 1.1101, True
Tests/Unit/neg/pred.hs, 0.7734, True
Tests/Unit/neg/pragma0-unsafe.hs, 0.8242, True
Tests/Unit/neg/poslist.hs, 1.1059, True
Tests/Unit/neg/polypred.hs, 0.9158, True
Tests/Unit/neg/poly2.hs, 0.9268, True
Tests/Unit/neg/poly2-degenerate.hs, 1.0089, True
Tests/Unit/neg/poly1.hs, 0.9613, True
Tests/Unit/neg/poly0.hs, 0.9889, True
Tests/Unit/neg/partial.hs, 0.9102, True
Tests/Unit/neg/pargs1.hs, 0.9264, True
Tests/Unit/neg/pargs.hs, 0.8875, True
Tests/Unit/neg/PairMeasure.hs, 0.9307, True
Tests/Unit/neg/pair0.hs, 1.7236, True
Tests/Unit/neg/pair.hs, 1.8350, True
Tests/Unit/neg/NoMethodBindingError.hs, 0.8969, True
Tests/Unit/neg/NoExhaustiveGuardsError.hs, 0.9177, True
Tests/Unit/neg/NewTypes0.hs, 0.8934, True
Tests/Unit/neg/NewTypes.hs, 0.9234, True
Tests/Unit/neg/nestedRecursion.hs, 0.9336, True
Tests/Unit/neg/MultipleInvariants.hs, 0.9325, True
Tests/Unit/neg/MultiParamTypeClasses.hs, 0.9224, True
Tests/Unit/neg/multi-pred-app-00.hs, 0.8964, True
Tests/Unit/neg/mr00.hs, 1.0433, True
Tests/Unit/neg/monad7.hs, 1.1584, True
Tests/Unit/neg/monad6.hs, 0.9915, True
Tests/Unit/neg/monad5.hs, 1.0116, True
Tests/Unit/neg/monad4.hs, 1.0751, True
Tests/Unit/neg/monad3.hs, 1.0305, True
Tests/Unit/neg/MergeSort.hs, 1.4743, True
Tests/Unit/neg/MeasureDups.hs, 0.9895, True
Tests/Unit/neg/MeasureContains.hs, 0.9780, True
Tests/Unit/neg/meas9.hs, 0.9112, True
Tests/Unit/neg/meas7.hs, 0.9171, True
Tests/Unit/neg/meas5.hs, 1.7669, True
Tests/Unit/neg/meas3.hs, 0.9523, True
Tests/Unit/neg/meas2.hs, 0.9499, True
Tests/Unit/neg/meas0.hs, 0.9599, True
Tests/Unit/neg/MaybeMonad.hs, 1.0264, True
Tests/Unit/neg/maps.hs, 1.0591, True
Tests/Unit/neg/mapreduce.hs, 2.3644, True
Tests/Unit/neg/mapreduce-tiny.hs, 0.9664, True
Tests/Unit/neg/LocalSpec.hs, 0.9474, True
Tests/Unit/neg/lit.hs, 0.8576, True
Tests/Unit/neg/ListRange.hs, 1.0434, True
Tests/Unit/neg/ListQSort.hs, 1.4301, True
Tests/Unit/neg/listne.hs, 0.8221, True
Tests/Unit/neg/ListMSort.hs, 1.8787, True
Tests/Unit/neg/ListKeys.hs, 0.9037, True
Tests/Unit/neg/ListISort.hs, 1.6345, True
Tests/Unit/neg/ListISort-LType.hs, 1.0942, True
Tests/Unit/neg/ListElem.hs, 0.9390, True
Tests/Unit/neg/ListConcat.hs, 0.9474, True
Tests/Unit/neg/list00.hs, 0.9765, True
Tests/Unit/neg/LiquidClass1.hs, 0.8923, True
Tests/Unit/neg/LiquidClass.hs, 0.9055, True
Tests/Unit/neg/LetRecStack.hs, 0.9040, True
Tests/Unit/neg/LazyWhere1.hs, 0.9947, True
Tests/Unit/neg/LazyWhere.hs, 0.9539, True
Tests/Unit/neg/IntAbsRef.hs, 0.8834, True
Tests/Unit/neg/inc2.hs, 0.8829, True
Tests/Unit/neg/HolesTop.hs, 0.9312, True
Tests/Unit/neg/HigherOrder.hs, 0.8650, True
Tests/Unit/neg/HasElem.hs, 0.9793, True
Tests/Unit/neg/grty3.hs, 0.8773, True
Tests/Unit/neg/grty2.hs, 0.9909, True
Tests/Unit/neg/grty1.hs, 0.9639, True
Tests/Unit/neg/grty0.hs, 0.8963, True
Tests/Unit/neg/GeneralizedTermination.hs, 0.9876, True
Tests/Unit/neg/GADTs.hs, 0.9196, True
Tests/Unit/neg/FunSoundness.hs, 0.9113, True
Tests/Unit/neg/FunctionRef.hs, 0.9505, True
Tests/Unit/neg/foldN1.hs, 0.9347, True
Tests/Unit/neg/foldN.hs, 0.9907, True
Tests/Unit/neg/filterAbs.hs, 1.0548, True
Tests/Unit/neg/ex1-unsafe.hs, 1.0227, True
Tests/Unit/neg/ex0-unsafe.hs, 0.9753, True
Tests/Unit/neg/Even.hs, 0.9051, True
Tests/Unit/neg/Eval.hs, 1.0748, True
Tests/Unit/neg/errorloc.hs, 0.9311, True
Tests/Unit/neg/errmsg.hs, 0.9756, True
Tests/Unit/neg/elim000.hs, 0.9465, True
Tests/Unit/neg/elim-ex-map-3.hs, 5.0717, True
Tests/Unit/neg/elim-ex-map-2.hs, 5.1291, True
Tests/Unit/neg/elim-ex-map-1.hs, 5.1082, True
Tests/Unit/neg/elim-ex-list.hs, 4.9318, True
Tests/Unit/neg/elim-ex-let.hs, 5.0229, True
Tests/Unit/neg/elim-ex-compose.hs, 1.0149, True
Tests/Unit/neg/deptupW.hs, 1.0384, True
Tests/Unit/neg/deppair0.hs, 1.0227, True
Tests/Unit/neg/DependentTypes.hs, 0.8713, True
Tests/Unit/neg/datacon-eq.hs, 0.8589, True
Tests/Unit/neg/csv.hs, 1.7347, True
Tests/Unit/neg/coretologic.hs, 0.9380, True
Tests/Unit/neg/contra0.hs, 0.9871, True
Tests/Unit/neg/ConstraintsAppend.hs, 1.6267, True
Tests/Unit/neg/Constraints.hs, 0.9859, True
Tests/Unit/neg/concat2.hs, 1.3108, True
Tests/Unit/neg/concat1.hs, 1.2543, True
Tests/Unit/neg/concat.hs, 1.1488, True
Tests/Unit/neg/CompareConstraints.hs, 1.2279, True
Tests/Unit/neg/Client.hs, 0.8780, True
Tests/Unit/neg/Class5.hs, 0.9076, True
Tests/Unit/neg/Class4.hs, 0.9581, True
Tests/Unit/neg/Class3.hs, 0.9796, True
Tests/Unit/neg/Class2.hs, 0.9345, True
Tests/Unit/neg/Class1.hs, 1.1583, True
Tests/Unit/neg/CheckedNum.hs, 0.8613, True
Tests/Unit/neg/CastedTotality.hs, 0.9885, True
Tests/Unit/neg/Books.hs, 0.9488, True
Tests/Unit/neg/BinarySearchOverflow.hs, 1.2651, True
Tests/Unit/neg/BigNum.hs, 0.8827, True
Tests/Unit/neg/Baz.hs, 0.8937, True
Tests/Unit/neg/BadNats.hs, 0.8866, True
Tests/Unit/neg/AutoTerm1.hs, 0.9459, True
Tests/Unit/neg/AutoTerm.hs, 0.9000, True
Tests/Unit/neg/AutoSize.hs, 0.9175, True
Tests/Unit/neg/Automate.hs, 1.0381, True
Tests/Unit/neg/Ast.hs, 0.9502, True
Tests/Unit/neg/ass0.hs, 0.8817, True
Tests/Unit/neg/alias00.hs, 0.8720, True
Tests/Unit/neg/AbsApp.hs, 0.8944, True
Tests/Unit/parser/pos/TokensAsPrefixes.hs, 0.8837, True
Tests/Unit/parser/pos/Parens.hs, 0.8822, True
Tests/Unit/gradual/pos/Intro.hs, 5.0991, True
Tests/Unit/gradual/pos/Interpretations.hs, 15.9043, True
Tests/Unit/gradual/pos/Gradual.hs, 2.7448, True
Tests/Unit/gradual/pos/Dynamic.hs, 1.7616, True
Tests/Unit/gradual/pos/Discussion.hs, 4.2757, True
Tests/Unit/gradual/neg/Intro.hs, 1.5228, True
Tests/Unit/gradual/neg/Interpretations.hs, 18.9012, True
Tests/Unit/gradual/neg/Gradual.hs, 2.6404, True
Tests/Unit/import/lib/RL1015.hs, 0.8841, True
Tests/Unit/import/lib/ReflectLib7.hs, 0.9186, True
Tests/Unit/import/lib/ReflectLib6.hs, 1.0070, True
Tests/Unit/import/lib/ReflectLib5.hs, 1.0183, True
Tests/Unit/import/lib/ReflectLib4.hs, 0.9164, True
Tests/Unit/import/lib/ReflectLib3.hs, 1.0396, True
Tests/Unit/import/lib/ReflectLib2.hs, 0.9291, True
Tests/Unit/import/lib/ReflectLib1.hs, 0.9115, True
Tests/Unit/import/lib/ReflectLib0.hs, 0.8597, True
Tests/Unit/import/client/ReflectClient7.hs, 1.0234, True
Tests/Unit/import/client/ReflectClient6.hs, 1.0159, True
Tests/Unit/import/client/ReflectClient5.hs, 1.0317, True
Tests/Unit/import/client/ReflectClient4a.hs, 1.0134, True
Tests/Unit/import/client/ReflectClient4.hs, 1.9081, True
Tests/Unit/import/client/ReflectClient3.hs, 1.0806, True
Tests/Unit/import/client/ReflectClient2.hs, 0.8855, True
Tests/Unit/import/client/ReflectClient1.hs, 0.9030, True
Tests/Unit/import/client/ReflectClient0.hs, 0.9424, True
Tests/Unit/import/client/RC1015.hs, 0.9536, True
Tests/Error-Messages/ExportMeasure0.hs, 0.7525, True
Tests/Error-Messages/ExportMeasure1.hs, 0.8306, True
Tests/Error-Messages/ExportReflect0.hs, 0.8349, True
Tests/Error-Messages/MultiRecSels.hs, 0.7289, True
Tests/Error-Messages/DupMeasure.hs, 0.7338, True
Tests/Error-Messages/ShadowFieldInline.hs, 0.7553, True
Tests/Error-Messages/ShadowFieldReflect.hs, 0.7495, True
Tests/Error-Messages/ShadowMeasure.hs, 0.7368, True
Tests/Error-Messages/ShadowMeasureVar.hs, 0.7408, True
Tests/Error-Messages/AmbiguousReflect.hs, 0.7813, True
Tests/Error-Messages/AmbiguousInline.hs, 1.1350, True
Tests/Error-Messages/TerminationExprSort.hs, 0.8075, True
Tests/Error-Messages/TerminationExprNum.hs, 0.8163, True
Tests/Error-Messages/TerminationExprUnb.hs, 0.8336, True
Tests/Error-Messages/UnboundVarInSpec.hs, 0.7945, True
Tests/Error-Messages/MissingAbsRefArgs.hs, 0.8139, True
Tests/Error-Messages/UnboundVarInAssume.hs, 0.7861, True
Tests/Error-Messages/UnboundVarInAssume1.hs, 0.8169, True
Tests/Error-Messages/UnboundFunInSpec.hs, 0.7774, True
Tests/Error-Messages/UnboundFunInSpec1.hs, 0.8197, True
Tests/Error-Messages/UnboundFunInSpec2.hs, 0.7751, True
Tests/Error-Messages/Fractional.hs, 0.8121, True
Tests/Error-Messages/T773.hs, 0.8180, True
Tests/Error-Messages/T774.hs, 0.8282, True
Tests/Error-Messages/Inconsistent0.hs, 0.8155, True
Tests/Error-Messages/Inconsistent1.hs, 0.7991, True
Tests/Error-Messages/Inconsistent2.hs, 0.7748, True
Tests/Error-Messages/BadAliasApp.hs, 0.7518, True
Tests/Error-Messages/BadPragma0.hs, 0.5901, True
Tests/Error-Messages/BadPragma1.hs, 0.5668, True
Tests/Error-Messages/BadPragma2.hs, 0.5572, True
Tests/Error-Messages/BadSyn1.hs, 0.7907, True
Tests/Error-Messages/BadSyn2.hs, 0.7783, True
Tests/Error-Messages/BadSyn3.hs, 0.7522, True
Tests/Error-Messages/BadSyn4.hs, 0.7675, True
Tests/Error-Messages/CyclicExprAlias0.hs, 0.7015, True
Tests/Error-Messages/CyclicExprAlias1.hs, 0.7088, True
Tests/Error-Messages/CyclicExprAlias2.hs, 0.7486, True
Tests/Error-Messages/CyclicExprAlias3.hs, 0.7399, True
Tests/Error-Messages/DupAlias.hs, 0.8836, True
Tests/Error-Messages/DupAlias.hs, 0.8315, True
Tests/Error-Messages/BadDataCon1.hs, 0.8105, True
Tests/Error-Messages/BadDataConType.hs, 0.7930, True
Tests/Error-Messages/LiftMeasureCase.hs, 0.7426, True
Tests/Error-Messages/HigherOrderBinder.hs, 0.7839, True
Tests/Error-Messages/HoleCrash1.hs, 0.7654, True
Tests/Error-Messages/HoleCrash2.hs, 0.7355, True
Tests/Error-Messages/HoleCrash3.hs, 0.8166, True
Tests/Error-Messages/HoleCrash3.hs, 0.8101, True
Tests/Error-Messages/BadPredApp.hs, 0.7610, True
Tests/Error-Messages/LocalHole.hs, 0.8320, True
Tests/Error-Messages/UnboundAbsRef.hs, 0.7879, True
Tests/Error-Messages/BadQualifier.hs, 0.7919, True
Tests/Error-Messages/ParseClass.hs, 0.5558, True
Tests/Error-Messages/ParseBind.hs, 0.5961, True
Tests/Error-Messages/MissingSizeFun.hs, 0.7957, True
Tests/Error-Messages/MissingSizeFun.hs, 0.8485, True
Tests/Error-Messages/MultiInstMeasures.hs, 0.8038, True
Tests/Benchmarks/text/Setup.lhs, 1.2370, True
Tests/Benchmarks/text/Data/Text.hs, 39.5200, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 2.4445, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 2.6532, True
Tests/Benchmarks/text/Data/Text/Search.hs, 26.7044, True
Tests/Benchmarks/text/Data/Text/Private.hs, 2.3374, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 53.3047, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 7.6477, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 16.2855, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 3.5186, True
Tests/Benchmarks/text/Data/Text/Array.hs, 2.1032, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 42.7567, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 6.0691, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 8.7922, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 14.5912, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 11.5299, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 2.1153, True
Tests/Benchmarks/bytestring/Data/ByteString.T.hs, 62.2195, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 48.7086, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 2.1590, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 9.3854, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 48.6902, True
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 11.4054, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 48.1600, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 39.1896, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 8.9263, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 1.9517, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 10.2475, True
Tests/Benchmarks/esop/Toy.hs, 1.6455, True
Tests/Benchmarks/esop/Splay.hs, 8.2178, True
Tests/Benchmarks/esop/ListSort.hs, 2.3543, True
Tests/Benchmarks/esop/GhcListSort.hs, 7.4070, True
Tests/Benchmarks/esop/Fib.hs, 1.4431, True
Tests/Benchmarks/esop/Array.hs, 2.5294, True
Tests/Benchmarks/vect-algs/Setup.lhs, 0.9681, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.2587, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 3.4039, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 3.0188, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 9.2890, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 6.9285, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 5.4956, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 1.7016, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 29.1313, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.2718, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 0.8888, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 10.5492, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 1.3334, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 1.3862, True
Tests/Benchmarks/icfp_pos/TestM.hs, 0.9939, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 23.7579, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 0.9462, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 9.2998, True
Tests/Benchmarks/icfp_pos/Incr.hs, 2.1571, True
Tests/Benchmarks/icfp_pos/Incr-elim.hs, 1.2962, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 3.4411, True
Tests/Benchmarks/icfp_pos/IfM.hs, 7.3867, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 1.9599, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 8.4054, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.2178, True
Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.0897, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 3.5000, True
Tests/Benchmarks/icfp_pos/Composition.hs, 1.0088, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.1979, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.2627, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 1.5724, True
Tests/Benchmarks/icfp_neg/TestM.hs, 0.9892, True
Tests/Benchmarks/icfp_neg/Records.hs, 1.0448, True
Tests/Benchmarks/icfp_neg/IfM.hs, 7.3114, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 3.4135, True
Tests/Benchmarks/icfp_neg/Composition.hs, 1.0684, True
Tests/Benchmarks/pldi17_pos/Unification.hs, 4.8688, True
Tests/Benchmarks/pldi17_pos/Solver.hs, 1.6958, True
Tests/Benchmarks/pldi17_pos/ProofCombinators.hs, 1.1351, True
Tests/Benchmarks/pldi17_pos/Peano.hs, 1.3748, True
Tests/Benchmarks/pldi17_pos/Overview.hs, 1.3446, True
Tests/Benchmarks/pldi17_pos/NormalForm.hs, 0.9916, True
Tests/Benchmarks/pldi17_pos/MonoidMaybe.hs, 1.2603, True
Tests/Benchmarks/pldi17_pos/MonoidList.hs, 1.2829, True
Tests/Benchmarks/pldi17_pos/MonadMaybe.hs, 1.3695, True
Tests/Benchmarks/pldi17_pos/MonadList.hs, 2.1070, True
Tests/Benchmarks/pldi17_pos/MonadId.hs, 1.1780, True
Tests/Benchmarks/pldi17_pos/MapFusion.hs, 1.5200, True
Tests/Benchmarks/pldi17_pos/FunctorMaybe.hs, 1.2512, True
Tests/Benchmarks/pldi17_pos/FunctorList.hs, 1.8563, True
Tests/Benchmarks/pldi17_pos/FunctorId.hs, 1.2066, True
Tests/Benchmarks/pldi17_pos/FunctionEquality101.hs, 1.1198, True
Tests/Benchmarks/pldi17_pos/FoldrUniversal.hs, 1.9717, True
Tests/Benchmarks/pldi17_pos/Fibonacci.hs, 2.5229, True
Tests/Benchmarks/pldi17_pos/Euclide.hs, 1.0145, True
Tests/Benchmarks/pldi17_pos/Compose.hs, 1.0193, True
Tests/Benchmarks/pldi17_pos/BasicLambdas0.hs, 1.0143, True
Tests/Benchmarks/pldi17_pos/BasicLambdas.hs, 1.0087, True
Tests/Benchmarks/pldi17_pos/ApplicativeMaybe.hs, 2.5136, True
Tests/Benchmarks/pldi17_pos/ApplicativeList.hs, 8.3822, True
Tests/Benchmarks/pldi17_pos/ApplicativeId.hs, 1.3959, True
Tests/Benchmarks/pldi17_pos/Append.hs, 1.7984, True
Tests/Benchmarks/pldi17_pos/AlphaEquivalence.hs, 1.1066, True
Tests/Benchmarks/pldi17_pos/Ackermann.hs, 5.6243, True
Tests/Benchmarks/pldi17_neg/MonadMaybe.hs, 1.2789, True
Tests/Benchmarks/pldi17_neg/MonadList.hs, 2.2613, True
Tests/Benchmarks/pldi17_neg/MapFusion.hs, 1.6675, True
Tests/Benchmarks/pldi17_neg/FunctorMaybe.hs, 1.5392, True
Tests/Benchmarks/pldi17_neg/FunctorList.hs, 1.9104, True
Tests/Benchmarks/pldi17_neg/Fibonacci.hs, 2.6600, True
Tests/Benchmarks/pldi17_neg/BasicLambdas.hs, 0.9567, True
Tests/Benchmarks/pldi17_neg/ApplicativeMaybe.hs, 2.7615, True
Tests/Benchmarks/pldi17_neg/ApplicativeList.hs, 8.4880, True
Tests/Benchmarks/pldi17_neg/Append.hs, 1.9707, True
Tests/Benchmarks/pldi17_neg/Ackermann.hs, 5.7881, True
Tests/Benchmarks/instances/Unification.hs, 5.1798, True
Tests/Benchmarks/instances/Solver.hs, 1.6957, True
Tests/Benchmarks/instances/ProofCombinators.hs, 1.1821, True
Tests/Benchmarks/instances/Peano.hs, 1.4196, True
Tests/Benchmarks/instances/Overview.hs, 1.1509, True
Tests/Benchmarks/instances/NormalForm.hs, 1.0051, True
Tests/Benchmarks/instances/MonoidMaybe.hs, 1.1031, True
Tests/Benchmarks/instances/MonoidList.hs, 1.3015, True
Tests/Benchmarks/instances/MonadList.hs, 1.9606, True
Tests/Benchmarks/instances/Maybe.hs, 0.9192, True
Tests/Benchmarks/instances/MapFusion.hs, 1.2043, True
Tests/Benchmarks/instances/Lists.hs, 1.1311, True
Tests/Benchmarks/instances/FunctorMaybe.hs, 1.1027, True
Tests/Benchmarks/instances/FunctorList.hs, 1.3003, True
Tests/Benchmarks/instances/FunctorId.hs, 1.0232, True
Tests/Benchmarks/instances/FunctionEquality101.hs, 1.1538, True
Tests/Benchmarks/instances/FoldrUniversal.hs, 1.3316, True
Tests/Benchmarks/instances/Euclide.hs, 1.0348, True
Tests/Benchmarks/instances/Compose.hs, 1.0253, True
Tests/Benchmarks/instances/BasicLambdas.hs, 1.0170, True
Tests/Benchmarks/instances/ApplicativeMaybe.hs, 1.3105, True
Tests/Benchmarks/instances/ApplicativeList.hs, 8.1123, True
Tests/Benchmarks/instances/ApplicativeId.hs, 1.0601, True
Tests/Benchmarks/instances/Append.hs, 1.7006, True
Tests/Benchmarks/instances/AlphaEquivalence.hs, 1.1155, True
Tests/Benchmarks/instances/Ackermann.hs, 42.7255, True