summary-ple.csv

 (HEAD -> PLE, origin/PLE) : 7be75121a878ecc054892b446f7cfca4c0545d16
Timestamp: 2020-03-17 22:34:13 +0100
Epoch Timestamp: 1584480853
--------------------------------------------------------------------------------
test, time(s), result

Tests/Micro/parser-pos/Tuples.hs, 1.5090, True
Tests/Micro/parser-pos/TokensAsPrefixes.hs, 1.5108, True
Tests/Micro/parser-pos/ReflectedInfix.hs, 1.5340, True
Tests/Micro/parser-pos/Parens.hs, 1.8977, True
Tests/Micro/parser-pos/NestedTuples.hs, 1.5578, True
Tests/Micro/basic-pos/SkipDerived00.hs, 1.7500, True
Tests/Micro/basic-pos/poly00.hs, 1.9001, True
Tests/Micro/basic-pos/List00.hs, 3.2621, True
Tests/Micro/basic-pos/infer00.hs, 3.0456, True
Tests/Micro/basic-pos/inc04.hs, 1.8461, True
Tests/Micro/basic-pos/Inc03Lib.hs, 1.8999, True
Tests/Micro/basic-pos/inc03.hs, 2.9467, True
Tests/Micro/basic-pos/inc02.hs, 2.8335, True
Tests/Micro/basic-pos/inc01q.hs, 1.6855, True
Tests/Micro/basic-pos/inc01.hs, 2.8196, True
Tests/Micro/basic-pos/inc00.hs, 1.7756, True
Tests/Micro/basic-pos/Float.hs, 2.2757, True
Tests/Micro/basic-pos/alias05.hs, 2.8679, True
Tests/Micro/basic-pos/alias04.hs, 1.6465, True
Tests/Micro/basic-pos/alias03.hs, 1.4363, True
Tests/Micro/basic-pos/alias02.hs, 1.4830, True
Tests/Micro/basic-pos/alias01.hs, 1.2943, True
Tests/Micro/basic-pos/alias00.hs, 1.2929, True
Tests/Micro/basic-neg/T1459.hs, 1.5993, True
Tests/Micro/basic-neg/poly00.hs, 1.5068, True
Tests/Micro/basic-neg/List00.hs, 1.2912, True
Tests/Micro/basic-neg/Inc04Lib.hs, 1.3862, True
Tests/Micro/basic-neg/Inc04.hs, 1.3914, True
Tests/Micro/basic-neg/inc03.hs, 1.5297, True
Tests/Micro/basic-neg/inc02.hs, 1.3006, True
Tests/Micro/basic-neg/inc01q.hs, 1.4175, True
Tests/Micro/basic-neg/inc01.hs, 1.2511, True
Tests/Micro/measure-pos/Using00.hs, 1.2288, True
Tests/Micro/measure-pos/RecordAccessors.hs, 1.2115, True
Tests/Micro/measure-pos/PruneHO.hs, 2.1735, True
Tests/Micro/measure-pos/Ple1Lib.hs, 1.2984, True
Tests/Micro/measure-pos/ple1.hs, 1.2769, True
Tests/Micro/measure-pos/ple01.hs, 1.3981, True
Tests/Micro/measure-pos/ple00.hs, 1.3071, True
Tests/Micro/measure-pos/List02Lib.hs, 1.2864, True
Tests/Micro/measure-pos/List02.hs, 1.2305, True
Tests/Micro/measure-pos/List01.hs, 1.2986, True
Tests/Micro/measure-pos/List00Lib.hs, 1.3547, True
Tests/Micro/measure-pos/List00.hs, 1.2465, True
Tests/Micro/measure-pos/Len02.hs, 1.6232, True
Tests/Micro/measure-pos/Len01.hs, 1.3092, True
Tests/Micro/measure-pos/Len00.hs, 1.3246, True
Tests/Micro/measure-pos/HiddenDataLib.hs, 1.3415, True
Tests/Micro/measure-pos/HiddenData.hs, 1.2101, True
Tests/Micro/measure-pos/GList00Lib.hs, 1.2762, True
Tests/Micro/measure-pos/GList000.hs, 1.3006, True
Tests/Micro/measure-pos/fst02.hs, 1.3724, True
Tests/Micro/measure-pos/fst01.hs, 1.3310, True
Tests/Micro/measure-pos/fst00.hs, 1.2650, True
Tests/Micro/measure-pos/ExactFunApp.hs, 1.4455, True
Tests/Micro/measure-pos/bag.hs, 1.4608, True
Tests/Micro/measure-pos/AbsMeasure.hs, 1.2947, True
Tests/Micro/measure-neg/Using00.hs, 1.2810, True
Tests/Micro/measure-neg/Ple1Lib.hs, 1.8265, True
Tests/Micro/measure-neg/ple1.hs, 1.9421, True
Tests/Micro/measure-neg/ple0.hs, 1.7951, True
Tests/Micro/measure-neg/List02.hs, 1.8930, True
Tests/Micro/measure-neg/List01.hs, 1.4349, True
Tests/Micro/measure-neg/List00.hs, 2.2669, True
Tests/Micro/measure-neg/Len01.hs, 1.3441, True
Tests/Micro/measure-neg/Len00.hs, 1.2989, True
Tests/Micro/measure-neg/GList00Lib.hs, 1.3060, True
Tests/Micro/measure-neg/fst02.hs, 1.2859, True
Tests/Micro/measure-neg/fst01.hs, 1.8439, True
Tests/Micro/measure-neg/fst00.hs, 2.3622, True
Tests/Micro/measure-neg/bag.hs, 1.7597, True
Tests/Micro/datacon-pos/T1477.hs, 1.8805, True
Tests/Micro/datacon-pos/T1476.hs, 3.1146, True
Tests/Micro/datacon-pos/T1473B.hs, 2.2624, True
Tests/Micro/datacon-pos/T1473A.hs, 2.0020, True
Tests/Micro/datacon-pos/T1446.hs, 1.5664, True
Tests/Micro/datacon-pos/NewType.hs, 1.6447, True
Tests/Micro/datacon-pos/Date.hs, 1.8044, True
Tests/Micro/datacon-pos/Data02Lib.hs, 1.2536, True
Tests/Micro/datacon-pos/Data02.hs, 1.4916, True
Tests/Micro/datacon-pos/Data01.hs, 1.4132, True
Tests/Micro/datacon-pos/Data00Lib.hs, 1.3221, True
Tests/Micro/datacon-pos/Data00.hs, 1.3895, True
Tests/Micro/datacon-pos/AdtPeano2.hs, 1.3322, True
Tests/Micro/datacon-neg/NewTypes0.hs, 1.4746, True
Tests/Micro/datacon-neg/NewTypes.hs, 1.3870, True
Tests/Micro/datacon-neg/Date.hs, 1.8842, True
Tests/Micro/datacon-neg/Data02Lib.hs, 1.3900, True
Tests/Micro/datacon-neg/Data02.hs, 1.2925, True
Tests/Micro/datacon-neg/Data01.hs, 1.3432, True
Tests/Micro/datacon-neg/Data00Lib.hs, 1.3156, True
Tests/Micro/datacon-neg/Data00.hs, 1.3500, True
Tests/Micro/datacon-neg/AdtPeano2.hs, 1.5756, True
Tests/Micro/names-pos/vector1.hs, 2.6797, True
Tests/Micro/names-pos/vector04.hs, 1.5803, True
Tests/Micro/names-pos/vector0.hs, 2.1468, True
Tests/Micro/names-pos/Uniques.hs, 1.6652, True
Tests/Micro/names-pos/T675.hs, 1.6747, True
Tests/Micro/names-pos/T1521.hs, 1.3078, True
Tests/Micro/names-pos/Shadow01.hs, 1.3231, True
Tests/Micro/names-pos/Shadow00.hs, 1.8376, True
Tests/Micro/names-pos/Set02.hs, 1.4276, True
Tests/Micro/names-pos/Set01.hs, 2.5292, True
Tests/Micro/names-pos/Set00.hs, 1.4416, True
Tests/Micro/names-pos/Ord.hs, 1.8710, True
Tests/Micro/names-pos/LocalSpec.hs, 2.4707, True
Tests/Micro/names-pos/local03.hs, 1.4167, True
Tests/Micro/names-pos/local02.hs, 1.4425, True
Tests/Micro/names-pos/local01.hs, 1.8804, True
Tests/Micro/names-pos/local00.hs, 1.5438, True
Tests/Micro/names-pos/List00.hs, 1.4133, True
Tests/Micro/names-pos/HidePrelude.hs, 1.0477, True
Tests/Micro/names-pos/HideName00.hs, 1.3359, True
Tests/Micro/names-pos/ClojurVector.hs, 1.8337, True
Tests/Micro/names-pos/Capture02.hs, 1.3328, True
Tests/Micro/names-pos/Capture01.hs, 1.2183, True
Tests/Micro/names-pos/BasicLambdas01.hs, 1.4031, True
Tests/Micro/names-pos/BasicLambdas00.hs, 1.4619, True
Tests/Micro/names-pos/Assume01.hs, 1.2791, True
Tests/Micro/names-pos/Assume00.hs, 1.4041, True
Tests/Micro/names-pos/Alias00.hs, 1.1984, True
Tests/Micro/names-neg/vector1.hs, 2.1436, True
Tests/Micro/names-neg/vector0.hs, 2.3625, True
Tests/Micro/names-neg/T1078.hs, 2.2047, True
Tests/Micro/names-neg/Set02.hs, 2.4984, True
Tests/Micro/names-neg/Set01.hs, 1.3578, True
Tests/Micro/names-neg/Set00.hs, 1.5787, True
Tests/Micro/names-neg/local00.hs, 2.3462, True
Tests/Micro/names-neg/Capture01.hs, 1.6470, True
Tests/Micro/names-neg/Assume00.hs, 2.3192, True
Tests/Micro/reflect-pos/ReflString1.hs, 1.6577, True
Tests/Micro/reflect-pos/ReflString0.hs, 1.3671, True
Tests/Micro/reflect-pos/DoubleLit.hs, 1.4255, True
Tests/Micro/reflect-neg/ReflString1.hs, 1.5075, True
Tests/Micro/reflect-neg/ReflString0.hs, 1.3894, True
Tests/Micro/reflect-neg/DoubleLit.hs, 1.4803, True
Tests/Micro/absref-pos/VectorLoop.hs, 2.1139, True
Tests/Micro/absref-pos/state00.hs, 1.3869, True
Tests/Micro/absref-pos/Papp00.hs, 1.3731, True
Tests/Micro/absref-pos/ListQSort.hs, 2.9885, True
Tests/Micro/absref-pos/ListISort.hs, 1.4261, True
Tests/Micro/absref-pos/ListISort-LType.hs, 4.0807, True
Tests/Micro/absref-pos/FlipArgs.hs, 1.7830, True
Tests/Micro/absref-pos/deptupW.hs, 1.5437, True
Tests/Micro/absref-pos/deptup0.hs, 1.6683, True
Tests/Micro/absref-pos/deppair2.hs, 1.5499, True
Tests/Micro/absref-pos/deppair0.hs, 1.4562, True
Tests/Micro/absref-pos/AbsRef00.hs, 1.2681, True
Tests/Micro/absref-neg/ListQSort.hs, 2.1609, True
Tests/Micro/absref-neg/ListISort.hs, 2.5102, True
Tests/Micro/absref-neg/ListISort-LType.hs, 1.7131, True
Tests/Micro/absref-neg/FlipArgs.hs, 1.4902, True
Tests/Micro/absref-neg/deptupW.hs, 1.5450, True
Tests/Micro/absref-neg/deptup0.hs, 1.6118, True
Tests/Micro/absref-neg/deppair0.hs, 1.5127, True
Tests/Micro/import-cli/WrapClient.hs, 1.3566, True
Tests/Micro/import-cli/T1180.hs, 1.2919, True
Tests/Micro/import-cli/T1118.hs, 1.4373, True
Tests/Micro/import-cli/T1117.hs, 1.4023, True
Tests/Micro/import-cli/T1104Client.hs, 1.3966, True
Tests/Micro/import-cli/T1096_Foo.hs, 1.2874, True
Tests/Micro/import-cli/STClient.hs, 2.0187, True
Tests/Micro/import-cli/ReflectClient7.hs, 1.3791, True
Tests/Micro/import-cli/ReflectClient6.hs, 1.3831, True
Tests/Micro/import-cli/ReflectClient5.hs, 1.3190, True
Tests/Micro/import-cli/ReflectClient4a.hs, 1.4690, True
Tests/Micro/import-cli/ReflectClient4.hs, 2.2281, True
Tests/Micro/import-cli/ReflectClient3.hs, 1.5489, True
Tests/Micro/import-cli/ReflectClient2.hs, 1.3252, True
Tests/Micro/import-cli/ReflectClient1.hs, 1.2524, True
Tests/Micro/import-cli/ReflectClient0.hs, 1.2338, True
Tests/Micro/import-cli/RC1015.hs, 1.2463, True
Tests/Micro/import-cli/NameClashClient.hs, 1.3217, True
Tests/Micro/import-cli/ListClient0.hs, 1.4988, True
Tests/Micro/import-cli/ListClient.hs, 1.4108, True
Tests/Micro/import-cli/LiquidArrayNullTerm.hs, 1.6177, True
Tests/Micro/import-cli/LiquidArrayInit.hs, 1.6913, True
Tests/Micro/import-cli/LibRedBlue.hs, 1.2784, True
Tests/Micro/import-cli/FunClashLibLibClient.hs, 1.2819, True
Tests/Micro/import-cli/ExactGADT9.hs, 1.3025, True
Tests/Micro/import-cli/CliRedBlue.hs, 1.2348, True
Tests/Micro/import-cli/Client2.hs, 1.2441, True
Tests/Micro/import-cli/Client1.hs, 1.3226, True
Tests/Micro/import-cli/Client0.hs, 1.3557, True
Tests/Micro/import-cli/CliAliasGen00.hs, 1.4046, True
Tests/Micro/class-pos/TypeEquality01.hs, 1.5674, True
Tests/Micro/class-pos/TypeEquality00.hs, 1.4904, True
Tests/Micro/class-pos/STMonad.hs, 2.0377, True
Tests/Micro/class-pos/RealProps1.hs, 1.3870, True
Tests/Micro/class-pos/RealProps0.hs, 1.2735, True
Tests/Micro/class-pos/Inst00.hs, 2.3188, True
Tests/Micro/class-pos/HiddenMethod00.hs, 1.2134, True
Tests/Micro/class-pos/Class00.hs, 1.4139, True
Tests/Micro/class-neg/RealProps0.hs, 1.2431, True
Tests/Micro/class-neg/Inst00.hs, 1.3742, True
Tests/Micro/class-neg/Class01.hs, 1.2544, True
Tests/Micro/class-neg/Class00.hs, 1.2183, True
Tests/Micro/ple-pos/tmp1.hs, 1.5870, True
Tests/Micro/ple-pos/tmp.hs, 2.8307, True
Tests/Micro/ple-pos/T1424A.hs, 1.7004, True
Tests/Micro/ple-pos/T1424.hs, 1.4850, True
Tests/Micro/ple-pos/T1409.hs, 1.5596, True
Tests/Micro/ple-pos/T1382.hs, 3.0416, True
Tests/Micro/ple-pos/T1371_NNF.hs, 2.4275, True
Tests/Micro/ple-pos/T1371.hs, 1.4231, True
Tests/Micro/ple-pos/T1302b.hs, 1.7354, True
Tests/Micro/ple-pos/T1289.hs, 1.2907, True
Tests/Micro/ple-pos/T1257.hs, 1.5303, True
Tests/Micro/ple-pos/T1190.hs, 1.4398, True
Tests/Micro/ple-pos/T1173.hs, 1.5986, True
Tests/Micro/ple-pos/StlcBug.hs, 1.4677, True
Tests/Micro/ple-pos/STLCB1.hs, 9.4615, True
Tests/Micro/ple-pos/STLCB0.hs, 6.0914, True
Tests/Micro/ple-pos/STLC2.hs, 15.9361, True
Tests/Micro/ple-pos/STLC1.hs, 9.3669, True
Tests/Micro/ple-pos/STLC0.hs, 5.6558, True
Tests/Micro/ple-pos/RosePLEDiv.hs, 2.8451, True
Tests/Micro/ple-pos/RegexpDerivative.hs, 27.2579, True
Tests/Micro/ple-pos/ReflectDefault.hs, 1.3754, True
Tests/Micro/ple-pos/pleORM.hs, 1.7164, True
Tests/Micro/ple-pos/ple0.hs, 2.3109, True
Tests/Micro/ple-pos/padLeft.hs, 3.8731, True
Tests/Micro/ple-pos/NNFPiotr.hs, 3.1534, True
Tests/Micro/ple-pos/NegNormalForm.hs, 8.5285, True
Tests/Micro/ple-pos/MossakaBug.hs, 3.4931, True
Tests/Micro/ple-pos/MJFix.hs, 1.8186, True
Tests/Micro/ple-pos/Lists.hs, 2.7171, True
Tests/Micro/ple-pos/ListAnd.hs, 1.4489, True
Tests/Micro/ple-pos/IndStarHole.hs, 1.5121, True
Tests/Micro/ple-pos/IndStar.hs, 1.4268, True
Tests/Micro/ple-pos/IndPerm.hs, 1.8955, True
Tests/Micro/ple-pos/IndPalindrome.hs, 5.5612, True
Tests/Micro/ple-pos/IndPal00.hs, 1.4239, True
Tests/Micro/ple-pos/IndPal0.hs, 2.2452, True
Tests/Micro/ple-pos/IndLast.hs, 1.9656, True
Tests/Micro/ple-pos/Fulcrum.hs, 14.4453, True
Tests/Micro/ple-pos/filterPLE.hs, 1.4850, True
Tests/Micro/ple-pos/ExactGADT7.hs, 1.3795, True
Tests/Micro/ple-pos/ExactGADT50.hs, 1.8686, True
Tests/Micro/ple-pos/ExactGADT5.hs, 2.1628, True
Tests/Micro/ple-pos/ExactGADT4.hs, 1.9720, True
Tests/Micro/ple-pos/Compiler.hs, 2.0317, True
Tests/Micro/ple-pos/BinahUpdate.hs, 1.3372, True
Tests/Micro/ple-pos/BinahQuery.hs, 2.1977, True
Tests/Micro/ple-neg/T1424.hs, 1.2539, True
Tests/Micro/ple-neg/T1409.hs, 1.2280, True
Tests/Micro/ple-neg/T1371_Tick.hs, 1.5541, True
Tests/Micro/ple-neg/T1289.hs, 1.3507, True
Tests/Micro/ple-neg/T1192.hs, 1.5999, True
Tests/Micro/ple-neg/T1173.hs, 2.5120, True
Tests/Micro/ple-neg/ReflectDefault.hs, 0.8622, True
Tests/Micro/ple-neg/ple0.hs, 1.2996, True
Tests/Micro/ple-neg/ExactGADT5.hs, 1.9149, True
Tests/Micro/ple-neg/BinahUpdateLib1.hs, 1.6391, True
Tests/Micro/ple-neg/BinahUpdateLib.hs, 1.4877, True
Tests/Micro/ple-neg/BinahUpdateClient.hs, 1.3662, True
Tests/Micro/ple-neg/BinahUpdate.hs, 1.4332, True
Tests/Micro/ple-neg/BinahQuery.hs, 2.3229, True
Tests/Micro/rankN-pos/Test00.hs, 1.3644, True
Tests/Micro/rankN-pos/Test0.hs, 1.4967, True
Tests/Micro/rankN-pos/Test.hs, 1.4328, True
Tests/Micro/terminate-pos/term00.hs, 1.3328, True
Tests/Micro/terminate-pos/T1403.hs, 5.8356, True
Tests/Micro/terminate-pos/T1396.1.hs, 1.2975, True
Tests/Micro/terminate-pos/T1396.0.hs, 1.2978, True
Tests/Micro/terminate-pos/T1245.hs, 1.3466, True
Tests/Micro/terminate-pos/Sum.hs, 1.1948, True
Tests/Micro/terminate-pos/StructSecondArg.hs, 1.2625, True
Tests/Micro/terminate-pos/LocalTermExpr.hs, 1.6218, True
Tests/Micro/terminate-pos/list05-local.hs, 1.3615, True
Tests/Micro/terminate-pos/list04.hs, 1.3723, True
Tests/Micro/terminate-pos/list04-local.hs, 1.3564, True
Tests/Micro/terminate-pos/list03.hs, 1.2687, True
Tests/Micro/terminate-pos/list02.hs, 1.3159, True
Tests/Micro/terminate-pos/list01.hs, 1.3039, True
Tests/Micro/terminate-pos/list00.hs, 1.2743, True
Tests/Micro/terminate-pos/list00-str.hs, 1.3434, True
Tests/Micro/terminate-pos/list00-local.hs, 1.2918, True
Tests/Micro/terminate-pos/Lexicographic.hs, 1.6770, True
Tests/Micro/terminate-pos/AutoTerm.hs, 1.3122, True
Tests/Micro/terminate-pos/Ackermann.hs, 1.2794, True
Tests/Micro/terminate-neg/total00.hs, 1.2474, True
Tests/Micro/terminate-neg/testRec.hs, 1.2564, True
Tests/Micro/terminate-neg/term00.hs, 1.3317, True
Tests/Micro/terminate-neg/T745.hs, 1.3251, True
Tests/Micro/terminate-neg/T1404.3.hs, 1.2513, True
Tests/Micro/terminate-neg/T1404.2.hs, 1.2025, True
Tests/Micro/terminate-neg/T1404.1.hs, 1.3035, True
Tests/Micro/terminate-neg/T1404.0.hs, 1.3764, True
Tests/Micro/terminate-neg/Sum.hs, 1.4478, True
Tests/Micro/terminate-neg/Rename.hs, 1.3313, True
Tests/Micro/terminate-neg/qsloop.hs, 2.7278, True
Tests/Micro/terminate-neg/Even.hs, 1.2666, True
Tests/Micro/terminate-neg/AutoTerm.hs, 1.3259, True
Tests/Micro/pattern-pos/TemplateHaskellLib.hs, 3.0281, True
Tests/Micro/pattern-pos/TemplateHaskell.hs, 1.5555, True
Tests/Micro/pattern-pos/ReturnStrata00.hs, 1.2939, True
Tests/Micro/pattern-pos/Return01.hs, 1.3114, True
Tests/Micro/pattern-pos/Return00.hs, 1.3154, True
Tests/Micro/pattern-pos/MultipleInvariants.hs, 1.3559, True
Tests/Micro/pattern-pos/monad7.hs, 1.7593, True
Tests/Micro/pattern-pos/monad1.hs, 1.3863, True
Tests/Micro/pattern-pos/monad0.hs, 1.2411, True
Tests/Micro/pattern-pos/Invariants.hs, 1.3290, True
Tests/Micro/pattern-pos/contra0.hs, 1.3915, True
Tests/Micro/pattern-pos/ANF.hs, 2.7147, True
Tests/Micro/class-laws-pos/SemiGroup.hs, 1.7294, True
Tests/Micro/class-laws-pos/Monoid.hs, 1.4750, True
Tests/Micro/class-laws-pos/Labels.hs, 1.4631, True
Tests/Micro/class-laws-pos/FreeVar.hs, 1.2569, True
Tests/Micro/class-laws-crash/SemiGroup-WrongLaw.hs, 1.4394, True
Tests/Micro/class-laws-crash/SemiGroup-UndefinedLaw.hs, 1.2945, True
Tests/Micro/class-laws-crash/SemiGroup-UndefinedInstance.hs, 1.3296, True
Tests/Micro/class-laws-crash/SemiGroup-MissingLaw.hs, 1.2465, True
Tests/Micro/class-laws-neg/SemiGroup-WrongProof.hs, 2.2954, True
Tests/Micro/class-laws-neg/SemiGroup-WrongDef.hs, 1.3612, True
Tests/Micro/implicit-pos/ImplicitTrivial.hs, 1.3125, True
Tests/Micro/implicit-pos/ImplicitDouble.hs, 1.3517, True
Tests/Micro/implicit-pos/Implicit3.hs, 1.2987, True
Tests/Micro/implicit-pos/Implicit1.hs, 1.3576, True
Tests/Micro/implicit-neg/Implicit1.hs, 1.6228, True
Tests/Error-Messages/ShadowFieldInline.hs, 1.6123, True
Tests/Error-Messages/ShadowFieldReflect.hs, 1.6672, True
Tests/Error-Messages/MultiRecSels.hs, 1.3854, True
Tests/Error-Messages/DupFunSigs.hs, 2.1266, True
Tests/Error-Messages/DupMeasure.hs, 1.9652, True
Tests/Error-Messages/ShadowMeasure.hs, 1.4147, True
Tests/Error-Messages/DupData.hs, 1.8054, True
Tests/Error-Messages/EmptyData.hs, 1.6919, True
Tests/Error-Messages/BadGADT.hs, 1.2994, True
Tests/Error-Messages/TerminationExprSort.hs, 1.2195, True
Tests/Error-Messages/TerminationExprNum.hs, 1.2482, True
Tests/Error-Messages/TerminationExprUnb.hs, 1.2695, True
Tests/Error-Messages/UnboundVarInSpec.hs, 1.8118, True
Tests/Error-Messages/UnboundVarInAssume.hs, 1.7134, True
Tests/Error-Messages/UnboundCheckVar.hs, 2.1128, True
Tests/Error-Messages/UnboundFunInSpec.hs, 1.9340, True
Tests/Error-Messages/UnboundFunInSpec1.hs, 2.0742, True
Tests/Error-Messages/UnboundFunInSpec2.hs, 2.2188, True
Tests/Error-Messages/UnboundVarInLocSig.hs, 2.1642, True
Tests/Error-Messages/Fractional.hs, 2.2047, True
Tests/Error-Messages/T773.hs, 2.0369, True
Tests/Error-Messages/T774.hs, 1.9731, True
Tests/Error-Messages/T1498.hs, 1.7891, True
Tests/Error-Messages/T1498A.hs, 1.9042, True
Tests/Error-Messages/Inconsistent0.hs, 1.8550, True
Tests/Error-Messages/Inconsistent1.hs, 1.9521, True
Tests/Error-Messages/Inconsistent2.hs, 1.9276, True
Tests/Error-Messages/BadAliasApp.hs, 1.8528, True
Tests/Error-Messages/BadPragma0.hs, 1.2835, True
Tests/Error-Messages/BadPragma1.hs, 1.0452, True
Tests/Error-Messages/BadPragma2.hs, 0.8721, True
Tests/Error-Messages/BadSyn1.hs, 1.2000, True
Tests/Error-Messages/BadSyn2.hs, 1.2262, True
Tests/Error-Messages/BadSyn3.hs, 1.2147, True
Tests/Error-Messages/BadSyn4.hs, 1.2625, True
Tests/Error-Messages/BadAnnotation.hs, 0.9301, True
Tests/Error-Messages/BadAnnotation1.hs, 0.9754, True
Tests/Error-Messages/CyclicExprAlias0.hs, 1.1956, True
Tests/Error-Messages/CyclicExprAlias1.hs, 1.2019, True
Tests/Error-Messages/CyclicExprAlias2.hs, 1.1401, True
Tests/Error-Messages/CyclicExprAlias3.hs, 1.2829, True
Tests/Error-Messages/DupAlias.hs, 1.4251, True
Tests/Error-Messages/DupAlias.hs, 1.4076, True
Tests/Error-Messages/BadDataConType.hs, 1.3902, True
Tests/Error-Messages/BadDataConType1.hs, 1.1761, True
Tests/Error-Messages/BadDataConType2.hs, 1.1557, True
Tests/Error-Messages/LiftMeasureCase.hs, 1.2408, True
Tests/Error-Messages/HigherOrderBinder.hs, 1.3007, True
Tests/Error-Messages/HoleCrash1.hs, 1.2389, True
Tests/Error-Messages/HoleCrash2.hs, 1.2091, True
Tests/Error-Messages/HoleCrash3.hs, 1.3456, True
Tests/Error-Messages/BadPredApp.hs, 1.3602, True
Tests/Error-Messages/LocalHole.hs, 1.3295, True
Tests/Error-Messages/UnboundAbsRef.hs, 1.2681, True
Tests/Error-Messages/ParseClass.hs, 0.9046, True
Tests/Error-Messages/ParseBind.hs, 0.9274, True
Tests/Error-Messages/MultiInstMeasures.hs, 1.2161, True
Tests/Error-Messages/BadDataDeclTyVars.hs, 1.1513, True
Tests/Error-Messages/BadDataCon2.hs, 1.0680, True
Tests/Error-Messages/BadSig0.hs, 1.2389, True
Tests/Error-Messages/BadSig1.hs, 1.2775, True
Tests/Error-Messages/BadData1.hs, 1.2150, True
Tests/Error-Messages/BadData2.hs, 1.1893, True
Tests/Error-Messages/T1140.hs, 1.1765, True
Tests/Error-Messages/InlineSubExp0.hs, 1.2077, True
Tests/Error-Messages/InlineSubExp1.hs, 1.4181, True
Tests/Error-Messages/EmptySig.hs, 1.0142, True
Tests/Error-Messages/MissingReflect.hs, 1.3863, True
Tests/Error-Messages/MissingSizeFun.hs, 1.1335, True
Tests/Error-Messages/MissingAssume.hs, 1.2019, True
Tests/Error-Messages/HintMismatch.hs, 1.2188, True
Tests/Error-Messages/ElabLocation.hs, 1.1530, True
Tests/Error-Messages/ErrLocation.hs, 1.3092, True
Tests/Error-Messages/ErrLocation2.hs, 1.2840, True
Tests/Macro/unit-pos/zipW2.hs, 1.2448, True
Tests/Macro/unit-pos/zipW1.hs, 1.3392, True
Tests/Macro/unit-pos/zipW.hs, 1.4579, True
Tests/Macro/unit-pos/zipSO.hs, 1.3560, True
Tests/Macro/unit-pos/zipper000.hs, 1.4692, True
Tests/Macro/unit-pos/zipper0.hs, 1.8237, True
Tests/Macro/unit-pos/zipper.hs, 2.3975, True
Tests/Macro/unit-pos/WrapUnWrap.hs, 1.3518, True
Tests/Macro/unit-pos/wrap1.hs, 1.5512, True
Tests/Macro/unit-pos/wrap0.hs, 1.5670, True
Tests/Macro/unit-pos/Words1.hs, 1.3948, True
Tests/Macro/unit-pos/Words.hs, 1.3588, True
Tests/Macro/unit-pos/WBL0.hs, 2.7372, True
Tests/Macro/unit-pos/WBL.hs, 2.4995, True
Tests/Macro/unit-pos/VerifiedNum.hs, 1.3415, True
Tests/Macro/unit-pos/vector2.hs, 2.9791, True
Tests/Macro/unit-pos/vector1b.hs, 2.2703, True
Tests/Macro/unit-pos/vector1a.hs, 2.2909, True
Tests/Macro/unit-pos/vector1.hs, 2.0135, True
Tests/Macro/unit-pos/vector00.hs, 1.5683, True
Tests/Macro/unit-pos/Variance2.hs, 1.3627, True
Tests/Macro/unit-pos/Variance.hs, 1.3412, True
Tests/Macro/unit-pos/unusedtyvars.hs, 1.3010, True
Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs, 2.2172, True
Tests/Macro/unit-pos/UnboxedTuples.hs, 1.3656, True
Tests/Macro/unit-pos/tyvar.hs, 1.3657, True
Tests/Macro/unit-pos/TypeLitString.hs, 1.3395, True
Tests/Macro/unit-pos/TypeLitNat.hs, 1.2740, True
Tests/Macro/unit-pos/TypeAlias.hs, 1.3507, True
Tests/Macro/unit-pos/tyfam0.hs, 1.4807, True
Tests/Macro/unit-pos/tyExpr.hs, 1.3826, True
Tests/Macro/unit-pos/tyclass0.hs, 1.7761, True
Tests/Macro/unit-pos/tupparse.hs, 1.8399, True
Tests/Macro/unit-pos/tup0.hs, 1.5591, True
Tests/Macro/unit-pos/TT1620A.hs, 1.3850, True
Tests/Macro/unit-pos/transTAG.hs, 3.6004, True
Tests/Macro/unit-pos/transpose.hs, 2.2584, True
Tests/Macro/unit-pos/trans.hs, 1.4451, True
Tests/Macro/unit-pos/ToyMVar.hs, 1.7967, True
Tests/Macro/unit-pos/TopLevel.hs, 1.2998, True
Tests/Macro/unit-pos/top0.hs, 1.7526, True
Tests/Macro/unit-pos/TokenType.hs, 1.5474, True
Tests/Macro/unit-pos/testRec.hs, 1.3504, True
Tests/Macro/unit-pos/Test761.hs, 1.4471, True
Tests/Macro/unit-pos/test2.hs, 1.3871, True
Tests/Macro/unit-pos/test1.hs, 1.4193, True
Tests/Macro/unit-pos/test00c.hs, 1.5704, True
Tests/Macro/unit-pos/test00b.hs, 2.5398, True
Tests/Macro/unit-pos/test000.hs, 1.4548, True
Tests/Macro/unit-pos/test00.old.hs, 1.4201, True
Tests/Macro/unit-pos/test00.hs, 1.3785, True
Tests/Macro/unit-pos/test00-int.hs, 1.3987, True
Tests/Macro/unit-pos/test0.hs, 1.4715, True
Tests/Macro/unit-pos/TerminationNum0.hs, 1.3773, True
Tests/Macro/unit-pos/TerminationNum.hs, 1.3979, True
Tests/Macro/unit-pos/Termination.hs, 1.5866, True
Tests/Macro/unit-pos/term0.hs, 1.5462, True
Tests/Macro/unit-pos/Term.hs, 2.2344, True
Tests/Macro/unit-pos/take.hs, 3.1656, True
Tests/Macro/unit-pos/tagBinder.hs, 1.3337, True
Tests/Macro/unit-pos/T914.hs, 1.3126, True
Tests/Macro/unit-pos/T866.hs, 1.4162, True
Tests/Macro/unit-pos/T820.hs, 1.8918, True
Tests/Macro/unit-pos/T819A.hs, 1.7672, True
Tests/Macro/unit-pos/T819.hs, 1.4174, True
Tests/Macro/unit-pos/T716.hs, 4.3640, True
Tests/Macro/unit-pos/T598.hs, 2.1782, True
Tests/Macro/unit-pos/T595a.hs, 2.2894, True
Tests/Macro/unit-pos/T595.hs, 2.1882, True
Tests/Macro/unit-pos/T531.hs, 1.4271, True
Tests/Macro/unit-pos/T385.hs, 1.4940, True
Tests/Macro/unit-pos/T1603.hs, 1.4230, True
Tests/Macro/unit-pos/T1597.hs, 1.4862, True
Tests/Macro/unit-pos/T1595.hs, 1.4882, True
Tests/Macro/unit-pos/T1593.hs, 1.3794, True
Tests/Macro/unit-pos/T1577.hs, 1.3222, True
Tests/Macro/unit-pos/T1571.hs, 1.2737, True
Tests/Macro/unit-pos/T1568.hs, 1.2992, True
Tests/Macro/unit-pos/T1567.hs, 1.2508, True
Tests/Macro/unit-pos/T1560B.hs, 1.3339, True
Tests/Macro/unit-pos/T1560.hs, 1.2977, True
Tests/Macro/unit-pos/T1556.hs, 1.2359, True
Tests/Macro/unit-pos/T1555.hs, 1.1806, True
Tests/Macro/unit-pos/T1550.hs, 1.2186, True
Tests/Macro/unit-pos/T1548.hs, 1.8366, True
Tests/Macro/unit-pos/T1547.hs, 1.2265, True
Tests/Macro/unit-pos/T1544.hs, 1.2927, True
Tests/Macro/unit-pos/T1543.hs, 1.2367, True
Tests/Macro/unit-pos/T1498.hs, 1.3643, True
Tests/Macro/unit-pos/T1461.hs, 1.4638, True
Tests/Macro/unit-pos/T1363.hs, 1.4062, True
Tests/Macro/unit-pos/T1336.hs, 1.9538, True
Tests/Macro/unit-pos/T1302.hs, 2.1833, True
Tests/Macro/unit-pos/T1289a.hs, 1.2819, True
Tests/Macro/unit-pos/T1288.hs, 1.3183, True
Tests/Macro/unit-pos/T1286.hs, 1.2894, True
Tests/Macro/unit-pos/T1278.hs, 1.3167, True
Tests/Macro/unit-pos/T1278.3.hs, 1.3344, True
Tests/Macro/unit-pos/T1278.2.hs, 1.7310, True
Tests/Macro/unit-pos/T1267.hs, 1.4358, True
Tests/Macro/unit-pos/T1223.hs, 2.0885, True
Tests/Macro/unit-pos/T1220.hs, 1.3677, True
Tests/Macro/unit-pos/T1198.4.hs, 1.3813, True
Tests/Macro/unit-pos/T1198.3.hs, 1.3259, True
Tests/Macro/unit-pos/T1198.2.hs, 1.3275, True
Tests/Macro/unit-pos/T1198.1.hs, 1.3233, True
Tests/Macro/unit-pos/T1126a.hs, 1.2607, True
Tests/Macro/unit-pos/T1126.hs, 1.3589, True
Tests/Macro/unit-pos/T1120A.hs, 1.6357, True
Tests/Macro/unit-pos/T1100.hs, 1.4701, True
Tests/Macro/unit-pos/T1095C.hs, 1.9947, True
Tests/Macro/unit-pos/T1095B.hs, 2.1682, True
Tests/Macro/unit-pos/T1095A.hs, 2.2581, True
Tests/Macro/unit-pos/T1092.hs, 2.2404, True
Tests/Macro/unit-pos/T1085.hs, 2.0743, True
Tests/Macro/unit-pos/T1074.hs, 1.8906, True
Tests/Macro/unit-pos/T1065.hs, 2.1048, True
Tests/Macro/unit-pos/T1060.hs, 2.1617, True
Tests/Macro/unit-pos/T1045a.hs, 1.7771, True
Tests/Macro/unit-pos/T1045.hs, 1.4653, True
Tests/Macro/unit-pos/T1034.hs, 1.4522, True
Tests/Macro/unit-pos/T1025a.hs, 1.6094, True
Tests/Macro/unit-pos/T1025.hs, 1.4632, True
Tests/Macro/unit-pos/T1024.hs, 1.5945, True
Tests/Macro/unit-pos/T1013A.hs, 3.6835, True
Tests/Macro/unit-pos/T1013.hs, 1.8716, True
Tests/Macro/unit-pos/Sum.hs, 1.3993, True
Tests/Macro/unit-pos/StructRec.hs, 1.3469, True
Tests/Macro/unit-pos/Strings.hs, 1.3564, True
Tests/Macro/unit-pos/StringLit.hs, 1.3067, True
Tests/Macro/unit-pos/string00.hs, 1.4492, True
Tests/Macro/unit-pos/StrictPair1.hs, 1.3840, True
Tests/Macro/unit-pos/StrictPair0.hs, 1.2731, True
Tests/Macro/unit-pos/Streams.hs, 1.3500, True
Tests/Macro/unit-pos/StateLib.hs, 1.6732, True
Tests/Macro/unit-pos/stateInvarint.hs, 1.8978, True
Tests/Macro/unit-pos/StateF00.hs, 1.3574, True
Tests/Macro/unit-pos/StateConstraints00.hs, 1.3901, True
Tests/Macro/unit-pos/StateConstraints0.hs, 1.6860, True
Tests/Macro/unit-pos/StateConstraints.hs, 11.6966, True
Tests/Macro/unit-pos/state00.hs, 1.5628, True
Tests/Macro/unit-pos/State.hs, 1.4769, True
Tests/Macro/unit-pos/stacks0.hs, 1.6027, True
Tests/Macro/unit-pos/StackMachine.hs, 1.6238, True
Tests/Macro/unit-pos/StackClass.hs, 1.4748, True
Tests/Macro/unit-pos/spec0.hs, 1.3442, True
Tests/Macro/unit-pos/Solver.hs, 1.9398, True
Tests/Macro/unit-pos/SingletonLists.hs, 1.4242, True
Tests/Macro/unit-pos/SimplifyTup00.hs, 2.4736, True
Tests/Macro/unit-pos/SimplerNotation.hs, 2.3702, True
Tests/Macro/unit-pos/selfList.hs, 2.5553, True
Tests/Macro/unit-pos/scanr.hs, 1.5457, True
Tests/Macro/unit-pos/SafePartialFunctions.hs, 1.4975, True
Tests/Macro/unit-pos/rta.hs, 1.8861, True
Tests/Macro/unit-pos/risers.hs, 2.2136, True
Tests/Macro/unit-pos/ResolvePred.hs, 1.3778, True
Tests/Macro/unit-pos/ResolveB.hs, 1.4704, True
Tests/Macro/unit-pos/ResolveA.hs, 1.4085, True
Tests/Macro/unit-pos/Resolve.hs, 1.3929, True
Tests/Macro/unit-pos/repeatHigherOrder.hs, 2.4959, True
Tests/Macro/unit-pos/Repeat.hs, 2.6280, True
Tests/Macro/unit-pos/RelativeComplete.hs, 2.2422, True
Tests/Macro/unit-pos/ReflectMutual.hs, 1.9550, True
Tests/Macro/unit-pos/ReflectBooleanFunctions.hs, 2.0014, True
Tests/Macro/unit-pos/ReflectAlias.hs, 1.3137, True
Tests/Macro/unit-pos/reflect0.hs, 1.4575, True
Tests/Macro/unit-pos/RefinedADTs.hs, 1.3960, True
Tests/Macro/unit-pos/Reduction.hs, 1.3381, True
Tests/Macro/unit-pos/recursion0.hs, 1.3518, True
Tests/Macro/unit-pos/RecSelector.hs, 1.3301, True
Tests/Macro/unit-pos/RecQSort0.hs, 1.6092, True
Tests/Macro/unit-pos/RecQSort.hs, 1.4877, True
Tests/Macro/unit-pos/RecordSelectorError.hs, 1.3013, True
Tests/Macro/unit-pos/record1.hs, 1.3495, True
Tests/Macro/unit-pos/record0.hs, 1.4967, True
Tests/Macro/unit-pos/rec_annot_go.hs, 1.5930, True
Tests/Macro/unit-pos/Rebind.hs, 1.2401, True
Tests/Macro/unit-pos/RealProps.hs, 1.3848, True
Tests/Macro/unit-pos/RBTree.hs, 15.7481, True
Tests/Macro/unit-pos/RBTree-ord.hs, 9.8954, True
Tests/Macro/unit-pos/RBTree-height.hs, 3.7008, True
Tests/Macro/unit-pos/RBTree-color.hs, 4.4361, True
Tests/Macro/unit-pos/RBTree-col-height.hs, 5.4270, True
Tests/Macro/unit-pos/rangeAdt.hs, 3.9622, True
Tests/Macro/unit-pos/range1.hs, 1.3628, True
Tests/Macro/unit-pos/range.hs, 1.5371, True
Tests/Macro/unit-pos/qualTest.hs, 1.3563, True
Tests/Macro/unit-pos/QQTySyn.hs, 1.4921, False
Tests/Macro/unit-pos/QQTySigTyVars.hs, 1.5835, False
Tests/Macro/unit-pos/QQTySig.hs, 1.6892, False
Tests/Macro/unit-pos/propmeasure1.hs, 1.3313, True
Tests/Macro/unit-pos/propmeasure.hs, 1.6202, True
Tests/Macro/unit-pos/Propability.hs, 2.7645, True
Tests/Macro/unit-pos/PromotedDataCons.hs, 1.3094, True
Tests/Macro/unit-pos/profcrasher.hs, 1.3736, True
Tests/Macro/unit-pos/Product.hs, 1.6392, True
Tests/Macro/unit-pos/primInt0.hs, 2.6646, True
Tests/Macro/unit-pos/pred.hs, 1.2837, True
Tests/Macro/unit-pos/pragma0.hs, 1.2237, True
Tests/Macro/unit-pos/poslist_dc.hs, 1.3860, True
Tests/Macro/unit-pos/poslist.hs, 1.5357, True
Tests/Macro/unit-pos/polyqual.hs, 1.6777, True
Tests/Macro/unit-pos/polyfun.hs, 1.3264, True
Tests/Macro/unit-pos/poly4.hs, 1.5019, True
Tests/Macro/unit-pos/poly3a.hs, 1.3878, True
Tests/Macro/unit-pos/poly3.hs, 1.3996, True
Tests/Macro/unit-pos/poly2.hs, 1.2624, True
Tests/Macro/unit-pos/poly2-degenerate.hs, 1.3333, True
Tests/Macro/unit-pos/poly1.hs, 1.3932, True
Tests/Macro/unit-pos/poly0.hs, 1.4574, True
Tests/Macro/unit-pos/PointDist.hs, 1.4875, True
Tests/Macro/unit-pos/ple1.hs, 1.6459, True
Tests/Macro/unit-pos/PersistentVector.hs, 1.5746, True
Tests/Macro/unit-pos/Permutation.hs, 2.5727, True
Tests/Macro/unit-pos/partialmeasure.hs, 1.3131, True
Tests/Macro/unit-pos/partial-tycon.hs, 1.3459, True
Tests/Macro/unit-pos/pargs1.hs, 1.2864, True
Tests/Macro/unit-pos/pargs.hs, 1.1931, True
Tests/Macro/unit-pos/PairMeasure0.hs, 1.2801, True
Tests/Macro/unit-pos/PairMeasure.hs, 1.4316, True
Tests/Macro/unit-pos/pair00.hs, 2.4728, True
Tests/Macro/unit-pos/pair0.hs, 3.0902, True
Tests/Macro/unit-pos/pair.hs, 3.1256, True
Tests/Macro/unit-pos/ORM.hs, 2.1720, True
Tests/Macro/unit-pos/OrdList.hs, 3.5535, True
Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs, 1.3634, True
Tests/Macro/unit-pos/NoCaseExpand.hs, 1.5326, True
Tests/Macro/unit-pos/niki1.hs, 1.4795, True
Tests/Macro/unit-pos/niki.hs, 1.3749, True
Tests/Macro/unit-pos/nats.hs, 1.3729, True
Tests/Macro/unit-pos/MutualRec.hs, 7.0568, True
Tests/Macro/unit-pos/MutuallyDependentADT.hs, 1.5735, True
Tests/Macro/unit-pos/mutrec.hs, 1.5360, True
Tests/Macro/unit-pos/multi-pred-app-00.hs, 1.3721, True
Tests/Macro/unit-pos/monad6.hs, 1.5849, True
Tests/Macro/unit-pos/monad5.hs, 1.7525, True
Tests/Macro/unit-pos/monad2.hs, 1.4063, True
Tests/Macro/unit-pos/modTest.hs, 1.4287, True
Tests/Macro/unit-pos/ModLib.hs, 1.2979, True
Tests/Macro/unit-pos/Mod.hs, 1.2759, True
Tests/Macro/unit-pos/MergeSort.hs, 1.9646, True
Tests/Macro/unit-pos/MergeSort-bag.hs, 2.7161, True
Tests/Macro/unit-pos/Merge1.hs, 1.6559, True
Tests/Macro/unit-pos/MeasureSets.hs, 1.7710, True
Tests/Macro/unit-pos/Measures1.hs, 2.0563, True
Tests/Macro/unit-pos/Measures.hs, 1.8196, True
Tests/Macro/unit-pos/MeasureDups.hs, 1.6241, True
Tests/Macro/unit-pos/MeasureContains.hs, 2.0899, True
Tests/Macro/unit-pos/meas9.hs, 2.3084, True
Tests/Macro/unit-pos/meas8.hs, 1.8255, True
Tests/Macro/unit-pos/meas7.hs, 1.5230, True
Tests/Macro/unit-pos/meas6.hs, 1.5822, True
Tests/Macro/unit-pos/meas5.hs, 2.7918, True
Tests/Macro/unit-pos/meas4.hs, 2.5928, True
Tests/Macro/unit-pos/meas2.hs, 1.9651, True
Tests/Macro/unit-pos/meas11.hs, 2.9128, True
Tests/Macro/unit-pos/meas10.hs, 1.9398, True
Tests/Macro/unit-pos/meas1.hs, 2.4017, True
Tests/Macro/unit-pos/meas0a.hs, 2.1343, True
Tests/Macro/unit-pos/meas00a.hs, 1.9279, True
Tests/Macro/unit-pos/meas00.hs, 1.8390, True
Tests/Macro/unit-pos/meas0.hs, 2.1541, True
Tests/Macro/unit-pos/maybe4.hs, 1.4691, True
Tests/Macro/unit-pos/maybe3.hs, 1.4325, True
Tests/Macro/unit-pos/maybe2.hs, 2.5922, True
Tests/Macro/unit-pos/maybe1.hs, 1.5298, True
Tests/Macro/unit-pos/maybe000.hs, 1.4224, True
Tests/Macro/unit-pos/maybe0.hs, 1.4497, True
Tests/Macro/unit-pos/maybe.hs, 2.4453, True
Tests/Macro/unit-pos/MaskError.hs, 1.4573, True
Tests/Macro/unit-pos/mapTvCrash.hs, 1.3957, True
Tests/Macro/unit-pos/maps1.hs, 1.4495, True
Tests/Macro/unit-pos/maps.hs, 1.6051, True
Tests/Macro/unit-pos/MapReduceVerified.hs, 20.0364, True
Tests/Macro/unit-pos/mapreduce-bare.hs, 7.8865, True
Tests/Macro/unit-pos/MapFusion.hs, 2.2502, True
Tests/Macro/unit-pos/Map2.hs, 28.5990, True
Tests/Macro/unit-pos/Map0.hs, 23.2472, True
Tests/Macro/unit-pos/Map.hs, 23.7351, True
Tests/Macro/unit-pos/malformed0.hs, 1.7030, True
Tests/Macro/unit-pos/LooLibLib.hs, 1.2530, True
Tests/Macro/unit-pos/LooLib.hs, 1.3137, True
Tests/Macro/unit-pos/Loo.hs, 1.4125, True
Tests/Macro/unit-pos/LogicCurry1.hs, 1.4296, True
Tests/Macro/unit-pos/LocalSpecLib.hs, 1.2627, True
Tests/Macro/unit-pos/LocalSpec.hs, 1.1934, True
Tests/Macro/unit-pos/LocalLazy.hs, 1.3646, True
Tests/Macro/unit-pos/LocalHole.hs, 1.3277, True
Tests/Macro/unit-pos/lit02.hs, 1.5473, True
Tests/Macro/unit-pos/lit00.hs, 1.5322, True
Tests/Macro/unit-pos/lit.hs, 1.3663, True
Tests/Macro/unit-pos/ListSort.hs, 3.4513, True
Tests/Macro/unit-pos/listSetDemo.hs, 1.5540, True
Tests/Macro/unit-pos/listSet.hs, 1.5648, True
Tests/Macro/unit-pos/ListReverse-LType.hs, 1.4170, True
Tests/Macro/unit-pos/ListRange.hs, 1.6336, True
Tests/Macro/unit-pos/ListRange-LType.hs, 1.5899, True
Tests/Macro/unit-pos/listqual.hs, 1.3974, True
Tests/Macro/unit-pos/ListQSort-LType.hs, 3.1501, True
Tests/Macro/unit-pos/ListMSort.hs, 2.5451, True
Tests/Macro/unit-pos/ListMSort-LType.hs, 5.0819, True
Tests/Macro/unit-pos/ListLen.hs, 2.2133, True
Tests/Macro/unit-pos/ListLen-LType.hs, 2.1915, True
Tests/Macro/unit-pos/ListKeys.hs, 1.4591, True
Tests/Macro/unit-pos/ListISort-perm.hs, 2.0558, True
Tests/Macro/unit-pos/ListISort-bag.hs, 1.7191, True
Tests/Macro/unit-pos/ListElem.hs, 2.5795, True
Tests/Macro/unit-pos/ListConcat.hs, 1.7054, True
Tests/Macro/unit-pos/listAnf.hs, 2.0160, True
Tests/Macro/unit-pos/Lib521.hs, 1.6280, True
Tests/Macro/unit-pos/lex.hs, 1.5405, True
Tests/Macro/unit-pos/lets.hs, 1.9585, True
Tests/Macro/unit-pos/LazyWhere1.hs, 1.8904, True
Tests/Macro/unit-pos/LazyWhere.hs, 1.5888, True
Tests/Macro/unit-pos/LambdaEvalTiny.hs, 2.2366, True
Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs, 2.2425, True
Tests/Macro/unit-pos/LambdaEvalMini.hs, 4.7410, True
Tests/Macro/unit-pos/LambdaEval.hs, 4.2217, True
Tests/Macro/unit-pos/LambdaDeBruijn.hs, 2.9098, True
Tests/Macro/unit-pos/kmpVec.hs, 2.6157, True
Tests/Macro/unit-pos/kmpIO.hs, 1.9678, True
Tests/Macro/unit-pos/kmp.hs, 3.0754, True
Tests/Macro/unit-pos/Keys.hs, 1.8587, True
Tests/Macro/unit-pos/jeff.hs, 5.3043, True
Tests/Macro/unit-pos/ite1.hs, 1.2815, True
Tests/Macro/unit-pos/ite.hs, 1.3118, True
Tests/Macro/unit-pos/invlhs.hs, 1.5111, True
Tests/Macro/unit-pos/inline1.hs, 1.4778, True
Tests/Macro/unit-pos/inline.hs, 1.5064, True
Tests/Macro/unit-pos/infix.hs, 1.4868, True
Tests/Macro/unit-pos/Infinity.hs, 1.5904, True
Tests/Macro/unit-pos/implies.hs, 1.3877, True
Tests/Macro/unit-pos/imp0.hs, 1.4281, True
Tests/Macro/unit-pos/Ignores.hs, 2.2111, True
Tests/Macro/unit-pos/idNat0.hs, 1.3224, True
Tests/Macro/unit-pos/idNat.hs, 1.3165, True
Tests/Macro/unit-pos/IcfpDemo.hs, 1.6092, True
Tests/Macro/unit-pos/Hutton.hs, 6.0743, True
Tests/Macro/unit-pos/Holes.hs, 1.8221, True
Tests/Macro/unit-pos/Holes-Slicing.hs, 1.8067, True
Tests/Macro/unit-pos/Hole00.hs, 2.4971, True
Tests/Macro/unit-pos/hole-fun.hs, 1.4327, True
Tests/Macro/unit-pos/hole-app.hs, 1.2933, True
Tests/Macro/unit-pos/HigherOrderRecFun.hs, 1.3623, True
Tests/Macro/unit-pos/Hex00.hs, 1.2649, True
Tests/Macro/unit-pos/hello.hs, 1.2831, True
Tests/Macro/unit-pos/HedgeUnion.hs, 1.6188, True
Tests/Macro/unit-pos/HaskellMeasure.hs, 1.3346, True
Tests/Macro/unit-pos/HasElem.hs, 1.4837, True
Tests/Macro/unit-pos/grty3.hs, 1.2555, True
Tests/Macro/unit-pos/grty2.hs, 1.3614, True
Tests/Macro/unit-pos/grty1.hs, 1.4177, True
Tests/Macro/unit-pos/grty0.hs, 1.3076, True
Tests/Macro/unit-pos/Graph.hs, 1.5236, True
Tests/Macro/unit-pos/GoodHMeas.hs, 1.3930, True
Tests/Macro/unit-pos/go_ugly_type.hs, 1.5122, True
Tests/Macro/unit-pos/go.hs, 1.3755, True
Tests/Macro/unit-pos/gimme.hs, 1.4860, True
Tests/Macro/unit-pos/GhcSort3.T.hs, 2.0804, True
Tests/Macro/unit-pos/GhcSort3.hs, 4.8601, True
Tests/Macro/unit-pos/GhcSort2.hs, 1.9759, True
Tests/Macro/unit-pos/GhcSort1.hs, 3.9447, True
Tests/Macro/unit-pos/GeneralizedTermination.hs, 1.2973, True
Tests/Macro/unit-pos/GCD.hs, 1.5718, True
Tests/Macro/unit-pos/gadtEval.hs, 1.9351, True
Tests/Macro/unit-pos/FractionalInstance.hs, 1.4302, True
Tests/Macro/unit-pos/Fractional.hs, 1.4490, True
Tests/Macro/unit-pos/forloop.hs, 1.9697, True
Tests/Macro/unit-pos/for.hs, 1.7975, True
Tests/Macro/unit-pos/Foo.hs, 1.2517, True
Tests/Macro/unit-pos/foldr.hs, 1.6539, True
Tests/Macro/unit-pos/foldN.hs, 1.9201, True
Tests/Macro/unit-pos/Foldl.hs, 15.8681, True
Tests/Macro/unit-pos/FingerTree.hs, 17.7345, True
Tests/Macro/unit-pos/filterAbs.hs, 1.7050, True
Tests/Macro/unit-pos/FibEq.hs, 2.3472, True
Tests/Macro/unit-pos/Fib0.hs, 1.7787, True
Tests/Macro/unit-pos/FFI.hs, 1.9472, True
Tests/Macro/unit-pos/failName.hs, 1.7291, True
Tests/Macro/unit-pos/extype.hs, 1.6659, True
Tests/Macro/unit-pos/exp0.hs, 2.1534, True
Tests/Macro/unit-pos/ExactGADT6.hs, 2.7379, True
Tests/Macro/unit-pos/ExactGADT2.hs, 2.3625, True
Tests/Macro/unit-pos/ExactGADT1.hs, 1.8414, True
Tests/Macro/unit-pos/ExactGADT0.hs, 2.6986, True
Tests/Macro/unit-pos/ExactGADT.hs, 1.4519, True
Tests/Macro/unit-pos/ExactADT6.hs, 3.4091, True
Tests/Macro/unit-pos/ex1.hs, 1.8829, True
Tests/Macro/unit-pos/ex01.hs, 1.3491, True
Tests/Macro/unit-pos/ex0.hs, 1.5684, True
Tests/Macro/unit-pos/Even0.hs, 1.4148, True
Tests/Macro/unit-pos/Even.hs, 1.3197, True
Tests/Macro/unit-pos/EvalQuery.hs, 1.8413, True
Tests/Macro/unit-pos/Eval.hs, 1.9363, True
Tests/Macro/unit-pos/eqelems.hs, 2.0179, True
Tests/Macro/unit-pos/eq-poly-measure.hs, 1.8010, True
Tests/Macro/unit-pos/elim01.hs, 1.5626, True
Tests/Macro/unit-pos/elim00.hs, 1.5197, True
Tests/Macro/unit-pos/elim-ex-map-3.hs, 2.5697, False
Tests/Macro/unit-pos/elim-ex-map-2.hs, 1.8306, False
Tests/Macro/unit-pos/elim-ex-map-1.hs, 3.0542, False
Tests/Macro/unit-pos/elim-ex-list.hs, 2.5674, False
Tests/Macro/unit-pos/elim-ex-let.hs, 1.8278, False
Tests/Macro/unit-pos/elim-ex-compose.hs, 2.3017, True
Tests/Macro/unit-pos/elems.hs, 1.8995, True
Tests/Macro/unit-pos/elements.hs, 4.0614, True
Tests/Macro/unit-pos/duplicate-bind.hs, 2.0712, True
Tests/Macro/unit-pos/dropwhile.hs, 1.7500, True
Tests/Macro/unit-pos/div000.hs, 1.4340, True
Tests/Macro/unit-pos/deptupW.hs, 1.4777, True
Tests/Macro/unit-pos/deptup3.hs, 1.9252, True
Tests/Macro/unit-pos/deptup1.hs, 1.6704, True
Tests/Macro/unit-pos/deptup.hs, 2.0506, True
Tests/Macro/unit-pos/DepTriples.hs, 1.3743, True
Tests/Macro/unit-pos/DependentPairsFun.hs, 1.2739, True
Tests/Macro/unit-pos/DependentPairs.hs, 1.2896, True
Tests/Macro/unit-pos/DepData.hs, 1.2568, True
Tests/Macro/unit-pos/deepmeas0.hs, 1.7546, True
Tests/Macro/unit-pos/DB00.hs, 1.5347, True
Tests/Macro/unit-pos/dataConQuals.hs, 1.4347, True
Tests/Macro/unit-pos/datacon1.hs, 1.2784, True
Tests/Macro/unit-pos/datacon0.hs, 1.9510, True
Tests/Macro/unit-pos/datacon-inv.hs, 1.4155, True
Tests/Macro/unit-pos/DataBase.hs, 1.5857, True
Tests/Macro/unit-pos/data2.hs, 2.3972, True
Tests/Macro/unit-pos/cut00.hs, 1.4052, True
Tests/Macro/unit-pos/csgordon_issue_296.hs, 3.5266, True
Tests/Macro/unit-pos/CountMonad.hs, 1.7551, True
Tests/Macro/unit-pos/coretologic.hs, 1.4771, True
Tests/Macro/unit-pos/ConstraintsAppend.hs, 2.5936, True
Tests/Macro/unit-pos/Constraints.hs, 1.4077, True
Tests/Macro/unit-pos/comprehensionTerm.hs, 2.0015, True
Tests/Macro/unit-pos/comprehension.hs, 1.2715, True
Tests/Macro/unit-pos/CompareConstraints.hs, 1.8229, True
Tests/Macro/unit-pos/compare2.hs, 1.4913, True
Tests/Macro/unit-pos/compare1.hs, 1.4483, True
Tests/Macro/unit-pos/compare.hs, 1.3722, True
Tests/Macro/unit-pos/CommentedOut.hs, 1.3170, True
Tests/Macro/unit-pos/comma.hs, 1.3356, True
Tests/Macro/unit-pos/Coercion.hs, 1.3437, True
Tests/Macro/unit-pos/cmptag0.hs, 1.3030, True
Tests/Macro/unit-pos/ClojurVector.hs, 1.7666, True
Tests/Macro/unit-pos/Client521.hs, 1.2643, True
Tests/Macro/unit-pos/ClassReg.hs, 1.2715, True
Tests/Macro/unit-pos/Class2.hs, 1.9877, True
Tests/Macro/unit-pos/Class.hs, 2.0904, True
Tests/Macro/unit-pos/Chunks.hs, 1.8186, True
Tests/Macro/unit-pos/CheckedNum.hs, 1.5093, True
Tests/Macro/unit-pos/CharLiterals.hs, 1.3226, True
Tests/Macro/unit-pos/Cat.hs, 1.3355, True
Tests/Macro/unit-pos/CasesToLogic.hs, 1.2632, True
Tests/Macro/unit-pos/case-lambda-join.hs, 1.5574, True
Tests/Macro/unit-pos/BST000.hs, 1.9725, True
Tests/Macro/unit-pos/BST.hs, 15.6432, True
Tests/Macro/unit-pos/bounds1.hs, 1.3408, True
Tests/Macro/unit-pos/bool2.hs, 1.4672, True
Tests/Macro/unit-pos/bool1.hs, 1.9775, True
Tests/Macro/unit-pos/bool0.hs, 1.3974, True
Tests/Macro/unit-pos/Books.hs, 1.5164, True
Tests/Macro/unit-pos/BinarySearchOverflow.hs, 1.8366, True
Tests/Macro/unit-pos/BinarySearch.hs, 1.5001, True
Tests/Macro/unit-pos/bangPatterns.hs, 1.4562, True
Tests/Macro/unit-pos/bag1.hs, 1.5429, True
Tests/Macro/unit-pos/AVLRJ.hs, 2.8005, True
Tests/Macro/unit-pos/AVL.hs, 2.3104, True
Tests/Macro/unit-pos/Avg.hs, 1.2956, True
Tests/Macro/unit-pos/AutoTerm1.hs, 1.3107, True
Tests/Macro/unit-pos/AutoTerm.hs, 1.3983, True
Tests/Macro/unit-pos/AutoSize.hs, 1.3620, True
Tests/Macro/unit-pos/Automate.hs, 1.6868, True
Tests/Macro/unit-pos/AssumedRecursive.hs, 1.3236, True
Tests/Macro/unit-pos/Assume.hs, 1.2629, True
Tests/Macro/unit-pos/anish1.hs, 1.2029, True
Tests/Macro/unit-pos/anftest.hs, 1.3111, True
Tests/Macro/unit-pos/anfbug.hs, 1.4819, True
Tests/Macro/unit-pos/AmortizedQueue.hs, 2.5788, True
Tests/Macro/unit-pos/alphaconvert-Set.hs, 1.8737, True
Tests/Macro/unit-pos/alphaconvert-List.hs, 2.0202, True
Tests/Macro/unit-pos/alias01.hs, 1.4189, True
Tests/Macro/unit-pos/alias00.hs, 1.3772, True
Tests/Macro/unit-pos/AdtPeano1.hs, 1.3607, True
Tests/Macro/unit-pos/AdtPeano0.hs, 1.3983, True
Tests/Macro/unit-pos/AdtList5.hs, 1.3877, True
Tests/Macro/unit-pos/AdtList4.hs, 1.4622, True
Tests/Macro/unit-pos/AdtList3.hs, 1.4554, True
Tests/Macro/unit-pos/AdtList2.hs, 1.5089, True
Tests/Macro/unit-pos/AdtList1.hs, 1.4402, True
Tests/Macro/unit-pos/AdtList0.hs, 1.4700, True
Tests/Macro/unit-pos/adt0.hs, 1.6389, True
Tests/Macro/unit-pos/Ackermann.hs, 1.4577, True
Tests/Macro/unit-pos/absref-crash0.hs, 1.7756, True
Tests/Macro/unit-pos/absref-crash.hs, 1.4435, True
Tests/Macro/unit-pos/Abs.hs, 1.8281, True
Tests/Macro/unit-neg/wrap1.hs, 1.8517, True
Tests/Macro/unit-neg/wrap0.hs, 1.5081, True
Tests/Macro/unit-neg/VerifiedNum.hs, 1.3356, True
Tests/Macro/unit-neg/vector2.hs, 2.4781, True
Tests/Macro/unit-neg/vector1a.hs, 2.1386, True
Tests/Macro/unit-neg/vector0a.hs, 1.7993, True
Tests/Macro/unit-neg/vector00.hs, 1.5762, True
Tests/Macro/unit-neg/Variance1.hs, 1.4816, True
Tests/Macro/unit-neg/Variance.hs, 1.3500, True
Tests/Macro/unit-neg/TypeLitNat.hs, 1.3073, True
Tests/Macro/unit-neg/tyclass0-unsafe.hs, 1.3708, True
Tests/Macro/unit-neg/truespec.hs, 1.3411, True
Tests/Macro/unit-neg/trans.hs, 2.8700, True
Tests/Macro/unit-neg/TotalHaskell.hs, 1.3602, True
Tests/Macro/unit-neg/TopLevel.hs, 1.4430, True
Tests/Macro/unit-neg/test2.hs, 1.4430, True
Tests/Macro/unit-neg/test1.hs, 1.4041, True
Tests/Macro/unit-neg/test00c.hs, 1.3119, True
Tests/Macro/unit-neg/test00b.hs, 1.5350, True
Tests/Macro/unit-neg/test00a.hs, 1.5311, True
Tests/Macro/unit-neg/test00.hs, 2.5278, True
Tests/Macro/unit-neg/TermReal.hs, 2.2130, True
Tests/Macro/unit-neg/TerminationNum0.hs, 4.9798, True
Tests/Macro/unit-neg/TerminationNum.hs, 2.7700, True
Tests/Macro/unit-neg/T743.hs, 1.6646, True
Tests/Macro/unit-neg/T743-mini.hs, 1.9466, True
Tests/Macro/unit-neg/T602.hs, 1.3828, True
Tests/Macro/unit-neg/T1613.hs, 1.3258, True
Tests/Macro/unit-neg/T1604.hs, 1.4237, True
Tests/Macro/unit-neg/T1577.hs, 1.3183, True
Tests/Macro/unit-neg/T1555.hs, 1.4992, True
Tests/Macro/unit-neg/T1553A.hs, 2.4367, True
Tests/Macro/unit-neg/T1553.hs, 2.5530, True
Tests/Macro/unit-neg/T1546.hs, 1.3639, True
Tests/Macro/unit-neg/T1498A.hs, 1.4323, True
Tests/Macro/unit-neg/T1498.hs, 1.3868, True
Tests/Macro/unit-neg/T1490A.hs, 1.4931, True
Tests/Macro/unit-neg/T1490.hs, 1.4959, True
Tests/Macro/unit-neg/T1440.hs, 1.5052, True
Tests/Macro/unit-neg/T1288.hs, 1.3587, True
Tests/Macro/unit-neg/T1286.hs, 1.3408, True
Tests/Macro/unit-neg/T1267.hs, 1.0230, True
Tests/Macro/unit-neg/T1198.3.hs, 1.3220, True
Tests/Macro/unit-neg/T1126.hs, 1.3255, True
Tests/Macro/unit-neg/T1095C.hs, 0.8702, True
Tests/Macro/unit-neg/sumPoly.hs, 1.3382, True
Tests/Macro/unit-neg/sumk.hs, 1.5872, True
Tests/Macro/unit-neg/Strings.hs, 1.1737, True
Tests/Macro/unit-neg/string00.hs, 1.3564, True
Tests/Macro/unit-neg/StrictPair1.hs, 1.4910, True
Tests/Macro/unit-neg/StrictPair0.hs, 1.4280, True
Tests/Macro/unit-neg/StateConstraints00.hs, 1.4974, True
Tests/Macro/unit-neg/StateConstraints0.hs, 45.6724, True
Tests/Macro/unit-neg/StateConstraints.hs, 3.6070, True
Tests/Macro/unit-neg/state00.hs, 2.0686, True
Tests/Macro/unit-neg/state0.hs, 1.8880, True
Tests/Macro/unit-neg/stacks.hs, 2.2176, True
Tests/Macro/unit-neg/Solver.hs, 3.2742, True
Tests/Macro/unit-neg/SafePartialFunctions.hs, 1.4587, True
Tests/Macro/unit-neg/risers.hs, 1.4896, True
Tests/Macro/unit-neg/RG.hs, 1.9069, True
Tests/Macro/unit-neg/revshape.hs, 1.4024, True
Tests/Macro/unit-neg/RecSelector.hs, 1.4195, True
Tests/Macro/unit-neg/RecQSort.hs, 1.5872, True
Tests/Macro/unit-neg/record0.hs, 1.4411, True
Tests/Macro/unit-neg/Rebind.hs, 1.2273, True
Tests/Macro/unit-neg/range.hs, 1.8763, True
Tests/Macro/unit-neg/QQTySyn2.hs, 1.7678, True
Tests/Macro/unit-neg/QQTySyn1.hs, 1.4922, True
Tests/Macro/unit-neg/QQTySig.hs, 1.4467, True
Tests/Macro/unit-neg/prune0.hs, 1.4541, True
Tests/Macro/unit-neg/Propability0.hs, 1.4253, True
Tests/Macro/unit-neg/Propability.hs, 1.4833, True
Tests/Macro/unit-neg/pred.hs, 1.2682, True
Tests/Macro/unit-neg/poslist.hs, 1.7705, True
Tests/Macro/unit-neg/polypred.hs, 1.3995, True
Tests/Macro/unit-neg/poly2.hs, 1.4080, True
Tests/Macro/unit-neg/poly2-degenerate.hs, 1.4492, True
Tests/Macro/unit-neg/poly1.hs, 2.4745, True
Tests/Macro/unit-neg/poly0.hs, 1.5139, True
Tests/Macro/unit-neg/partial.hs, 1.4080, True
Tests/Macro/unit-neg/pargs1.hs, 1.3559, True
Tests/Macro/unit-neg/pargs.hs, 1.3168, True
Tests/Macro/unit-neg/PairMeasure.hs, 2.2375, True
Tests/Macro/unit-neg/pair0.hs, 2.7512, True
Tests/Macro/unit-neg/pair.hs, 3.9340, True
Tests/Macro/unit-neg/NoMethodBindingError.hs, 0.9250, True
Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs, 1.3667, True
Tests/Macro/unit-neg/nestedRecursion.hs, 1.4797, True
Tests/Macro/unit-neg/NameResolution.hs, 1.4905, True
Tests/Macro/unit-neg/MultipleInvariants.hs, 1.4146, True
Tests/Macro/unit-neg/MultiParamTypeClasses.hs, 1.8532, True
Tests/Macro/unit-neg/multi-pred-app-00.hs, 2.2299, True
Tests/Macro/unit-neg/mr00.hs, 2.8509, True
Tests/Macro/unit-neg/monad7.hs, 1.8273, True
Tests/Macro/unit-neg/monad6.hs, 3.2581, True
Tests/Macro/unit-neg/monad5.hs, 1.7380, True
Tests/Macro/unit-neg/monad4.hs, 1.8232, True
Tests/Macro/unit-neg/monad3.hs, 2.0132, True
Tests/Macro/unit-neg/MergeSort.hs, 2.1306, True
Tests/Macro/unit-neg/MeasureDups.hs, 1.5541, True
Tests/Macro/unit-neg/MeasureContains.hs, 1.5279, True
Tests/Macro/unit-neg/meas9.hs, 1.3607, True
Tests/Macro/unit-neg/meas7.hs, 1.4166, True
Tests/Macro/unit-neg/meas5.hs, 3.0923, True
Tests/Macro/unit-neg/meas3.hs, 1.6040, True
Tests/Macro/unit-neg/meas2.hs, 1.4667, True
Tests/Macro/unit-neg/meas0.hs, 1.7033, True
Tests/Macro/unit-neg/MaybeMonad.hs, 2.0923, True
Tests/Macro/unit-neg/maps.hs, 2.0141, True
Tests/Macro/unit-neg/mapreduce.hs, 5.5318, True
Tests/Macro/unit-neg/mapreduce-tiny.hs, 1.6831, True
Tests/Macro/unit-neg/LocalSpec.hs, 2.3976, True
Tests/Macro/unit-neg/lit.hs, 1.4918, True
Tests/Macro/unit-neg/ListRange.hs, 1.6084, True
Tests/Macro/unit-neg/listne.hs, 1.2880, True
Tests/Macro/unit-neg/ListMSort.hs, 2.9847, True
Tests/Macro/unit-neg/ListKeys.hs, 1.4029, True
Tests/Macro/unit-neg/ListElem.hs, 1.5205, True
Tests/Macro/unit-neg/ListConcat.hs, 1.4620, True
Tests/Macro/unit-neg/list00.hs, 1.4649, True
Tests/Macro/unit-neg/LetRecStack.hs, 1.3950, True
Tests/Macro/unit-neg/LazyWhere1.hs, 1.9166, True
Tests/Macro/unit-neg/LazyWhere.hs, 1.4294, True
Tests/Macro/unit-neg/IntAbsRef.hs, 2.3797, True
Tests/Macro/unit-neg/inc2.hs, 1.4619, True
Tests/Macro/unit-neg/HolesTop.hs, 2.2467, True
Tests/Macro/unit-neg/HigherOrder.hs, 2.2444, True
Tests/Macro/unit-neg/Hex00.hs, 1.6848, True
Tests/Macro/unit-neg/HasElem.hs, 2.2286, True
Tests/Macro/unit-neg/grty3.hs, 1.7934, True
Tests/Macro/unit-neg/grty2.hs, 1.5803, True
Tests/Macro/unit-neg/grty1.hs, 2.2495, True
Tests/Macro/unit-neg/grty0.hs, 1.4292, True
Tests/Macro/unit-neg/GeneralizedTermination.hs, 1.4563, True
Tests/Macro/unit-neg/FunSoundness.hs, 1.3398, True
Tests/Macro/unit-neg/FunctionRef.hs, 0.8784, True
Tests/Macro/unit-neg/foldN1.hs, 1.3252, True
Tests/Macro/unit-neg/foldN.hs, 2.0528, True
Tests/Macro/unit-neg/filterAbs.hs, 3.1520, True
Tests/Macro/unit-neg/ExactGADT7.hs, 2.1522, True
Tests/Macro/unit-neg/ExactGADT6.hs, 2.0807, True
Tests/Macro/unit-neg/ExactADT6.hs, 2.0794, True
Tests/Macro/unit-neg/ex1-unsafe.hs, 1.7842, True
Tests/Macro/unit-neg/ex0-unsafe.hs, 1.5773, True
Tests/Macro/unit-neg/EvalQuery.hs, 1.7816, True
Tests/Macro/unit-neg/Eval.hs, 1.6129, True
Tests/Macro/unit-neg/errorloc.hs, 1.3614, True
Tests/Macro/unit-neg/errmsg.hs, 1.4315, True
Tests/Macro/unit-neg/elim000.hs, 1.3630, True
Tests/Macro/unit-neg/elim-ex-map-3.hs, 1.5219, True
Tests/Macro/unit-neg/elim-ex-map-2.hs, 2.2266, True
Tests/Macro/unit-neg/elim-ex-map-1.hs, 2.0750, True
Tests/Macro/unit-neg/elim-ex-list.hs, 2.3120, True
Tests/Macro/unit-neg/elim-ex-let.hs, 1.7488, True
Tests/Macro/unit-neg/elim-ex-compose.hs, 1.7441, True
Tests/Macro/unit-neg/DependentTypes.hs, 1.5862, True
Tests/Macro/unit-neg/datacon-eq.hs, 1.6132, True
Tests/Macro/unit-neg/csv.hs, 2.4921, True
Tests/Macro/unit-neg/coretologic.hs, 1.5344, True
Tests/Macro/unit-neg/contra0.hs, 1.4107, True
Tests/Macro/unit-neg/ConstraintsAppend.hs, 2.5266, True
Tests/Macro/unit-neg/Constraints.hs, 1.4719, True
Tests/Macro/unit-neg/concat2.hs, 1.9313, True
Tests/Macro/unit-neg/concat1.hs, 1.9459, True
Tests/Macro/unit-neg/concat.hs, 1.9878, True
Tests/Macro/unit-neg/CompareConstraints.hs, 1.9334, True
Tests/Macro/unit-neg/Class4.hs, 1.5059, True
Tests/Macro/unit-neg/Class3.hs, 1.6655, True
Tests/Macro/unit-neg/Class2.hs, 1.6865, True
Tests/Macro/unit-neg/Class1.hs, 1.7973, True
Tests/Macro/unit-neg/CheckedNum.hs, 1.3858, True
Tests/Macro/unit-neg/CharLiterals.hs, 1.3024, True
Tests/Macro/unit-neg/CastedTotality.hs, 2.0625, True
Tests/Macro/unit-neg/Books.hs, 2.4821, True
Tests/Macro/unit-neg/BinarySearchOverflow.hs, 1.6774, True
Tests/Macro/unit-neg/BigNum.hs, 1.5209, True
Tests/Macro/unit-neg/Baz.hs, 1.9381, True
Tests/Macro/unit-neg/bag1.hs, 2.1642, True
Tests/Macro/unit-neg/BadNats.hs, 2.5413, True
Tests/Macro/unit-neg/AutoTerm1.hs, 2.1666, True
Tests/Macro/unit-neg/AutoSize.hs, 3.0091, True
Tests/Macro/unit-neg/Automate.hs, 0.9683, True
Tests/Macro/unit-neg/Ast.hs, 1.4396, True
Tests/Macro/unit-neg/ass0.hs, 1.2988, True
Tests/Macro/unit-neg/alias00.hs, 1.4091, True
Tests/Macro/unit-neg/AdtPeano1.hs, 1.3841, True
Tests/Macro/unit-neg/AdtPeano0.hs, 1.3623, True
Tests/Macro/unit-neg/AbsApp.hs, 1.3034, True
Tests/Prover/foundations/Lists.hs, 58.2883, True
Tests/Prover/foundations/InductionRJ.hs, 2.9387, True
Tests/Prover/foundations/Induction.hs, 3.2179, True
Tests/Prover/foundations/Basics.hs, 9.4343, True
Tests/Prover/prover_ple_lib/Proves.hs, 1.7971, True
Tests/Prover/prover_ple_lib/Helper.hs, 2.7941, True
Tests/Prover/without_ple_pos/Unification.hs, 14.4696, True
Tests/Prover/without_ple_pos/Solver.hs, 2.8083, True
Tests/Prover/without_ple_pos/Peano.hs, 2.4455, True
Tests/Prover/without_ple_pos/Overview.hs, 2.8428, True
Tests/Prover/without_ple_pos/NaturalDeduction.hs, 1.7520, True
Tests/Prover/without_ple_pos/NatInduction.hs, 1.5748, True
Tests/Prover/without_ple_pos/MonoidMaybe.hs, 1.9469, True
Tests/Prover/without_ple_pos/MonoidList.hs, 2.0228, True
Tests/Prover/without_ple_pos/MonadMaybe.hs, 1.9497, True
Tests/Prover/without_ple_pos/MonadList.hs, 5.9583, True
Tests/Prover/without_ple_pos/MonadId.hs, 1.9579, True
Tests/Prover/without_ple_pos/MapFusion.hs, 5.4694, True
Tests/Prover/without_ple_pos/FunctorMaybe.hs, 2.4631, True
Tests/Prover/without_ple_pos/FunctorList.hs, 4.8320, True
Tests/Prover/without_ple_pos/FunctorId.hs, 2.0661, True
Tests/Prover/without_ple_pos/FoldrUniversal.hs, 5.5434, True
Tests/Prover/without_ple_pos/Fibonacci.hs, 3.5314, True
Tests/Prover/without_ple_pos/Euclide.hs, 1.5117, True
Tests/Prover/without_ple_pos/Compose.hs, 1.5455, True
Tests/Prover/without_ple_pos/BasicLambdas.hs, 1.3189, True
Tests/Prover/without_ple_pos/ApplicativeMaybe.hs, 5.2589, True
Tests/Prover/without_ple_pos/ApplicativeId.hs, 3.0956, True
Tests/Prover/without_ple_pos/Append.hs, 3.5516, True
Tests/Prover/without_ple_neg/MonadMaybe.hs, 1.8823, True
Tests/Prover/without_ple_neg/MonadList.hs, 13.9265, True
Tests/Prover/without_ple_neg/MapFusion.hs, 8.2236, True
Tests/Prover/without_ple_neg/FunctorMaybe.hs, 2.4789, True
Tests/Prover/without_ple_neg/FunctorList.hs, 5.6856, True
Tests/Prover/without_ple_neg/Fibonacci.hs, 4.4529, True
Tests/Prover/without_ple_neg/BasicLambdas.hs, 1.3721, True
Tests/Prover/without_ple_neg/ApplicativeMaybe.hs, 8.3226, True
Tests/Prover/without_ple_neg/Append.hs, 4.7495, True
Tests/Prover/with_ple/Unification.hs, 5.6951, True
Tests/Prover/with_ple/Solver.hs, 2.9049, True
Tests/Prover/with_ple/Peano.hs, 2.0678, True
Tests/Prover/with_ple/Overview.hs, 2.5569, True
Tests/Prover/with_ple/NaturalDeduction.hs, 1.7367, True
Tests/Prover/with_ple/NatInduction.hs, 1.4290, True
Tests/Prover/with_ple/MonoidMaybe.hs, 1.4654, True
Tests/Prover/with_ple/MonoidList.hs, 1.7971, True
Tests/Prover/with_ple/MonadMaybe.hs, 1.8389, True
Tests/Prover/with_ple/MonadList.hs, 2.6781, True
Tests/Prover/with_ple/MonadId.hs, 1.4030, True
Tests/Prover/with_ple/Maybe.hs, 1.2349, True
Tests/Prover/with_ple/MapFusion.hs, 1.4357, True
Tests/Prover/with_ple/Lists.hs, 1.7377, True
Tests/Prover/with_ple/FunctorMaybe.hs, 1.3509, True
Tests/Prover/with_ple/FunctorList.hs, 2.0781, True
Tests/Prover/with_ple/FunctorId.hs, 1.7245, True
Tests/Prover/with_ple/FoldrUniversal.hs, 2.1914, True
Tests/Prover/with_ple/Fibonacci.hs, 198.1947, True
Tests/Prover/with_ple/Euclide.hs, 1.5423, True
Tests/Prover/with_ple/Compose.hs, 1.3858, True
Tests/Prover/with_ple/BasicLambdas.hs, 1.5317, True
Tests/Prover/with_ple/ApplicativeMaybe.hs, 1.8510, True
Tests/Prover/with_ple/ApplicativeList.hs, 5.1688, True
Tests/Prover/with_ple/ApplicativeId.hs, 1.6833, True
Tests/Prover/with_ple/Append.hs, 2.0483, True
Tests/Golden tests/--json output, 1.8063, True