liquidhaskell-0.8.10.7: tests/logs/gradual.csv

 (HEAD, origin/gradual, gradual) : 8e628e1473d0337a923882fba73475ac5bd8d46e
Timestamp: 2017-03-14 11:54:46 -0400
Epoch Timestamp: 1489506886
--------------------------------------------------------------------------------
test, time(s), result

Tests/Unit/pos/zipW2.hs, 1.0846, True
Tests/Unit/pos/zipW1.hs, 0.9430, True
Tests/Unit/pos/zipW.hs, 1.0489, True
Tests/Unit/pos/zipSO.hs, 1.1050, True
Tests/Unit/pos/zipper000.hs, 1.2066, True
Tests/Unit/pos/zipper0.hs, 1.4383, True
Tests/Unit/pos/zipper.hs, 2.0013, True
Tests/Unit/pos/WrapUnWrap.hs, 0.9705, True
Tests/Unit/pos/wrap1.hs, 1.2458, True
Tests/Unit/pos/wrap0.hs, 1.1120, True
Tests/Unit/pos/Words1.hs, 0.9879, True
Tests/Unit/pos/Words.hs, 0.8562, True
Tests/Unit/pos/WBL0.hs, 2.3127, True
Tests/Unit/pos/WBL.hs, 2.5877, True
Tests/Unit/pos/VerifiedNum.hs, 0.9005, True
Tests/Unit/pos/VerifiedMonoid.hs, 1.4250, True
Tests/Unit/pos/vector2.hs, 1.8941, True
Tests/Unit/pos/vector1b.hs, 1.5457, True
Tests/Unit/pos/vector1a.hs, 1.5190, True
Tests/Unit/pos/vector1.hs, 1.5297, True
Tests/Unit/pos/vector00.hs, 1.0685, True
Tests/Unit/pos/vector0.hs, 1.3331, True
Tests/Unit/pos/vecloop.hs, 1.2321, True
Tests/Unit/pos/Variance2.hs, 0.8753, True
Tests/Unit/pos/Variance.hs, 1.0171, True
Tests/Unit/pos/unusedtyvars.hs, 0.9105, True
Tests/Unit/pos/UnboxedTuplesAndTH.hs, 1.3108, True
Tests/Unit/pos/UnboxedTuples.hs, 0.8661, True
Tests/Unit/pos/tyvar.hs, 0.9066, True
Tests/Unit/pos/TypeFamilies.hs, 0.9837, True
Tests/Unit/pos/TypeAlias.hs, 1.1651, True
Tests/Unit/pos/tyfam0.hs, 1.0924, True
Tests/Unit/pos/tyExpr.hs, 1.1088, True
Tests/Unit/pos/tyclass0.hs, 1.0270, True
Tests/Unit/pos/tupparse.hs, 0.9788, True
Tests/Unit/pos/tup0.hs, 1.4911, True
Tests/Unit/pos/transTAG.hs, 2.7120, True
Tests/Unit/pos/transpose.hs, 1.8098, True
Tests/Unit/pos/trans.hs, 1.5212, True
Tests/Unit/pos/ToyMVar.hs, 1.3210, True
Tests/Unit/pos/TopLevel.hs, 0.9401, True
Tests/Unit/pos/top0.hs, 1.3278, True
Tests/Unit/pos/TokenType.hs, 0.9391, True
Tests/Unit/pos/testRec.hs, 1.0290, True
Tests/Unit/pos/Test761.hs, 0.9219, True
Tests/Unit/pos/test2.hs, 0.9968, True
Tests/Unit/pos/test1.hs, 1.4081, True
Tests/Unit/pos/test00c.hs, 1.3549, True
Tests/Unit/pos/test00b.hs, 1.1260, True
Tests/Unit/pos/test000.hs, 1.1609, True
Tests/Unit/pos/test00.old.hs, 1.1112, True
Tests/Unit/pos/test00.hs, 1.2026, True
Tests/Unit/pos/test00-int.hs, 1.0474, True
Tests/Unit/pos/test0.hs, 1.1668, True
Tests/Unit/pos/TerminationNum0.hs, 1.2932, True
Tests/Unit/pos/TerminationNum.hs, 1.0828, True
Tests/Unit/pos/Termination.lhs, 1.6059, True
Tests/Unit/pos/term0.hs, 1.1783, True
Tests/Unit/pos/Term.hs, 1.1570, True
Tests/Unit/pos/TemplateHaskellImp.hs, 1.4548, True
Tests/Unit/pos/TemplateHaskell.hs, 2.4245, True
Tests/Unit/pos/take.hs, 1.3371, True
Tests/Unit/pos/tagBinder.hs, 0.9940, True
Tests/Unit/pos/T914.hs, 1.0862, True
Tests/Unit/pos/T866.hs, 0.9569, True
Tests/Unit/pos/T820.hs, 1.4098, True
Tests/Unit/pos/T819A.hs, 1.3836, True
Tests/Unit/pos/T819.hs, 1.1725, True
Tests/Unit/pos/T716.hs, 1.1178, True
Tests/Unit/pos/T675.hs, 1.3482, True
Tests/Unit/pos/T598.hs, 1.2680, True
Tests/Unit/pos/T595a.hs, 0.9749, True
Tests/Unit/pos/T595.hs, 1.0138, True
Tests/Unit/pos/T531.hs, 1.2045, True
Tests/Unit/pos/Sum.hs, 1.1828, True
Tests/Unit/pos/StructRec.hs, 0.9533, True
Tests/Unit/pos/StringsSMTDef.hs, 0.9288, True
Tests/Unit/pos/Strings.hs, 1.0455, True
Tests/Unit/pos/StringLit.hs, 0.9289, True
Tests/Unit/pos/string00.hs, 1.0572, True
Tests/Unit/pos/StrictPair1.hs, 1.4190, True
Tests/Unit/pos/StrictPair0.hs, 0.9732, True
Tests/Unit/pos/StreamInvariants.hs, 0.9501, True
Tests/Unit/pos/stateInvarint.hs, 1.3923, True
Tests/Unit/pos/StateF00.hs, 1.1434, True
Tests/Unit/pos/StateConstraints00.hs, 0.9744, True
Tests/Unit/pos/StateConstraints0.hs, 30.0105, True
Tests/Unit/pos/StateConstraints.hs, 19.0457, True
Tests/Unit/pos/State1.hs, 1.0753, True
Tests/Unit/pos/state00.hs, 1.1008, True
Tests/Unit/pos/State.hs, 1.5455, True
Tests/Unit/pos/stacks0.hs, 1.1178, True
Tests/Unit/pos/StackMachine.hs, 1.2550, True
Tests/Unit/pos/StackClass.hs, 1.1259, True
Tests/Unit/pos/spec0.hs, 1.1581, True
Tests/Unit/pos/Solver.hs, 1.6699, True
Tests/Unit/pos/SimplifyTup00.hs, 1.1026, True
Tests/Unit/pos/SimplerNotation.hs, 1.1308, True
Tests/Unit/pos/selfList.hs, 1.2279, True
Tests/Unit/pos/scanr.hs, 1.1113, True
Tests/Unit/pos/SafePartialFunctions.hs, 1.7739, True
Tests/Unit/pos/rta.hs, 1.2387, True
Tests/Unit/pos/risers.hs, 1.0842, True
Tests/Unit/pos/ResolvePred.hs, 1.0023, True
Tests/Unit/pos/ResolveB.hs, 0.8388, True
Tests/Unit/pos/ResolveA.hs, 0.9089, True
Tests/Unit/pos/Resolve.hs, 0.8576, True
Tests/Unit/pos/repeatHigherOrder.hs, 1.7032, True
Tests/Unit/pos/Repeat.hs, 0.9060, True
Tests/Unit/pos/RelativeComplete.hs, 0.9717, True
Tests/Unit/pos/ReflectLib2.hs, 1.0555, True
Tests/Unit/pos/ReflectLib1.hs, 1.0448, True
Tests/Unit/pos/ReflectLib0.hs, 0.9735, True
Tests/Unit/pos/ReflectClient2.hs, 0.9526, True
Tests/Unit/pos/ReflectClient1.hs, 0.8520, True
Tests/Unit/pos/ReflectClient0.hs, 0.9809, True
Tests/Unit/pos/ReflectBolleanFunctions.hs, 0.8779, True
Tests/Unit/pos/reflect0.hs, 0.9370, True
Tests/Unit/pos/RefinedADTs.hs, 0.8568, True
Tests/Unit/pos/Reduction.hs, 0.8236, True
Tests/Unit/pos/recursion0.hs, 0.9013, True
Tests/Unit/pos/RecSelector.hs, 0.8382, True
Tests/Unit/pos/RecQSort0.hs, 1.1392, True
Tests/Unit/pos/RecQSort.hs, 1.1338, True
Tests/Unit/pos/RecordSelectorError.hs, 0.8607, True
Tests/Unit/pos/record1.hs, 0.8199, True
Tests/Unit/pos/record0.hs, 0.9927, True
Tests/Unit/pos/rec_annot_go.hs, 1.0524, True
Tests/Unit/pos/RealProps1.hs, 0.8798, True
Tests/Unit/pos/RealProps.hs, 0.9195, True
Tests/Unit/pos/RBTree.hs, 19.0179, True
Tests/Unit/pos/RBTree-ord.hs, 9.0255, True
Tests/Unit/pos/RBTree-height.hs, 3.7464, True
Tests/Unit/pos/RBTree-color.hs, 4.4866, True
Tests/Unit/pos/RBTree-col-height.hs, 5.8972, True
Tests/Unit/pos/rangeAdt.hs, 2.8049, True
Tests/Unit/pos/range1.hs, 0.9919, True
Tests/Unit/pos/range.hs, 1.2162, True
Tests/Unit/pos/qualTest.hs, 0.9398, True
Tests/Unit/pos/QQTySyn.hs, 3.8325, True
Tests/Unit/pos/QQTySigTyVars.hs, 3.2236, True
Tests/Unit/pos/QQTySig.hs, 3.0734, True
Tests/Unit/pos/propmeasure1.hs, 0.8202, True
Tests/Unit/pos/propmeasure.hs, 1.0652, True
Tests/Unit/pos/Propability.hs, 0.9358, True
Tests/Unit/pos/PromotedDataCons.hs, 0.8121, True
Tests/Unit/pos/profcrasher.hs, 0.9505, True
Tests/Unit/pos/Product.hs, 1.4300, True
Tests/Unit/pos/primInt0.hs, 1.6310, True
Tests/Unit/pos/pred.hs, 1.0001, True
Tests/Unit/pos/pragma0.hs, 0.9195, True
Tests/Unit/pos/poslist_dc.hs, 1.4261, True
Tests/Unit/pos/poslist.hs, 1.1936, True
Tests/Unit/pos/polyqual.hs, 1.2276, True
Tests/Unit/pos/polyfun.hs, 0.9980, True
Tests/Unit/pos/poly4.hs, 0.9924, True
Tests/Unit/pos/poly3a.hs, 0.9694, True
Tests/Unit/pos/poly3.hs, 1.0371, True
Tests/Unit/pos/poly2.hs, 0.9685, True
Tests/Unit/pos/poly2-degenerate.hs, 0.9185, True
Tests/Unit/pos/poly1.hs, 0.9623, True
Tests/Unit/pos/poly0.hs, 0.9707, True
Tests/Unit/pos/PointDist.hs, 0.9113, True
Tests/Unit/pos/PlugHoles.hs, 0.8468, True
Tests/Unit/pos/PersistentVector.hs, 0.9794, True
Tests/Unit/pos/Permutation.hs, 2.0939, True
Tests/Unit/pos/partialmeasure.hs, 0.8534, True
Tests/Unit/pos/partial-tycon.hs, 0.8272, True
Tests/Unit/pos/pargs1.hs, 0.8304, True
Tests/Unit/pos/pargs.hs, 0.8816, True
Tests/Unit/pos/PairMeasure0.hs, 0.8587, True
Tests/Unit/pos/PairMeasure.hs, 0.8846, True
Tests/Unit/pos/pair00.hs, 1.4957, True
Tests/Unit/pos/pair0.hs, 1.6718, True
Tests/Unit/pos/pair.hs, 1.7449, True
Tests/Unit/pos/Overwrite.hs, 0.8633, True
Tests/Unit/pos/ORM.hs, 1.5362, True
Tests/Unit/pos/OrdList.hs, 26.0181, True
Tests/Unit/pos/nullterm.hs, 1.2739, True
Tests/Unit/pos/NoExhaustiveGuardsError.hs, 0.8592, True
Tests/Unit/pos/NoCaseExpand.hs, 1.5764, True
Tests/Unit/pos/niki1.hs, 0.9502, True
Tests/Unit/pos/niki.hs, 0.9405, True
Tests/Unit/pos/NewType.hs, 0.8548, True
Tests/Unit/pos/nats.hs, 0.9762, True
Tests/Unit/pos/NatClass.hs, 1.0676, True
Tests/Unit/pos/MutualRec.hs, 3.1616, True
Tests/Unit/pos/mutrec.hs, 0.8853, True
Tests/Unit/pos/MultipleInvariants.hs, 0.8544, True
Tests/Unit/pos/multi-pred-app-00.hs, 0.8267, True
Tests/Unit/pos/Moo.hs, 0.8324, True
Tests/Unit/pos/monad7.hs, 1.1760, True
Tests/Unit/pos/monad6.hs, 0.9767, True
Tests/Unit/pos/monad5.hs, 1.1685, True
Tests/Unit/pos/monad2.hs, 0.8768, True
Tests/Unit/pos/monad1.hs, 0.8329, True
Tests/Unit/pos/modTest.hs, 0.9910, True
Tests/Unit/pos/Mod2.hs, 0.8826, True
Tests/Unit/pos/Mod1.hs, 0.8679, True
Tests/Unit/pos/MergeSort.hs, 1.5200, True
Tests/Unit/pos/Merge1.hs, 0.9290, True
Tests/Unit/pos/MeasureSets.hs, 0.8686, True
Tests/Unit/pos/Measures1.hs, 0.8161, True
Tests/Unit/pos/Measures.hs, 0.8519, True
Tests/Unit/pos/MeasureDups.hs, 0.9234, True
Tests/Unit/pos/MeasureContains.hs, 0.9404, True
Tests/Unit/pos/meas9.hs, 1.0562, True
Tests/Unit/pos/meas8.hs, 0.9552, True
Tests/Unit/pos/meas7.hs, 0.9552, True
Tests/Unit/pos/meas6.hs, 1.0993, True
Tests/Unit/pos/meas5.hs, 1.7106, True
Tests/Unit/pos/meas4.hs, 1.0971, True
Tests/Unit/pos/meas3.hs, 1.0167, True
Tests/Unit/pos/meas2.hs, 0.9153, True
Tests/Unit/pos/meas11.hs, 0.9487, True
Tests/Unit/pos/meas10.hs, 1.0225, True
Tests/Unit/pos/meas1.hs, 0.9442, True
Tests/Unit/pos/meas0a.hs, 0.9409, True
Tests/Unit/pos/meas00a.hs, 0.8924, True
Tests/Unit/pos/meas00.hs, 0.9555, True
Tests/Unit/pos/meas0.hs, 0.9705, True
Tests/Unit/pos/maybe4.hs, 0.8854, True
Tests/Unit/pos/maybe3.hs, 0.8692, True
Tests/Unit/pos/maybe2.hs, 1.4970, True
Tests/Unit/pos/maybe1.hs, 1.0833, True
Tests/Unit/pos/maybe000.hs, 0.8911, True
Tests/Unit/pos/maybe00.hs, 0.8398, True
Tests/Unit/pos/maybe0.hs, 0.9015, True
Tests/Unit/pos/maybe.hs, 1.4228, True
Tests/Unit/pos/mapTvCrash.hs, 0.8891, True
Tests/Unit/pos/maps1.hs, 0.8970, True
Tests/Unit/pos/maps.hs, 1.0283, True
Tests/Unit/pos/MapReduceVerified.hs, 4.1287, True
Tests/Unit/pos/mapreduce-bare.hs, 5.4752, True
Tests/Unit/pos/MapFusion.hs, 1.1379, True
Tests/Unit/pos/Map2.hs, 16.8642, True
Tests/Unit/pos/Map0.hs, 16.3724, True
Tests/Unit/pos/Map.hs, 16.1368, True
Tests/Unit/pos/malformed0.hs, 1.8265, True
Tests/Unit/pos/Loo.hs, 0.8676, True
Tests/Unit/pos/LogicCurry1.hs, 0.8606, True
Tests/Unit/pos/LocalTermExpr.hs, 1.0192, True
Tests/Unit/pos/LocalSpecImp.hs, 0.8480, True
Tests/Unit/pos/LocalSpec0.hs, 0.8424, True
Tests/Unit/pos/LocalSpec.hs, 0.9569, True
Tests/Unit/pos/LocalLazy.hs, 0.9086, True
Tests/Unit/pos/LocalHole.hs, 0.9214, True
Tests/Unit/pos/lit02.hs, 0.8960, True
Tests/Unit/pos/lit00.hs, 0.9250, True
Tests/Unit/pos/lit.hs, 0.8493, True
Tests/Unit/pos/ListSort.hs, 2.6508, True
Tests/Unit/pos/listSetDemo.hs, 1.0765, True
Tests/Unit/pos/listSet.hs, 1.1265, True
Tests/Unit/pos/ListReverse-LType.hs, 0.9309, True
Tests/Unit/pos/ListRange.hs, 1.0566, True
Tests/Unit/pos/ListRange-LType.hs, 1.1180, True
Tests/Unit/pos/listqual.hs, 0.9203, True
Tests/Unit/pos/ListQSort.hs, 1.9915, True
Tests/Unit/pos/ListQSort-LType.hs, 1.8653, True
Tests/Unit/pos/ListMSort.hs, 1.6637, True
Tests/Unit/pos/ListMSort-LType.hs, 4.8291, True
Tests/Unit/pos/ListLen.hs, 1.9322, True
Tests/Unit/pos/ListLen-LType.hs, 1.5999, True
Tests/Unit/pos/ListKeys.hs, 0.8908, True
Tests/Unit/pos/ListISort.hs, 0.9592, True
Tests/Unit/pos/ListISort-LType.hs, 1.5413, True
Tests/Unit/pos/ListElem.hs, 0.8821, True
Tests/Unit/pos/ListConcat.hs, 0.8829, True
Tests/Unit/pos/listAnf.hs, 0.9677, True
Tests/Unit/pos/LiquidClass.hs, 0.8464, True
Tests/Unit/pos/LiquidAutomate.hs, 1.2341, True
Tests/Unit/pos/LiquidArray.hs, 0.9275, True
Tests/Unit/pos/lex.hs, 0.8869, True
Tests/Unit/pos/lets.hs, 1.0309, True
Tests/Unit/pos/LazyWhere1.hs, 0.8864, True
Tests/Unit/pos/LazyWhere.hs, 0.8825, True
Tests/Unit/pos/LambdaEvalTiny.hs, 1.3427, True
Tests/Unit/pos/LambdaEvalSuperTiny.hs, 1.1787, True
Tests/Unit/pos/LambdaEvalMini.hs, 3.0646, True
Tests/Unit/pos/LambdaEval.hs, 25.4532, True
Tests/Unit/pos/LambdaDeBruijn.hs, 1.6927, True
Tests/Unit/pos/kmpVec.hs, 2.1899, True
Tests/Unit/pos/kmpIO.hs, 1.0429, True
Tests/Unit/pos/kmp.hs, 2.4021, True
Tests/Unit/pos/Keys.hs, 0.8980, True
Tests/Unit/pos/jeff.hs, 4.2772, True
Tests/Unit/pos/ite1.hs, 0.8549, True
Tests/Unit/pos/ite.hs, 0.8747, True
Tests/Unit/pos/invlhs.hs, 0.8164, True
Tests/Unit/pos/Invariants.hs, 1.0119, True
Tests/Unit/pos/inline1.hs, 0.8307, True
Tests/Unit/pos/inline.hs, 0.9136, True
Tests/Unit/pos/initarray.hs, 1.2298, True
Tests/Unit/pos/infix.hs, 0.9126, True
Tests/Unit/pos/Infinity.hs, 0.9641, True
Tests/Unit/pos/implies.hs, 0.8803, True
Tests/Unit/pos/imp0.hs, 0.9248, True
Tests/Unit/pos/idNat0.hs, 0.8179, True
Tests/Unit/pos/idNat.hs, 0.8414, True
Tests/Unit/pos/IcfpDemo.hs, 1.1398, True
Tests/Unit/pos/Holes.hs, 0.9409, True
Tests/Unit/pos/hole-fun.hs, 0.8457, True
Tests/Unit/pos/hole-app.hs, 0.8801, True
Tests/Unit/pos/HigherOrderRecFun.hs, 0.8434, True
Tests/Unit/pos/hello.hs, 0.8673, True
Tests/Unit/pos/HedgeUnion.hs, 1.0683, True
Tests/Unit/pos/HaskellMeasure.hs, 0.8536, True
Tests/Unit/pos/HasElem.hs, 0.9597, True
Tests/Unit/pos/grty3.hs, 0.9066, True
Tests/Unit/pos/grty2.hs, 0.8678, True
Tests/Unit/pos/grty1.hs, 0.8361, True
Tests/Unit/pos/grty0.hs, 0.8866, True
Tests/Unit/pos/Graph.hs, 1.2989, True
Tests/Unit/pos/GoodHMeas.hs, 0.8821, True
Tests/Unit/pos/Goo.hs, 0.8342, True
Tests/Unit/pos/go_ugly_type.hs, 0.9880, True
Tests/Unit/pos/go.hs, 0.9328, True
Tests/Unit/pos/gimme.hs, 0.9152, True
Tests/Unit/pos/GhcSort3.T.hs, 1.7772, True
Tests/Unit/pos/GhcSort3.hs, 4.8801, True
Tests/Unit/pos/GhcSort2.hs, 1.7848, True
Tests/Unit/pos/GhcSort1.hs, 3.8741, True
Tests/Unit/pos/GhcListSort.hs, 9.8285, True
Tests/Unit/pos/GeneralizedTermination.hs, 0.9723, True
Tests/Unit/pos/GCD.hs, 1.0508, True
Tests/Unit/pos/GADTs.hs, 0.8797, True
Tests/Unit/pos/gadtEval.hs, 1.5635, True
Tests/Unit/pos/FractionalInstance.hs, 1.1103, True
Tests/Unit/pos/Fractional.hs, 0.8403, True
Tests/Unit/pos/forloop.hs, 1.1059, True
Tests/Unit/pos/for.hs, 1.1507, True
Tests/Unit/pos/Foo.hs, 0.8280, True
Tests/Unit/pos/foldr.hs, 0.9118, True
Tests/Unit/pos/foldN.hs, 0.9463, True
Tests/Unit/pos/Foldl.hs, 12.9224, True
Tests/Unit/pos/Fixme.lhs, 1.8523, True
Tests/Unit/pos/Fime.hs, 0.8609, True
Tests/Unit/pos/filterAbs.hs, 1.2088, True
Tests/Unit/pos/FFI.hs, 1.3244, True
Tests/Unit/pos/failName.hs, 0.8531, True
Tests/Unit/pos/extype.hs, 0.8614, True
Tests/Unit/pos/Extenionality.hs, 0.8126, True
Tests/Unit/pos/exp0.hs, 0.9461, True
Tests/Unit/pos/ExactFunApp.hs, 0.8679, True
Tests/Unit/pos/ex1.hs, 1.0438, True
Tests/Unit/pos/ex01.hs, 0.8930, True
Tests/Unit/pos/ex0.hs, 0.9314, True
Tests/Unit/pos/Even0.hs, 0.8565, True
Tests/Unit/pos/Even.hs, 0.8222, True
Tests/Unit/pos/Eval.hs, 1.0310, True
Tests/Unit/pos/eqelems.hs, 0.8979, True
Tests/Unit/pos/eq-poly-measure.hs, 0.9125, True
Tests/Unit/pos/elim01.hs, 0.9404, True
Tests/Unit/pos/elim00.hs, 0.8510, True
Tests/Unit/pos/elim-ex-map-3.hs, 3.2216, True
Tests/Unit/pos/elim-ex-map-2.hs, 3.1494, True
Tests/Unit/pos/elim-ex-map-1.hs, 3.1220, True
Tests/Unit/pos/elim-ex-list.hs, 3.0771, True
Tests/Unit/pos/elim-ex-let.hs, 3.0668, True
Tests/Unit/pos/elim-ex-compose.hs, 1.4228, True
Tests/Unit/pos/elems.hs, 0.8982, True
Tests/Unit/pos/elements.hs, 1.3749, True
Tests/Unit/pos/duplicate-bind.hs, 0.9108, True
Tests/Unit/pos/dropwhile.hs, 1.2568, True
Tests/Unit/pos/Diverge.hs, 0.9595, True
Tests/Unit/pos/div000.hs, 0.8173, True
Tests/Unit/pos/deptupW.hs, 0.9859, True
Tests/Unit/pos/deptup3.hs, 0.9686, True
Tests/Unit/pos/deptup1.hs, 1.0817, True
Tests/Unit/pos/deptup0.hs, 1.0463, True
Tests/Unit/pos/deptup.hs, 1.4028, True
Tests/Unit/pos/deppair1.hs, 0.9054, True
Tests/Unit/pos/deppair0.hs, 0.9593, True
Tests/Unit/pos/DependentTypes.hs, 0.9347, True
Tests/Unit/pos/deepmeas0.hs, 0.9713, True
Tests/Unit/pos/DB00.hs, 0.8665, True
Tests/Unit/pos/DataKinds.hs, 0.8727, True
Tests/Unit/pos/dataConQuals.hs, 0.8386, True
Tests/Unit/pos/datacon1.hs, 0.8219, True
Tests/Unit/pos/datacon0.hs, 1.0687, True
Tests/Unit/pos/datacon-inv.hs, 0.8134, True
Tests/Unit/pos/DataBase.hs, 0.9706, True
Tests/Unit/pos/data2.hs, 1.0238, True
Tests/Unit/pos/cut00.hs, 0.9488, True
Tests/Unit/pos/csgordon_issue_296.hs, 0.8240, True
Tests/Unit/pos/CountMonad.hs, 1.0898, True
Tests/Unit/pos/coretologic.hs, 0.9370, True
Tests/Unit/pos/contra0.hs, 0.9413, True
Tests/Unit/pos/ConstraintsAppend.hs, 1.7059, True
Tests/Unit/pos/Constraints.hs, 0.9242, True
Tests/Unit/pos/comprehensionTerm.hs, 1.4326, True
Tests/Unit/pos/comprehension.hs, 0.8471, True
Tests/Unit/pos/CompareConstraints.hs, 1.2137, True
Tests/Unit/pos/compare2.hs, 0.8946, True
Tests/Unit/pos/compare1.hs, 0.9799, True
Tests/Unit/pos/compare.hs, 0.9099, True
Tests/Unit/pos/CommentedOut.hs, 0.9070, True
Tests/Unit/pos/Coercion.hs, 0.8869, True
Tests/Unit/pos/cmptag0.hs, 0.9653, True
Tests/Unit/pos/ClojurVector.hs, 1.1213, True
Tests/Unit/pos/ClassReg.hs, 0.8866, True
Tests/Unit/pos/ClassKind.hs, 0.8247, True
Tests/Unit/pos/Class2.hs, 1.1196, True
Tests/Unit/pos/Class.hs, 1.2094, True
Tests/Unit/pos/Chunks.hs, 0.9646, True
Tests/Unit/pos/CheckedNum.hs, 0.8538, True
Tests/Unit/pos/Cat.hs, 0.8843, True
Tests/Unit/pos/CasesToLogic.hs, 0.8727, True
Tests/Unit/pos/case-lambda-join.hs, 1.0337, True
Tests/Unit/pos/BST000.hs, 1.5838, True
Tests/Unit/pos/BST.hs, 10.3971, True
Tests/Unit/pos/bounds1.hs, 0.8517, True
Tests/Unit/pos/bool2.hs, 0.9093, True
Tests/Unit/pos/bool1.hs, 0.8430, True
Tests/Unit/pos/bool0.hs, 0.8364, True
Tests/Unit/pos/Books.hs, 0.9178, True
Tests/Unit/pos/BinarySearchOverflow.hs, 1.4509, True
Tests/Unit/pos/BinarySearch.hs, 1.3192, True
Tests/Unit/pos/bar.hs, 0.9834, True
Tests/Unit/pos/bangPatterns.hs, 0.9259, True
Tests/Unit/pos/AVLRJ0.hs, 1.2150, True
Tests/Unit/pos/AVLRJ.hs, 2.9187, True
Tests/Unit/pos/AVL.hs, 2.8337, True
Tests/Unit/pos/Avg.hs, 1.0666, True
Tests/Unit/pos/AutoTerm1.hs, 0.9758, True
Tests/Unit/pos/AutoTerm.hs, 0.9681, True
Tests/Unit/pos/AutoSize.hs, 1.0834, True
Tests/Unit/pos/Automate.hs, 1.0047, True
Tests/Unit/pos/AssumedRecursive.hs, 0.8902, True
Tests/Unit/pos/Assume.hs, 1.0555, True
Tests/Unit/pos/anish1.hs, 0.9791, True
Tests/Unit/pos/anftest.hs, 0.9933, True
Tests/Unit/pos/anfbug.hs, 1.0388, True
Tests/Unit/pos/ANF.hs, 3.5752, True
Tests/Unit/pos/AmortizedQueue.hs, 1.1426, True
Tests/Unit/pos/alphaconvert-Set.hs, 1.1437, True
Tests/Unit/pos/alphaconvert-List.hs, 1.4348, True
Tests/Unit/pos/alias01.hs, 0.8559, True
Tests/Unit/pos/alias00.hs, 0.8750, True
Tests/Unit/pos/adt0.hs, 0.9054, True
Tests/Unit/pos/Ackermann.hs, 0.9431, True
Tests/Unit/pos/absref-crash0.hs, 0.9642, True
Tests/Unit/pos/absref-crash.hs, 0.8559, True
Tests/Unit/pos/Abs.hs, 0.8627, True
Tests/Unit/neg/wrap1.hs, 1.2401, True
Tests/Unit/neg/wrap0.hs, 0.9633, True
Tests/Unit/neg/VerifiedNum.hs, 0.8796, True
Tests/Unit/neg/VerifiedMonoid.hs, 1.3382, True
Tests/Unit/neg/vector2.hs, 2.0571, True
Tests/Unit/neg/vector1a.hs, 1.3326, True
Tests/Unit/neg/vector0a.hs, 1.0478, True
Tests/Unit/neg/vector00.hs, 1.0466, True
Tests/Unit/neg/vector0.hs, 1.0945, True
Tests/Unit/neg/Variance1.hs, 0.8357, True
Tests/Unit/neg/Variance.hs, 0.8778, True
Tests/Unit/neg/tyclass0-unsafe.hs, 0.8196, True
Tests/Unit/neg/truespec.hs, 0.9081, True
Tests/Unit/neg/trans.hs, 2.3098, True
Tests/Unit/neg/TotalHaskell.hs, 0.9156, True
Tests/Unit/neg/TopLevel.hs, 0.9341, True
Tests/Unit/neg/testRec.hs, 1.0272, True
Tests/Unit/neg/test2.hs, 0.9297, True
Tests/Unit/neg/test1.hs, 0.9392, True
Tests/Unit/neg/test00c.hs, 0.8896, True
Tests/Unit/neg/test00b.hs, 0.9015, True
Tests/Unit/neg/test00a.hs, 0.9099, True
Tests/Unit/neg/test00.hs, 0.9575, True
Tests/Unit/neg/TermReal.hs, 0.8479, True
Tests/Unit/neg/TerminationNum0.hs, 0.8759, True
Tests/Unit/neg/TerminationNum.hs, 0.9048, True
Tests/Unit/neg/T745.hs, 1.0138, True
Tests/Unit/neg/T743.hs, 0.9549, True
Tests/Unit/neg/T743-mini.hs, 0.9058, True
Tests/Unit/neg/T602.hs, 0.8332, True
Tests/Unit/neg/sumPoly.hs, 0.8738, True
Tests/Unit/neg/sumk.hs, 0.8544, True
Tests/Unit/neg/Sum.hs, 0.9771, True
Tests/Unit/neg/Strings.hs, 0.8600, True
Tests/Unit/neg/string00.hs, 0.9185, True
Tests/Unit/neg/StrictPair1.hs, 1.2343, True
Tests/Unit/neg/StrictPair0.hs, 0.8851, True
Tests/Unit/neg/StreamInvariants.hs, 0.9805, True
Tests/Unit/neg/Strata.hs, 0.8820, True
Tests/Unit/neg/StateConstraints00.hs, 0.9013, True
Tests/Unit/neg/StateConstraints0.hs, 43.0903, True
Tests/Unit/neg/StateConstraints.hs, 2.3839, True
Tests/Unit/neg/state00.hs, 0.8897, True
Tests/Unit/neg/state0.hs, 0.8836, True
Tests/Unit/neg/stacks.hs, 1.1721, True
Tests/Unit/neg/Solver.hs, 1.5531, True
Tests/Unit/neg/SafePartialFunctions.hs, 0.9100, True
Tests/Unit/neg/risers.hs, 0.9435, True
Tests/Unit/neg/RG.hs, 1.2288, True
Tests/Unit/neg/revshape.hs, 0.8831, True
Tests/Unit/neg/RecSelector.hs, 0.8483, True
Tests/Unit/neg/RecQSort.hs, 1.1993, True
Tests/Unit/neg/record0.hs, 0.8520, True
Tests/Unit/neg/range.hs, 1.3489, True
Tests/Unit/neg/qsloop.hs, 1.1589, True
Tests/Unit/neg/QQTySyn2.hs, 3.4950, True
Tests/Unit/neg/QQTySyn1.hs, 3.0726, True
Tests/Unit/neg/QQTySig.hs, 3.1043, True
Tests/Unit/neg/prune0.hs, 0.9337, True
Tests/Unit/neg/Propability0.hs, 0.9752, True
Tests/Unit/neg/Propability.hs, 1.0522, True
Tests/Unit/neg/pred.hs, 0.7485, True
Tests/Unit/neg/pragma0-unsafe.hs, 0.8491, True
Tests/Unit/neg/poslist.hs, 1.1038, True
Tests/Unit/neg/polypred.hs, 0.9063, True
Tests/Unit/neg/poly2.hs, 0.9733, True
Tests/Unit/neg/poly2-degenerate.hs, 0.9627, True
Tests/Unit/neg/poly1.hs, 0.9654, True
Tests/Unit/neg/poly0.hs, 1.0097, True
Tests/Unit/neg/partial.hs, 0.8662, True
Tests/Unit/neg/pargs1.hs, 0.8446, True
Tests/Unit/neg/pargs.hs, 0.8185, True
Tests/Unit/neg/PairMeasure.hs, 0.9063, True
Tests/Unit/neg/pair0.hs, 1.6507, True
Tests/Unit/neg/pair.hs, 1.8021, True
Tests/Unit/neg/NoMethodBindingError.hs, 0.8368, True
Tests/Unit/neg/NoExhaustiveGuardsError.hs, 0.8611, True
Tests/Unit/neg/NewTypes0.hs, 0.8655, True
Tests/Unit/neg/NewTypes.hs, 0.8510, True
Tests/Unit/neg/nestedRecursion.hs, 0.9210, True
Tests/Unit/neg/MultipleInvariants.hs, 0.8671, True
Tests/Unit/neg/MultiParamTypeClasses.hs, 0.8531, True
Tests/Unit/neg/multi-pred-app-00.hs, 0.8146, True
Tests/Unit/neg/mr00.hs, 1.0286, True
Tests/Unit/neg/monad7.hs, 1.2016, True
Tests/Unit/neg/monad6.hs, 0.9411, True
Tests/Unit/neg/monad5.hs, 1.0214, True
Tests/Unit/neg/monad4.hs, 1.0573, True
Tests/Unit/neg/monad3.hs, 1.0159, True
Tests/Unit/neg/MergeSort.hs, 1.5751, True
Tests/Unit/neg/MeasureDups.hs, 0.9624, True
Tests/Unit/neg/MeasureContains.hs, 0.9972, True
Tests/Unit/neg/meas9.hs, 0.9347, True
Tests/Unit/neg/meas7.hs, 0.8593, True
Tests/Unit/neg/meas5.hs, 1.7634, True
Tests/Unit/neg/meas3.hs, 0.9575, True
Tests/Unit/neg/meas2.hs, 0.9447, True
Tests/Unit/neg/meas0.hs, 0.9455, True
Tests/Unit/neg/MaybeMonad.hs, 1.0128, True
Tests/Unit/neg/maps.hs, 0.9808, True
Tests/Unit/neg/mapreduce.hs, 2.7444, True
Tests/Unit/neg/mapreduce-tiny.hs, 0.9421, True
Tests/Unit/neg/LocalSpec.hs, 0.9500, True
Tests/Unit/neg/lit.hs, 0.8564, True
Tests/Unit/neg/ListRange.hs, 0.9839, True
Tests/Unit/neg/ListQSort.hs, 1.5337, True
Tests/Unit/neg/listne.hs, 0.8334, True
Tests/Unit/neg/ListMSort.hs, 2.2236, True
Tests/Unit/neg/ListKeys.hs, 0.9166, True
Tests/Unit/neg/ListISort.hs, 1.5962, True
Tests/Unit/neg/ListISort-LType.hs, 1.1050, True
Tests/Unit/neg/ListElem.hs, 0.8723, True
Tests/Unit/neg/ListConcat.hs, 0.9354, True
Tests/Unit/neg/list00.hs, 0.9148, True
Tests/Unit/neg/LiquidClass1.hs, 0.8519, True
Tests/Unit/neg/LiquidClass.hs, 0.8982, True
Tests/Unit/neg/LazyWhere1.hs, 0.9151, True
Tests/Unit/neg/LazyWhere.hs, 0.8999, True
Tests/Unit/neg/IntAbsRef.hs, 0.8455, True
Tests/Unit/neg/inc2.hs, 0.9028, True
Tests/Unit/neg/HolesTop.hs, 0.9019, True
Tests/Unit/neg/HigherOrder.hs, 0.8732, True
Tests/Unit/neg/HasElem.hs, 0.8640, True
Tests/Unit/neg/grty3.hs, 0.8689, True
Tests/Unit/neg/grty2.hs, 0.9578, True
Tests/Unit/neg/grty1.hs, 1.0008, True
Tests/Unit/neg/grty0.hs, 0.8527, True
Tests/Unit/neg/GeneralizedTermination.hs, 0.9079, True
Tests/Unit/neg/GADTs.hs, 0.8369, True
Tests/Unit/neg/FunSoundness.hs, 0.8766, True
Tests/Unit/neg/FunctionRef.hs, 0.8784, True
Tests/Unit/neg/foldN1.hs, 0.8898, True
Tests/Unit/neg/foldN.hs, 0.9397, True
Tests/Unit/neg/filterAbs.hs, 1.1117, True
Tests/Unit/neg/ex1-unsafe.hs, 0.9872, True
Tests/Unit/neg/ex0-unsafe.hs, 0.9856, True
Tests/Unit/neg/Even.hs, 0.8539, True
Tests/Unit/neg/Eval.hs, 1.0628, True
Tests/Unit/neg/errorloc.hs, 1.0148, True
Tests/Unit/neg/errmsg.hs, 0.9519, True
Tests/Unit/neg/elim000.hs, 0.8975, True
Tests/Unit/neg/elim-ex-map-3.hs, 3.2590, True
Tests/Unit/neg/elim-ex-map-2.hs, 3.1425, True
Tests/Unit/neg/elim-ex-map-1.hs, 3.0572, True
Tests/Unit/neg/elim-ex-list.hs, 3.0015, True
Tests/Unit/neg/elim-ex-let.hs, 2.9476, True
Tests/Unit/neg/elim-ex-compose.hs, 0.9869, True
Tests/Unit/neg/deptupW.hs, 0.9686, True
Tests/Unit/neg/deppair0.hs, 0.9492, True
Tests/Unit/neg/DependentTypes.hs, 0.9172, True
Tests/Unit/neg/datacon-eq.hs, 0.8115, True
Tests/Unit/neg/csv.hs, 1.7706, True
Tests/Unit/neg/coretologic.hs, 0.9390, True
Tests/Unit/neg/contra0.hs, 0.9317, True
Tests/Unit/neg/ConstraintsAppend.hs, 1.7763, True
Tests/Unit/neg/Constraints.hs, 0.9246, True
Tests/Unit/neg/concat2.hs, 1.3249, True
Tests/Unit/neg/concat1.hs, 1.3644, True
Tests/Unit/neg/concat.hs, 1.2706, True
Tests/Unit/neg/CompareConstraints.hs, 1.4696, True
Tests/Unit/neg/Client.hs, 0.9030, True
Tests/Unit/neg/Class5.hs, 0.9306, True
Tests/Unit/neg/Class4.hs, 1.2675, True
Tests/Unit/neg/Class3.hs, 0.9604, True
Tests/Unit/neg/Class2.hs, 1.0736, True
Tests/Unit/neg/Class1.hs, 1.1519, True
Tests/Unit/neg/CheckedNum.hs, 0.8901, True
Tests/Unit/neg/CastedTotality.hs, 1.0397, True
Tests/Unit/neg/Books.hs, 1.3410, True
Tests/Unit/neg/BinarySearchOverflow.hs, 4.2721, True
Tests/Unit/neg/BigNum.hs, 1.3857, True
Tests/Unit/neg/Baz.hs, 1.2864, True
Tests/Unit/neg/BadNats.hs, 1.3185, True
Tests/Unit/neg/BadHMeas.hs, 1.5050, True
Tests/Unit/neg/AutoTerm1.hs, 1.2083, True
Tests/Unit/neg/AutoTerm.hs, 1.1182, True
Tests/Unit/neg/AutoSize.hs, 1.1708, True
Tests/Unit/neg/Automate.hs, 1.2206, True
Tests/Unit/neg/Ast.hs, 1.0671, True
Tests/Unit/neg/ass0.hs, 0.8939, True
Tests/Unit/neg/alias00.hs, 1.1184, True
Tests/Unit/neg/AbsApp.hs, 0.9426, True
Tests/Unit/crash/Unbound.hs, 0.4074, True
Tests/Unit/crash/typeAliasDup.hs, 0.8581, True
Tests/Unit/crash/T774.hs, 0.8287, True
Tests/Unit/crash/T773.hs, 0.7895, True
Tests/Unit/crash/T691.hs, 0.4391, True
Tests/Unit/crash/T649.hs, 0.8780, True
Tests/Unit/crash/SizeFunMissing.hs, 0.7719, True
Tests/Unit/crash/RClass.hs, 0.4245, True
Tests/Unit/crash/Qualif.hs, 0.7701, True
Tests/Unit/crash/predparams.hs, 0.7482, True
Tests/Unit/crash/num-float-error1.hs, 0.8010, True
Tests/Unit/crash/num-float-error.hs, 0.7743, True
Tests/Unit/crash/MultipleRecordSelectors.hs, 0.8103, True
Tests/Unit/crash/Mismatch.hs, 0.7763, True
Tests/Unit/crash/LocalTermExpr.hs, 0.7782, True
Tests/Unit/crash/LocalHole.hs, 0.8052, True
Tests/Unit/crash/issue594.hs, 0.3908, True
Tests/Unit/crash/hole-crash3.hs, 0.7749, True
Tests/Unit/crash/hole-crash2.hs, 0.7853, True
Tests/Unit/crash/hole-crash1.hs, 0.7730, True
Tests/Unit/crash/HigherOrder.hs, 0.7968, True
Tests/Unit/crash/HaskellMeasure.hs, 0.7986, True
Tests/Unit/crash/FunRef2.hs, 0.8043, True
Tests/Unit/crash/FunRef1.hs, 0.7666, True
Tests/Unit/crash/funref.hs, 0.7822, True
Tests/Unit/crash/errmsg-mismatch.hs, 0.8238, True
Tests/Unit/crash/errmsg-dc-type.hs, 0.7820, True
Tests/Unit/crash/errmsg-dc-num.hs, 0.8170, True
Tests/Unit/crash/CyclicTypeAlias3.hs, 0.7383, True
Tests/Unit/crash/CyclicTypeAlias2.hs, 0.7950, True
Tests/Unit/crash/CyclicTypeAlias1.hs, 0.7273, True
Tests/Unit/crash/CyclicTypeAlias0.hs, 0.7309, True
Tests/Unit/crash/CyclicPredAlias3.hs, 0.7207, True
Tests/Unit/crash/CyclicPredAlias2.hs, 0.8185, True
Tests/Unit/crash/CyclicPredAlias1.hs, 0.7530, True
Tests/Unit/crash/CyclicPredAlias0.hs, 0.7242, True
Tests/Unit/crash/CyclicExprAlias3.hs, 0.7806, True
Tests/Unit/crash/CyclicExprAlias2.hs, 0.7776, True
Tests/Unit/crash/CyclicExprAlias1.hs, 0.7304, True
Tests/Unit/crash/CyclicExprAlias0.hs, 0.7383, True
Tests/Unit/crash/BadSyn4.hs, 0.7718, True
Tests/Unit/crash/BadSyn3.hs, 0.7774, True
Tests/Unit/crash/BadSyn2.hs, 0.7303, True
Tests/Unit/crash/BadSyn1.hs, 0.7261, True
Tests/Unit/crash/BadPragma2.hs, 0.3773, True
Tests/Unit/crash/BadPragma1.hs, 0.3867, True
Tests/Unit/crash/BadPragma0.hs, 0.4079, True
Tests/Unit/crash/BadExprArg.hs, 0.7444, True
Tests/Unit/crash/Ast.hs, 0.3915, True
Tests/Unit/crash/Assume1.hs, 0.7729, True
Tests/Unit/crash/Assume.hs, 0.7766, True
Tests/Unit/crash/AbsRef.hs, 0.4306, True
Tests/Unit/parser/pos/TokensAsPrefixes.hs, 0.8117, True
Tests/Unit/parser/pos/Parens.hs, 0.8751, True
Tests/Unit/error/crash/TerminationExpr1.hs, 0.7702, True
Tests/Unit/error/crash/TerminationExpr.hs, 0.8317, True
Tests/Unit/gradual_pos/Intro.hs, 1.5233, True
Tests/Unit/gradual_pos/Interpretations.hs, 63.3297, True
Tests/Unit/gradual_pos/Gradual.hs, 1.3774, True
Tests/Unit/gradual_pos/Dynamic.hs, 1.0112, True
Tests/Unit/gradual_pos/Discussion.hs, 1.1268, True
Tests/Unit/gradual_neg/Intro.hs, 1.1161, True
Tests/Unit/gradual_neg/Interpretations.hs, 4.5132, True
Tests/Unit/gradual_neg/Gradual.hs, 0.9779, True
Tests/Benchmarks/text/Setup.lhs, 2.0889, True
Tests/Benchmarks/text/Data/Text.hs, 52.7201, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 3.6723, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 3.1117, True
Tests/Benchmarks/text/Data/Text/Search.hs, 17.9624, True
Tests/Benchmarks/text/Data/Text/Private.hs, 2.8090, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 75.4685, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 7.5469, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 28.3704, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 5.0872, True
Tests/Benchmarks/text/Data/Text/Encoding.hs, 69.5342, True
Tests/Benchmarks/text/Data/Text/Array.hs, 3.2674, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 53.6841, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 6.5661, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 9.7722, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 14.5743, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 13.1842, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 2.9236, True
Tests/Benchmarks/bytestring/Data/ByteString.T.hs, 65.7790, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 58.5702, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 3.0607, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 10.2612, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 57.2405, True
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 7.8289, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 33.2900, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 31.1630, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 12.3488, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 1.9745, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 12.1374, True
Tests/Benchmarks/esop/Toy.hs, 2.9001, True
Tests/Benchmarks/esop/Splay.hs, 31.6518, True
Tests/Benchmarks/esop/ListSort.hs, 5.2352, True
Tests/Benchmarks/esop/GhcListSort.hs, 19.4294, True
Tests/Benchmarks/esop/Fib.hs, 4.5859, True
Tests/Benchmarks/esop/Base.hs, 141.5282, True
Tests/Benchmarks/esop/Array.hs, 2.9963, True
Tests/Benchmarks/vect-algs/Setup.lhs, 1.3354, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.3478, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 3.5743, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 3.2949, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 10.7722, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 9.0543, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 6.7958, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 1.7227, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 44.1468, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.2509, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 0.8942, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 15.7743, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 1.2158, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 1.6566, True
Tests/Benchmarks/icfp_pos/TwiceM.hs, 14.1662, True
Tests/Benchmarks/icfp_pos/TestM.hs, 0.9277, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 36.7248, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 0.9411, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 13.3824, True
Tests/Benchmarks/icfp_pos/Incr.hs, 1.9864, True
Tests/Benchmarks/icfp_pos/Incr-elim.hs, 1.1945, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 4.5216, True
Tests/Benchmarks/icfp_pos/IfM.hs, 9.7213, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 2.0053, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 11.8751, True
Tests/Benchmarks/icfp_pos/FindRec.hs, 12.7626, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.2757, True
Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.1053, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 3.7729, True
Tests/Benchmarks/icfp_pos/CopyRec.hs, 27.1435, True
Tests/Benchmarks/icfp_pos/Composition.hs, 0.9486, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.2604, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.3574, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 1.7856, True
Tests/Benchmarks/icfp_neg/TwiceM.hs, 83.7511, True
Tests/Benchmarks/icfp_neg/TestM.hs, 1.4598, True
Tests/Benchmarks/icfp_neg/Records.hs, 1.1207, True
Tests/Benchmarks/icfp_neg/IfM.hs, 12.1735, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 3.6403, True
Tests/Benchmarks/icfp_neg/Composition.hs, 1.0492, True
Tests/Benchmarks/pldi17_pos/XKCD.hs, 1.1119, True
Tests/Benchmarks/pldi17_pos/Unification.hs, 6.9175, True
Tests/Benchmarks/pldi17_pos/Solver.hs, 2.3259, True
Tests/Benchmarks/pldi17_pos/ProofCombinators.hs, 1.0558, True
Tests/Benchmarks/pldi17_pos/Peano.hs, 1.5377, True
Tests/Benchmarks/pldi17_pos/Overview.hs, 1.3679, True
Tests/Benchmarks/pldi17_pos/NormalForm.hs, 1.1279, True
Tests/Benchmarks/pldi17_pos/MonoidMaybe.hs, 1.1846, True
Tests/Benchmarks/pldi17_pos/MonoidList.hs, 1.2659, True
Tests/Benchmarks/pldi17_pos/MonadMaybe.hs, 1.3066, True
Tests/Benchmarks/pldi17_pos/MonadList.hs, 2.2370, True
Tests/Benchmarks/pldi17_pos/MonadId.hs, 1.2597, True
Tests/Benchmarks/pldi17_pos/MapFusion.hs, 1.7038, True
Tests/Benchmarks/pldi17_pos/FunctorMaybe.hs, 1.3926, True
Tests/Benchmarks/pldi17_pos/FunctorList.hs, 2.4032, True
Tests/Benchmarks/pldi17_pos/FunctorId.hs, 1.3286, True
Tests/Benchmarks/pldi17_pos/FunctionEquality101.hs, 1.1480, True
Tests/Benchmarks/pldi17_pos/FoldrUniversal.hs, 2.2835, True
Tests/Benchmarks/pldi17_pos/Fibonacci.hs, 3.4268, True
Tests/Benchmarks/pldi17_pos/Euclide.hs, 1.0111, True
Tests/Benchmarks/pldi17_pos/Compose.hs, 0.9722, True
Tests/Benchmarks/pldi17_pos/BasicLambdas0.hs, 1.0181, True
Tests/Benchmarks/pldi17_pos/BasicLambdas.hs, 1.1307, True
Tests/Benchmarks/pldi17_pos/ApplicativeMaybe.hs, 2.9928, True
Tests/Benchmarks/pldi17_pos/ApplicativeList.hs, 10.8106, True
Tests/Benchmarks/pldi17_pos/ApplicativeId.hs, 1.3906, True
Tests/Benchmarks/pldi17_pos/Append.hs, 1.9314, True
Tests/Benchmarks/pldi17_pos/AlphaEquivalence.hs, 1.0360, True
Tests/Benchmarks/pldi17_pos/AckermannTimeCheck.hs, 1.0192, True
Tests/Benchmarks/pldi17_pos/Ackermann.hs, 8.0395, True
Tests/Benchmarks/pldi17_neg/MonadMaybe.hs, 1.4565, True
Tests/Benchmarks/pldi17_neg/MonadList.hs, 2.7281, True
Tests/Benchmarks/pldi17_neg/MapFusion.hs, 1.8042, True
Tests/Benchmarks/pldi17_neg/FunctorMaybe.hs, 1.4086, True
Tests/Benchmarks/pldi17_neg/FunctorList.hs, 1.8629, True
Tests/Benchmarks/pldi17_neg/Fibonacci.hs, 2.7352, True
Tests/Benchmarks/pldi17_neg/BasicLambdas.hs, 0.9197, True
Tests/Benchmarks/pldi17_neg/ApplicativeMaybe.hs, 2.7652, True
Tests/Benchmarks/pldi17_neg/ApplicativeList.hs, 11.7479, True
Tests/Benchmarks/pldi17_neg/Append.hs, 2.3373, True
Tests/Benchmarks/pldi17_neg/Ackermann.hs, 7.1327, True
Tests/Benchmarks/instances/Unification0.hs, 1.5086, True
Tests/Benchmarks/instances/Unification.hs, 5.5596, True
Tests/Benchmarks/instances/Solver.hs, 1.7662, True
Tests/Benchmarks/instances/ProofCombinators.hs, 0.9837, True
Tests/Benchmarks/instances/Peano.hs, 1.1830, True
Tests/Benchmarks/instances/Overview.hs, 1.1285, True
Tests/Benchmarks/instances/NormalForm.hs, 0.9728, True
Tests/Benchmarks/instances/MonoidMaybe.hs, 1.0042, True
Tests/Benchmarks/instances/MonoidList.hs, 1.1527, True
Tests/Benchmarks/instances/MonadMaybe.hs, 1.0080, True
Tests/Benchmarks/instances/MonadList.hs, 1.6655, True
Tests/Benchmarks/instances/MonadId.hs, 0.9959, True
Tests/Benchmarks/instances/Maybe.hs, 0.8594, True
Tests/Benchmarks/instances/MapFusion.hs, 1.4968, True
Tests/Benchmarks/instances/Lists.hs, 1.4296, True
Tests/Benchmarks/instances/FunctorMaybe.hs, 1.0882, True
Tests/Benchmarks/instances/FunctorList.hs, 1.2945, True
Tests/Benchmarks/instances/FunctorId.hs, 1.0896, True
Tests/Benchmarks/instances/FunctionEquality101.hs, 1.0635, True
Tests/Benchmarks/instances/FoldrUniversal.hs, 1.3616, True
Tests/Benchmarks/instances/Fibonacci.hs, 2.0307, True
Tests/Benchmarks/instances/Euclide.hs, 1.0250, True
Tests/Benchmarks/instances/Compose.hs, 0.9138, True
Tests/Benchmarks/instances/BasicLambdas.hs, 1.0178, True
Tests/Benchmarks/instances/ApplicativeMaybe.hs, 1.2460, True
Tests/Benchmarks/instances/ApplicativeListComposition.hs, 4.4683, True
Tests/Benchmarks/instances/ApplicativeList.hs, 6.8054, True
Tests/Benchmarks/instances/ApplicativeId.hs, 1.3058, True
Tests/Benchmarks/instances/Append.hs, 1.8023, True
Tests/Benchmarks/instances/AlphaEquivalence.hs, 1.0926, True
Tests/Benchmarks/instances/Ackermann.hs, 172.3253, True