liquidhaskell-0.8.10.7: tests/logs/summary-pAnd.csv
(HEAD -> pAnd, origin/pAnd) : 1273e087a14a866bb3fc99449359c952e882d80e Timestamp: 2021-07-26 21:18:57 -0700 Epoch Timestamp: 1627359537 -------------------------------------------------------------------------------- test, time(s), result Tests/Micro/parser-pos/Tuples.hs, 5.8031, True Tests/Micro/parser-pos/TokensAsPrefixes.hs, 1.6970, True Tests/Micro/parser-pos/T892.hs, 1.6711, True Tests/Micro/parser-pos/T884.hs, 1.7048, True Tests/Micro/parser-pos/T873.hs, 1.7285, True Tests/Micro/parser-pos/T871.hs, 1.7343, True Tests/Micro/parser-pos/T338.hs, 1.7028, True Tests/Micro/parser-pos/T1531.hs, 1.7011, True Tests/Micro/parser-pos/T1481.hs, 1.7137, True Tests/Micro/parser-pos/T1012.hs, 1.7367, True Tests/Micro/parser-pos/ReflectedInfix.hs, 1.7486, True Tests/Micro/parser-pos/Parens.hs, 1.7371, True Tests/Micro/parser-pos/NestedTuples.hs, 1.7491, True Tests/Micro/basic-pos/SkipDerived00.hs, 1.6712, True Tests/Micro/basic-pos/poly00.hs, 1.6891, True Tests/Micro/basic-pos/List00.hs, 1.6725, True Tests/Micro/basic-pos/infer00.hs, 1.6735, True Tests/Micro/basic-pos/inc04.hs, 1.6609, True Tests/Micro/basic-pos/Inc03Lib.hs, 1.6741, True Tests/Micro/basic-pos/inc03.hs, 1.8133, True Tests/Micro/basic-pos/inc02.hs, 1.7042, True Tests/Micro/basic-pos/inc01q.hs, 1.8480, True Tests/Micro/basic-pos/inc01.hs, 1.7554, True Tests/Micro/basic-pos/inc00.hs, 1.6389, True Tests/Micro/basic-pos/Float.hs, 1.6843, True Tests/Micro/basic-pos/alias05.hs, 1.7058, True Tests/Micro/basic-pos/alias04.hs, 1.6616, True Tests/Micro/basic-pos/alias03.hs, 1.6341, True Tests/Micro/basic-pos/alias02.hs, 1.6336, True Tests/Micro/basic-pos/alias01.hs, 1.6084, True Tests/Micro/basic-pos/alias00.hs, 1.6216, True Tests/Micro/basic-neg/T1459.hs, 1.5343, True Tests/Micro/basic-neg/poly00.hs, 1.4061, True Tests/Micro/basic-neg/List00.hs, 1.3990, True Tests/Micro/basic-neg/Inc04Lib.hs, 1.4035, True Tests/Micro/basic-neg/Inc04.hs, 1.4103, True Tests/Micro/basic-neg/inc03.hs, 1.4087, True Tests/Micro/basic-neg/inc02.hs, 1.4163, True Tests/Micro/basic-neg/inc01q.hs, 1.4167, True Tests/Micro/basic-neg/inc01.hs, 1.4486, True Tests/Micro/measure-pos/Using00.hs, 1.6620, True Tests/Micro/measure-pos/RecordAccessors.hs, 1.6449, True Tests/Micro/measure-pos/PruneHO.hs, 1.6611, True Tests/Micro/measure-pos/Ple1Lib.hs, 1.6762, True Tests/Micro/measure-pos/ple1.hs, 1.7743, True Tests/Micro/measure-pos/ple01.hs, 1.6738, True Tests/Micro/measure-pos/ple00.hs, 1.6558, True Tests/Micro/measure-pos/List02Lib.hs, 1.6635, True Tests/Micro/measure-pos/List02.hs, 1.7327, True Tests/Micro/measure-pos/List01.hs, 1.6493, True Tests/Micro/measure-pos/List00Lib.hs, 1.6708, True Tests/Micro/measure-pos/List00.hs, 1.7420, True Tests/Micro/measure-pos/Len02.hs, 1.7845, True Tests/Micro/measure-pos/Len01.hs, 1.6653, True Tests/Micro/measure-pos/Len00.hs, 1.6729, True Tests/Micro/measure-pos/HiddenDataLib.hs, 1.6743, True Tests/Micro/measure-pos/HiddenData.hs, 1.7219, True Tests/Micro/measure-pos/GList00Lib.hs, 1.6480, True Tests/Micro/measure-pos/GList000.hs, 1.6408, True Tests/Micro/measure-pos/fst02.hs, 1.6426, True Tests/Micro/measure-pos/fst01.hs, 1.6950, True Tests/Micro/measure-pos/fst00.hs, 1.6571, True Tests/Micro/measure-pos/ExactFunApp.hs, 1.6744, True Tests/Micro/measure-pos/bag.hs, 1.7401, True Tests/Micro/measure-pos/AbsMeasure.hs, 1.6154, True Tests/Micro/measure-neg/Using00.hs, 1.4160, True Tests/Micro/measure-neg/Ple1Lib.hs, 1.4322, True Tests/Micro/measure-neg/ple1.hs, 1.4443, True Tests/Micro/measure-neg/ple0.hs, 1.4374, True Tests/Micro/measure-neg/List02.hs, 1.4164, True Tests/Micro/measure-neg/List01.hs, 1.4132, True Tests/Micro/measure-neg/List00.hs, 1.4202, True Tests/Micro/measure-neg/Len01.hs, 1.4119, True Tests/Micro/measure-neg/Len00.hs, 1.4388, True Tests/Micro/measure-neg/GList00Lib.hs, 1.4217, True Tests/Micro/measure-neg/fst02.hs, 1.3777, True Tests/Micro/measure-neg/fst01.hs, 1.4298, True Tests/Micro/measure-neg/fst00.hs, 1.4381, True Tests/Micro/measure-neg/bag.hs, 1.5663, True Tests/Micro/datacon-pos/T1777.hs, 1.6982, True Tests/Micro/datacon-pos/T1477.hs, 1.7038, True Tests/Micro/datacon-pos/T1476.hs, 1.8168, True Tests/Micro/datacon-pos/T1473B.hs, 1.8216, True Tests/Micro/datacon-pos/T1473A.hs, 1.8002, True Tests/Micro/datacon-pos/T1446.hs, 1.7831, True Tests/Micro/datacon-pos/NewType.hs, 1.6745, True Tests/Micro/datacon-pos/Date.hs, 1.8663, True Tests/Micro/datacon-pos/Data02Lib.hs, 1.6600, True Tests/Micro/datacon-pos/Data02.hs, 1.7657, True Tests/Micro/datacon-pos/Data01.hs, 1.6380, True Tests/Micro/datacon-pos/Data00Lib.hs, 1.6258, True Tests/Micro/datacon-pos/Data00.hs, 1.7594, True Tests/Micro/datacon-pos/AdtPeano2.hs, 1.6376, True Tests/Micro/datacon-neg/NewTypes0.hs, 1.3945, True Tests/Micro/datacon-neg/NewTypes.hs, 1.4322, True Tests/Micro/datacon-neg/Date.hs, 1.6258, True Tests/Micro/datacon-neg/Data02Lib.hs, 1.4049, True Tests/Micro/datacon-neg/Data02.hs, 1.4198, True Tests/Micro/datacon-neg/Data01.hs, 1.4000, True Tests/Micro/datacon-neg/Data00Lib.hs, 1.4289, True Tests/Micro/datacon-neg/Data00.hs, 1.4110, True Tests/Micro/datacon-neg/AdtPeano2.hs, 1.3938, True Tests/Micro/names-pos/vector1.hs, 2.1547, True Tests/Micro/names-pos/vector04.hs, 1.7135, True Tests/Micro/names-pos/vector0.hs, 2.1281, True Tests/Micro/names-pos/Uniques.hs, 1.8457, True Tests/Micro/names-pos/T675.hs, 1.9244, True Tests/Micro/names-pos/T1521.hs, 1.6515, True Tests/Micro/names-pos/Shadow01.hs, 1.6279, True Tests/Micro/names-pos/Shadow00.hs, 1.7551, True Tests/Micro/names-pos/Set02.hs, 1.6837, True Tests/Micro/names-pos/Set01.hs, 1.6700, True Tests/Micro/names-pos/Set00.hs, 1.6727, True Tests/Micro/names-pos/Ord.hs, 1.6404, True Tests/Micro/names-pos/LocalSpec.hs, 1.6783, True Tests/Micro/names-pos/local03.hs, 1.6529, True Tests/Micro/names-pos/local02.hs, 1.6487, True Tests/Micro/names-pos/local01.hs, 1.6541, True Tests/Micro/names-pos/local00.hs, 1.6582, True Tests/Micro/names-pos/List00.hs, 1.6607, True Tests/Micro/names-pos/HidePrelude.hs, 1.5623, True Tests/Micro/names-pos/HideName00.hs, 1.6409, True Tests/Micro/names-pos/ClojurVector.hs, 1.9778, True Tests/Micro/names-pos/Capture02.hs, 1.6523, True Tests/Micro/names-pos/Capture01.hs, 1.6464, True Tests/Micro/names-pos/BasicLambdas01.hs, 1.6704, True Tests/Micro/names-pos/BasicLambdas00.hs, 1.6574, True Tests/Micro/names-pos/Assume01.hs, 1.6810, True Tests/Micro/names-pos/Assume00.hs, 1.6571, True Tests/Micro/names-pos/Alias00.hs, 1.6564, True Tests/Micro/names-neg/vector1.hs, 1.8840, True Tests/Micro/names-neg/vector0.hs, 1.6537, True Tests/Micro/names-neg/T1078.hs, 1.5736, True Tests/Micro/names-neg/Set02.hs, 1.4367, True Tests/Micro/names-neg/Set01.hs, 1.4056, True Tests/Micro/names-neg/Set00.hs, 1.4890, True Tests/Micro/names-neg/local00.hs, 1.5228, True Tests/Micro/names-neg/Capture01.hs, 1.5756, True Tests/Micro/names-neg/Assume00.hs, 1.4296, True Tests/Micro/reflect-pos/ReflString1.hs, 1.6568, True Tests/Micro/reflect-pos/ReflString0.hs, 1.6422, True Tests/Micro/reflect-pos/DoubleLit.hs, 1.6676, True Tests/Micro/reflect-neg/ReflString1.hs, 1.4091, True Tests/Micro/reflect-neg/ReflString0.hs, 1.3920, True Tests/Micro/reflect-neg/DoubleLit.hs, 1.4027, True Tests/Micro/absref-pos/VectorLoop.hs, 1.8887, True Tests/Micro/absref-pos/state00.hs, 1.6897, True Tests/Micro/absref-pos/Papp00.hs, 1.6898, True Tests/Micro/absref-pos/ListQSort.hs, 2.4026, True Tests/Micro/absref-pos/ListISort.hs, 1.7225, True Tests/Micro/absref-pos/ListISort-LType.hs, 2.6608, True Tests/Micro/absref-pos/FlipArgs.hs, 1.8766, True Tests/Micro/absref-pos/deptupW.hs, 1.6901, True Tests/Micro/absref-pos/deptup0.hs, 1.7896, True Tests/Micro/absref-pos/deppair2.hs, 1.6913, True Tests/Micro/absref-pos/deppair0.hs, 1.7304, True Tests/Micro/absref-pos/AbsRef00.hs, 1.6408, True Tests/Micro/absref-neg/ListQSort.hs, 1.8383, True Tests/Micro/absref-neg/ListISort.hs, 2.0419, True Tests/Micro/absref-neg/ListISort-LType.hs, 1.6324, True Tests/Micro/absref-neg/FlipArgs.hs, 1.5860, True Tests/Micro/absref-neg/deptupW.hs, 1.5237, True Tests/Micro/absref-neg/deptup0.hs, 1.5283, True Tests/Micro/absref-neg/deppair0.hs, 1.4860, True Tests/Micro/import-cli/WrapClient.hs, 2.3778, True Tests/Micro/import-cli/T1738.hs, 1.9928, True Tests/Micro/import-cli/T1688.hs, 2.0837, True Tests/Micro/import-cli/T1180.hs, 2.0519, True Tests/Micro/import-cli/T1118.hs, 2.3964, True Tests/Micro/import-cli/T1117.hs, 2.1028, True Tests/Micro/import-cli/T1104Client.hs, 2.0175, True Tests/Micro/import-cli/T1096_Foo.hs, 1.9672, True Tests/Micro/import-cli/STClient.hs, 2.4831, True Tests/Micro/import-cli/RewriteClient.hs, 2.2934, True Tests/Micro/import-cli/ReflectClient8.hs, 2.0799, True Tests/Micro/import-cli/ReflectClient7.hs, 2.1095, True Tests/Micro/import-cli/ReflectClient6.hs, 2.1302, True Tests/Micro/import-cli/ReflectClient5.hs, 2.0901, True Tests/Micro/import-cli/ReflectClient4a.hs, 2.1697, True Tests/Micro/import-cli/ReflectClient4.hs, 2.1537, True Tests/Micro/import-cli/ReflectClient3.hs, 2.1095, True Tests/Micro/import-cli/ReflectClient2.hs, 2.0451, True Tests/Micro/import-cli/ReflectClient1.hs, 1.9343, True Tests/Micro/import-cli/ReflectClient0.hs, 1.9598, True Tests/Micro/import-cli/RC1015.hs, 2.0139, True Tests/Micro/import-cli/NameClashClient.hs, 1.9566, True Tests/Micro/import-cli/ListClient.hs, 2.1626, True Tests/Micro/import-cli/LiquidArrayNullTerm.hs, 2.2488, True Tests/Micro/import-cli/LiquidArrayInit.hs, 2.0784, True Tests/Micro/import-cli/LibRedBlue.hs, 2.3359, True Tests/Micro/import-cli/FunClashLibLibClient.hs, 2.3294, True Tests/Micro/import-cli/ExactGADT9.hs, 2.0808, True Tests/Micro/import-cli/CliRedBlue.hs, 2.0235, True Tests/Micro/import-cli/Client2.hs, 1.6068, True Tests/Micro/import-cli/Client1.hs, 1.7432, True Tests/Micro/import-cli/Client0.hs, 1.9075, True Tests/Micro/import-cli/CliAliasGen00.hs, 1.9382, True Tests/Micro/class-pos/TypeEquality01.hs, 1.7592, True Tests/Micro/class-pos/TypeEquality00.hs, 1.6408, True Tests/Micro/class-pos/STMonad.hs, 2.2487, True Tests/Micro/class-pos/RealProps1.hs, 1.7407, True Tests/Micro/class-pos/RealProps0.hs, 1.6387, True Tests/Micro/class-pos/Inst00.hs, 1.6591, True Tests/Micro/class-pos/HiddenMethod00.hs, 1.6129, True Tests/Micro/class-pos/Class00.hs, 1.6485, True Tests/Micro/class-neg/RealProps0.hs, 1.4090, True Tests/Micro/class-neg/Inst00.hs, 1.4485, True Tests/Micro/class-neg/Class01.hs, 1.3954, True Tests/Micro/class-neg/Class00.hs, 1.3950, True Tests/Micro/ple-pos/tmp1.hs, 1.7290, True Tests/Micro/ple-pos/tmp.hs, 1.9275, True Tests/Micro/ple-pos/T1424A.hs, 1.7722, True Tests/Micro/ple-pos/T1424.hs, 1.7552, True Tests/Micro/ple-pos/T1409.hs, 1.6935, True Tests/Micro/ple-pos/T1382.hs, 2.5146, True Tests/Micro/ple-pos/T1371_NNF.hs, 1.7868, True Tests/Micro/ple-pos/T1371.hs, 1.6548, True Tests/Micro/ple-pos/T1302b.hs, 2.1388, True Tests/Micro/ple-pos/T1289.hs, 1.7198, True Tests/Micro/ple-pos/T1257.hs, 1.7689, True Tests/Micro/ple-pos/T1190.hs, 1.9717, True Tests/Micro/ple-pos/T1173.hs, 1.7651, True Tests/Micro/ple-pos/StlcBug.hs, 1.7725, True Tests/Micro/ple-pos/STLCB1.hs, 4.5387, True Tests/Micro/ple-pos/STLCB0.hs, 3.3658, True Tests/Micro/ple-pos/STLC2.hs, 11.3889, True Tests/Micro/ple-pos/STLC1.hs, 7.0336, True Tests/Micro/ple-pos/STLC0.hs, 4.6836, True Tests/Micro/ple-pos/RosePLEDiv.hs, 1.9041, True Tests/Micro/ple-pos/RegexpDerivative.hs, 8.7271, True Tests/Micro/ple-pos/ReflectDefault.hs, 1.6876, True Tests/Micro/ple-pos/pleORM.hs, 1.8555, True Tests/Micro/ple-pos/ple_sum.hs, 1.6978, True Tests/Micro/ple-pos/ple0.hs, 1.6990, True Tests/Micro/ple-pos/padLeft.hs, 2.3212, True Tests/Micro/ple-pos/NNFPiotr.hs, 2.2359, True Tests/Micro/ple-pos/NegNormalForm.hs, 4.5680, True Tests/Micro/ple-pos/MossakaBug.hs, 1.7794, True Tests/Micro/ple-pos/MJFix.hs, 1.9419, True Tests/Micro/ple-pos/Lists.hs, 1.7846, True Tests/Micro/ple-pos/ListAnd.hs, 1.7103, True Tests/Micro/ple-pos/IndStarHole.hs, 1.7185, True Tests/Micro/ple-pos/IndStar.hs, 1.6982, True Tests/Micro/ple-pos/IndPerm.hs, 2.0688, True Tests/Micro/ple-pos/IndPalindrome.hs, 2.7206, True Tests/Micro/ple-pos/IndPal00.hs, 1.7575, True Tests/Micro/ple-pos/IndPal0.hs, 1.9666, True Tests/Micro/ple-pos/IndLast.hs, 1.8498, True Tests/Micro/ple-pos/Id.hs, 1.6991, True Tests/Micro/ple-pos/Fulcrum.hs, 3.4609, True Tests/Micro/ple-pos/filterPLE.hs, 1.7276, True Tests/Micro/ple-pos/ExactGADT7.hs, 1.7039, True Tests/Micro/ple-pos/ExactGADT5.hs, 2.0553, True Tests/Micro/ple-pos/ExactGADT4.hs, 1.8043, True Tests/Micro/ple-pos/Compiler.hs, 2.0694, True Tests/Micro/ple-pos/BinahUpdate.hs, 1.6859, True Tests/Micro/ple-pos/BinahQuery.hs, 2.6218, True Tests/Micro/ple-neg/T1424.hs, 1.4898, True Tests/Micro/ple-neg/T1409.hs, 1.4447, True Tests/Micro/ple-neg/T1371_Tick.hs, 1.4601, True Tests/Micro/ple-neg/T1289.hs, 1.4438, True Tests/Micro/ple-neg/T1192.hs, 1.6221, True Tests/Micro/ple-neg/T1173.hs, 1.4937, True Tests/Micro/ple-neg/ReflectDefault.hs, 1.4437, True Tests/Micro/ple-neg/ple_sum.hs, 1.4733, True Tests/Micro/ple-neg/ple0.hs, 1.4588, True Tests/Micro/ple-neg/ExactGADT5.hs, 1.7254, True Tests/Micro/ple-neg/BinahUpdateLib1.hs, 1.5409, True Tests/Micro/ple-neg/BinahUpdateLib.hs, 1.4983, True Tests/Micro/ple-neg/BinahUpdateClient.hs, 1.5189, True Tests/Micro/ple-neg/BinahUpdate.hs, 1.5213, True Tests/Micro/ple-neg/BinahQuery.hs, 2.3778, True Tests/Micro/rankN-pos/Test00.hs, 1.6614, True Tests/Micro/rankN-pos/Test0.hs, 1.7027, True Tests/Micro/rankN-pos/Test.hs, 1.6718, True Tests/Micro/terminate-pos/term00.hs, 1.6306, True Tests/Micro/terminate-pos/T1403.hs, 1.8254, True Tests/Micro/terminate-pos/T1396.1.hs, 1.6387, True Tests/Micro/terminate-pos/T1396.0.hs, 1.6280, True Tests/Micro/terminate-pos/T1245.hs, 1.7230, True Tests/Micro/terminate-pos/Sum.hs, 1.6482, True Tests/Micro/terminate-pos/StructSecondArg.hs, 1.6283, True Tests/Micro/terminate-pos/LocalTermExpr.hs, 1.7615, True Tests/Micro/terminate-pos/list05-local.hs, 1.6425, True Tests/Micro/terminate-pos/list04.hs, 1.6723, True Tests/Micro/terminate-pos/list04-local.hs, 1.6561, True Tests/Micro/terminate-pos/list03.hs, 1.6641, True Tests/Micro/terminate-pos/list02.hs, 1.6530, True Tests/Micro/terminate-pos/list01.hs, 1.6822, True Tests/Micro/terminate-pos/list00.hs, 1.6578, True Tests/Micro/terminate-pos/list00-str.hs, 1.6204, True Tests/Micro/terminate-pos/list00-local.hs, 1.6429, True Tests/Micro/terminate-pos/Lexicographic.hs, 1.8647, True Tests/Micro/terminate-pos/AutoTerm.hs, 1.6587, True Tests/Micro/terminate-pos/Ackermann.hs, 1.6516, True Tests/Micro/terminate-neg/total02.hs, 1.4040, True Tests/Micro/terminate-neg/total01.hs, 1.4065, True Tests/Micro/terminate-neg/total00.hs, 1.3817, True Tests/Micro/terminate-neg/testRec.hs, 1.3859, True Tests/Micro/terminate-neg/term00.hs, 1.3748, True Tests/Micro/terminate-neg/T745.hs, 1.3723, True Tests/Micro/terminate-neg/T1404.3.hs, 1.4612, True Tests/Micro/terminate-neg/T1404.2.hs, 1.4410, True Tests/Micro/terminate-neg/T1404.1.hs, 1.4069, True Tests/Micro/terminate-neg/T1404.0.hs, 1.4096, True Tests/Micro/terminate-neg/Sum.hs, 1.4460, True Tests/Micro/terminate-neg/Rename.hs, 1.3887, True Tests/Micro/terminate-neg/qsloop.hs, 1.6557, True Tests/Micro/terminate-neg/Even.hs, 1.4561, True Tests/Micro/terminate-neg/AutoTerm.hs, 1.4760, True Tests/Micro/pattern-pos/TemplateHaskellLib.hs, 2.9368, True Tests/Micro/pattern-pos/TemplateHaskell.hs, 2.4936, True Tests/Micro/pattern-pos/ReturnStrata00.hs, 1.6467, True Tests/Micro/pattern-pos/Return01.hs, 1.6407, True Tests/Micro/pattern-pos/Return00.hs, 1.6402, True Tests/Micro/pattern-pos/MultipleInvariants.hs, 1.6596, True Tests/Micro/pattern-pos/monad7.hs, 1.8183, True Tests/Micro/pattern-pos/monad1.hs, 1.6624, True Tests/Micro/pattern-pos/monad0.hs, 1.6291, True Tests/Micro/pattern-pos/Invariants.hs, 1.7133, True Tests/Micro/pattern-pos/contra0.hs, 1.7012, True Tests/Micro/pattern-pos/ANF.hs, 2.4559, True Tests/Micro/implicit-pos/ImplicitTrivial.hs, 1.6472, True Tests/Micro/implicit-pos/ImplicitDouble.hs, 1.6554, True Tests/Micro/implicit-pos/Implicit3.hs, 1.6418, True Tests/Micro/implicit-pos/Implicit1.hs, 1.6921, True Tests/Micro/implicit-neg/Implicit1.hs, 1.4239, True Tests/Micro/typeclass-pos/Semigroup.hs, 2.1476, True Tests/Micro/typeclass-pos/PNat.hs, 2.7419, True Tests/Micro/typeclass-pos/Lib.hs, 1.2883, True Tests/Micro/typeclass-pos/Lemma.hs, 1.9866, True Tests/Error-Messages/ReWrite8.hs, 1.3739, True Tests/Error-Messages/ReWrite7.hs, 1.3436, True Tests/Error-Messages/ReWrite6.hs, 1.3588, True Tests/Error-Messages/ReWrite5.hs, 1.3768, True Tests/Error-Messages/ShadowFieldInline.hs, 1.2905, True Tests/Error-Messages/ShadowFieldReflect.hs, 1.3138, True Tests/Error-Messages/MultiRecSels.hs, 1.3573, True Tests/Error-Messages/DupFunSigs.hs, 1.3562, True Tests/Error-Messages/DupMeasure.hs, 1.2729, True Tests/Error-Messages/ShadowMeasure.hs, 1.3011, True Tests/Error-Messages/DupData.hs, 1.3613, True Tests/Error-Messages/EmptyData.hs, 1.3904, True Tests/Error-Messages/BadGADT.hs, 1.3535, True Tests/Error-Messages/TerminationExprSort.hs, 1.3563, True Tests/Error-Messages/TerminationExprNum.hs, 1.3485, True Tests/Error-Messages/TerminationExprUnb.hs, 1.3853, True Tests/Error-Messages/UnboundVarInSpec.hs, 1.3451, True Tests/Error-Messages/UnboundVarInAssume.hs, 1.3324, True Tests/Error-Messages/UnboundCheckVar.hs, 1.3084, True Tests/Error-Messages/UnboundFunInSpec.hs, 1.3715, True Tests/Error-Messages/UnboundFunInSpec1.hs, 1.3575, True Tests/Error-Messages/UnboundFunInSpec2.hs, 1.3493, True Tests/Error-Messages/UnboundVarInLocSig.hs, 1.3286, True Tests/Error-Messages/UnboundVarInReflect.hs, 1.3531, True Tests/Error-Messages/Fractional.hs, 1.3339, True Tests/Error-Messages/T773.hs, 1.3527, True Tests/Error-Messages/T774.hs, 1.3350, True Tests/Error-Messages/T1498.hs, 1.3440, True Tests/Error-Messages/T1498A.hs, 1.3640, True Tests/Error-Messages/Inconsistent0.hs, 1.4118, True Tests/Error-Messages/Inconsistent1.hs, 1.3447, True Tests/Error-Messages/Inconsistent2.hs, 1.3421, True Tests/Error-Messages/BadAliasApp.hs, 1.3287, True Tests/Error-Messages/BadPragma0.hs, 1.2785, True Tests/Error-Messages/BadPragma1.hs, 1.2641, True Tests/Error-Messages/BadPragma2.hs, 1.2660, True Tests/Error-Messages/BadSyn1.hs, 1.3714, True Tests/Error-Messages/BadSyn2.hs, 1.4345, True Tests/Error-Messages/BadSyn3.hs, 1.3536, True Tests/Error-Messages/BadSyn4.hs, 1.3668, True Tests/Error-Messages/BadAnnotation.hs, 1.2806, True Tests/Error-Messages/BadAnnotation1.hs, 1.2671, True Tests/Error-Messages/CyclicExprAlias0.hs, 1.3110, True Tests/Error-Messages/CyclicExprAlias1.hs, 1.3055, True Tests/Error-Messages/CyclicExprAlias2.hs, 1.3284, True Tests/Error-Messages/CyclicExprAlias3.hs, 1.2999, True Tests/Error-Messages/DupAlias.hs, 1.3578, True Tests/Error-Messages/DupAlias.hs, 1.3487, True Tests/Error-Messages/BadData0.hs, 1.3077, True Tests/Error-Messages/BadDataConType.hs, 1.3566, True Tests/Error-Messages/BadDataConType1.hs, 1.3267, True Tests/Error-Messages/BadDataConType2.hs, 1.3278, True Tests/Error-Messages/LiftMeasureCase.hs, 1.3249, True Tests/Error-Messages/HigherOrderBinder.hs, 1.3388, True Tests/Error-Messages/HoleCrash1.hs, 1.3451, True Tests/Error-Messages/HoleCrash2.hs, 1.3382, True Tests/Error-Messages/HoleCrash3.hs, 1.3937, True Tests/Error-Messages/BadPredApp.hs, 1.3417, True Tests/Error-Messages/LocalHole.hs, 1.3589, True Tests/Error-Messages/UnboundAbsRef.hs, 1.3539, True Tests/Error-Messages/ParseClass.hs, 1.2818, True Tests/Error-Messages/ParseBind.hs, 1.2698, True Tests/Error-Messages/MultiInstMeasures.hs, 1.4194, True Tests/Error-Messages/BadDataDeclTyVars.hs, 1.4517, True Tests/Error-Messages/BadDataCon2.hs, 1.3252, True Tests/Error-Messages/BadSig0.hs, 1.3562, True Tests/Error-Messages/BadSig1.hs, 1.3830, True Tests/Error-Messages/BadData1.hs, 1.3437, True Tests/Error-Messages/BadData2.hs, 1.3067, True Tests/Error-Messages/T1140.hs, 1.3562, True Tests/Error-Messages/InlineSubExp0.hs, 1.4889, True Tests/Error-Messages/InlineSubExp1.hs, 1.4647, True Tests/Error-Messages/EmptySig.hs, 1.2896, True Tests/Error-Messages/MissingReflect.hs, 1.3941, True Tests/Error-Messages/MissingSizeFun.hs, 1.3398, True Tests/Error-Messages/MissingAssume.hs, 1.3100, True Tests/Error-Messages/HintMismatch.hs, 1.3394, True Tests/Error-Messages/ElabLocation.hs, 1.3759, True Tests/Error-Messages/ErrLocation.hs, 1.4099, True Tests/Error-Messages/ErrLocation2.hs, 1.3963, True Tests/Error-Messages/frog.hs, 1.3562, True Tests/Error-Messages/T1708.hs, 1.3957, True Tests/Error-Messages/SplitSubtype.hs, 1.3881, True Tests/Macro/unit-pos/zipW2.hs, 1.6244, True Tests/Macro/unit-pos/zipW1.hs, 1.6567, True Tests/Macro/unit-pos/zipW.hs, 1.6913, True Tests/Macro/unit-pos/zipSO.hs, 1.7706, True Tests/Macro/unit-pos/zipper000.hs, 1.9397, True Tests/Macro/unit-pos/zipper0.hs, 2.0168, True Tests/Macro/unit-pos/zipper.hs, 2.2913, True Tests/Macro/unit-pos/WrapUnWrap.hs, 1.6620, True Tests/Macro/unit-pos/wrap1.hs, 1.7657, True Tests/Macro/unit-pos/wrap0.hs, 1.7454, True Tests/Macro/unit-pos/Words1.hs, 1.6440, True Tests/Macro/unit-pos/Words.hs, 1.6455, True Tests/Macro/unit-pos/WBL0.hs, 2.4674, True Tests/Macro/unit-pos/WBL.hs, 2.4752, True Tests/Macro/unit-pos/VerifiedNum.hs, 1.6919, True Tests/Macro/unit-pos/vector2.hs, 2.2764, True Tests/Macro/unit-pos/vector1b.hs, 2.0393, True Tests/Macro/unit-pos/vector1a.hs, 2.1177, True Tests/Macro/unit-pos/vector1.hs, 2.0553, True Tests/Macro/unit-pos/vector00.hs, 1.8135, True Tests/Macro/unit-pos/Variance2.hs, 1.7073, True Tests/Macro/unit-pos/unusedtyvars.hs, 1.7215, True Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs, 2.5373, True Tests/Macro/unit-pos/UnboxedTuples.hs, 1.6871, True Tests/Macro/unit-pos/tyvar.hs, 1.6483, True Tests/Macro/unit-pos/TypeLitString.hs, 1.6311, True Tests/Macro/unit-pos/TypeLitNat.hs, 1.6624, True Tests/Macro/unit-pos/TypeAlias.hs, 1.6371, True Tests/Macro/unit-pos/tyfam0.hs, 1.8526, True Tests/Macro/unit-pos/tyExpr.hs, 1.6354, True Tests/Macro/unit-pos/tyclass0.hs, 1.6346, True Tests/Macro/unit-pos/tupparse.hs, 1.7023, True Tests/Macro/unit-pos/tup0.hs, 1.6476, True Tests/Macro/unit-pos/transTAG.hs, 2.2914, True Tests/Macro/unit-pos/transpose.hs, 2.0545, True Tests/Macro/unit-pos/trans.hs, 1.7310, True Tests/Macro/unit-pos/ToyMVar.hs, 1.9364, True Tests/Macro/unit-pos/TopLevel.hs, 1.6417, True Tests/Macro/unit-pos/top0.hs, 1.6779, True Tests/Macro/unit-pos/TokenType.hs, 1.6285, True Tests/Macro/unit-pos/testRec.hs, 1.6724, True Tests/Macro/unit-pos/Test761.hs, 1.7604, True Tests/Macro/unit-pos/test2.hs, 1.7013, True Tests/Macro/unit-pos/test1.hs, 1.7009, True Tests/Macro/unit-pos/test00c.hs, 1.7263, True Tests/Macro/unit-pos/test00b.hs, 1.6769, True Tests/Macro/unit-pos/test000.hs, 1.6439, True Tests/Macro/unit-pos/test00.old.hs, 1.6452, True Tests/Macro/unit-pos/test00.hs, 1.6728, True Tests/Macro/unit-pos/test00-int.hs, 1.6909, True Tests/Macro/unit-pos/test0.hs, 1.6648, True Tests/Macro/unit-pos/TerminationNum0.hs, 1.6810, True Tests/Macro/unit-pos/TerminationNum.hs, 1.6406, True Tests/Macro/unit-pos/Termination.hs, 1.7518, True Tests/Macro/unit-pos/term0.hs, 1.6934, True Tests/Macro/unit-pos/Term.hs, 1.7908, True Tests/Macro/unit-pos/take.hs, 2.4205, True Tests/Macro/unit-pos/tagBinder.hs, 1.6401, True Tests/Macro/unit-pos/T914.hs, 1.6730, True Tests/Macro/unit-pos/T866.hs, 1.6283, True Tests/Macro/unit-pos/T820.hs, 1.7993, True Tests/Macro/unit-pos/T819A.hs, 1.7734, True Tests/Macro/unit-pos/T819.hs, 1.7469, True Tests/Macro/unit-pos/T716.hs, 2.3069, True Tests/Macro/unit-pos/T598.hs, 1.7171, True Tests/Macro/unit-pos/T595a.hs, 1.7126, True Tests/Macro/unit-pos/T595.hs, 1.8041, True Tests/Macro/unit-pos/T531.hs, 1.6622, True Tests/Macro/unit-pos/T385.hs, 1.7248, True Tests/Macro/unit-pos/T1812.hs, 1.9016, True Tests/Macro/unit-pos/T1775.hs, 1.6644, True Tests/Macro/unit-pos/T1761.hs, 1.6311, True Tests/Macro/unit-pos/T1749.hs, 2.3930, True Tests/Macro/unit-pos/T1709.hs, 1.6280, True Tests/Macro/unit-pos/T1697C.hs, 1.7185, True Tests/Macro/unit-pos/T1697A.hs, 1.7459, True Tests/Macro/unit-pos/T1697.hs, 1.7483, True Tests/Macro/unit-pos/T1670B.hs, 1.7841, True Tests/Macro/unit-pos/T1670A.hs, 1.7424, True Tests/Macro/unit-pos/T1669.hs, 1.7460, True Tests/Macro/unit-pos/T1660.hs, 1.8640, True Tests/Macro/unit-pos/T1657.hs, 1.6795, True Tests/Macro/unit-pos/T1649WorkTypes.hs, 1.7659, True Tests/Macro/unit-pos/T1649MeasuresDef.hs, 1.7168, True Tests/Macro/unit-pos/T1647.hs, 1.6499, True Tests/Macro/unit-pos/T1642A.hs, 1.7288, True Tests/Macro/unit-pos/T1642.hs, 1.6732, True Tests/Macro/unit-pos/T1636.hs, 1.6848, True Tests/Macro/unit-pos/T1634.hs, 1.6806, True Tests/Macro/unit-pos/T1633.hs, 1.8644, True Tests/Macro/unit-pos/T1603.hs, 1.6600, True Tests/Macro/unit-pos/T1597.hs, 1.6457, True Tests/Macro/unit-pos/T1595.hs, 1.7611, True Tests/Macro/unit-pos/T1593.hs, 1.7178, True Tests/Macro/unit-pos/T1577.hs, 1.7474, True Tests/Macro/unit-pos/T1571.hs, 1.6738, True Tests/Macro/unit-pos/T1568.hs, 1.6780, True Tests/Macro/unit-pos/T1567.hs, 1.6499, True Tests/Macro/unit-pos/T1560B.hs, 1.7001, True Tests/Macro/unit-pos/T1560.hs, 1.7328, True Tests/Macro/unit-pos/T1556.hs, 1.6376, True Tests/Macro/unit-pos/T1555.hs, 1.6720, True Tests/Macro/unit-pos/T1550.hs, 1.6918, True Tests/Macro/unit-pos/T1548.hs, 2.1314, True Tests/Macro/unit-pos/T1547.hs, 1.6650, True Tests/Macro/unit-pos/T1544.hs, 1.6856, True Tests/Macro/unit-pos/T1543.hs, 1.6668, True Tests/Macro/unit-pos/T1498.hs, 1.6727, True Tests/Macro/unit-pos/T1461.hs, 1.6408, True Tests/Macro/unit-pos/T1363.hs, 1.6387, True Tests/Macro/unit-pos/T1336.hs, 1.6639, True Tests/Macro/unit-pos/T1302.hs, 1.7040, True Tests/Macro/unit-pos/T1289a.hs, 1.7091, True Tests/Macro/unit-pos/T1288.hs, 1.7325, True Tests/Macro/unit-pos/T1286.hs, 1.6806, True Tests/Macro/unit-pos/T1278.hs, 1.6475, True Tests/Macro/unit-pos/T1278.3.hs, 1.6579, True Tests/Macro/unit-pos/T1278.2.hs, 1.6501, True Tests/Macro/unit-pos/T1267.hs, 1.7007, True Tests/Macro/unit-pos/T1223.hs, 2.1849, True Tests/Macro/unit-pos/T1220.hs, 1.6642, True Tests/Macro/unit-pos/T1198.4.hs, 1.6382, True Tests/Macro/unit-pos/T1198.3.hs, 1.6404, True Tests/Macro/unit-pos/T1198.2.hs, 1.6463, True Tests/Macro/unit-pos/T1198.1.hs, 1.6268, True Tests/Macro/unit-pos/T1126a.hs, 1.6292, True Tests/Macro/unit-pos/T1126.hs, 1.7046, True Tests/Macro/unit-pos/T1120A.hs, 1.8636, True Tests/Macro/unit-pos/T1100.hs, 1.7166, True Tests/Macro/unit-pos/T1095C.hs, 1.6486, True Tests/Macro/unit-pos/T1095B.hs, 1.7940, True Tests/Macro/unit-pos/T1095A.hs, 1.7813, True Tests/Macro/unit-pos/T1092.hs, 1.9817, True Tests/Macro/unit-pos/T1085.hs, 1.7800, True Tests/Macro/unit-pos/T1074.hs, 1.7722, True Tests/Macro/unit-pos/T1065.hs, 1.7296, True Tests/Macro/unit-pos/T1060.hs, 1.8504, True Tests/Macro/unit-pos/T1045a.hs, 2.2062, True Tests/Macro/unit-pos/T1045.hs, 1.5515, True Tests/Macro/unit-pos/T1034.hs, 1.6630, True Tests/Macro/unit-pos/T1025a.hs, 1.8426, True Tests/Macro/unit-pos/T1025.hs, 1.7431, True Tests/Macro/unit-pos/T1024.hs, 1.6561, True Tests/Macro/unit-pos/T1013A.hs, 2.6991, True Tests/Macro/unit-pos/T1013.hs, 1.8619, True Tests/Macro/unit-pos/Sum.hs, 1.6826, True Tests/Macro/unit-pos/StructRec.hs, 1.6918, True Tests/Macro/unit-pos/Strings.hs, 1.6816, True Tests/Macro/unit-pos/StringLit.hs, 1.6265, True Tests/Macro/unit-pos/string00.hs, 1.6708, True Tests/Macro/unit-pos/StrictPair1.hs, 1.7331, True Tests/Macro/unit-pos/StrictPair0.hs, 1.7076, True Tests/Macro/unit-pos/Streams.hs, 1.8511, True Tests/Macro/unit-pos/StateLib.hs, 1.8194, True Tests/Macro/unit-pos/stateInvarint.hs, 1.9030, True Tests/Macro/unit-pos/StateF00.hs, 1.6857, True Tests/Macro/unit-pos/StateConstraints00.hs, 1.7130, True Tests/Macro/unit-pos/StateConstraints0.hs, 1.8510, True Tests/Macro/unit-pos/StateConstraints.hs, 8.3325, True Tests/Macro/unit-pos/state00.hs, 1.6794, True Tests/Macro/unit-pos/State.hs, 1.7813, True Tests/Macro/unit-pos/stacks0.hs, 1.8252, True Tests/Macro/unit-pos/StackMachine.hs, 1.7844, True Tests/Macro/unit-pos/StackClass.hs, 1.7161, True Tests/Macro/unit-pos/spec0.hs, 1.6806, True Tests/Macro/unit-pos/Solver.hs, 2.0174, True Tests/Macro/unit-pos/SingletonLists.hs, 1.6308, True Tests/Macro/unit-pos/SimplifyTup00.hs, 1.7262, True Tests/Macro/unit-pos/SimplerNotation.hs, 1.7691, True Tests/Macro/unit-pos/selfList.hs, 1.7936, True Tests/Macro/unit-pos/scanr.hs, 1.7479, True Tests/Macro/unit-pos/SafePartialFunctions.hs, 1.6692, True Tests/Macro/unit-pos/rta.hs, 1.6477, True Tests/Macro/unit-pos/risers.hs, 1.6798, True Tests/Macro/unit-pos/ReWrite9.hs, 1.6659, True Tests/Macro/unit-pos/ReWrite8.hs, 1.9615, True Tests/Macro/unit-pos/ReWrite7.hs, 2.2370, True Tests/Macro/unit-pos/ReWrite6.hs, 2.3629, True Tests/Macro/unit-pos/ReWrite5.hs, 2.3807, True Tests/Macro/unit-pos/ReWrite4.hs, 1.7599, True Tests/Macro/unit-pos/ReWrite3.hs, 1.7313, True Tests/Macro/unit-pos/ReWrite2.hs, 1.7669, True Tests/Macro/unit-pos/ReWrite10.hs, 1.7109, True Tests/Macro/unit-pos/ReWrite.hs, 2.0610, True Tests/Macro/unit-pos/ResolvePred.hs, 1.6963, True Tests/Macro/unit-pos/ResolveB.hs, 1.6835, True Tests/Macro/unit-pos/ResolveA.hs, 1.8155, True Tests/Macro/unit-pos/Resolve.hs, 2.0381, True Tests/Macro/unit-pos/repeatHigherOrder.hs, 2.0630, True Tests/Macro/unit-pos/Repeat.hs, 1.6662, True Tests/Macro/unit-pos/RelativeComplete.hs, 1.7029, True Tests/Macro/unit-pos/ReflectMutual.hs, 1.7185, True Tests/Macro/unit-pos/ReflectBooleanFunctions.hs, 1.6477, True Tests/Macro/unit-pos/ReflectAlias.hs, 1.6338, True Tests/Macro/unit-pos/reflect0.hs, 1.6808, True Tests/Macro/unit-pos/RefinedADTs.hs, 1.7184, True Tests/Macro/unit-pos/Reduction.hs, 1.6661, True Tests/Macro/unit-pos/recursion0.hs, 1.6520, True Tests/Macro/unit-pos/RecSelector.hs, 1.6580, True Tests/Macro/unit-pos/RecQSort0.hs, 1.7408, True Tests/Macro/unit-pos/RecQSort.hs, 1.7500, True Tests/Macro/unit-pos/RecordSelectorError.hs, 1.6648, True Tests/Macro/unit-pos/record1.hs, 1.6498, True Tests/Macro/unit-pos/record0.hs, 1.7052, True Tests/Macro/unit-pos/rec_annot_go.hs, 1.7480, True Tests/Macro/unit-pos/Rebind.hs, 1.6824, True Tests/Macro/unit-pos/RealProps.hs, 1.7463, True Tests/Macro/unit-pos/RBTree.hs, 6.4781, True Tests/Macro/unit-pos/RBTree-ord.hs, 5.3672, True Tests/Macro/unit-pos/RBTree-height.hs, 3.1214, True Tests/Macro/unit-pos/RBTree-color.hs, 3.6952, True Tests/Macro/unit-pos/RBTree-col-height.hs, 4.9626, True Tests/Macro/unit-pos/rangeAdt.hs, 3.3275, True Tests/Macro/unit-pos/range1.hs, 1.6847, True Tests/Macro/unit-pos/range.hs, 1.9010, True Tests/Macro/unit-pos/qualTest.hs, 1.6812, True Tests/Macro/unit-pos/QQTySyn.hs, 2.6533, True Tests/Macro/unit-pos/QQTySigTyVars.hs, 2.6685, True Tests/Macro/unit-pos/QQTySig.hs, 2.3402, True Tests/Macro/unit-pos/propmeasure1.hs, 1.6106, True Tests/Macro/unit-pos/propmeasure.hs, 1.6934, True Tests/Macro/unit-pos/Propability.hs, 1.7124, True Tests/Macro/unit-pos/PromotedDataCons.hs, 1.6401, True Tests/Macro/unit-pos/profcrasher.hs, 1.6546, True Tests/Macro/unit-pos/Product.hs, 1.8577, True Tests/Macro/unit-pos/primInt0.hs, 2.4196, True Tests/Macro/unit-pos/pred.hs, 1.6232, True Tests/Macro/unit-pos/pragma0.hs, 1.6262, True Tests/Macro/unit-pos/poslist_dc.hs, 1.7091, True Tests/Macro/unit-pos/poslist.hs, 1.7566, True Tests/Macro/unit-pos/polyqual.hs, 1.9341, True Tests/Macro/unit-pos/polyfun.hs, 1.6594, True Tests/Macro/unit-pos/poly4.hs, 1.6510, True Tests/Macro/unit-pos/poly3a.hs, 1.6398, True Tests/Macro/unit-pos/poly3.hs, 1.6498, True Tests/Macro/unit-pos/poly2.hs, 1.7095, True Tests/Macro/unit-pos/poly2-degenerate.hs, 1.7993, True Tests/Macro/unit-pos/poly1.hs, 1.7059, True Tests/Macro/unit-pos/poly0.hs, 1.7163, True Tests/Macro/unit-pos/PointDist.hs, 1.7428, True Tests/Macro/unit-pos/ple1.hs, 2.0058, True Tests/Macro/unit-pos/PersistentVector.hs, 1.7926, True Tests/Macro/unit-pos/Permutation.hs, 2.2086, True Tests/Macro/unit-pos/partialmeasure.hs, 1.6347, True Tests/Macro/unit-pos/partial-tycon.hs, 1.6530, True Tests/Macro/unit-pos/pargs1.hs, 1.6314, True Tests/Macro/unit-pos/pargs.hs, 1.6271, True Tests/Macro/unit-pos/PairMeasure0.hs, 1.6428, True Tests/Macro/unit-pos/PairMeasure.hs, 1.6714, True Tests/Macro/unit-pos/pair00.hs, 2.2535, True Tests/Macro/unit-pos/pair0.hs, 2.3968, True Tests/Macro/unit-pos/pair.hs, 2.4535, True Tests/Macro/unit-pos/ORM.hs, 2.1210, True Tests/Macro/unit-pos/OrdList.hs, 2.5781, True Tests/Macro/unit-pos/null.hs, 1.7875, True Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs, 1.6473, True Tests/Macro/unit-pos/NoCaseExpand.hs, 1.7622, True Tests/Macro/unit-pos/niki1.hs, 1.7336, True Tests/Macro/unit-pos/niki.hs, 1.7098, True Tests/Macro/unit-pos/nats.hs, 1.7280, True Tests/Macro/unit-pos/MutualRec.hs, 3.9865, True Tests/Macro/unit-pos/MutuallyDependentADT.hs, 1.6641, True Tests/Macro/unit-pos/mutrec.hs, 1.6289, True Tests/Macro/unit-pos/multi-pred-app-00.hs, 1.6211, True Tests/Macro/unit-pos/monad6.hs, 1.7119, True Tests/Macro/unit-pos/monad5.hs, 1.8237, True Tests/Macro/unit-pos/monad2.hs, 1.6383, True Tests/Macro/unit-pos/modTest.hs, 1.6559, True Tests/Macro/unit-pos/ModLib.hs, 1.6375, True Tests/Macro/unit-pos/Mod.hs, 1.7289, True Tests/Macro/unit-pos/MergeSort.hs, 1.9030, True Tests/Macro/unit-pos/MergeSort-bag.hs, 2.2412, True Tests/Macro/unit-pos/Merge1.hs, 1.7727, True Tests/Macro/unit-pos/MeasureSets.hs, 1.8050, True Tests/Macro/unit-pos/Measures1.hs, 1.6913, True Tests/Macro/unit-pos/Measures.hs, 1.6764, True Tests/Macro/unit-pos/MeasureDups.hs, 1.7907, True Tests/Macro/unit-pos/MeasureContains.hs, 1.7212, True Tests/Macro/unit-pos/meas9.hs, 1.7290, True Tests/Macro/unit-pos/meas8.hs, 1.6587, True Tests/Macro/unit-pos/meas7.hs, 1.6943, True Tests/Macro/unit-pos/meas6.hs, 1.7944, True Tests/Macro/unit-pos/meas5.hs, 2.1860, True Tests/Macro/unit-pos/meas4.hs, 1.7979, True Tests/Macro/unit-pos/meas2.hs, 1.6593, True Tests/Macro/unit-pos/meas11.hs, 1.6579, True Tests/Macro/unit-pos/meas10.hs, 1.8224, True Tests/Macro/unit-pos/meas1.hs, 1.7275, True Tests/Macro/unit-pos/meas0a.hs, 1.7103, True Tests/Macro/unit-pos/meas00a.hs, 1.6236, True Tests/Macro/unit-pos/meas00.hs, 1.7264, True Tests/Macro/unit-pos/meas0.hs, 1.7004, True Tests/Macro/unit-pos/maybe5.hs, 1.6362, True Tests/Macro/unit-pos/maybe4.hs, 1.7480, True Tests/Macro/unit-pos/maybe3.hs, 1.7330, True Tests/Macro/unit-pos/maybe2.hs, 2.2356, True Tests/Macro/unit-pos/maybe1.hs, 1.7762, True Tests/Macro/unit-pos/maybe000.hs, 1.6531, True Tests/Macro/unit-pos/maybe0.hs, 1.6491, True Tests/Macro/unit-pos/maybe.hs, 1.9936, True Tests/Macro/unit-pos/MaskError.hs, 1.6244, True Tests/Macro/unit-pos/mapTvCrash.hs, 1.6570, True Tests/Macro/unit-pos/maps1.hs, 1.7288, True Tests/Macro/unit-pos/maps.hs, 1.7862, True Tests/Macro/unit-pos/MapReduceVerified.hs, 14.4577, True Tests/Macro/unit-pos/mapreduce-bare.hs, 4.3111, True Tests/Macro/unit-pos/MapFusion.hs, 1.8296, True Tests/Macro/unit-pos/Map2.hs, 9.3178, True Tests/Macro/unit-pos/Map0.hs, 8.7196, True Tests/Macro/unit-pos/Map.hs, 8.7236, True Tests/Macro/unit-pos/malformed0.hs, 1.7487, True Tests/Macro/unit-pos/LooLibLib.hs, 1.6842, True Tests/Macro/unit-pos/LooLib.hs, 1.8803, True Tests/Macro/unit-pos/Loo.hs, 1.9395, True Tests/Macro/unit-pos/LogicCurry1.hs, 1.6636, True Tests/Macro/unit-pos/LocalSpecLib.hs, 1.6229, True Tests/Macro/unit-pos/LocalSpec.hs, 1.7315, True Tests/Macro/unit-pos/LocalLazy.hs, 1.6728, True Tests/Macro/unit-pos/LocalHole.hs, 1.6902, True Tests/Macro/unit-pos/lit02.hs, 1.7080, True Tests/Macro/unit-pos/lit00.hs, 1.6974, True Tests/Macro/unit-pos/lit.hs, 1.6272, True Tests/Macro/unit-pos/ListSort.hs, 2.5644, True Tests/Macro/unit-pos/listSetDemo.hs, 1.8117, True Tests/Macro/unit-pos/listSet.hs, 1.7597, True Tests/Macro/unit-pos/ListReverse-LType.hs, 1.6123, True Tests/Macro/unit-pos/ListRange.hs, 1.7549, True Tests/Macro/unit-pos/ListRange-LType.hs, 1.8066, True Tests/Macro/unit-pos/listqual.hs, 1.6405, True Tests/Macro/unit-pos/ListQSort-LType.hs, 2.3498, True Tests/Macro/unit-pos/ListMSort.hs, 1.9760, True Tests/Macro/unit-pos/ListMSort-LType.hs, 3.3894, True Tests/Macro/unit-pos/ListLen.hs, 1.9621, True Tests/Macro/unit-pos/ListLen-LType.hs, 2.0057, True Tests/Macro/unit-pos/ListKeys.hs, 1.6185, True Tests/Macro/unit-pos/ListISort-perm.hs, 1.8920, True Tests/Macro/unit-pos/ListISort-bag.hs, 1.6658, True Tests/Macro/unit-pos/ListElem.hs, 1.6002, True Tests/Macro/unit-pos/ListConcat.hs, 1.6258, True Tests/Macro/unit-pos/listAnf.hs, 1.6862, True Tests/Macro/unit-pos/Lib521.hs, 1.5812, True Tests/Macro/unit-pos/lex.hs, 1.5898, True Tests/Macro/unit-pos/lets.hs, 1.6662, True Tests/Macro/unit-pos/LazyWhere1.hs, 1.6163, True Tests/Macro/unit-pos/LazyWhere.hs, 1.5943, True Tests/Macro/unit-pos/LambdaEvalTiny.hs, 1.8391, True Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs, 1.8364, True Tests/Macro/unit-pos/LambdaEvalMini.hs, 2.6400, True Tests/Macro/unit-pos/LambdaEval.hs, 2.4888, True Tests/Macro/unit-pos/LambdaDeBruijn.hs, 2.1855, True Tests/Macro/unit-pos/kmpVec.hs, 2.3261, True Tests/Macro/unit-pos/kmpIO.hs, 2.8720, True Tests/Macro/unit-pos/kmp.hs, 2.6123, True Tests/Macro/unit-pos/Keys.hs, 1.6300, True Tests/Macro/unit-pos/jeff.hs, 3.3254, True Tests/Macro/unit-pos/ite1.hs, 1.5570, True Tests/Macro/unit-pos/ite.hs, 1.5685, True Tests/Macro/unit-pos/invlhs.hs, 1.6026, True Tests/Macro/unit-pos/inline1.hs, 1.5903, True Tests/Macro/unit-pos/inline.hs, 1.6631, True Tests/Macro/unit-pos/infix.hs, 1.6248, True Tests/Macro/unit-pos/Infinity.hs, 1.6394, True Tests/Macro/unit-pos/implies.hs, 1.5484, True Tests/Macro/unit-pos/imp0.hs, 1.5997, True Tests/Macro/unit-pos/Ignores.hs, 1.5767, True Tests/Macro/unit-pos/idNat0.hs, 1.5898, True Tests/Macro/unit-pos/idNat.hs, 1.5605, True Tests/Macro/unit-pos/IcfpDemo.hs, 1.9052, True Tests/Macro/unit-pos/Hutton.hs, 3.4748, True Tests/Macro/unit-pos/Holes.hs, 1.6491, True Tests/Macro/unit-pos/Holes-Slicing.hs, 1.6298, True Tests/Macro/unit-pos/Hole00.hs, 1.7807, True Tests/Macro/unit-pos/hole-fun.hs, 1.5841, True Tests/Macro/unit-pos/hole-app.hs, 1.5899, True Tests/Macro/unit-pos/HigherOrderRecFun.hs, 1.5954, True Tests/Macro/unit-pos/Hex00.hs, 1.5663, True Tests/Macro/unit-pos/hello.hs, 1.5867, True Tests/Macro/unit-pos/HedgeUnion.hs, 1.6770, True Tests/Macro/unit-pos/HaskellMeasure.hs, 1.5727, True Tests/Macro/unit-pos/HasElem.hs, 1.6811, True Tests/Macro/unit-pos/grty3.hs, 1.5823, True Tests/Macro/unit-pos/grty2.hs, 1.6246, True Tests/Macro/unit-pos/grty1.hs, 1.5898, True Tests/Macro/unit-pos/grty0.hs, 1.5705, True Tests/Macro/unit-pos/Graph.hs, 1.7843, True Tests/Macro/unit-pos/GoodHMeas.hs, 1.6084, True Tests/Macro/unit-pos/go_ugly_type.hs, 1.6230, True Tests/Macro/unit-pos/go.hs, 1.6730, True Tests/Macro/unit-pos/gimme.hs, 1.7239, True Tests/Macro/unit-pos/GhcSort3.T.hs, 2.1282, True Tests/Macro/unit-pos/GhcSort3.hs, 3.4326, True Tests/Macro/unit-pos/GhcSort2.hs, 1.9951, True Tests/Macro/unit-pos/GhcSort1.hs, 2.7961, True Tests/Macro/unit-pos/GeneralizedTermination.hs, 1.6867, True Tests/Macro/unit-pos/GCD.hs, 1.6481, True Tests/Macro/unit-pos/gadtEval.hs, 1.9111, True Tests/Macro/unit-pos/FractionalInstance.hs, 1.6373, True Tests/Macro/unit-pos/Fractional.hs, 1.6311, True Tests/Macro/unit-pos/forloop.hs, 1.7922, True Tests/Macro/unit-pos/for.hs, 1.8857, True Tests/Macro/unit-pos/Foo.hs, 1.5589, True Tests/Macro/unit-pos/foldr.hs, 1.6160, True Tests/Macro/unit-pos/foldN.hs, 1.6310, True Tests/Macro/unit-pos/Foldl.hs, 9.9366, True Tests/Macro/unit-pos/FingerTree.hs, 5.7058, True Tests/Macro/unit-pos/filterAbs.hs, 1.6638, True Tests/Macro/unit-pos/FibEq.hs, 1.8883, True Tests/Macro/unit-pos/Fib0.hs, 1.6552, True Tests/Macro/unit-pos/FFI.hs, 1.6376, True Tests/Macro/unit-pos/failName.hs, 1.6152, True Tests/Macro/unit-pos/Fail.hs, 1.5787, True Tests/Macro/unit-pos/extype.hs, 1.6518, True Tests/Macro/unit-pos/exp0.hs, 1.6536, True Tests/Macro/unit-pos/ExactGADT6.hs, 1.6208, True Tests/Macro/unit-pos/ExactGADT2.hs, 1.6091, True Tests/Macro/unit-pos/ExactGADT1.hs, 1.6025, True Tests/Macro/unit-pos/ExactGADT0.hs, 1.6113, True Tests/Macro/unit-pos/ExactGADT.hs, 1.5941, True Tests/Macro/unit-pos/ExactADT6.hs, 1.6064, True Tests/Macro/unit-pos/ex1.hs, 1.7642, True Tests/Macro/unit-pos/ex01.hs, 1.6654, True Tests/Macro/unit-pos/ex0.hs, 1.7260, True Tests/Macro/unit-pos/Even0.hs, 1.5803, True Tests/Macro/unit-pos/Even.hs, 1.5810, True Tests/Macro/unit-pos/EvalQuery.hs, 1.8687, True Tests/Macro/unit-pos/Eval.hs, 1.8439, True Tests/Macro/unit-pos/eqelems.hs, 1.6106, True Tests/Macro/unit-pos/eq-poly-measure.hs, 1.6077, True Tests/Macro/unit-pos/elim01.hs, 1.6945, True Tests/Macro/unit-pos/elim00.hs, 1.6301, True Tests/Macro/unit-pos/elim-ex-map-3.hs, 2.4053, True Tests/Macro/unit-pos/elim-ex-map-2.hs, 2.3994, True Tests/Macro/unit-pos/elim-ex-map-1.hs, 2.3960, True Tests/Macro/unit-pos/elim-ex-list.hs, 2.3021, True Tests/Macro/unit-pos/elim-ex-let.hs, 2.2966, True Tests/Macro/unit-pos/elim-ex-compose.hs, 2.2371, True Tests/Macro/unit-pos/elems.hs, 1.6368, True Tests/Macro/unit-pos/elements.hs, 1.9704, True Tests/Macro/unit-pos/duplicate-bind.hs, 1.7230, True Tests/Macro/unit-pos/dropwhile.hs, 1.8376, True Tests/Macro/unit-pos/div000.hs, 1.6350, True Tests/Macro/unit-pos/deptupW.hs, 1.6870, True Tests/Macro/unit-pos/deptup3.hs, 1.6730, True Tests/Macro/unit-pos/deptup1.hs, 1.7797, True Tests/Macro/unit-pos/deptup.hs, 1.9839, True Tests/Macro/unit-pos/DepTriples.hs, 1.6340, True Tests/Macro/unit-pos/DependentPairsFun.hs, 1.5982, True Tests/Macro/unit-pos/DependentPairs.hs, 1.6100, True Tests/Macro/unit-pos/DepData.hs, 1.6121, True Tests/Macro/unit-pos/deepmeas0.hs, 1.7126, True Tests/Macro/unit-pos/DB00.hs, 1.6749, True Tests/Macro/unit-pos/dataConQuals.hs, 1.6016, True Tests/Macro/unit-pos/datacon1.hs, 1.6254, True Tests/Macro/unit-pos/datacon0.hs, 1.7316, True Tests/Macro/unit-pos/datacon-inv.hs, 1.6187, True Tests/Macro/unit-pos/DataBase.hs, 1.6498, True Tests/Macro/unit-pos/data2.hs, 1.8054, True Tests/Macro/unit-pos/cut00.hs, 1.6256, True Tests/Macro/unit-pos/csgordon_issue_296.hs, 1.6594, True Tests/Macro/unit-pos/CountMonad.hs, 1.7987, True Tests/Macro/unit-pos/coretologic.hs, 1.6706, True Tests/Macro/unit-pos/ConstraintsAppend.hs, 2.0991, True Tests/Macro/unit-pos/Constraints.hs, 1.6443, True Tests/Macro/unit-pos/comprehensionTerm.hs, 1.9446, True Tests/Macro/unit-pos/comprehension.hs, 1.5835, True Tests/Macro/unit-pos/CompareConstraints.hs, 1.8591, True Tests/Macro/unit-pos/compare2.hs, 1.6259, True Tests/Macro/unit-pos/compare1.hs, 1.6341, True Tests/Macro/unit-pos/compare.hs, 1.5995, True Tests/Macro/unit-pos/CommentedOut.hs, 1.5999, True Tests/Macro/unit-pos/comma.hs, 1.5773, True Tests/Macro/unit-pos/Coercion.hs, 1.6314, True Tests/Macro/unit-pos/cmptag0.hs, 1.6310, True Tests/Macro/unit-pos/ClojurVector.hs, 1.9220, True Tests/Macro/unit-pos/Client521.hs, 1.6808, True Tests/Macro/unit-pos/ClassReg.hs, 1.6242, True Tests/Macro/unit-pos/Class2.hs, 1.8411, True Tests/Macro/unit-pos/Class.hs, 1.8455, True Tests/Macro/unit-pos/Chunks.hs, 1.7419, True Tests/Macro/unit-pos/CheckedNum.hs, 1.6953, True Tests/Macro/unit-pos/CharLiterals.hs, 1.6140, True Tests/Macro/unit-pos/Cat.hs, 1.6075, True Tests/Macro/unit-pos/CasesToLogic.hs, 1.5995, True Tests/Macro/unit-pos/case-lambda-join.hs, 1.8167, True Tests/Macro/unit-pos/BST000.hs, 1.8820, True Tests/Macro/unit-pos/BST.hs, 5.1208, True Tests/Macro/unit-pos/bounds1.hs, 1.5689, True Tests/Macro/unit-pos/bool2.hs, 1.5718, True Tests/Macro/unit-pos/bool1.hs, 1.5782, True Tests/Macro/unit-pos/bool0.hs, 1.5736, True Tests/Macro/unit-pos/Books.hs, 1.6862, True Tests/Macro/unit-pos/BinarySearchOverflow.hs, 1.9814, True Tests/Macro/unit-pos/BinarySearch.hs, 1.8151, True Tests/Macro/unit-pos/bangPatterns.hs, 1.6046, True Tests/Macro/unit-pos/bag1.hs, 1.7481, True Tests/Macro/unit-pos/AVLRJ.hs, 2.4637, True Tests/Macro/unit-pos/AVL.hs, 2.3835, True Tests/Macro/unit-pos/Avg.hs, 1.6470, True Tests/Macro/unit-pos/AutoTerm1.hs, 1.6549, True Tests/Macro/unit-pos/AutoTerm.hs, 1.6508, True Tests/Macro/unit-pos/AutoSize.hs, 1.6174, True Tests/Macro/unit-pos/Automate.hs, 1.7737, True Tests/Macro/unit-pos/AssumedRecursive.hs, 1.6296, True Tests/Macro/unit-pos/Assume.hs, 1.5887, True Tests/Macro/unit-pos/anish1.hs, 1.5771, True Tests/Macro/unit-pos/anftest.hs, 1.5931, True Tests/Macro/unit-pos/anfbug.hs, 1.6741, True Tests/Macro/unit-pos/AmortizedQueue.hs, 1.7553, True Tests/Macro/unit-pos/alphaconvert-Set.hs, 1.8468, True Tests/Macro/unit-pos/alphaconvert-List.hs, 2.0447, True Tests/Macro/unit-pos/alias01.hs, 1.5902, True Tests/Macro/unit-pos/alias00.hs, 1.6260, True Tests/Macro/unit-pos/AdtPeano1.hs, 1.6132, True Tests/Macro/unit-pos/AdtPeano0.hs, 1.5988, True Tests/Macro/unit-pos/AdtList5.hs, 1.5882, True Tests/Macro/unit-pos/AdtList4.hs, 1.6089, True Tests/Macro/unit-pos/AdtList3.hs, 1.6536, True Tests/Macro/unit-pos/AdtList2.hs, 1.7653, True Tests/Macro/unit-pos/AdtList1.hs, 1.6341, True Tests/Macro/unit-pos/AdtList0.hs, 1.6029, True Tests/Macro/unit-pos/adt0.hs, 1.6147, True Tests/Macro/unit-pos/Ackermann.hs, 1.6365, True Tests/Macro/unit-pos/absref-crash0.hs, 1.6817, True Tests/Macro/unit-pos/absref-crash.hs, 1.5881, True Tests/Macro/unit-pos/Abs.hs, 1.5951, True Tests/Macro/unit-neg/wrap1.hs, 1.5802, True Tests/Macro/unit-neg/wrap0.hs, 1.5323, True Tests/Macro/unit-neg/VerifiedNum.hs, 1.4535, True Tests/Macro/unit-neg/vector2.hs, 1.9513, True Tests/Macro/unit-neg/vector1a.hs, 1.7702, True Tests/Macro/unit-neg/vector0a.hs, 1.6009, True Tests/Macro/unit-neg/vector00.hs, 1.5626, True Tests/Macro/unit-neg/Variance.hs, 1.4316, True Tests/Macro/unit-neg/TypeLitNat.hs, 1.4319, True Tests/Macro/unit-neg/tyclass0-unsafe.hs, 1.4064, True Tests/Macro/unit-neg/truespec.hs, 1.4284, True Tests/Macro/unit-neg/trans.hs, 1.9928, True Tests/Macro/unit-neg/TotalHaskell.hs, 1.4384, True Tests/Macro/unit-neg/TopLevel.hs, 1.4737, True Tests/Macro/unit-neg/test2.hs, 1.5663, True Tests/Macro/unit-neg/test1.hs, 1.4371, True Tests/Macro/unit-neg/test00c.hs, 1.4225, True Tests/Macro/unit-neg/test00b.hs, 1.4357, True Tests/Macro/unit-neg/test00a.hs, 1.4314, True Tests/Macro/unit-neg/test00.hs, 1.4436, True Tests/Macro/unit-neg/TermReal.hs, 1.4131, True Tests/Macro/unit-neg/TerminationNum0.hs, 1.4258, True Tests/Macro/unit-neg/TerminationNum.hs, 1.4188, True Tests/Macro/unit-neg/T743.hs, 1.4100, True Tests/Macro/unit-neg/T743-mini.hs, 1.4543, True Tests/Macro/unit-neg/T602.hs, 1.4338, True Tests/Macro/unit-neg/T1814.hs, 1.7344, True Tests/Macro/unit-neg/T1659.hs, 1.4338, True Tests/Macro/unit-neg/T1657A.hs, 1.4204, True Tests/Macro/unit-neg/T1657.hs, 1.3936, True Tests/Macro/unit-neg/T1642A.hs, 1.4484, True Tests/Macro/unit-neg/T1613.hs, 1.4483, True Tests/Macro/unit-neg/T1604.hs, 1.4501, True Tests/Macro/unit-neg/T1577.hs, 1.4815, True Tests/Macro/unit-neg/T1555.hs, 1.4331, True Tests/Macro/unit-neg/T1553A.hs, 1.4132, True Tests/Macro/unit-neg/T1553.hs, 1.4177, True Tests/Macro/unit-neg/T1546.hs, 1.5227, True Tests/Macro/unit-neg/T1498A.hs, 1.5290, True Tests/Macro/unit-neg/T1498.hs, 1.4680, True Tests/Macro/unit-neg/T1490A.hs, 1.4818, True Tests/Macro/unit-neg/T1490.hs, 1.4349, True Tests/Macro/unit-neg/T1288.hs, 1.3960, True Tests/Macro/unit-neg/T1286.hs, 1.4037, True Tests/Macro/unit-neg/T1267.hs, 1.4232, True Tests/Macro/unit-neg/T1198.3.hs, 1.4154, True Tests/Macro/unit-neg/T1126.hs, 1.4301, True Tests/Macro/unit-neg/T1095C.hs, 1.4313, True Tests/Macro/unit-neg/sumPoly.hs, 1.4246, True Tests/Macro/unit-neg/sumk.hs, 1.5042, True Tests/Macro/unit-neg/Strings.hs, 1.4040, True Tests/Macro/unit-neg/string00.hs, 1.4236, True Tests/Macro/unit-neg/StrictPair1.hs, 1.4894, True Tests/Macro/unit-neg/StrictPair0.hs, 1.3949, True Tests/Macro/unit-neg/StateConstraints00.hs, 1.4627, True Tests/Macro/unit-neg/StateConstraints0.hs, 26.2823, True Tests/Macro/unit-neg/StateConstraints.hs, 2.1786, True Tests/Macro/unit-neg/state00.hs, 1.4494, True Tests/Macro/unit-neg/state0.hs, 1.4389, True Tests/Macro/unit-neg/stacks.hs, 1.5186, True Tests/Macro/unit-neg/Solver.hs, 1.8396, True Tests/Macro/unit-neg/SafePartialFunctions.hs, 1.4254, True Tests/Macro/unit-neg/risers.hs, 1.4490, True Tests/Macro/unit-neg/RG.hs, 1.6184, True Tests/Macro/unit-neg/ReWrite4.hs, 1.4780, True Tests/Macro/unit-neg/ReWrite3.hs, 1.4824, True Tests/Macro/unit-neg/ReWrite2.hs, 1.4958, True Tests/Macro/unit-neg/ReWrite.hs, 1.5497, True Tests/Macro/unit-neg/revshape.hs, 1.5125, True Tests/Macro/unit-neg/RecSelector.hs, 1.5256, True Tests/Macro/unit-neg/RecQSort.hs, 1.5176, True Tests/Macro/unit-neg/record0.hs, 1.4321, True Tests/Macro/unit-neg/Rebind.hs, 1.4297, True Tests/Macro/unit-neg/range.hs, 1.6411, True Tests/Macro/unit-neg/prune0.hs, 1.4839, True Tests/Macro/unit-neg/Propability0.hs, 1.4817, True Tests/Macro/unit-neg/Propability.hs, 1.5634, True Tests/Macro/unit-neg/pred.hs, 1.4163, True Tests/Macro/unit-neg/poslist.hs, 1.5202, True Tests/Macro/unit-neg/polypred.hs, 1.4268, True Tests/Macro/unit-neg/poly2.hs, 1.4185, True Tests/Macro/unit-neg/poly2-degenerate.hs, 1.4514, True Tests/Macro/unit-neg/poly1.hs, 1.4538, True Tests/Macro/unit-neg/poly0.hs, 1.4362, True Tests/Macro/unit-neg/partial.hs, 1.4134, True Tests/Macro/unit-neg/pargs1.hs, 1.3984, True Tests/Macro/unit-neg/pargs.hs, 1.3969, True Tests/Macro/unit-neg/PairMeasure.hs, 1.4055, True Tests/Macro/unit-neg/pair0.hs, 2.1341, True Tests/Macro/unit-neg/pair.hs, 2.2833, True Tests/Macro/unit-neg/null.hs, 1.3778, True Tests/Macro/unit-neg/NoMethodBindingError.hs, 1.4800, True Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs, 1.5441, True Tests/Macro/unit-neg/nestedRecursion.hs, 1.4715, True Tests/Macro/unit-neg/NameResolution.hs, 1.4451, True Tests/Macro/unit-neg/MultipleInvariants.hs, 1.4470, True Tests/Macro/unit-neg/MultiParamTypeClasses.hs, 1.4172, True Tests/Macro/unit-neg/multi-pred-app-00.hs, 1.4178, True Tests/Macro/unit-neg/mr00.hs, 1.6562, True Tests/Macro/unit-neg/monad7.hs, 1.5751, True Tests/Macro/unit-neg/monad6.hs, 1.4369, True Tests/Macro/unit-neg/monad5.hs, 1.4827, True Tests/Macro/unit-neg/monad4.hs, 1.5821, True Tests/Macro/unit-neg/monad3.hs, 1.5979, True Tests/Macro/unit-neg/MergeSort.hs, 1.7833, True Tests/Macro/unit-neg/MeasureDups.hs, 1.5111, True Tests/Macro/unit-neg/MeasureContains.hs, 1.5140, True Tests/Macro/unit-neg/meas9.hs, 1.4363, True Tests/Macro/unit-neg/meas7.hs, 1.4136, True Tests/Macro/unit-neg/meas5.hs, 2.2552, True Tests/Macro/unit-neg/meas3.hs, 1.4515, True Tests/Macro/unit-neg/meas2.hs, 1.4488, True Tests/Macro/unit-neg/meas0.hs, 1.4686, True Tests/Macro/unit-neg/MaybeMonad.hs, 1.4739, True Tests/Macro/unit-neg/maybe.hs, 1.4309, True Tests/Macro/unit-neg/maps.hs, 1.6526, True Tests/Macro/unit-neg/mapreduce.hs, 2.8543, True Tests/Macro/unit-neg/mapreduce-tiny.hs, 1.4620, True Tests/Macro/unit-neg/LocalSpec.hs, 1.4237, True Tests/Macro/unit-neg/lit.hs, 1.4021, True Tests/Macro/unit-neg/ListRange.hs, 1.4816, True Tests/Macro/unit-neg/listne.hs, 1.4297, True Tests/Macro/unit-neg/ListMSort.hs, 2.0960, True Tests/Macro/unit-neg/ListKeys.hs, 1.4271, True Tests/Macro/unit-neg/ListElem.hs, 1.4522, True Tests/Macro/unit-neg/ListConcat.hs, 1.4633, True Tests/Macro/unit-neg/list00.hs, 1.4321, True Tests/Macro/unit-neg/LetRecStack.hs, 1.4424, True Tests/Macro/unit-neg/LazyWhere1.hs, 1.4372, True Tests/Macro/unit-neg/LazyWhere.hs, 1.4348, True Tests/Macro/unit-neg/IntAbsRef.hs, 1.4118, True Tests/Macro/unit-neg/inc2.hs, 1.3940, True Tests/Macro/unit-neg/HolesTop.hs, 1.4095, True Tests/Macro/unit-neg/HigherOrder.hs, 1.3997, True Tests/Macro/unit-neg/Hex00.hs, 1.4003, True Tests/Macro/unit-neg/HasElem.hs, 1.4815, True Tests/Macro/unit-neg/grty3.hs, 1.4048, True Tests/Macro/unit-neg/grty2.hs, 1.4478, True Tests/Macro/unit-neg/grty1.hs, 1.5449, True Tests/Macro/unit-neg/grty0.hs, 1.4931, True Tests/Macro/unit-neg/GeneralizedTermination.hs, 1.4649, True Tests/Macro/unit-neg/FunSoundness.hs, 1.4132, True Tests/Macro/unit-neg/FunctionRef.hs, 1.4499, True Tests/Macro/unit-neg/foldN1.hs, 1.4507, True Tests/Macro/unit-neg/foldN.hs, 1.4207, True Tests/Macro/unit-neg/filterAbs.hs, 1.5118, True Tests/Macro/unit-neg/Fail1.hs, 1.4104, True Tests/Macro/unit-neg/Fail.hs, 1.3921, True Tests/Macro/unit-neg/ExactGADT7.hs, 1.4634, True Tests/Macro/unit-neg/ExactGADT6.hs, 1.5342, True Tests/Macro/unit-neg/ExactADT6.hs, 1.4723, True Tests/Macro/unit-neg/ex1-unsafe.hs, 1.5535, True Tests/Macro/unit-neg/ex0-unsafe.hs, 1.5148, True Tests/Macro/unit-neg/EvalQuery.hs, 1.6229, True Tests/Macro/unit-neg/Eval.hs, 1.5234, True Tests/Macro/unit-neg/errorloc.hs, 1.3965, True Tests/Macro/unit-neg/errmsg.hs, 1.4486, True Tests/Macro/unit-neg/elim000.hs, 1.4288, True Tests/Macro/unit-neg/elim-ex-list.hs, 2.1222, True Tests/Macro/unit-neg/elim-ex-compose.hs, 1.5395, True Tests/Macro/unit-neg/DependentTypes.hs, 1.4065, True Tests/Macro/unit-neg/datacon-eq.hs, 1.4522, True Tests/Macro/unit-neg/csv.hs, 1.9892, True Tests/Macro/unit-neg/coretologic.hs, 1.4554, True Tests/Macro/unit-neg/contra0.hs, 1.4583, True Tests/Macro/unit-neg/ConstraintsAppend.hs, 1.9329, True Tests/Macro/unit-neg/Constraints.hs, 1.4125, True Tests/Macro/unit-neg/concat2.hs, 1.6810, True Tests/Macro/unit-neg/concat1.hs, 1.6656, True Tests/Macro/unit-neg/concat.hs, 1.6132, True Tests/Macro/unit-neg/CompareConstraints.hs, 1.6251, True Tests/Macro/unit-neg/Class4.hs, 1.4453, True Tests/Macro/unit-neg/Class3.hs, 1.4401, True Tests/Macro/unit-neg/Class2.hs, 1.4681, True Tests/Macro/unit-neg/Class1.hs, 1.5735, True Tests/Macro/unit-neg/CheckedNum.hs, 1.4409, True Tests/Macro/unit-neg/CharLiterals.hs, 1.3983, True Tests/Macro/unit-neg/CastedTotality.hs, 1.4306, True Tests/Macro/unit-neg/Books.hs, 1.5218, True Tests/Macro/unit-neg/BinarySearchOverflow.hs, 1.4667, True Tests/Macro/unit-neg/BigNum.hs, 1.4159, True Tests/Macro/unit-neg/Baz.hs, 1.4156, True Tests/Macro/unit-neg/bag1.hs, 1.5512, True Tests/Macro/unit-neg/BadNats.hs, 1.4253, True Tests/Macro/unit-neg/AutoTerm1.hs, 1.5368, True Tests/Macro/unit-neg/AutoSize.hs, 2.0886, True Tests/Macro/unit-neg/Automate.hs, 1.4995, True Tests/Macro/unit-neg/Ast.hs, 1.5299, True Tests/Macro/unit-neg/ass0.hs, 1.4017, True Tests/Macro/unit-neg/alias00.hs, 1.4163, True Tests/Macro/unit-neg/AdtPeano1.hs, 1.4302, True Tests/Macro/unit-neg/AdtPeano0.hs, 1.4198, True Tests/Macro/unit-neg/AbsApp.hs, 1.4129, True Tests/Prover/foundations/Lists.hs, 22.7018, True Tests/Prover/foundations/InductionRJ.hs, 2.3532, True Tests/Prover/foundations/Induction.hs, 1.9955, True Tests/Prover/foundations/Basics.hs, 4.4910, True Tests/Prover/prover_ple_lib/Proves.hs, 1.8148, True Tests/Prover/prover_ple_lib/Helper.hs, 2.6339, True Tests/Prover/without_ple_pos/Unification.hs, 10.5053, True Tests/Prover/without_ple_pos/Solver.hs, 2.2650, True Tests/Prover/without_ple_pos/Peano.hs, 2.3065, True Tests/Prover/without_ple_pos/Overview.hs, 4.4060, True Tests/Prover/without_ple_pos/NaturalDeduction.hs, 2.0028, True Tests/Prover/without_ple_pos/NatInduction.hs, 1.8654, True Tests/Prover/without_ple_pos/MonoidMaybe.hs, 1.9762, True Tests/Prover/without_ple_pos/MonoidList.hs, 2.1269, True Tests/Prover/without_ple_pos/MonadMaybe.hs, 1.9912, True Tests/Prover/without_ple_pos/MonadList.hs, 4.4243, True Tests/Prover/without_ple_pos/MonadId.hs, 2.1419, True Tests/Prover/without_ple_pos/MapFusion.hs, 3.4594, True Tests/Prover/without_ple_pos/FunctorMaybe.hs, 2.2231, True Tests/Prover/without_ple_pos/FunctorList.hs, 3.9636, True Tests/Prover/without_ple_pos/FunctorId.hs, 1.9700, True Tests/Prover/without_ple_pos/FoldrUniversal.hs, 3.5328, True Tests/Prover/without_ple_pos/Fibonacci.hs, 2.9428, True Tests/Prover/without_ple_pos/Euclide.hs, 1.7798, True Tests/Prover/without_ple_pos/Compose.hs, 1.7136, True Tests/Prover/without_ple_pos/BasicLambdas.hs, 1.7415, True Tests/Prover/without_ple_pos/ApplicativeMaybe.hs, 4.0664, True Tests/Prover/without_ple_pos/ApplicativeId.hs, 2.4231, True Tests/Prover/without_ple_pos/Append.hs, 2.8984, True Tests/Prover/without_ple_neg/MonadMaybe.hs, 1.7657, True Tests/Prover/without_ple_neg/MonadList.hs, 9.5344, True Tests/Prover/without_ple_neg/MapFusion.hs, 7.2016, True Tests/Prover/without_ple_neg/FunctorMaybe.hs, 2.1830, True Tests/Prover/without_ple_neg/FunctorList.hs, 6.2242, True Tests/Prover/without_ple_neg/Fibonacci.hs, 3.1873, True Tests/Prover/without_ple_neg/BasicLambdas.hs, 1.5412, True Tests/Prover/without_ple_neg/ApplicativeMaybe.hs, 4.9044, True Tests/Prover/without_ple_neg/Append.hs, 2.9200, True Tests/Prover/with_ple/Unification.hs, 4.3756, True Tests/Prover/with_ple/Solver.hs, 2.3257, True Tests/Prover/with_ple/Peano.hs, 1.8615, True Tests/Prover/with_ple/Overview.hs, 3.7706, True Tests/Prover/with_ple/NaturalDeduction.hs, 1.9015, True Tests/Prover/with_ple/NatInduction.hs, 1.8239, True Tests/Prover/with_ple/MonoidMaybe.hs, 1.8405, True Tests/Prover/with_ple/MonoidList.hs, 1.8605, True Tests/Prover/with_ple/MonadMaybe.hs, 1.7579, True Tests/Prover/with_ple/MonadList.hs, 1.9872, True Tests/Prover/with_ple/MonadId.hs, 1.7955, True Tests/Prover/with_ple/Maybe.hs, 1.6573, True Tests/Prover/with_ple/MapFusion.hs, 1.7518, True Tests/Prover/with_ple/Lists.hs, 1.8544, True Tests/Prover/with_ple/FunctorMaybe.hs, 1.7446, True Tests/Prover/with_ple/FunctorList.hs, 1.7861, True Tests/Prover/with_ple/FunctorId.hs, 1.7015, True Tests/Prover/with_ple/FoldrUniversal.hs, 1.9468, True Tests/Prover/with_ple/Fibonacci.hs, 2.0569, True Tests/Prover/with_ple/Euclide.hs, 1.7118, True Tests/Prover/with_ple/Compose.hs, 1.6878, True Tests/Prover/with_ple/BasicLambdas.hs, 1.6914, True Tests/Prover/with_ple/ApplicativeMaybe.hs, 1.9345, True Tests/Prover/with_ple/ApplicativeList.hs, 3.2859, True Tests/Prover/with_ple/ApplicativeId.hs, 1.8463, True Tests/Prover/with_ple/Append.hs, 2.1275, True Tests/Benchmarks/cse230/Verifier.hs, 4.9909, True Tests/Benchmarks/cse230/STLC.lhs, 12.2421, True Tests/Benchmarks/cse230/State.hs, 1.4407, True Tests/Benchmarks/cse230/ProofCombinators.hs, 1.2738, True Tests/Benchmarks/cse230/Lec_3_15.hs, 2.6811, True Tests/Benchmarks/cse230/Lec_3_11.hs, 2.6992, True Tests/Benchmarks/cse230/Imp.hs, 1.7326, True Tests/Benchmarks/cse230/Expressions.hs, 1.5355, True Tests/Benchmarks/cse230/BigStep.hs, 1.8269, True Tests/Benchmarks/cse230/Axiomatic.hs, 2.0457, True Tests/Benchmarks/esop/Toy.hs, 2.3994, True Tests/Benchmarks/esop/Splay.hs, 5.4095, True Tests/Benchmarks/esop/ListSort.hs, 2.6779, True Tests/Benchmarks/esop/GhcListSort.hs, 4.6488, True Tests/Benchmarks/esop/Fib.hs, 2.0055, True Tests/Benchmarks/esop/Base.hs, 56.2392, True Tests/Benchmarks/esop/Array.hs, 2.9859, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 2.0430, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 2.9671, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 5.6635, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.9779, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 4.6871, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 2.8387, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 18.5655, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 3.1074, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 6.9215, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 28.0125, True Tests/Benchmarks/vect-algs/Setup.lhs, 2.1221, True Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 1.6280, True Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 10.7999, True Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 2.3166, True Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 8.5025, True Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 60.1344, True Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 3.0958, True Tests/Benchmarks/bytestring/Data/ByteString.hs, 5.0976, True Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 47.4159, True Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 5.7244, True Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 10.6546, True Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 20.6698, True Tests/Benchmarks/text/Data/Text/Util.hs, 1.7574, True Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 3.0772, True Tests/Benchmarks/text/Data/Text/Fusion/Internal.hs, 2.3065, True Tests/Benchmarks/text/Data/Text/Array.hs, 4.1822, True Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 3.9929, True Tests/Benchmarks/text/Data/Text/Internal.hs, 10.4815, True Tests/Benchmarks/text/Data/Text/Search.hs, 46.9956, True Tests/Benchmarks/text/Data/Text/Axioms.hs, 2.7722, True Tests/Benchmarks/text/Data/Text/Unsafe.hs, 4.5731, True Tests/Benchmarks/text/Data/Text/Private.hs, 3.3332, True Tests/Benchmarks/text/Data/Text/Fusion/Common.hs, 5.3032, True Tests/Benchmarks/text/Data/Text/Fusion.hs, 21.4891, True Tests/Benchmarks/text/Data/Text/Foreign.hs, 3.9872, True Tests/Benchmarks/text/Data/Text.hs, 32.5097, True Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 4.8956, True Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 27.0306, True Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 7.8354, True Tests/Benchmarks/text/Data/Text/Lazy.hs, 24.3190, True Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 8.6494, True Tests/Benchmarks/text/Data/Text/Encoding/Fusion.hs, 66.7839, True Tests/Benchmarks/text/Data/Text/Encoding.hs, 6.5887, True Tests/Benchmarks/text/Data/Text/Lazy/Encoding/Fusion.hs, 6.2183, True Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 57.4914, True Tests/Benchmarks/icfp_pos/RIO.hs, 1.7342, True Tests/Benchmarks/icfp_pos/RIO2.hs, 1.7619, True Tests/Benchmarks/icfp_pos/WhileM.hs, 2.1381, True Tests/Benchmarks/icfp_pos/DataBase.hs, 5.1616, True Tests/Benchmarks/icfp_pos/WhileTest.hs, 2.1633, True Tests/Benchmarks/icfp_pos/TestM.hs, 1.8675, True Tests/Benchmarks/icfp_pos/Privileges.hs, 1.9325, True Tests/Benchmarks/icfp_pos/Overview.lhs, 9.6388, True Tests/Benchmarks/icfp_pos/Incr.hs, 3.2065, True Tests/Benchmarks/icfp_pos/Incr-elim.hs, 2.1396, True Tests/Benchmarks/icfp_pos/IfM2.hs, 4.0478, True Tests/Benchmarks/icfp_pos/IfM.hs, 11.1418, True Tests/Benchmarks/icfp_pos/ICFP15.lhs, 2.4659, True Tests/Benchmarks/icfp_pos/FoldAbs.hs, 9.0592, True Tests/Benchmarks/icfp_pos/Filter.lhs, 1.9547, True Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.8447, True Tests/Benchmarks/icfp_pos/DBMovies.hs, 3.6214, True Tests/Benchmarks/icfp_pos/Composition.hs, 1.7700, True Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.8453, True Tests/Benchmarks/icfp_pos/Append.hs, 1.9318, True Tests/Benchmarks/icfp_neg/RIO.hs, 1.5244, True Tests/Benchmarks/icfp_neg/WhileM.hs, 1.5060, True Tests/Benchmarks/icfp_neg/DataBase.hs, 4.9694, True Tests/Benchmarks/icfp_neg/TestM.hs, 1.5234, True Tests/Benchmarks/icfp_neg/Records.hs, 5.0347, True Tests/Benchmarks/icfp_neg/IfM.hs, 1.5135, True Tests/Benchmarks/icfp_neg/DBMovies.hs, 5.1962, True Tests/Benchmarks/icfp_neg/Composition.hs, 1.5162, True