f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-all-import.csv

test, time(s), result
Tests/Unit/pos/zipper0.hs, 2.3326, True
Tests/Unit/pos/zipper.hs, 5.2161, True
Tests/Unit/pos/zipW2.hs, 0.6228, True
Tests/Unit/pos/zipW1.hs, 0.6568, True
Tests/Unit/pos/zipW.hs, 0.7571, True
Tests/Unit/pos/zipSO.hs, 0.9114, True
Tests/Unit/pos/wrap1.hs, 1.1790, True
Tests/Unit/pos/wrap0.hs, 0.8169, True
Tests/Unit/pos/vector2.hs, 3.2118, True
Tests/Unit/pos/vector1b.hs, 1.5280, True
Tests/Unit/pos/vector1a.hs, 2.0092, True
Tests/Unit/pos/vector1.hs, 1.3256, True
Tests/Unit/pos/vector00.hs, 0.7694, True
Tests/Unit/pos/vector0.hs, 1.8867, True
Tests/Unit/pos/vecloop.hs, 1.1463, True
Tests/Unit/pos/unusedtyvars.hs, 0.6445, True
Tests/Unit/pos/tyvar.hs, 0.6124, True
Tests/Unit/pos/tyfam0.hs, 0.7136, True
Tests/Unit/pos/tyclass0.hs, 0.6205, True
Tests/Unit/pos/tyExpr.hs, 0.6190, True
Tests/Unit/pos/tupparse.hs, 0.7333, True
Tests/Unit/pos/tup0.hs, 0.6365, True
Tests/Unit/pos/transpose.hs, 2.5037, True
Tests/Unit/pos/transTAG.hs, 2.0547, True
Tests/Unit/pos/trans.hs, 1.1618, True
Tests/Unit/pos/top0.hs, 0.8389, True
Tests/Unit/pos/testRec.hs, 0.7377, True
Tests/Unit/pos/test2.hs, 0.7179, True
Tests/Unit/pos/test1.hs, 0.7207, True
Tests/Unit/pos/test00c.hs, 0.9732, True
Tests/Unit/pos/test00b.hs, 0.7257, True
Tests/Unit/pos/test000.hs, 0.7732, True
Tests/Unit/pos/test00.old.hs, 0.7015, True
Tests/Unit/pos/test00.hs, 0.7096, True
Tests/Unit/pos/test00-int.hs, 0.7017, True
Tests/Unit/pos/test0.hs, 0.7134, True
Tests/Unit/pos/term0.hs, 0.8756, True
Tests/Unit/pos/take.hs, 1.2978, True
Tests/Unit/pos/tagBinder.hs, 0.6109, True
Tests/Unit/pos/string00.hs, 0.7161, True
Tests/Unit/pos/stateInvarint.hs, 1.1488, True
Tests/Unit/pos/state00.hs, 0.7825, True
Tests/Unit/pos/stacks0.hs, 0.7764, True
Tests/Unit/pos/spec0.hs, 0.7217, True
Tests/Unit/pos/selfList.hs, 1.1085, True
Tests/Unit/pos/scanr.hs, 0.9314, True
Tests/Unit/pos/risers.hs, 1.5342, True
Tests/Unit/pos/record1.hs, 0.6197, True
Tests/Unit/pos/record0.hs, 0.7727, True
Tests/Unit/pos/rec_annot_go.hs, 0.8708, True
Tests/Unit/pos/rangeAdt.hs, 5.6060, True
Tests/Unit/pos/range1.hs, 0.8032, True
Tests/Unit/pos/range.hs, 1.3443, True
Tests/Unit/pos/qualTest.hs, 0.7068, True
Tests/Unit/pos/propmeasure1.hs, 0.6082, True
Tests/Unit/pos/propmeasure.hs, 0.8202, True
Tests/Unit/pos/profcrasher.hs, 0.6419, True
Tests/Unit/pos/primInt0.hs, 0.9622, True
Tests/Unit/pos/pred.hs, 0.6275, True
Tests/Unit/pos/pragma0.hs, 0.6200, True
Tests/Unit/pos/poslist_dc.hs, 0.8314, True
Tests/Unit/pos/poslist.hs, 1.2264, True
Tests/Unit/pos/polyqual.hs, 1.1891, True
Tests/Unit/pos/polyfun.hs, 0.7306, True
Tests/Unit/pos/poly4.hs, 0.6683, True
Tests/Unit/pos/poly3a.hs, 0.7214, True
Tests/Unit/pos/poly3.hs, 0.7411, True
Tests/Unit/pos/poly2.hs, 0.7515, True
Tests/Unit/pos/poly2-degenerate.hs, 0.7516, True
Tests/Unit/pos/poly1.hs, 0.8265, True
Tests/Unit/pos/poly0.hs, 0.9565, True
Tests/Unit/pos/partialmeasure.hs, 0.6642, True
Tests/Unit/pos/partial-tycon.hs, 0.6163, True
Tests/Unit/pos/pargs1.hs, 0.6230, True
Tests/Unit/pos/pargs.hs, 0.6250, True
Tests/Unit/pos/pair00.hs, 1.9477, True
Tests/Unit/pos/pair0.hs, 2.6001, True
Tests/Unit/pos/pair.hs, 2.7581, True
Tests/Unit/pos/nullterm.hs, 1.3904, True
Tests/Unit/pos/niki1.hs, 0.7898, True
Tests/Unit/pos/niki.hs, 0.7396, True
Tests/Unit/pos/mutrec.hs, 0.6535, True
Tests/Unit/pos/multi-pred-app-00.hs, 0.6249, True
Tests/Unit/pos/monad7.hs, 1.2062, True
Tests/Unit/pos/monad6.hs, 0.8259, True
Tests/Unit/pos/monad5.hs, 1.2483, True
Tests/Unit/pos/monad2.hs, 0.6394, True
Tests/Unit/pos/monad1.hs, 0.6355, True
Tests/Unit/pos/modTest.hs, 0.7205, True
Tests/Unit/pos/meas9.hs, 0.8507, True
Tests/Unit/pos/meas8.hs, 0.7273, True
Tests/Unit/pos/meas7.hs, 0.7225, True
Tests/Unit/pos/meas6.hs, 0.9570, True
Tests/Unit/pos/meas5.hs, 1.9098, True
Tests/Unit/pos/meas4.hs, 0.9414, True
Tests/Unit/pos/meas3.hs, 0.9391, True
Tests/Unit/pos/meas2.hs, 0.7440, True
Tests/Unit/pos/meas11.hs, 0.6950, True
Tests/Unit/pos/meas10.hs, 0.8307, True
Tests/Unit/pos/meas1.hs, 0.7590, True
Tests/Unit/pos/meas0a.hs, 0.7725, True
Tests/Unit/pos/meas00a.hs, 0.6613, True
Tests/Unit/pos/meas00.hs, 0.7562, True
Tests/Unit/pos/meas0.hs, 0.7883, True
Tests/Unit/pos/maybe4.hs, 0.6768, True
Tests/Unit/pos/maybe3.hs, 0.6764, True
Tests/Unit/pos/maybe2.hs, 1.4207, True
Tests/Unit/pos/maybe1.hs, 0.8849, True
Tests/Unit/pos/maybe000.hs, 0.6657, True
Tests/Unit/pos/maybe00.hs, 0.6282, True
Tests/Unit/pos/maybe0.hs, 0.7036, True
Tests/Unit/pos/maybe.hs, 1.4176, True
Tests/Unit/pos/maps1.hs, 0.8156, True
Tests/Unit/pos/maps.hs, 0.8508, True
Tests/Unit/pos/mapreduce.hs, 3.2405, True
Tests/Unit/pos/mapreduce-bare.hs, 6.1961, True
Tests/Unit/pos/mapTvCrash.hs, 0.6799, True
Tests/Unit/pos/malformed0.hs, 1.3573, True
Tests/Unit/pos/lit.hs, 0.6287, True
Tests/Unit/pos/listqual.hs, 0.7587, True
Tests/Unit/pos/listSetDemo.hs, 0.9305, True
Tests/Unit/pos/listSet.hs, 0.9282, True
Tests/Unit/pos/listAnf.hs, 0.8382, True
Tests/Unit/pos/lex.hs, 0.7155, True
Tests/Unit/pos/lets.hs, 1.1109, True
Tests/Unit/pos/kmpVec.hs, 2.2965, True
Tests/Unit/pos/kmpIO.hs, 0.9053, True
Tests/Unit/pos/kmp.hs, 3.7023, True
Tests/Unit/pos/ite1.hs, 0.6529, True
Tests/Unit/pos/ite.hs, 0.6557, True
Tests/Unit/pos/invlhs.hs, 0.6383, True
Tests/Unit/pos/inline1.hs, 0.6311, True
Tests/Unit/pos/inline.hs, 0.8051, True
Tests/Unit/pos/initarray.hs, 1.4991, True
Tests/Unit/pos/infix.hs, 0.7096, True
Tests/Unit/pos/implies.hs, 0.6287, True
Tests/Unit/pos/imp0.hs, 0.7208, True
Tests/Unit/pos/hole-fun.hs, 0.6549, True
Tests/Unit/pos/hole-app.hs, 0.6449, True
Tests/Unit/pos/hello.hs, 0.6410, True
Tests/Unit/pos/grty3.hs, 0.6295, True
Tests/Unit/pos/grty2.hs, 0.6927, True
Tests/Unit/pos/grty1.hs, 0.6381, True
Tests/Unit/pos/grty0.hs, 0.6238, True
Tests/Unit/pos/go_ugly_type.hs, 0.7243, True
Tests/Unit/pos/go.hs, 0.7768, True
Tests/Unit/pos/gimme.hs, 0.7655, True
Tests/Unit/pos/gadtEval.hs, 1.6176, True
Tests/Unit/pos/forloop.hs, 1.0237, True
Tests/Unit/pos/for.hs, 1.0686, True
Tests/Unit/pos/foldr.hs, 0.7051, True
Tests/Unit/pos/foldN.hs, 0.6757, True
Tests/Unit/pos/filterAbs.hs, 1.2214, True
Tests/Unit/pos/failName.hs, 0.6179, True
Tests/Unit/pos/extype.hs, 0.6659, True
Tests/Unit/pos/exp0.hs, 0.7114, True
Tests/Unit/pos/ex1.hs, 0.8494, True
Tests/Unit/pos/ex01.hs, 0.6249, True
Tests/Unit/pos/ex0.hs, 0.7789, True
Tests/Unit/pos/eqelems.hs, 0.6611, True
Tests/Unit/pos/elems.hs, 0.6799, True
Tests/Unit/pos/elements.hs, 1.3129, True
Tests/Unit/pos/duplicate-bind.hs, 0.7098, True
Tests/Unit/pos/div000.hs, 0.6249, True
Tests/Unit/pos/deptupW.hs, 0.8467, True
Tests/Unit/pos/deptup3.hs, 0.7895, True
Tests/Unit/pos/deptup1.hs, 1.0102, True
Tests/Unit/pos/deptup0.hs, 0.8587, True
Tests/Unit/pos/deptup.hs, 1.6030, True
Tests/Unit/pos/deppair1.hs, 0.7510, True
Tests/Unit/pos/deppair0.hs, 0.8328, True
Tests/Unit/pos/deepmeas0.hs, 0.7777, True
Tests/Unit/pos/datacon1.hs, 0.6154, True
Tests/Unit/pos/datacon0.hs, 0.9210, True
Tests/Unit/pos/datacon-inv.hs, 0.6117, True
Tests/Unit/pos/dataConQuals.hs, 0.6474, True
Tests/Unit/pos/data2.hs, 0.9619, True
Tests/Unit/pos/csgordon_issue_296.hs, 0.6180, True
Tests/Unit/pos/coretologic.hs, 0.7002, True
Tests/Unit/pos/contra0.hs, 0.8247, True
Tests/Unit/pos/comprehensionTerm.hs, 1.3180, True
Tests/Unit/pos/compare2.hs, 0.7210, True
Tests/Unit/pos/compare1.hs, 0.7620, True
Tests/Unit/pos/compare.hs, 0.7225, True
Tests/Unit/pos/cmptag0.hs, 0.7786, True
Tests/Unit/pos/case-lambda-join.hs, 0.9038, True
Tests/Unit/pos/bounds1.hs, 0.6164, True
Tests/Unit/pos/bar.hs, 0.6213, True
Tests/Unit/pos/bangPatterns.hs, 0.6589, True
Tests/Unit/pos/anish1.hs, 0.6387, True
Tests/Unit/pos/anftest.hs, 0.6955, True
Tests/Unit/pos/anfbug.hs, 0.8348, True
Tests/Unit/pos/alphaconvert-Set.hs, 1.1622, True
Tests/Unit/pos/alphaconvert-List.hs, 1.5964, True
Tests/Unit/pos/alias01.hs, 0.6455, True
Tests/Unit/pos/alias00.hs, 0.6420, True
Tests/Unit/pos/adt0.hs, 0.6559, True
Tests/Unit/pos/absref-crash0.hs, 0.6630, True
Tests/Unit/pos/absref-crash.hs, 0.6238, True
Tests/Unit/pos/WBL0.hs, 2.0855, True
Tests/Unit/pos/WBL.hs, 2.0227, True
Tests/Unit/pos/Variance.hs, 0.6546, True
Tests/Unit/pos/TypeAlias.hs, 0.6327, True
Tests/Unit/pos/ToyMVar.hs, 1.1311, True
Tests/Unit/pos/TopLevel.hs, 0.6577, True
Tests/Unit/pos/TokenType.hs, 0.6121, True
Tests/Unit/pos/Test761.hs, 0.7099, True
Tests/Unit/pos/TerminationNum0.hs, 0.7062, True
Tests/Unit/pos/TerminationNum.hs, 0.6532, True
Tests/Unit/pos/Termination.lhs, 0.8601, True
Tests/Unit/pos/Term.hs, 0.7440, True
Tests/Unit/pos/T531.hs, 0.6056, True
Tests/Unit/pos/Sum.hs, 0.7425, True
Tests/Unit/pos/StructRec.hs, 0.7049, True
Tests/Unit/pos/Strings.hs, 0.7271, True
Tests/Unit/pos/StringLit.hs, 0.6181, True
Tests/Unit/pos/StrictPair1.hs, 1.1427, True
Tests/Unit/pos/StrictPair0.hs, 0.7057, True
Tests/Unit/pos/StreamInvariants.hs, 0.6387, True
Tests/Unit/pos/StateF00.hs, 0.7883, True
Tests/Unit/pos/StateConstraints00.hs, 0.7317, True
Tests/Unit/pos/StateConstraints0.hs, 10.6018, True
Tests/Unit/pos/StateConstraints.hs, 6.1348, True
Tests/Unit/pos/State1.hs, 0.7849, True
Tests/Unit/pos/State.hs, 0.9808, True
Tests/Unit/pos/StackClass.hs, 0.6969, True
Tests/Unit/pos/Solver.hs, 1.6393, True
Tests/Unit/pos/SimplerNotation.hs, 0.6189, True
Tests/Unit/pos/SafePartialFunctions.hs, 0.6790, True
Tests/Unit/pos/ResolvePred.hs, 0.6584, True
Tests/Unit/pos/ResolveB.hs, 0.6033, True
Tests/Unit/pos/ResolveA.hs, 0.6191, True
Tests/Unit/pos/Resolve.hs, 0.6527, True
Tests/Unit/pos/Repeat.hs, 0.7135, True
Tests/Unit/pos/RelativeComplete.hs, 0.7290, True
Tests/Unit/pos/RecordSelectorError.hs, 0.6452, True
Tests/Unit/pos/RecSelector.hs, 0.6381, True
Tests/Unit/pos/RecQSort0.hs, 1.0274, True
Tests/Unit/pos/RecQSort.hs, 1.0288, True
Tests/Unit/pos/RBTree.hs, 1.1877, True
Tests/Unit/pos/RBTree-ord.hs, 11.7836, True
Tests/Unit/pos/RBTree-height.hs, 4.8630, True
Tests/Unit/pos/RBTree-color.hs, 5.1764, True
Tests/Unit/pos/RBTree-col-height.hs, 7.1738, True
Tests/Unit/pos/Propability.hs, 0.7698, True
Tests/Unit/pos/Product.hs, 1.1103, True
Tests/Unit/pos/PointDist.hs, 0.8723, True
Tests/Unit/pos/PlugHoles.hs, 0.6230, True
Tests/Unit/pos/Permutation.hs, 2.6700, True
Tests/Unit/pos/PairMeasure0.hs, 0.6847, True
Tests/Unit/pos/PairMeasure.hs, 0.6717, True
Tests/Unit/pos/Overwrite.hs, 0.6534, True
Tests/Unit/pos/OrdList.hs, 24.4843, True
Tests/Unit/pos/NoExhaustiveGuardsError.hs, 0.6553, True
Tests/Unit/pos/NoCaseExpand.hs, 1.3147, True
Tests/Unit/pos/MutualRec.hs, 3.2186, True
Tests/Unit/pos/Moo.hs, 0.6305, True
Tests/Unit/pos/Mod2.hs, 0.6294, True
Tests/Unit/pos/Mod1.hs, 0.6258, True
Tests/Unit/pos/Merge1.hs, 0.8727, True
Tests/Unit/pos/Measures1.hs, 0.6163, True
Tests/Unit/pos/Measures.hs, 0.6165, True
Tests/Unit/pos/MeasureSets.hs, 0.6596, True
Tests/Unit/pos/MeasureDups.hs, 0.7627, True
Tests/Unit/pos/MeasureContains.hs, 0.7805, True
Tests/Unit/pos/Map2.hs, 33.2469, True
Tests/Unit/pos/Map0.hs, 32.5621, True
Tests/Unit/pos/Map.hs, 31.2184, True
Tests/Unit/pos/Loo.hs, 0.6361, True
Tests/Unit/pos/LocalTermExpr.hs, 0.8342, True
Tests/Unit/pos/LocalSpecImp.hs, 0.6279, True
Tests/Unit/pos/LocalSpec0.hs, 0.6256, True
Tests/Unit/pos/LocalSpec.hs, 0.7039, True
Tests/Unit/pos/LocalLazy.hs, 0.7090, True
Tests/Unit/pos/LocalHole.hs, 0.7328, True
Tests/Unit/pos/ListSort.hs, 4.2771, True
Tests/Unit/pos/ListReverse-LType.hs, 0.7421, True
Tests/Unit/pos/ListRange.hs, 0.9449, True
Tests/Unit/pos/ListRange-LType.hs, 0.9295, True
Tests/Unit/pos/ListQSort.hs, 2.1727, True
Tests/Unit/pos/ListQSort-LType.hs, 1.8059, True
Tests/Unit/pos/ListMSort.hs, 3.1264, True
Tests/Unit/pos/ListMSort-LType.hs, 6.2450, True
Tests/Unit/pos/ListLen.hs, 1.8931, True
Tests/Unit/pos/ListLen-LType.hs, 1.7393, True
Tests/Unit/pos/ListKeys.hs, 0.7089, True
Tests/Unit/pos/ListISort.hs, 0.9018, True
Tests/Unit/pos/ListISort-LType.hs, 1.8062, True
Tests/Unit/pos/ListElem.hs, 0.7117, True
Tests/Unit/pos/ListConcat.hs, 0.6885, True
Tests/Unit/pos/LiquidClass.hs, 0.6483, True
Tests/Unit/pos/LiquidArray.hs, 0.6543, True
Tests/Unit/pos/LazyWhere1.hs, 0.7028, True
Tests/Unit/pos/LazyWhere.hs, 0.6806, True
Tests/Unit/pos/LambdaEvalTiny.hs, 1.7477, True
Tests/Unit/pos/LambdaEvalSuperTiny.hs, 1.5391, True
Tests/Unit/pos/LambdaEvalMini.hs, 4.3586, True
Tests/Unit/pos/LambdaEval.hs, 32.3677, True
Tests/Unit/pos/LambdaDeBruijn.hs, 2.2887, True
Tests/Unit/pos/Keys.hs, 0.6825, True
Tests/Unit/pos/Invariants.hs, 0.8239, True
Tests/Unit/pos/Infinity.hs, 0.8024, True
Tests/Unit/pos/IcfpDemo.hs, 1.0021, True
Tests/Unit/pos/Holes.hs, 0.8255, True
Tests/Unit/pos/HigherOrderRecFun.hs, 0.6395, True
Tests/Unit/pos/HedgeUnion.hs, 0.8400, True
Tests/Unit/pos/HaskellMeasure.hs, 0.6570, True
Tests/Unit/pos/HasElem.hs, 0.6693, True
Tests/Unit/pos/Graph.hs, 1.2092, True
Tests/Unit/pos/Goo.hs, 0.6176, True
Tests/Unit/pos/GhcSort3.hs, 4.2696, True
Tests/Unit/pos/GhcSort3.T.hs, 1.9890, True
Tests/Unit/pos/GhcSort2.hs, 2.2262, True
Tests/Unit/pos/GhcSort1.hs, 4.8046, True
Tests/Unit/pos/GhcListSort.hs, 9.5133, True
Tests/Unit/pos/GeneralizedTermination.hs, 0.9109, True
Tests/Unit/pos/GCD.hs, 1.1196, True
Tests/Unit/pos/GADTs.hs, 0.6440, True
Tests/Unit/pos/Fractional.hs, 0.6282, True
Tests/Unit/pos/Foo.hs, 0.6133, True
Tests/Unit/pos/FFI.hs, 0.7861, True
Tests/Unit/pos/Even0.hs, 0.6770, True
Tests/Unit/pos/Even.hs, 0.6251, True
Tests/Unit/pos/Eval.hs, 0.8420, True
Tests/Unit/pos/DataBase.hs, 0.7451, True
Tests/Unit/pos/DB00.hs, 0.6546, True
Tests/Unit/pos/ConstraintsAppend.hs, 1.6493, True
Tests/Unit/pos/Constraints.hs, 0.7968, True
Tests/Unit/pos/CompareConstraints.hs, 1.8129, True
Tests/Unit/pos/Coercion.hs, 0.6646, True
Tests/Unit/pos/ClassReg.hs, 0.6896, True
Tests/Unit/pos/Class2.hs, 0.6411, True
Tests/Unit/pos/Class.hs, 1.1971, True
Tests/Unit/pos/Books.hs, 0.7149, True
Tests/Unit/pos/BinarySearch.hs, 0.8505, True
Tests/Unit/pos/Bar.hs, 0.6157, True
Tests/Unit/pos/BST000.hs, 2.1865, True
Tests/Unit/pos/BST.hs, 13.9785, True
Tests/Unit/pos/Avg.hs, 0.6713, True
Tests/Unit/pos/AutoSize.hs, 0.6622, True
Tests/Unit/pos/AssumedRecursive.hs, 0.6085, True
Tests/Unit/pos/Assume.hs, 0.6650, True
Tests/Unit/pos/AmortizedQueue.hs, 0.9134, True
Tests/Unit/pos/Ackermann.hs, 0.8359, True
Tests/Unit/pos/Abs.hs, 0.6358, True
Tests/Unit/pos/AVLRJ.hs, 3.4068, True
Tests/Unit/pos/AVL.hs, 2.9307, True
Tests/Unit/neg/wrap1.hs, 1.1883, True
Tests/Unit/neg/wrap0.hs, 0.8617, True
Tests/Unit/neg/vector2.hs, 3.2065, True
Tests/Unit/neg/vector1a.hs, 1.7064, True
Tests/Unit/neg/vector0a.hs, 0.7873, True
Tests/Unit/neg/vector00.hs, 0.7794, True
Tests/Unit/neg/vector0.hs, 1.2484, True
Tests/Unit/neg/tyclass0-unsafe.hs, 0.6236, True
Tests/Unit/neg/truespec.hs, 0.6925, True
Tests/Unit/neg/trans.hs, 1.9328, True
Tests/Unit/neg/testRec.hs, 0.7851, True
Tests/Unit/neg/test2.hs, 0.7234, True
Tests/Unit/neg/test1.hs, 0.7318, True
Tests/Unit/neg/test00b.hs, 0.7290, True
Tests/Unit/neg/test00a.hs, 0.7036, True
Tests/Unit/neg/test00.hs, 0.7075, True
Tests/Unit/neg/sumk.hs, 0.6296, True
Tests/Unit/neg/sumPoly.hs, 0.7061, True
Tests/Unit/neg/string00.hs, 0.7307, True
Tests/Unit/neg/state00.hs, 0.7638, True
Tests/Unit/neg/state0.hs, 0.7177, True
Tests/Unit/neg/stacks.hs, 1.3623, True
Tests/Unit/neg/risers.hs, 0.8916, True
Tests/Unit/neg/revshape.hs, 0.6614, True
Tests/Unit/neg/record0.hs, 0.6574, True
Tests/Unit/neg/range.hs, 1.6592, True
Tests/Unit/neg/qsloop.hs, 0.9880, True
Tests/Unit/neg/prune0.hs, 0.7079, True
Tests/Unit/neg/pred.hs, 0.5115, True
Tests/Unit/neg/pragma0-unsafe.hs, 0.6197, True
Tests/Unit/neg/poslist.hs, 1.2325, True
Tests/Unit/neg/polypred.hs, 0.7090, True
Tests/Unit/neg/poly2.hs, 0.7483, True
Tests/Unit/neg/poly2-degenerate.hs, 0.7598, True
Tests/Unit/neg/poly1.hs, 0.7805, True
Tests/Unit/neg/poly0.hs, 0.8259, True
Tests/Unit/neg/partial.hs, 0.6610, True
Tests/Unit/neg/pargs1.hs, 0.6294, True
Tests/Unit/neg/pargs.hs, 0.6243, True
Tests/Unit/neg/pair0.hs, 2.6434, True
Tests/Unit/neg/pair.hs, 2.8141, True
Tests/Unit/neg/nestedRecursion.hs, 0.7058, True
Tests/Unit/neg/multi-pred-app-00.hs, 0.6224, True
Tests/Unit/neg/mr00.hs, 0.9460, True
Tests/Unit/neg/monad7.hs, 1.1474, True
Tests/Unit/neg/monad6.hs, 0.7662, True
Tests/Unit/neg/monad5.hs, 0.8838, True
Tests/Unit/neg/monad4.hs, 0.9844, True
Tests/Unit/neg/monad3.hs, 1.0061, True
Tests/Unit/neg/meas9.hs, 0.7148, True
Tests/Unit/neg/meas7.hs, 0.7138, True
Tests/Unit/neg/meas5.hs, 1.8093, True
Tests/Unit/neg/meas3.hs, 0.7615, True
Tests/Unit/neg/meas2.hs, 0.7292, True
Tests/Unit/neg/meas0.hs, 0.7399, True
Tests/Unit/neg/maps.hs, 0.8112, True
Tests/Unit/neg/mapreduce.hs, 3.2588, True
Tests/Unit/neg/mapreduce-tiny.hs, 0.8221, True
Tests/Unit/neg/lit.hs, 0.6228, True
Tests/Unit/neg/listne.hs, 0.6276, True
Tests/Unit/neg/list00.hs, 0.7194, True
Tests/Unit/neg/grty3.hs, 0.6622, True
Tests/Unit/neg/grty2.hs, 0.9272, True
Tests/Unit/neg/grty1.hs, 0.9455, True
Tests/Unit/neg/grty0.hs, 0.6398, True
Tests/Unit/neg/foldN1.hs, 0.6868, True
Tests/Unit/neg/foldN.hs, 0.6895, True
Tests/Unit/neg/filterAbs.hs, 1.3214, True
Tests/Unit/neg/ex1-unsafe.hs, 0.8078, True
Tests/Unit/neg/ex0-unsafe.hs, 0.8489, True
Tests/Unit/neg/errorloc.hs, 0.7153, True
Tests/Unit/neg/errmsg.hs, 0.7437, True
Tests/Unit/neg/deptupW.hs, 0.8565, True
Tests/Unit/neg/deppair0.hs, 0.8346, True
Tests/Unit/neg/datacon-eq.hs, 0.6186, True
Tests/Unit/neg/csv.hs, 4.4065, True
Tests/Unit/neg/coretologic.hs, 0.7099, True
Tests/Unit/neg/contra0.hs, 0.8291, True
Tests/Unit/neg/concat2.hs, 1.3767, True
Tests/Unit/neg/concat1.hs, 1.4352, True
Tests/Unit/neg/concat.hs, 1.2013, True
Tests/Unit/neg/ass0.hs, 0.6230, True
Tests/Unit/neg/alias00.hs, 0.6582, True
Tests/Unit/neg/Variance.hs, 0.6728, True
Tests/Unit/neg/TopLevel.hs, 0.6575, True
Tests/Unit/neg/TerminationNum0.hs, 0.7146, True
Tests/Unit/neg/TerminationNum.hs, 0.6565, True
Tests/Unit/neg/TermReal.hs, 0.6355, True
Tests/Unit/neg/Sum.hs, 0.7967, True
Tests/Unit/neg/Strings.hs, 0.6413, True
Tests/Unit/neg/StrictPair1.hs, 1.1230, True
Tests/Unit/neg/StrictPair0.hs, 0.6582, True
Tests/Unit/neg/StreamInvariants.hs, 0.6415, True
Tests/Unit/neg/Strata.hs, 0.6480, True
Tests/Unit/neg/StateConstraints00.hs, 0.7314, True
Tests/Unit/neg/StateConstraints0.hs, 19.7613, True
Tests/Unit/neg/StateConstraints.hs, 1.5463, True
Tests/Unit/neg/Solver.hs, 1.6449, True
Tests/Unit/neg/SafePartialFunctions.hs, 0.7296, True
Tests/Unit/neg/RecSelector.hs, 0.6460, True
Tests/Unit/neg/RecQSort.hs, 1.0872, True
Tests/Unit/neg/RG.hs, 1.1850, True
Tests/Unit/neg/Propability0.hs, 0.7407, True
Tests/Unit/neg/Propability.hs, 1.0773, True
Tests/Unit/neg/PairMeasure.hs, 0.6855, True
Tests/Unit/neg/NoMethodBindingError.hs, 0.6398, True
Tests/Unit/neg/NoExhaustiveGuardsError.hs, 0.6570, True
Tests/Unit/neg/MeasureDups.hs, 0.7975, True
Tests/Unit/neg/MeasureContains.hs, 0.7419, True
Tests/Unit/neg/LocalSpec.hs, 0.7000, True
Tests/Unit/neg/ListRange.hs, 0.8429, True
Tests/Unit/neg/ListQSort.hs, 1.4861, True
Tests/Unit/neg/ListMSort.hs, 3.5884, True
Tests/Unit/neg/ListKeys.hs, 0.7104, True
Tests/Unit/neg/ListISort.hs, 1.9621, True
Tests/Unit/neg/ListISort-LType.hs, 1.1196, True
Tests/Unit/neg/ListElem.hs, 0.7007, True
Tests/Unit/neg/ListConcat.hs, 0.7319, True
Tests/Unit/neg/LiquidClass1.hs, 0.6556, True
Tests/Unit/neg/LiquidClass.hs, 0.6682, True
Tests/Unit/neg/LazyWhere1.hs, 0.7173, True
Tests/Unit/neg/LazyWhere.hs, 0.6735, True
Tests/Unit/neg/HolesTop.hs, 0.6598, True
Tests/Unit/neg/HasElem.hs, 0.6750, True
Tests/Unit/neg/GeneralizedTermination.hs, 0.8209, True
Tests/Unit/neg/GADTs.hs, 0.6444, True
Tests/Unit/neg/FunSoundness.hs, 0.6269, True
Tests/Unit/neg/Even.hs, 0.6919, True
Tests/Unit/neg/Eval.hs, 0.9284, True
Tests/Unit/neg/ConstraintsAppend.hs, 1.6677, True
Tests/Unit/neg/Constraints.hs, 0.6995, True
Tests/Unit/neg/CompareConstraints.hs, 1.9683, True
Tests/Unit/neg/Class5.hs, 0.6323, True
Tests/Unit/neg/Class4.hs, 0.6715, True
Tests/Unit/neg/Class3.hs, 0.6967, True
Tests/Unit/neg/Class2.hs, 0.7478, True
Tests/Unit/neg/Class1.hs, 0.9524, True
Tests/Unit/neg/CastedTotality.hs, 0.7276, True
Tests/Unit/neg/Books.hs, 0.7425, True
Tests/Unit/neg/BigNum.hs, 0.6322, True
Tests/Unit/neg/Baz.hs, 0.6695, True
Tests/Unit/neg/AutoSize.hs, 0.6396, True
Tests/Unit/neg/Ast.hs, 0.7076, True
Tests/Unit/neg/AbsApp.hs, 0.6378, True
Tests/Unit/crash/typeAliasDup.hs, 0.5967, True
Tests/Unit/crash/num-float-error1.hs, 0.5486, True
Tests/Unit/crash/num-float-error.hs, 0.5533, True
Tests/Unit/crash/hole-crash3.hs, 0.5338, True
Tests/Unit/crash/hole-crash2.hs, 0.5104, True
Tests/Unit/crash/hole-crash1.hs, 0.5612, True
Tests/Unit/crash/funref.hs, 0.5522, True
Tests/Unit/crash/Unbound.hs, 0.5444, True
Tests/Unit/crash/RClass.hs, 0.5662, True
Tests/Unit/crash/Qualif.hs, 0.5601, True
Tests/Unit/crash/MultipleRecordSelectors.hs, 0.5707, True
Tests/Unit/crash/Mismatch.hs, 0.5568, True
Tests/Unit/crash/LocalTermExpr.hs, 0.5588, True
Tests/Unit/crash/LocalHole.hs, 0.5621, True
Tests/Unit/crash/HaskellMeasure.hs, 0.5227, True
Tests/Unit/crash/FunRef2.hs, 0.5444, True
Tests/Unit/crash/FunRef1.hs, 0.5414, True
Tests/Unit/crash/CyclicTypeAlias3.hs, 0.4767, True
Tests/Unit/crash/CyclicTypeAlias2.hs, 0.4672, True
Tests/Unit/crash/CyclicTypeAlias1.hs, 0.4700, True
Tests/Unit/crash/CyclicTypeAlias0.hs, 0.4719, True
Tests/Unit/crash/CyclicPredAlias3.hs, 0.4738, True
Tests/Unit/crash/CyclicPredAlias2.hs, 0.4860, True
Tests/Unit/crash/CyclicPredAlias1.hs, 0.4835, True
Tests/Unit/crash/CyclicPredAlias0.hs, 0.4725, True
Tests/Unit/crash/CyclicExprAlias3.hs, 0.4894, True
Tests/Unit/crash/CyclicExprAlias2.hs, 0.0404, True
Tests/Unit/crash/CyclicExprAlias1.hs, 0.4842, True
Tests/Unit/crash/CyclicExprAlias0.hs, 0.4747, True
Tests/Unit/crash/BadSyn4.hs, 0.5214, True
Tests/Unit/crash/BadSyn3.hs, 0.5169, True
Tests/Unit/crash/BadSyn2.hs, 0.5202, True
Tests/Unit/crash/BadSyn1.hs, 0.5172, True
Tests/Unit/crash/BadExprArg.hs, 0.5451, True
Tests/Unit/crash/Ast.hs, 0.5860, True
Tests/Unit/crash/Assume1.hs, 0.5525, True
Tests/Unit/crash/Assume.hs, 0.5459, True
Tests/Unit/crash/AbsRef.hs, 0.5466, True
Tests/Unit/parser/pos/TokensAsPrefixes.hs, 0.6134, True
Tests/Unit/parser/pos/Parens.hs, 0.6194, True
Tests/Unit/error/crash/TerminationExpr1.hs, 0.5513, True
Tests/Unit/error/crash/TerminationExpr.hs, 0.5526, True
Tests/Unit/eq_pos/MapFusion.hs, 54.6583, True
Tests/Unit/eq_pos/MapAppend.hs, 27.8991, True
Tests/Unit/eq_pos/Equational.hs, 0.9012, True
Tests/Unit/eq_pos/Arrow.hs, 0.6104, True
Tests/Unit/eq_pos/AppendVerbose.hs, 4.1962, True
Tests/Unit/eq_pos/AppendAxiom.hs, 0.9678, True
Tests/Unit/eq_pos/AppendArrow.hs, 33.6866, True
Tests/Unit/eq_neg/Append.hs, 3.1221, True
Tests/Benchmarks/text/Setup.lhs, 0.6887, True
Tests/Benchmarks/text/Data/Text.hs, 204.6008, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 5.8628, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 3.6332, True
Tests/Benchmarks/text/Data/Text/Search.hs, 30.9532, True
Tests/Benchmarks/text/Data/Text/Private.hs, 2.4510, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 164.1941, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 5.7515, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 64.8735, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 4.1974, True
Tests/Benchmarks/text/Data/Text/Encoding.hs, 514.0648, True
Tests/Benchmarks/text/Data/Text/Array.hs, 2.4596, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 173.4019, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 3.4488, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 15.7254, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 10.5101, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 23.2054, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 3.5643, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 412.1480, True
Tests/Benchmarks/bytestring/Data/ByteString.T.hs, 534.2212, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 3.0378, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 176.3245, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 10530.6624, False
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 14.6111, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 31.6711, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 42.6793, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 18.7262, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 1.9024, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 34.5882, True
Tests/Benchmarks/esop/Toy.hs, 1.9092, True
Tests/Benchmarks/esop/Splay.hs, 15.3720, True
Tests/Benchmarks/esop/ListSort.hs, 4.2936, True
Tests/Benchmarks/esop/GhcListSort.hs, 7.8943, True
Tests/Benchmarks/esop/Fib.hs, 7.0093, True
Tests/Benchmarks/esop/Base.hs, 324.9209, True
Tests/Benchmarks/esop/Array.hs, 10.4236, True
Tests/Benchmarks/vect-algs/Setup.lhs, 0.6862, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.0550, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 10.2802, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 9.9385, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 13.7506, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 20.7839, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 3238.9121, False
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 1.8995, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 110.4684, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.1698, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 0.6815, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 17.0425, True
Tests/Benchmarks/hscolour/Setup.hs, 0.6793, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour.hs, 12.2633, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/TTY.hs, 1.1745, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Output.hs, 1.0428, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Options.hs, 0.8429, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/MIRC.hs, 4.7418, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/LaTeX.hs, 46.4895, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/InlineCSS.hs, 2.2245, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/HTML.hs, 11.3402, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/General.hs, 0.7547, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Colourise.hs, 7.1973, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ColourHighlight.hs, 640.6673, False
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Classify.hs, 257.2642, False
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/CSS.hs, 2.1552, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Anchors.hs, 94.9321, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ANSI.hs, 3.8072, True
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ACSS.hs, 33.0144, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 1.8668, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 0.8066, True
Tests/Benchmarks/icfp_pos/TwiceM.hs, 6.3610, True
Tests/Benchmarks/icfp_pos/TestM.hs, 0.7767, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 17.3018, True
Tests/Benchmarks/icfp_pos/RIO.hs, 106.5413, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 0.7268, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 6.7057, True
Tests/Benchmarks/icfp_pos/Incr.hs, 1.5698, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 8.3506, True
Tests/Benchmarks/icfp_pos/IfM.hs, 9.3254, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 2.1282, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 5.3829, True
Tests/Benchmarks/icfp_pos/FindRec.hs, 17.9249, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.1750, True
Tests/Benchmarks/icfp_pos/DataBase.hs, 12.6351, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 8.0004, True
Tests/Benchmarks/icfp_pos/CopyRec.hs, 28.4449, True
Tests/Benchmarks/icfp_pos/Composition.hs, 1.0085, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.9073, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.2517, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 1.5284, True
Tests/Benchmarks/icfp_neg/TwiceM.hs, 32.1259, True
Tests/Benchmarks/icfp_neg/TestM.hs, 0.7876, True
Tests/Benchmarks/icfp_neg/Records.hs, 0.8669, True
Tests/Benchmarks/icfp_neg/IfM.hs, 10.0681, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 6.9964, True
Tests/Benchmarks/icfp_neg/Composition.hs, 0.9952, True