summary_dev.csv

 (HEAD -> develop, ucsd-progsys/develop) : 19745c1dee1829bfc710b90b3835c8a82c823546
Timestamp: 2021-07-09 12:51:55 +0200
Epoch Timestamp: 1625827915
--------------------------------------------------------------------------------
test, time(s), result

Tests/Micro/parser-pos/Tuples.hs, 0.5036, False
Tests/Micro/parser-pos/TokensAsPrefixes.hs, 0.4072, False
Tests/Micro/parser-pos/T892.hs, 0.4108, False
Tests/Micro/parser-pos/T884.hs, 0.4254, False
Tests/Micro/parser-pos/T873.hs, 0.4045, False
Tests/Micro/parser-pos/T871.hs, 0.4308, False
Tests/Micro/parser-pos/T338.hs, 0.4033, False
Tests/Micro/parser-pos/T1531.hs, 0.4177, False
Tests/Micro/parser-pos/T1481.hs, 0.4174, False
Tests/Micro/parser-pos/T1012.hs, 0.4031, False
Tests/Micro/parser-pos/ReflectedInfix.hs, 0.4059, False
Tests/Micro/parser-pos/Parens.hs, 0.4059, False
Tests/Micro/parser-pos/NestedTuples.hs, 0.4047, False
Tests/Micro/basic-pos/SkipDerived00.hs, 0.4099, False
Tests/Micro/basic-pos/poly00.hs, 0.4161, False
Tests/Micro/basic-pos/List00.hs, 0.3934, False
Tests/Micro/basic-pos/infer00.hs, 0.4297, False
Tests/Micro/basic-pos/inc04.hs, 0.4267, False
Tests/Micro/basic-pos/Inc03Lib.hs, 0.4039, False
Tests/Micro/basic-pos/inc03.hs, 0.4056, False
Tests/Micro/basic-pos/inc02.hs, 0.4083, False
Tests/Micro/basic-pos/inc01q.hs, 0.4094, False
Tests/Micro/basic-pos/inc01.hs, 0.4067, False
Tests/Micro/basic-pos/inc00.hs, 0.4133, False
Tests/Micro/basic-pos/Float.hs, 0.4005, False
Tests/Micro/basic-pos/alias05.hs, 0.4294, False
Tests/Micro/basic-pos/alias04.hs, 0.4050, False
Tests/Micro/basic-pos/alias03.hs, 0.4217, False
Tests/Micro/basic-pos/alias02.hs, 0.4068, False
Tests/Micro/basic-pos/alias01.hs, 0.4185, False
Tests/Micro/basic-pos/alias00.hs, 0.4080, False
Tests/Micro/basic-neg/T1459.hs, 0.4051, False
Tests/Micro/basic-neg/poly00.hs, 0.4284, False
Tests/Micro/basic-neg/List00.hs, 0.4563, False
Tests/Micro/basic-neg/Inc04Lib.hs, 0.4180, False
Tests/Micro/basic-neg/Inc04.hs, 0.4383, False
Tests/Micro/basic-neg/inc03.hs, 0.4412, False
Tests/Micro/basic-neg/inc02.hs, 0.4898, False
Tests/Micro/basic-neg/inc01q.hs, 0.4439, False
Tests/Micro/basic-neg/inc01.hs, 0.4932, False
Tests/Micro/measure-pos/Using00.hs, 0.4749, False
Tests/Micro/measure-pos/RecordAccessors.hs, 0.4494, False
Tests/Micro/measure-pos/PruneHO.hs, 0.4669, False
Tests/Micro/measure-pos/Ple1Lib.hs, 0.5276, False
Tests/Micro/measure-pos/ple1.hs, 0.5304, False
Tests/Micro/measure-pos/ple01.hs, 0.4662, False
Tests/Micro/measure-pos/ple00.hs, 0.4954, False
Tests/Micro/measure-pos/List02Lib.hs, 0.4667, False
Tests/Micro/measure-pos/List02.hs, 0.5975, False
Tests/Micro/measure-pos/List01.hs, 0.4622, False
Tests/Micro/measure-pos/List00Lib.hs, 0.4872, False
Tests/Micro/measure-pos/List00.hs, 0.4636, False
Tests/Micro/measure-pos/Len02.hs, 0.4657, False
Tests/Micro/measure-pos/Len01.hs, 0.4636, False
Tests/Micro/measure-pos/Len00.hs, 0.4542, False
Tests/Micro/measure-pos/HiddenDataLib.hs, 0.4580, False
Tests/Micro/measure-pos/HiddenData.hs, 0.4571, False
Tests/Micro/measure-pos/GList00Lib.hs, 0.4335, False
Tests/Micro/measure-pos/GList000.hs, 0.4286, False
Tests/Micro/measure-pos/fst02.hs, 0.4113, False
Tests/Micro/measure-pos/fst01.hs, 0.4069, False
Tests/Micro/measure-pos/fst00.hs, 0.4075, False
Tests/Micro/measure-pos/ExactFunApp.hs, 0.4073, False
Tests/Micro/measure-pos/bag.hs, 0.4065, False
Tests/Micro/measure-pos/AbsMeasure.hs, 0.4683, False
Tests/Micro/measure-neg/Using00.hs, 0.4914, False
Tests/Micro/measure-neg/Ple1Lib.hs, 1.0271, True
Tests/Micro/measure-neg/ple1.hs, 0.9639, True
Tests/Micro/measure-neg/ple0.hs, 0.8874, True
Tests/Micro/measure-neg/List02.hs, 0.9095, True
Tests/Micro/measure-neg/List01.hs, 0.8942, True
Tests/Micro/measure-neg/List00.hs, 0.8823, True
Tests/Micro/measure-neg/Len01.hs, 0.8975, True
Tests/Micro/measure-neg/Len00.hs, 0.9047, True
Tests/Micro/measure-neg/GList00Lib.hs, 0.9218, True
Tests/Micro/measure-neg/fst02.hs, 0.9007, True
Tests/Micro/measure-neg/fst01.hs, 0.9203, True
Tests/Micro/measure-neg/fst00.hs, 0.9252, True
Tests/Micro/measure-neg/bag.hs, 1.1275, True
Tests/Micro/datacon-pos/T1777.hs, 1.0263, True
Tests/Micro/datacon-pos/T1477.hs, 1.0125, True
Tests/Micro/datacon-pos/T1476.hs, 1.1183, True
Tests/Micro/datacon-pos/T1473B.hs, 1.1699, True
Tests/Micro/datacon-pos/T1473A.hs, 1.1529, True
Tests/Micro/datacon-pos/T1446.hs, 1.0890, True
Tests/Micro/datacon-pos/NewType.hs, 0.9638, True
Tests/Micro/datacon-pos/Date.hs, 1.2149, True
Tests/Micro/datacon-pos/Data02Lib.hs, 0.9636, True
Tests/Micro/datacon-pos/Data02.hs, 1.0315, True
Tests/Micro/datacon-pos/Data01.hs, 0.9652, True
Tests/Micro/datacon-pos/Data00Lib.hs, 0.9545, True
Tests/Micro/datacon-pos/Data00.hs, 1.0081, True
Tests/Micro/datacon-pos/AdtPeano2.hs, 0.9669, True
Tests/Micro/datacon-neg/NewTypes0.hs, 0.9074, True
Tests/Micro/datacon-neg/NewTypes.hs, 0.9522, True
Tests/Micro/datacon-neg/Date.hs, 1.1736, True
Tests/Micro/datacon-neg/Data02Lib.hs, 0.8662, True
Tests/Micro/datacon-neg/Data02.hs, 0.8309, True
Tests/Micro/datacon-neg/Data01.hs, 0.8971, True
Tests/Micro/datacon-neg/Data00Lib.hs, 0.8779, True
Tests/Micro/datacon-neg/Data00.hs, 0.9011, True
Tests/Micro/datacon-neg/AdtPeano2.hs, 0.9294, True
Tests/Micro/names-pos/vector1.hs, 1.2971, True
Tests/Micro/names-pos/vector04.hs, 1.0249, True
Tests/Micro/names-pos/vector0.hs, 1.4270, True
Tests/Micro/names-pos/Uniques.hs, 1.1535, True
Tests/Micro/names-pos/T675.hs, 1.2306, True
Tests/Micro/names-pos/T1521.hs, 0.9607, True
Tests/Micro/names-pos/Shadow01.hs, 0.9586, True
Tests/Micro/names-pos/Shadow00.hs, 1.0723, True
Tests/Micro/names-pos/Set02.hs, 0.9923, True
Tests/Micro/names-pos/Set01.hs, 1.0124, True
Tests/Micro/names-pos/Set00.hs, 1.0131, True
Tests/Micro/names-pos/Ord.hs, 0.9714, True
Tests/Micro/names-pos/LocalSpec.hs, 0.9723, True
Tests/Micro/names-pos/local03.hs, 0.9661, True
Tests/Micro/names-pos/local02.hs, 0.9686, True
Tests/Micro/names-pos/local01.hs, 0.9772, True
Tests/Micro/names-pos/local00.hs, 0.9728, True
Tests/Micro/names-pos/List00.hs, 0.9568, True
Tests/Micro/names-pos/HidePrelude.hs, 0.7943, True
Tests/Micro/names-pos/HideName00.hs, 0.9611, True
Tests/Micro/names-pos/ClojurVector.hs, 1.3539, True
Tests/Micro/names-pos/Capture02.hs, 0.9610, True
Tests/Micro/names-pos/Capture01.hs, 0.9628, True
Tests/Micro/names-pos/BasicLambdas01.hs, 1.0028, True
Tests/Micro/names-pos/BasicLambdas00.hs, 0.9863, True
Tests/Micro/names-pos/Assume01.hs, 0.9729, True
Tests/Micro/names-pos/Assume00.hs, 0.9661, True
Tests/Micro/names-pos/Alias00.hs, 1.0127, True
Tests/Micro/names-neg/vector1.hs, 1.2406, True
Tests/Micro/names-neg/vector0.hs, 1.0523, True
Tests/Micro/names-neg/T1078.hs, 0.9563, True
Tests/Micro/names-neg/Set02.hs, 0.9015, True
Tests/Micro/names-neg/Set01.hs, 0.9146, True
Tests/Micro/names-neg/Set00.hs, 0.9000, True
Tests/Micro/names-neg/local00.hs, 0.8443, True
Tests/Micro/names-neg/Capture01.hs, 0.8257, True
Tests/Micro/names-neg/Assume00.hs, 0.8999, True
Tests/Micro/reflect-pos/ReflString1.hs, 0.9844, True
Tests/Micro/reflect-pos/ReflString0.hs, 0.9558, True
Tests/Micro/reflect-pos/DoubleLit.hs, 1.0356, True
Tests/Micro/reflect-neg/ReflString1.hs, 1.0066, True
Tests/Micro/reflect-neg/ReflString0.hs, 0.9189, True
Tests/Micro/reflect-neg/DoubleLit.hs, 0.9401, True
Tests/Micro/absref-pos/VectorLoop.hs, 1.2607, True
Tests/Micro/absref-pos/state00.hs, 1.0150, True
Tests/Micro/absref-pos/Papp00.hs, 1.0309, True
Tests/Micro/absref-pos/ListQSort.hs, 1.8379, True
Tests/Micro/absref-pos/ListISort.hs, 1.0125, True
Tests/Micro/absref-pos/ListISort-LType.hs, 2.2245, True
Tests/Micro/absref-pos/FlipArgs.hs, 1.1593, True
Tests/Micro/absref-pos/deptupW.hs, 1.0062, True
Tests/Micro/absref-pos/deptup0.hs, 1.0937, True
Tests/Micro/absref-pos/deppair2.hs, 1.0187, True
Tests/Micro/absref-pos/deppair0.hs, 1.0481, True
Tests/Micro/absref-pos/AbsRef00.hs, 0.9460, True
Tests/Micro/absref-neg/ListQSort.hs, 1.3757, True
Tests/Micro/absref-neg/ListISort.hs, 1.4777, True
Tests/Micro/absref-neg/ListISort-LType.hs, 1.1159, True
Tests/Micro/absref-neg/FlipArgs.hs, 1.0395, True
Tests/Micro/absref-neg/deptupW.hs, 0.9828, True
Tests/Micro/absref-neg/deptup0.hs, 1.0419, True
Tests/Micro/absref-neg/deppair0.hs, 0.9802, True
Tests/Micro/import-cli/WrapClient.hs, 1.3197, True
Tests/Micro/import-cli/T1738.hs, 1.1396, True
Tests/Micro/import-cli/T1688.hs, 1.2435, True
Tests/Micro/import-cli/T1180.hs, 1.2172, True
Tests/Micro/import-cli/T1118.hs, 1.4904, True
Tests/Micro/import-cli/T1117.hs, 1.2451, True
Tests/Micro/import-cli/T1104Client.hs, 1.1966, True
Tests/Micro/import-cli/T1096_Foo.hs, 1.1549, True
Tests/Micro/import-cli/STClient.hs, 1.5325, True
Tests/Micro/import-cli/RewriteClient.hs, 1.4265, True
Tests/Micro/import-cli/ReflectClient8.hs, 1.2079, True
Tests/Micro/import-cli/ReflectClient7.hs, 1.2442, True
Tests/Micro/import-cli/ReflectClient6.hs, 1.2447, True
Tests/Micro/import-cli/ReflectClient5.hs, 1.2138, True
Tests/Micro/import-cli/ReflectClient4a.hs, 1.2887, True
Tests/Micro/import-cli/ReflectClient4.hs, 1.3173, True
Tests/Micro/import-cli/ReflectClient3.hs, 1.3495, True
Tests/Micro/import-cli/ReflectClient2.hs, 1.2075, True
Tests/Micro/import-cli/ReflectClient1.hs, 1.1535, True
Tests/Micro/import-cli/ReflectClient0.hs, 1.1465, True
Tests/Micro/import-cli/RC1015.hs, 1.1652, True
Tests/Micro/import-cli/NameClashClient.hs, 1.1504, True
Tests/Micro/import-cli/ListClient.hs, 1.3221, True
Tests/Micro/import-cli/LiquidArrayNullTerm.hs, 1.4914, True
Tests/Micro/import-cli/LiquidArrayInit.hs, 1.2976, True
Tests/Micro/import-cli/LibRedBlue.hs, 1.3413, True
Tests/Micro/import-cli/FunClashLibLibClient.hs, 1.3379, True
Tests/Micro/import-cli/ExactGADT9.hs, 1.2460, True
Tests/Micro/import-cli/CliRedBlue.hs, 1.1907, True
Tests/Micro/import-cli/Client2.hs, 0.9192, True
Tests/Micro/import-cli/Client1.hs, 1.0337, True
Tests/Micro/import-cli/Client0.hs, 1.0866, True
Tests/Micro/import-cli/CliAliasGen00.hs, 1.1160, True
Tests/Micro/class-pos/TypeEquality01.hs, 1.0622, True
Tests/Micro/class-pos/TypeEquality00.hs, 0.9867, True
Tests/Micro/class-pos/STMonad.hs, 1.4474, True
Tests/Micro/class-pos/RealProps1.hs, 1.0470, True
Tests/Micro/class-pos/RealProps0.hs, 0.9615, True
Tests/Micro/class-pos/Inst00.hs, 0.9757, True
Tests/Micro/class-pos/HiddenMethod00.hs, 0.9867, True
Tests/Micro/class-pos/Class00.hs, 1.0038, True
Tests/Micro/class-neg/RealProps0.hs, 0.8093, True
Tests/Micro/class-neg/Inst00.hs, 0.9295, True
Tests/Micro/class-neg/Class01.hs, 0.8758, True
Tests/Micro/class-neg/Class00.hs, 0.8843, True
Tests/Micro/ple-pos/tmp1.hs, 1.0729, True
Tests/Micro/ple-pos/tmp.hs, 1.3153, True
Tests/Micro/ple-pos/T1424A.hs, 1.1714, True
Tests/Micro/ple-pos/T1424.hs, 1.1160, True
Tests/Micro/ple-pos/T1409.hs, 1.0271, True
Tests/Micro/ple-pos/T1382.hs, 1.6973, True
Tests/Micro/ple-pos/T1371_NNF.hs, 1.1435, True
Tests/Micro/ple-pos/T1371.hs, 0.9733, True
Tests/Micro/ple-pos/T1302b.hs, 1.3346, True
Tests/Micro/ple-pos/T1289.hs, 0.9764, True
Tests/Micro/ple-pos/T1257.hs, 1.0396, True
Tests/Micro/ple-pos/T1190.hs, 1.1757, True
Tests/Micro/ple-pos/T1173.hs, 1.0633, True
Tests/Micro/ple-pos/StlcBug.hs, 1.0702, True
Tests/Micro/ple-pos/STLCB1.hs, 4.3184, True
Tests/Micro/ple-pos/STLCB0.hs, 2.9978, True
Tests/Micro/ple-pos/STLC2.hs, 12.2044, True
Tests/Micro/ple-pos/STLC1.hs, 7.2438, True
Tests/Micro/ple-pos/STLC0.hs, 4.3886, True
Tests/Micro/ple-pos/RosePLEDiv.hs, 1.3212, True
Tests/Micro/ple-pos/RegexpDerivative.hs, 8.3483, True
Tests/Micro/ple-pos/ReflectDefault.hs, 1.0293, True
Tests/Micro/ple-pos/pleORM.hs, 1.1944, True
Tests/Micro/ple-pos/ple_sum.hs, 0.9878, True
Tests/Micro/ple-pos/ple0.hs, 0.9754, True
Tests/Micro/ple-pos/padLeft.hs, 1.6880, True
Tests/Micro/ple-pos/NNFPiotr.hs, 1.5836, True
Tests/Micro/ple-pos/NegNormalForm.hs, 4.1882, True
Tests/Micro/ple-pos/MossakaBug.hs, 1.1474, True
Tests/Micro/ple-pos/MJFix.hs, 1.2859, True
Tests/Micro/ple-pos/Lists.hs, 1.1355, True
Tests/Micro/ple-pos/ListAnd.hs, 1.0740, True
Tests/Micro/ple-pos/IndStarHole.hs, 1.0764, True
Tests/Micro/ple-pos/IndStar.hs, 1.0370, True
Tests/Micro/ple-pos/IndPerm.hs, 1.3770, True
Tests/Micro/ple-pos/IndPalindrome.hs, 2.2793, True
Tests/Micro/ple-pos/IndPal00.hs, 1.0868, True
Tests/Micro/ple-pos/IndPal0.hs, 1.1942, True
Tests/Micro/ple-pos/IndLast.hs, 1.1649, True
Tests/Micro/ple-pos/Fulcrum.hs, 3.1613, True
Tests/Micro/ple-pos/filterPLE.hs, 1.0937, True
Tests/Micro/ple-pos/ExactGADT7.hs, 0.9867, True
Tests/Micro/ple-pos/ExactGADT5.hs, 1.3828, True
Tests/Micro/ple-pos/ExactGADT4.hs, 1.1878, True
Tests/Micro/ple-pos/Compiler.hs, 1.4114, True
Tests/Micro/ple-pos/BinahUpdate.hs, 1.0474, True
Tests/Micro/ple-pos/BinahQuery.hs, 2.1662, True
Tests/Micro/ple-neg/T1424.hs, 1.0203, True
Tests/Micro/ple-neg/T1409.hs, 0.9278, True
Tests/Micro/ple-neg/T1371_Tick.hs, 0.9742, True
Tests/Micro/ple-neg/T1289.hs, 0.9050, True
Tests/Micro/ple-neg/T1192.hs, 1.0549, True
Tests/Micro/ple-neg/T1173.hs, 1.0018, True
Tests/Micro/ple-neg/ReflectDefault.hs, 0.9204, True
Tests/Micro/ple-neg/ple_sum.hs, 0.9366, True
Tests/Micro/ple-neg/ple0.hs, 0.9728, True
Tests/Micro/ple-neg/ExactGADT5.hs, 1.2502, True
Tests/Micro/ple-neg/BinahUpdateLib1.hs, 1.0476, True
Tests/Micro/ple-neg/BinahUpdateLib.hs, 1.0061, True
Tests/Micro/ple-neg/BinahUpdateClient.hs, 1.0098, True
Tests/Micro/ple-neg/BinahUpdate.hs, 1.0177, True
Tests/Micro/ple-neg/BinahQuery.hs, 2.0758, True
Tests/Micro/rankN-pos/Test00.hs, 0.9905, True
Tests/Micro/rankN-pos/Test0.hs, 1.0731, True
Tests/Micro/rankN-pos/Test.hs, 0.9978, True
Tests/Micro/terminate-pos/term00.hs, 0.9579, True
Tests/Micro/terminate-pos/T1403.hs, 1.1293, True
Tests/Micro/terminate-pos/T1396.1.hs, 0.9671, True
Tests/Micro/terminate-pos/T1396.0.hs, 0.9744, True
Tests/Micro/terminate-pos/T1245.hs, 1.0347, True
Tests/Micro/terminate-pos/Sum.hs, 0.9358, True
Tests/Micro/terminate-pos/StructSecondArg.hs, 0.9619, True
Tests/Micro/terminate-pos/LocalTermExpr.hs, 1.0926, True
Tests/Micro/terminate-pos/list05-local.hs, 0.9457, True
Tests/Micro/terminate-pos/list04.hs, 0.9962, True
Tests/Micro/terminate-pos/list04-local.hs, 0.9748, True
Tests/Micro/terminate-pos/list03.hs, 0.9873, True
Tests/Micro/terminate-pos/list02.hs, 0.9850, True
Tests/Micro/terminate-pos/list01.hs, 1.0156, True
Tests/Micro/terminate-pos/list00.hs, 0.9871, True
Tests/Micro/terminate-pos/list00-str.hs, 0.9703, True
Tests/Micro/terminate-pos/list00-local.hs, 0.9442, True
Tests/Micro/terminate-pos/Lexicographic.hs, 1.1920, True
Tests/Micro/terminate-pos/AutoTerm.hs, 0.9656, True
Tests/Micro/terminate-pos/Ackermann.hs, 1.0511, True
Tests/Micro/terminate-neg/total02.hs, 0.9149, True
Tests/Micro/terminate-neg/total01.hs, 0.9095, True
Tests/Micro/terminate-neg/total00.hs, 0.8294, True
Tests/Micro/terminate-neg/testRec.hs, 0.8907, True
Tests/Micro/terminate-neg/term00.hs, 0.8555, True
Tests/Micro/terminate-neg/T745.hs, 0.8600, True
Tests/Micro/terminate-neg/T1404.3.hs, 0.9690, True
Tests/Micro/terminate-neg/T1404.2.hs, 0.8808, True
Tests/Micro/terminate-neg/T1404.1.hs, 0.8753, True
Tests/Micro/terminate-neg/T1404.0.hs, 0.9192, True
Tests/Micro/terminate-neg/Sum.hs, 0.9818, True
Tests/Micro/terminate-neg/Rename.hs, 0.8882, True
Tests/Micro/terminate-neg/qsloop.hs, 1.0610, True
Tests/Micro/terminate-neg/Even.hs, 0.8370, True
Tests/Micro/terminate-neg/AutoTerm.hs, 0.9187, True
Tests/Micro/pattern-pos/TemplateHaskellLib.hs, 2.7953, True
Tests/Micro/pattern-pos/TemplateHaskell.hs, 1.2894, True
Tests/Micro/pattern-pos/ReturnStrata00.hs, 0.9681, True
Tests/Micro/pattern-pos/Return01.hs, 0.9611, True
Tests/Micro/pattern-pos/Return00.hs, 1.0026, True
Tests/Micro/pattern-pos/MultipleInvariants.hs, 1.0293, True
Tests/Micro/pattern-pos/monad7.hs, 1.3192, True
Tests/Micro/pattern-pos/monad1.hs, 1.1017, True
Tests/Micro/pattern-pos/monad0.hs, 1.0431, True
Tests/Micro/pattern-pos/Invariants.hs, 1.1672, True
Tests/Micro/pattern-pos/contra0.hs, 1.0669, True
Tests/Micro/pattern-pos/ANF.hs, 2.0250, True
Tests/Micro/class-laws-pos/SemiGroup.hs, 1.2341, True
Tests/Micro/class-laws-pos/Monoid.hs, 1.3052, True
Tests/Micro/class-laws-pos/Labels.hs, 1.2096, True
Tests/Micro/class-laws-pos/FreeVar.hs, 0.9987, True
Tests/Micro/class-laws-crash/SemiGroup-WrongLaw.hs, 0.8999, True
Tests/Micro/class-laws-crash/SemiGroup-UndefinedLaw.hs, 0.9336, True
Tests/Micro/class-laws-crash/SemiGroup-UndefinedInstance.hs, 0.9252, True
Tests/Micro/class-laws-crash/SemiGroup-MissingLaw.hs, 0.8989, True
Tests/Micro/class-laws-neg/SemiGroup-WrongProof.hs, 0.9886, True
Tests/Micro/class-laws-neg/SemiGroup-WrongDef.hs, 0.9812, True
Tests/Micro/implicit-pos/ImplicitTrivial.hs, 0.9972, True
Tests/Micro/implicit-pos/ImplicitDouble.hs, 0.9926, True
Tests/Micro/implicit-pos/Implicit3.hs, 1.1045, True
Tests/Micro/implicit-pos/Implicit1.hs, 1.1000, True
Tests/Micro/implicit-neg/Implicit1.hs, 0.9274, True
Tests/Error-Messages/ReWrite8.hs, 0.9756, True
Tests/Error-Messages/ReWrite7.hs, 0.8564, True
Tests/Error-Messages/ReWrite6.hs, 0.8343, True
Tests/Error-Messages/ReWrite5.hs, 0.8735, True
Tests/Error-Messages/ShadowFieldInline.hs, 0.7249, True
Tests/Error-Messages/ShadowFieldReflect.hs, 0.7739, True
Tests/Error-Messages/MultiRecSels.hs, 0.8341, True
Tests/Error-Messages/DupFunSigs.hs, 0.9081, True
Tests/Error-Messages/DupMeasure.hs, 0.7329, True
Tests/Error-Messages/ShadowMeasure.hs, 0.7681, True
Tests/Error-Messages/DupData.hs, 0.7744, True
Tests/Error-Messages/EmptyData.hs, 0.7193, True
Tests/Error-Messages/BadGADT.hs, 0.8269, True
Tests/Error-Messages/TerminationExprSort.hs, 0.8742, True
Tests/Error-Messages/TerminationExprNum.hs, 0.8307, True
Tests/Error-Messages/TerminationExprUnb.hs, 0.8827, True
Tests/Error-Messages/UnboundVarInSpec.hs, 0.8290, True
Tests/Error-Messages/UnboundVarInAssume.hs, 0.8259, True
Tests/Error-Messages/UnboundCheckVar.hs, 0.8014, True
Tests/Error-Messages/UnboundFunInSpec.hs, 0.8290, True
Tests/Error-Messages/UnboundFunInSpec1.hs, 0.8197, True
Tests/Error-Messages/UnboundFunInSpec2.hs, 0.8097, True
Tests/Error-Messages/UnboundVarInLocSig.hs, 0.8110, True
Tests/Error-Messages/UnboundVarInReflect.hs, 0.8211, True
Tests/Error-Messages/Fractional.hs, 0.8808, True
Tests/Error-Messages/T773.hs, 0.8944, True
Tests/Error-Messages/T774.hs, 0.8514, True
Tests/Error-Messages/T1498.hs, 0.8446, True
Tests/Error-Messages/T1498A.hs, 0.8293, True
Tests/Error-Messages/Inconsistent0.hs, 0.8763, True
Tests/Error-Messages/Inconsistent1.hs, 0.7979, True
Tests/Error-Messages/Inconsistent2.hs, 0.8146, True
Tests/Error-Messages/BadAliasApp.hs, 0.7713, True
Tests/Error-Messages/BadPragma0.hs, 0.7673, True
Tests/Error-Messages/BadPragma1.hs, 0.7448, True
Tests/Error-Messages/BadPragma2.hs, 0.7182, True
Tests/Error-Messages/BadSyn1.hs, 0.7942, True
Tests/Error-Messages/BadSyn2.hs, 0.8165, True
Tests/Error-Messages/BadSyn3.hs, 0.8225, True
Tests/Error-Messages/BadSyn4.hs, 0.9428, True
Tests/Error-Messages/BadAnnotation.hs, 0.7654, True
Tests/Error-Messages/BadAnnotation1.hs, 0.7421, True
Tests/Error-Messages/CyclicExprAlias0.hs, 0.7876, True
Tests/Error-Messages/CyclicExprAlias1.hs, 0.7829, True
Tests/Error-Messages/CyclicExprAlias2.hs, 0.7848, True
Tests/Error-Messages/CyclicExprAlias3.hs, 0.7889, True
Tests/Error-Messages/DupAlias.hs, 0.9054, True
Tests/Error-Messages/DupAlias.hs, 0.8944, True
Tests/Error-Messages/BadDataConType.hs, 0.8077, True
Tests/Error-Messages/BadDataConType1.hs, 0.7847, True
Tests/Error-Messages/BadDataConType2.hs, 0.7990, True
Tests/Error-Messages/LiftMeasureCase.hs, 0.8496, True
Tests/Error-Messages/HigherOrderBinder.hs, 0.8318, True
Tests/Error-Messages/HoleCrash1.hs, 0.8107, True
Tests/Error-Messages/HoleCrash2.hs, 0.7832, True
Tests/Error-Messages/HoleCrash3.hs, 0.8365, True
Tests/Error-Messages/BadPredApp.hs, 0.8327, True
Tests/Error-Messages/LocalHole.hs, 0.8930, True
Tests/Error-Messages/UnboundAbsRef.hs, 0.8070, True
Tests/Error-Messages/ParseClass.hs, 0.7210, True
Tests/Error-Messages/ParseBind.hs, 0.7153, True
Tests/Error-Messages/MultiInstMeasures.hs, 0.8485, True
Tests/Error-Messages/BadDataDeclTyVars.hs, 0.8242, True
Tests/Error-Messages/BadDataCon2.hs, 0.7710, True
Tests/Error-Messages/BadSig0.hs, 0.7981, True
Tests/Error-Messages/BadSig1.hs, 0.8951, True
Tests/Error-Messages/BadData1.hs, 0.8034, True
Tests/Error-Messages/BadData2.hs, 0.7879, True
Tests/Error-Messages/T1140.hs, 0.8199, True
Tests/Error-Messages/InlineSubExp0.hs, 0.9440, True
Tests/Error-Messages/InlineSubExp1.hs, 0.9534, True
Tests/Error-Messages/EmptySig.hs, 0.7195, True
Tests/Error-Messages/MissingReflect.hs, 0.8832, True
Tests/Error-Messages/MissingSizeFun.hs, 0.8088, True
Tests/Error-Messages/MissingAssume.hs, 0.8658, True
Tests/Error-Messages/HintMismatch.hs, 0.8466, True
Tests/Error-Messages/ElabLocation.hs, 0.9070, True
Tests/Error-Messages/ErrLocation.hs, 0.9055, True
Tests/Error-Messages/ErrLocation2.hs, 0.8502, True
Tests/Error-Messages/frog.hs, 0.8363, True
Tests/Error-Messages/T1708.hs, 0.9207, True
Tests/Error-Messages/SplitSubtype.hs, 0.8444, True
Tests/Macro/unit-pos/zipW2.hs, 0.9725, True
Tests/Macro/unit-pos/zipW1.hs, 0.9832, True
Tests/Macro/unit-pos/zipW.hs, 1.0204, True
Tests/Macro/unit-pos/zipSO.hs, 1.0247, True
Tests/Macro/unit-pos/zipper000.hs, 1.1296, True
Tests/Macro/unit-pos/zipper0.hs, 1.3443, True
Tests/Macro/unit-pos/zipper.hs, 1.7674, True
Tests/Macro/unit-pos/WrapUnWrap.hs, 0.9894, True
Tests/Macro/unit-pos/wrap1.hs, 1.1000, True
Tests/Macro/unit-pos/wrap0.hs, 1.0784, True
Tests/Macro/unit-pos/Words1.hs, 0.9959, True
Tests/Macro/unit-pos/Words.hs, 0.9606, True
Tests/Macro/unit-pos/WBL0.hs, 1.8950, True
Tests/Macro/unit-pos/WBL.hs, 1.9747, True
Tests/Macro/unit-pos/VerifiedNum.hs, 1.0200, True
Tests/Macro/unit-pos/vector2.hs, 1.7048, True
Tests/Macro/unit-pos/vector1b.hs, 1.5129, True
Tests/Macro/unit-pos/vector1a.hs, 1.6539, True
Tests/Macro/unit-pos/vector1.hs, 1.5053, True
Tests/Macro/unit-pos/vector00.hs, 1.1023, True
Tests/Macro/unit-pos/Variance2.hs, 1.0635, True
Tests/Macro/unit-pos/unusedtyvars.hs, 1.0413, True
Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs, 2.1651, True
Tests/Macro/unit-pos/UnboxedTuples.hs, 0.9850, True
Tests/Macro/unit-pos/tyvar.hs, 0.9865, True
Tests/Macro/unit-pos/TypeLitString.hs, 0.9921, True
Tests/Macro/unit-pos/TypeLitNat.hs, 1.0059, True
Tests/Macro/unit-pos/TypeAlias.hs, 0.9705, True
Tests/Macro/unit-pos/tyfam0.hs, 1.0621, True
Tests/Macro/unit-pos/tyExpr.hs, 0.9505, True
Tests/Macro/unit-pos/tyclass0.hs, 0.9747, True
Tests/Macro/unit-pos/tupparse.hs, 1.0194, True
Tests/Macro/unit-pos/tup0.hs, 0.9841, True
Tests/Macro/unit-pos/transTAG.hs, 1.7842, True
Tests/Macro/unit-pos/transpose.hs, 1.4870, True
Tests/Macro/unit-pos/trans.hs, 1.1129, True
Tests/Macro/unit-pos/ToyMVar.hs, 1.2992, True
Tests/Macro/unit-pos/TopLevel.hs, 0.9912, True
Tests/Macro/unit-pos/top0.hs, 1.0400, True
Tests/Macro/unit-pos/TokenType.hs, 0.9616, True
Tests/Macro/unit-pos/testRec.hs, 1.0026, True
Tests/Macro/unit-pos/Test761.hs, 0.9786, True
Tests/Macro/unit-pos/test2.hs, 1.0183, True
Tests/Macro/unit-pos/test1.hs, 1.0713, True
Tests/Macro/unit-pos/test00c.hs, 1.1412, True
Tests/Macro/unit-pos/test00b.hs, 1.0668, True
Tests/Macro/unit-pos/test000.hs, 1.0456, True
Tests/Macro/unit-pos/test00.old.hs, 1.3126, True
Tests/Macro/unit-pos/test00.hs, 1.2024, True
Tests/Macro/unit-pos/test00-int.hs, 1.2243, True
Tests/Macro/unit-pos/test0.hs, 1.1546, True
Tests/Macro/unit-pos/TerminationNum0.hs, 1.1814, True
Tests/Macro/unit-pos/TerminationNum.hs, 1.1767, True
Tests/Macro/unit-pos/Termination.hs, 1.1981, True
Tests/Macro/unit-pos/term0.hs, 1.1585, True
Tests/Macro/unit-pos/Term.hs, 1.0822, True
Tests/Macro/unit-pos/take.hs, 1.9625, True
Tests/Macro/unit-pos/tagBinder.hs, 0.9918, True
Tests/Macro/unit-pos/T914.hs, 1.0165, True
Tests/Macro/unit-pos/T866.hs, 1.1395, True
Tests/Macro/unit-pos/T820.hs, 1.1654, True
Tests/Macro/unit-pos/T819A.hs, 1.0934, True
Tests/Macro/unit-pos/T819.hs, 1.0583, True
Tests/Macro/unit-pos/T716.hs, 1.9175, True
Tests/Macro/unit-pos/T598.hs, 1.0839, True
Tests/Macro/unit-pos/T595a.hs, 0.9996, True
Tests/Macro/unit-pos/T595.hs, 1.1184, True
Tests/Macro/unit-pos/T531.hs, 1.0383, True
Tests/Macro/unit-pos/T385.hs, 1.0796, True
Tests/Macro/unit-pos/T1812.hs, 1.1196, True
Tests/Macro/unit-pos/T1775.hs, 1.0104, True
Tests/Macro/unit-pos/T1761.hs, 1.0032, True
Tests/Macro/unit-pos/T1749.hs, 1.6145, True
Tests/Macro/unit-pos/T1709.hs, 0.9959, True
Tests/Macro/unit-pos/T1697C.hs, 1.1257, True
Tests/Macro/unit-pos/T1697A.hs, 1.3354, True
Tests/Macro/unit-pos/T1697.hs, 1.1273, True
Tests/Macro/unit-pos/T1670B.hs, 1.1263, True
Tests/Macro/unit-pos/T1670A.hs, 1.0874, True
Tests/Macro/unit-pos/T1669.hs, 1.0559, True
Tests/Macro/unit-pos/T1660.hs, 1.1864, True
Tests/Macro/unit-pos/T1657.hs, 0.9923, True
Tests/Macro/unit-pos/T1649WorkTypes.hs, 1.1581, True
Tests/Macro/unit-pos/T1649MeasuresDef.hs, 1.2277, True
Tests/Macro/unit-pos/T1647.hs, 1.0708, True
Tests/Macro/unit-pos/T1642A.hs, 1.1688, True
Tests/Macro/unit-pos/T1642.hs, 1.1166, True
Tests/Macro/unit-pos/T1636.hs, 1.1295, True
Tests/Macro/unit-pos/T1634.hs, 1.0657, True
Tests/Macro/unit-pos/T1633.hs, 1.2667, True
Tests/Macro/unit-pos/T1603.hs, 1.2779, True
Tests/Macro/unit-pos/T1597.hs, 1.0937, True
Tests/Macro/unit-pos/T1595.hs, 1.0153, True
Tests/Macro/unit-pos/T1593.hs, 1.0274, True
Tests/Macro/unit-pos/T1577.hs, 1.1446, True
Tests/Macro/unit-pos/T1571.hs, 1.0540, True
Tests/Macro/unit-pos/T1568.hs, 1.0072, True
Tests/Macro/unit-pos/T1567.hs, 0.9860, True
Tests/Macro/unit-pos/T1560B.hs, 1.0346, True
Tests/Macro/unit-pos/T1560.hs, 1.0499, True
Tests/Macro/unit-pos/T1556.hs, 1.0055, True
Tests/Macro/unit-pos/T1555.hs, 0.9876, True
Tests/Macro/unit-pos/T1550.hs, 0.9957, True
Tests/Macro/unit-pos/T1548.hs, 1.3575, True
Tests/Macro/unit-pos/T1547.hs, 0.9556, True
Tests/Macro/unit-pos/T1544.hs, 0.9953, True
Tests/Macro/unit-pos/T1543.hs, 0.9591, True
Tests/Macro/unit-pos/T1498.hs, 0.9687, True
Tests/Macro/unit-pos/T1461.hs, 0.9719, True
Tests/Macro/unit-pos/T1363.hs, 0.9699, True
Tests/Macro/unit-pos/T1336.hs, 0.9938, True
Tests/Macro/unit-pos/T1302.hs, 1.0707, True
Tests/Macro/unit-pos/T1289a.hs, 1.0027, True
Tests/Macro/unit-pos/T1288.hs, 0.9484, True
Tests/Macro/unit-pos/T1286.hs, 0.9611, True
Tests/Macro/unit-pos/T1278.hs, 0.9825, True
Tests/Macro/unit-pos/T1278.3.hs, 0.9855, True
Tests/Macro/unit-pos/T1278.2.hs, 0.9895, True
Tests/Macro/unit-pos/T1267.hs, 1.0185, True
Tests/Macro/unit-pos/T1223.hs, 1.4246, True
Tests/Macro/unit-pos/T1220.hs, 1.0463, True
Tests/Macro/unit-pos/T1198.4.hs, 1.0340, True
Tests/Macro/unit-pos/T1198.3.hs, 1.0768, True
Tests/Macro/unit-pos/T1198.2.hs, 1.0468, True
Tests/Macro/unit-pos/T1198.1.hs, 1.0314, True
Tests/Macro/unit-pos/T1126a.hs, 1.1138, True
Tests/Macro/unit-pos/T1126.hs, 1.1360, True
Tests/Macro/unit-pos/T1120A.hs, 1.3080, True
Tests/Macro/unit-pos/T1100.hs, 1.4437, True
Tests/Macro/unit-pos/T1095C.hs, 1.2021, True
Tests/Macro/unit-pos/T1095B.hs, 1.2204, True
Tests/Macro/unit-pos/T1095A.hs, 1.1721, True
Tests/Macro/unit-pos/T1092.hs, 1.2467, True
Tests/Macro/unit-pos/T1085.hs, 1.0423, True
Tests/Macro/unit-pos/T1074.hs, 1.1133, True
Tests/Macro/unit-pos/T1065.hs, 1.0433, True
Tests/Macro/unit-pos/T1060.hs, 1.1065, True
Tests/Macro/unit-pos/T1045a.hs, 1.3173, True
Tests/Macro/unit-pos/T1045.hs, 0.8305, True
Tests/Macro/unit-pos/T1034.hs, 0.9795, True
Tests/Macro/unit-pos/T1025a.hs, 1.0740, True
Tests/Macro/unit-pos/T1025.hs, 1.0727, True
Tests/Macro/unit-pos/T1024.hs, 0.9655, True
Tests/Macro/unit-pos/T1013A.hs, 1.8649, True
Tests/Macro/unit-pos/T1013.hs, 1.1728, True
Tests/Macro/unit-pos/Sum.hs, 0.9941, True
Tests/Macro/unit-pos/StructRec.hs, 0.9868, True
Tests/Macro/unit-pos/Strings.hs, 1.0386, True
Tests/Macro/unit-pos/StringLit.hs, 0.9364, True
Tests/Macro/unit-pos/string00.hs, 1.0018, True
Tests/Macro/unit-pos/StrictPair1.hs, 1.1077, True
Tests/Macro/unit-pos/StrictPair0.hs, 1.0536, True
Tests/Macro/unit-pos/Streams.hs, 1.1072, True
Tests/Macro/unit-pos/StateLib.hs, 1.1820, True
Tests/Macro/unit-pos/stateInvarint.hs, 1.2946, True
Tests/Macro/unit-pos/StateF00.hs, 1.0263, True
Tests/Macro/unit-pos/StateConstraints00.hs, 1.0851, True
Tests/Macro/unit-pos/StateConstraints0.hs, 1.2521, True
Tests/Macro/unit-pos/StateConstraints.hs, 15.3671, True
Tests/Macro/unit-pos/state00.hs, 0.9949, True
Tests/Macro/unit-pos/State.hs, 1.0861, True
Tests/Macro/unit-pos/stacks0.hs, 1.1253, True
Tests/Macro/unit-pos/StackMachine.hs, 1.1323, True
Tests/Macro/unit-pos/StackClass.hs, 1.0634, True
Tests/Macro/unit-pos/spec0.hs, 1.0372, True
Tests/Macro/unit-pos/Solver.hs, 1.4768, True
Tests/Macro/unit-pos/SingletonLists.hs, 0.9897, True
Tests/Macro/unit-pos/SimplifyTup00.hs, 1.0207, True
Tests/Macro/unit-pos/SimplerNotation.hs, 0.9599, True
Tests/Macro/unit-pos/selfList.hs, 1.1384, True
Tests/Macro/unit-pos/scanr.hs, 1.1138, True
Tests/Macro/unit-pos/SafePartialFunctions.hs, 1.0733, True
Tests/Macro/unit-pos/rta.hs, 1.1184, True
Tests/Macro/unit-pos/risers.hs, 1.2257, True
Tests/Macro/unit-pos/ReWrite9.hs, 1.2283, True
Tests/Macro/unit-pos/ReWrite8.hs, 1.6835, True
Tests/Macro/unit-pos/ReWrite7.hs, 1.8884, True
Tests/Macro/unit-pos/ReWrite6.hs, 2.0527, True
Tests/Macro/unit-pos/ReWrite5.hs, 1.9094, True
Tests/Macro/unit-pos/ReWrite4.hs, 1.0556, True
Tests/Macro/unit-pos/ReWrite3.hs, 1.0475, True
Tests/Macro/unit-pos/ReWrite2.hs, 1.0690, True
Tests/Macro/unit-pos/ReWrite10.hs, 1.1318, True
Tests/Macro/unit-pos/ReWrite.hs, 1.4069, True
Tests/Macro/unit-pos/ResolvePred.hs, 0.9793, True
Tests/Macro/unit-pos/ResolveB.hs, 0.9769, True
Tests/Macro/unit-pos/ResolveA.hs, 1.0151, True
Tests/Macro/unit-pos/Resolve.hs, 1.0709, True
Tests/Macro/unit-pos/repeatHigherOrder.hs, 1.5413, True
Tests/Macro/unit-pos/Repeat.hs, 0.9977, True
Tests/Macro/unit-pos/RelativeComplete.hs, 1.0122, True
Tests/Macro/unit-pos/ReflectMutual.hs, 1.0132, True
Tests/Macro/unit-pos/ReflectBooleanFunctions.hs, 0.9751, True
Tests/Macro/unit-pos/ReflectAlias.hs, 0.9721, True
Tests/Macro/unit-pos/reflect0.hs, 1.0000, True
Tests/Macro/unit-pos/RefinedADTs.hs, 1.0344, True
Tests/Macro/unit-pos/Reduction.hs, 0.9332, True
Tests/Macro/unit-pos/recursion0.hs, 0.9384, True
Tests/Macro/unit-pos/RecSelector.hs, 0.9601, True
Tests/Macro/unit-pos/RecQSort0.hs, 1.0745, True
Tests/Macro/unit-pos/RecQSort.hs, 1.0750, True
Tests/Macro/unit-pos/RecordSelectorError.hs, 0.9877, True
Tests/Macro/unit-pos/record1.hs, 0.9780, True
Tests/Macro/unit-pos/record0.hs, 1.0219, True
Tests/Macro/unit-pos/rec_annot_go.hs, 1.0901, True
Tests/Macro/unit-pos/Rebind.hs, 0.9466, True
Tests/Macro/unit-pos/RealProps.hs, 1.0180, True
Tests/Macro/unit-pos/RBTree.hs, 6.6845, True
Tests/Macro/unit-pos/RBTree-ord.hs, 5.5100, True
Tests/Macro/unit-pos/RBTree-height.hs, 2.7313, True
Tests/Macro/unit-pos/RBTree-color.hs, 3.3116, True
Tests/Macro/unit-pos/RBTree-col-height.hs, 4.8418, True
Tests/Macro/unit-pos/rangeAdt.hs, 2.6072, True
Tests/Macro/unit-pos/range1.hs, 1.0327, True
Tests/Macro/unit-pos/range.hs, 1.1941, True
Tests/Macro/unit-pos/qualTest.hs, 0.9632, True
Tests/Macro/unit-pos/QQTySyn.hs, 1.7096, True
Tests/Macro/unit-pos/QQTySigTyVars.hs, 1.8045, True
Tests/Macro/unit-pos/QQTySig.hs, 1.8214, True
Tests/Macro/unit-pos/propmeasure1.hs, 0.9961, True
Tests/Macro/unit-pos/propmeasure.hs, 1.0645, True
Tests/Macro/unit-pos/Propability.hs, 1.0689, True
Tests/Macro/unit-pos/PromotedDataCons.hs, 1.0120, True
Tests/Macro/unit-pos/profcrasher.hs, 0.9435, True
Tests/Macro/unit-pos/Product.hs, 1.1375, True
Tests/Macro/unit-pos/primInt0.hs, 1.8945, True
Tests/Macro/unit-pos/pred.hs, 0.9782, True
Tests/Macro/unit-pos/pragma0.hs, 0.9661, True
Tests/Macro/unit-pos/poslist_dc.hs, 1.0022, True
Tests/Macro/unit-pos/poslist.hs, 1.0902, True
Tests/Macro/unit-pos/polyqual.hs, 1.2601, True
Tests/Macro/unit-pos/polyfun.hs, 0.9698, True
Tests/Macro/unit-pos/poly4.hs, 0.9698, True
Tests/Macro/unit-pos/poly3a.hs, 0.9591, True
Tests/Macro/unit-pos/poly3.hs, 0.9862, True
Tests/Macro/unit-pos/poly2.hs, 1.0007, True
Tests/Macro/unit-pos/poly2-degenerate.hs, 1.0085, True
Tests/Macro/unit-pos/poly1.hs, 1.0130, True
Tests/Macro/unit-pos/poly0.hs, 1.0592, True
Tests/Macro/unit-pos/PointDist.hs, 1.1282, True
Tests/Macro/unit-pos/ple1.hs, 1.2096, True
Tests/Macro/unit-pos/PersistentVector.hs, 1.1087, True
Tests/Macro/unit-pos/Permutation.hs, 1.5829, True
Tests/Macro/unit-pos/partialmeasure.hs, 0.9957, True
Tests/Macro/unit-pos/partial-tycon.hs, 0.9899, True
Tests/Macro/unit-pos/pargs1.hs, 0.9583, True
Tests/Macro/unit-pos/pargs.hs, 0.9388, True
Tests/Macro/unit-pos/PairMeasure0.hs, 0.9951, True
Tests/Macro/unit-pos/PairMeasure.hs, 0.9834, True
Tests/Macro/unit-pos/pair00.hs, 1.6735, True
Tests/Macro/unit-pos/pair0.hs, 1.9519, True
Tests/Macro/unit-pos/pair.hs, 2.0916, True
Tests/Macro/unit-pos/ORM.hs, 1.4906, True
Tests/Macro/unit-pos/OrdList.hs, 2.1037, True
Tests/Macro/unit-pos/null.hs, 0.9395, True
Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs, 0.9264, True
Tests/Macro/unit-pos/NoCaseExpand.hs, 1.1130, True
Tests/Macro/unit-pos/niki1.hs, 1.0560, True
Tests/Macro/unit-pos/niki.hs, 1.0257, True
Tests/Macro/unit-pos/nats.hs, 1.0114, True
Tests/Macro/unit-pos/MutualRec.hs, 3.9430, True
Tests/Macro/unit-pos/MutuallyDependentADT.hs, 0.9767, True
Tests/Macro/unit-pos/mutrec.hs, 0.9926, True
Tests/Macro/unit-pos/multi-pred-app-00.hs, 0.9710, True
Tests/Macro/unit-pos/monad6.hs, 1.0263, True
Tests/Macro/unit-pos/monad5.hs, 1.2084, True
Tests/Macro/unit-pos/monad2.hs, 0.9436, True
Tests/Macro/unit-pos/modTest.hs, 0.9653, True
Tests/Macro/unit-pos/ModLib.hs, 0.9877, True
Tests/Macro/unit-pos/Mod.hs, 1.0044, True
Tests/Macro/unit-pos/MergeSort.hs, 1.2810, True
Tests/Macro/unit-pos/MergeSort-bag.hs, 2.9009, True
Tests/Macro/unit-pos/Merge1.hs, 1.0533, True
Tests/Macro/unit-pos/MeasureSets.hs, 1.0011, True
Tests/Macro/unit-pos/Measures1.hs, 0.9733, True
Tests/Macro/unit-pos/Measures.hs, 0.9834, True
Tests/Macro/unit-pos/MeasureDups.hs, 1.0773, True
Tests/Macro/unit-pos/MeasureContains.hs, 1.0672, True
Tests/Macro/unit-pos/meas9.hs, 1.0415, True
Tests/Macro/unit-pos/meas8.hs, 0.9736, True
Tests/Macro/unit-pos/meas7.hs, 1.0488, True
Tests/Macro/unit-pos/meas6.hs, 1.1415, True
Tests/Macro/unit-pos/meas5.hs, 1.6055, True
Tests/Macro/unit-pos/meas4.hs, 1.1937, True
Tests/Macro/unit-pos/meas2.hs, 0.9783, True
Tests/Macro/unit-pos/meas11.hs, 0.9634, True
Tests/Macro/unit-pos/meas10.hs, 1.0978, True
Tests/Macro/unit-pos/meas1.hs, 1.0479, True
Tests/Macro/unit-pos/meas0a.hs, 1.0189, True
Tests/Macro/unit-pos/meas00a.hs, 0.9483, True
Tests/Macro/unit-pos/meas00.hs, 1.0253, True
Tests/Macro/unit-pos/meas0.hs, 1.0418, True
Tests/Macro/unit-pos/maybe5.hs, 0.9687, True
Tests/Macro/unit-pos/maybe4.hs, 0.9713, True
Tests/Macro/unit-pos/maybe3.hs, 0.9493, True
Tests/Macro/unit-pos/maybe2.hs, 1.5708, True
Tests/Macro/unit-pos/maybe1.hs, 1.0949, True
Tests/Macro/unit-pos/maybe000.hs, 1.0015, True
Tests/Macro/unit-pos/maybe0.hs, 0.9680, True
Tests/Macro/unit-pos/maybe.hs, 1.3209, True
Tests/Macro/unit-pos/MaskError.hs, 1.0814, True
Tests/Macro/unit-pos/mapTvCrash.hs, 2.7910, True
Tests/Macro/unit-pos/maps1.hs, 1.5420, True
Tests/Macro/unit-pos/maps.hs, 1.1372, True
Tests/Macro/unit-pos/MapReduceVerified.hs, 10.8137, True
Tests/Macro/unit-pos/mapreduce-bare.hs, 3.8959, True
Tests/Macro/unit-pos/MapFusion.hs, 1.0958, True
Tests/Macro/unit-pos/Map2.hs, 9.8693, True
Tests/Macro/unit-pos/Map0.hs, 9.5871, True
Tests/Macro/unit-pos/Map.hs, 9.5349, True
Tests/Macro/unit-pos/malformed0.hs, 1.1096, True
Tests/Macro/unit-pos/LooLibLib.hs, 0.9466, True
Tests/Macro/unit-pos/LooLib.hs, 1.0148, True
Tests/Macro/unit-pos/Loo.hs, 1.1074, True
Tests/Macro/unit-pos/LogicCurry1.hs, 0.9747, True
Tests/Macro/unit-pos/LocalSpecLib.hs, 0.9555, True
Tests/Macro/unit-pos/LocalSpec.hs, 1.0017, True
Tests/Macro/unit-pos/LocalLazy.hs, 0.9985, True
Tests/Macro/unit-pos/LocalHole.hs, 1.0130, True
Tests/Macro/unit-pos/lit02.hs, 1.0339, True
Tests/Macro/unit-pos/lit00.hs, 0.9900, True
Tests/Macro/unit-pos/lit.hs, 0.9445, True
Tests/Macro/unit-pos/ListSort.hs, 2.0961, True
Tests/Macro/unit-pos/listSetDemo.hs, 1.0928, True
Tests/Macro/unit-pos/listSet.hs, 1.0717, True
Tests/Macro/unit-pos/ListReverse-LType.hs, 1.0110, True
Tests/Macro/unit-pos/ListRange.hs, 1.0748, True
Tests/Macro/unit-pos/ListRange-LType.hs, 1.1201, True
Tests/Macro/unit-pos/listqual.hs, 1.0121, True
Tests/Macro/unit-pos/ListQSort-LType.hs, 1.8261, True
Tests/Macro/unit-pos/ListMSort.hs, 1.3042, True
Tests/Macro/unit-pos/ListMSort-LType.hs, 2.8901, True
Tests/Macro/unit-pos/ListLen.hs, 1.3038, True
Tests/Macro/unit-pos/ListLen-LType.hs, 1.3375, True
Tests/Macro/unit-pos/ListKeys.hs, 1.0030, True
Tests/Macro/unit-pos/ListISort-perm.hs, 1.2911, True
Tests/Macro/unit-pos/ListISort-bag.hs, 1.0345, True
Tests/Macro/unit-pos/ListElem.hs, 1.0220, True
Tests/Macro/unit-pos/ListConcat.hs, 1.0323, True
Tests/Macro/unit-pos/listAnf.hs, 1.0664, True
Tests/Macro/unit-pos/Lib521.hs, 0.9666, True
Tests/Macro/unit-pos/lex.hs, 0.9786, True
Tests/Macro/unit-pos/lets.hs, 1.0566, True
Tests/Macro/unit-pos/LazyWhere1.hs, 1.0016, True
Tests/Macro/unit-pos/LazyWhere.hs, 0.9749, True
Tests/Macro/unit-pos/LambdaEvalTiny.hs, 1.1786, True
Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs, 1.1882, True
Tests/Macro/unit-pos/LambdaEvalMini.hs, 2.0822, True
Tests/Macro/unit-pos/LambdaEval.hs, 2.1181, True
Tests/Macro/unit-pos/LambdaDeBruijn.hs, 1.5513, True
Tests/Macro/unit-pos/kmpVec.hs, 1.6624, True
Tests/Macro/unit-pos/kmpIO.hs, 2.3103, True
Tests/Macro/unit-pos/kmp.hs, 2.1994, True
Tests/Macro/unit-pos/Keys.hs, 1.0153, True
Tests/Macro/unit-pos/jeff.hs, 2.9468, True
Tests/Macro/unit-pos/ite1.hs, 0.9462, True
Tests/Macro/unit-pos/ite.hs, 0.9418, True
Tests/Macro/unit-pos/invlhs.hs, 0.9615, True
Tests/Macro/unit-pos/inline1.hs, 0.9809, True
Tests/Macro/unit-pos/inline.hs, 1.0123, True
Tests/Macro/unit-pos/infix.hs, 0.9694, True
Tests/Macro/unit-pos/Infinity.hs, 1.0258, True
Tests/Macro/unit-pos/implies.hs, 0.9334, True
Tests/Macro/unit-pos/imp0.hs, 0.9867, True
Tests/Macro/unit-pos/Ignores.hs, 0.9394, True
Tests/Macro/unit-pos/idNat0.hs, 0.9674, True
Tests/Macro/unit-pos/idNat.hs, 0.9667, True
Tests/Macro/unit-pos/IcfpDemo.hs, 1.1831, True
Tests/Macro/unit-pos/Hutton.hs, 3.0108, True
Tests/Macro/unit-pos/Holes.hs, 1.0211, True
Tests/Macro/unit-pos/Holes-Slicing.hs, 0.9859, True
Tests/Macro/unit-pos/Hole00.hs, 1.0751, True
Tests/Macro/unit-pos/hole-fun.hs, 0.9614, True
Tests/Macro/unit-pos/hole-app.hs, 0.9603, True
Tests/Macro/unit-pos/HigherOrderRecFun.hs, 0.9515, True
Tests/Macro/unit-pos/Hex00.hs, 0.9476, True
Tests/Macro/unit-pos/hello.hs, 0.9764, True
Tests/Macro/unit-pos/HedgeUnion.hs, 1.0897, True
Tests/Macro/unit-pos/HaskellMeasure.hs, 0.9555, True
Tests/Macro/unit-pos/HasElem.hs, 1.0527, True
Tests/Macro/unit-pos/grty3.hs, 0.9555, True
Tests/Macro/unit-pos/grty2.hs, 0.9618, True
Tests/Macro/unit-pos/grty1.hs, 0.9923, True
Tests/Macro/unit-pos/grty0.hs, 0.9533, True
Tests/Macro/unit-pos/Graph.hs, 1.1400, True
Tests/Macro/unit-pos/GoodHMeas.hs, 0.9511, True
Tests/Macro/unit-pos/go_ugly_type.hs, 1.1619, True
Tests/Macro/unit-pos/go.hs, 2.9711, True
Tests/Macro/unit-pos/gimme.hs, 1.3020, True
Tests/Macro/unit-pos/GhcSort3.T.hs, 1.4008, True
Tests/Macro/unit-pos/GhcSort3.hs, 2.9430, True
Tests/Macro/unit-pos/GhcSort2.hs, 1.3592, True
Tests/Macro/unit-pos/GhcSort1.hs, 2.3904, True
Tests/Macro/unit-pos/GeneralizedTermination.hs, 1.0564, True
Tests/Macro/unit-pos/GCD.hs, 1.0440, True
Tests/Macro/unit-pos/gadtEval.hs, 1.2339, True
Tests/Macro/unit-pos/FractionalInstance.hs, 1.0370, True
Tests/Macro/unit-pos/Fractional.hs, 0.9863, True
Tests/Macro/unit-pos/forloop.hs, 1.2178, True
Tests/Macro/unit-pos/for.hs, 1.2617, True
Tests/Macro/unit-pos/Foo.hs, 0.9572, True
Tests/Macro/unit-pos/foldr.hs, 0.9883, True
Tests/Macro/unit-pos/foldN.hs, 1.0024, True
Tests/Macro/unit-pos/Foldl.hs, 39.0238, True
Tests/Macro/unit-pos/FingerTree.hs, 4.1990, True
Tests/Macro/unit-pos/filterAbs.hs, 1.0914, True
Tests/Macro/unit-pos/FibEq.hs, 1.2026, True
Tests/Macro/unit-pos/Fib0.hs, 1.0179, True
Tests/Macro/unit-pos/FFI.hs, 1.0027, True
Tests/Macro/unit-pos/failName.hs, 0.9475, True
Tests/Macro/unit-pos/Fail.hs, 0.9557, True
Tests/Macro/unit-pos/extype.hs, 1.0139, True
Tests/Macro/unit-pos/exp0.hs, 0.9947, True
Tests/Macro/unit-pos/ExactGADT6.hs, 0.9868, True
Tests/Macro/unit-pos/ExactGADT2.hs, 0.9609, True
Tests/Macro/unit-pos/ExactGADT1.hs, 0.9548, True
Tests/Macro/unit-pos/ExactGADT0.hs, 0.9886, True
Tests/Macro/unit-pos/ExactGADT.hs, 0.9559, True
Tests/Macro/unit-pos/ExactADT6.hs, 1.0033, True
Tests/Macro/unit-pos/ex1.hs, 1.0978, True
Tests/Macro/unit-pos/ex01.hs, 0.9591, True
Tests/Macro/unit-pos/ex0.hs, 1.1026, True
Tests/Macro/unit-pos/Even0.hs, 0.9667, True
Tests/Macro/unit-pos/Even.hs, 0.9569, True
Tests/Macro/unit-pos/EvalQuery.hs, 1.2626, True
Tests/Macro/unit-pos/Eval.hs, 1.1844, True
Tests/Macro/unit-pos/eqelems.hs, 0.9940, True
Tests/Macro/unit-pos/eq-poly-measure.hs, 0.9854, True
Tests/Macro/unit-pos/elim01.hs, 1.0571, True
Tests/Macro/unit-pos/elim00.hs, 0.9850, True
Tests/Macro/unit-pos/elim-ex-map-3.hs, 1.7621, True
Tests/Macro/unit-pos/elim-ex-map-2.hs, 1.8078, True
Tests/Macro/unit-pos/elim-ex-map-1.hs, 1.7749, True
Tests/Macro/unit-pos/elim-ex-list.hs, 1.6961, True
Tests/Macro/unit-pos/elim-ex-let.hs, 1.6230, True
Tests/Macro/unit-pos/elim-ex-compose.hs, 1.3291, True
Tests/Macro/unit-pos/elems.hs, 1.0323, True
Tests/Macro/unit-pos/elements.hs, 1.2809, True
Tests/Macro/unit-pos/duplicate-bind.hs, 0.9722, True
Tests/Macro/unit-pos/dropwhile.hs, 1.2098, True
Tests/Macro/unit-pos/div000.hs, 0.9569, True
Tests/Macro/unit-pos/deptupW.hs, 1.0521, True
Tests/Macro/unit-pos/deptup3.hs, 1.0458, True
Tests/Macro/unit-pos/deptup1.hs, 1.1607, True
Tests/Macro/unit-pos/deptup.hs, 1.3115, True
Tests/Macro/unit-pos/DepTriples.hs, 1.0254, True
Tests/Macro/unit-pos/DependentPairsFun.hs, 0.9767, True
Tests/Macro/unit-pos/DependentPairs.hs, 0.9911, True
Tests/Macro/unit-pos/DepData.hs, 0.9640, True
Tests/Macro/unit-pos/deepmeas0.hs, 1.0703, True
Tests/Macro/unit-pos/DB00.hs, 0.9894, True
Tests/Macro/unit-pos/dataConQuals.hs, 0.9715, True
Tests/Macro/unit-pos/datacon1.hs, 0.9548, True
Tests/Macro/unit-pos/datacon0.hs, 1.1191, True
Tests/Macro/unit-pos/datacon-inv.hs, 0.9834, True
Tests/Macro/unit-pos/DataBase.hs, 1.0314, True
Tests/Macro/unit-pos/data2.hs, 1.2312, True
Tests/Macro/unit-pos/cut00.hs, 1.0114, True
Tests/Macro/unit-pos/csgordon_issue_296.hs, 1.0210, True
Tests/Macro/unit-pos/CountMonad.hs, 1.1997, True
Tests/Macro/unit-pos/coretologic.hs, 1.0641, True
Tests/Macro/unit-pos/ConstraintsAppend.hs, 1.5316, True
Tests/Macro/unit-pos/Constraints.hs, 1.0543, True
Tests/Macro/unit-pos/comprehensionTerm.hs, 1.3876, True
Tests/Macro/unit-pos/comprehension.hs, 0.9441, True
Tests/Macro/unit-pos/CompareConstraints.hs, 1.1666, True
Tests/Macro/unit-pos/compare2.hs, 1.0181, True
Tests/Macro/unit-pos/compare1.hs, 1.0206, True
Tests/Macro/unit-pos/compare.hs, 1.0244, True
Tests/Macro/unit-pos/CommentedOut.hs, 0.9746, True
Tests/Macro/unit-pos/comma.hs, 0.9460, True
Tests/Macro/unit-pos/Coercion.hs, 1.0283, True
Tests/Macro/unit-pos/cmptag0.hs, 1.0054, True
Tests/Macro/unit-pos/ClojurVector.hs, 1.3781, True
Tests/Macro/unit-pos/Client521.hs, 1.0457, True
Tests/Macro/unit-pos/ClassReg.hs, 1.0268, True
Tests/Macro/unit-pos/Class2.hs, 1.3051, True
Tests/Macro/unit-pos/Class.hs, 1.3187, True
Tests/Macro/unit-pos/Chunks.hs, 1.0235, True
Tests/Macro/unit-pos/CheckedNum.hs, 0.9821, True
Tests/Macro/unit-pos/CharLiterals.hs, 0.9776, True
Tests/Macro/unit-pos/Cat.hs, 0.9993, True
Tests/Macro/unit-pos/CasesToLogic.hs, 0.9726, True
Tests/Macro/unit-pos/case-lambda-join.hs, 1.1877, True
Tests/Macro/unit-pos/BST000.hs, 1.2306, True
Tests/Macro/unit-pos/BST.hs, 4.7814, True
Tests/Macro/unit-pos/bounds1.hs, 1.0381, True
Tests/Macro/unit-pos/bool2.hs, 1.0185, True
Tests/Macro/unit-pos/bool1.hs, 1.0063, True
Tests/Macro/unit-pos/bool0.hs, 0.9531, True
Tests/Macro/unit-pos/Books.hs, 1.0296, True
Tests/Macro/unit-pos/BinarySearchOverflow.hs, 1.3272, True
Tests/Macro/unit-pos/BinarySearch.hs, 1.1936, True
Tests/Macro/unit-pos/bangPatterns.hs, 0.9874, True
Tests/Macro/unit-pos/bag1.hs, 1.0304, True
Tests/Macro/unit-pos/AVLRJ.hs, 2.0255, True
Tests/Macro/unit-pos/AVL.hs, 1.6497, True
Tests/Macro/unit-pos/Avg.hs, 0.9773, True
Tests/Macro/unit-pos/AutoTerm1.hs, 1.0009, True
Tests/Macro/unit-pos/AutoTerm.hs, 1.0083, True
Tests/Macro/unit-pos/AutoSize.hs, 0.9804, True
Tests/Macro/unit-pos/Automate.hs, 1.1360, True
Tests/Macro/unit-pos/AssumedRecursive.hs, 0.9549, True
Tests/Macro/unit-pos/Assume.hs, 0.9652, True
Tests/Macro/unit-pos/anish1.hs, 0.9756, True
Tests/Macro/unit-pos/anftest.hs, 0.9559, True
Tests/Macro/unit-pos/anfbug.hs, 1.0481, True
Tests/Macro/unit-pos/AmortizedQueue.hs, 1.1663, True
Tests/Macro/unit-pos/alphaconvert-Set.hs, 1.2688, True
Tests/Macro/unit-pos/alphaconvert-List.hs, 1.4355, True
Tests/Macro/unit-pos/alias01.hs, 0.9570, True
Tests/Macro/unit-pos/alias00.hs, 0.9677, True
Tests/Macro/unit-pos/AdtPeano1.hs, 0.9843, True
Tests/Macro/unit-pos/AdtPeano0.hs, 0.9966, True
Tests/Macro/unit-pos/AdtList5.hs, 0.9488, True
Tests/Macro/unit-pos/AdtList4.hs, 1.0194, True
Tests/Macro/unit-pos/AdtList3.hs, 0.9891, True
Tests/Macro/unit-pos/AdtList2.hs, 0.9983, True
Tests/Macro/unit-pos/AdtList1.hs, 1.0191, True
Tests/Macro/unit-pos/AdtList0.hs, 0.9748, True
Tests/Macro/unit-pos/adt0.hs, 0.9866, True
Tests/Macro/unit-pos/Ackermann.hs, 0.9677, True
Tests/Macro/unit-pos/absref-crash0.hs, 1.0574, True
Tests/Macro/unit-pos/absref-crash.hs, 0.9654, True
Tests/Macro/unit-pos/Abs.hs, 0.9688, True
Tests/Macro/unit-neg/wrap1.hs, 1.0149, True
Tests/Macro/unit-neg/wrap0.hs, 1.0490, True
Tests/Macro/unit-neg/VerifiedNum.hs, 0.9635, True
Tests/Macro/unit-neg/vector2.hs, 1.5051, True
Tests/Macro/unit-neg/vector1a.hs, 1.2715, True
Tests/Macro/unit-neg/vector0a.hs, 1.0545, True
Tests/Macro/unit-neg/vector00.hs, 1.0134, True
Tests/Macro/unit-neg/Variance.hs, 0.9119, True
Tests/Macro/unit-neg/TypeLitNat.hs, 0.8943, True
Tests/Macro/unit-neg/tyclass0-unsafe.hs, 0.8770, True
Tests/Macro/unit-neg/truespec.hs, 0.9051, True
Tests/Macro/unit-neg/trans.hs, 1.6313, True
Tests/Macro/unit-neg/TotalHaskell.hs, 0.8983, True
Tests/Macro/unit-neg/TopLevel.hs, 0.8902, True
Tests/Macro/unit-neg/test2.hs, 0.9265, True
Tests/Macro/unit-neg/test1.hs, 0.8975, True
Tests/Macro/unit-neg/test00c.hs, 0.8582, True
Tests/Macro/unit-neg/test00b.hs, 0.9276, True
Tests/Macro/unit-neg/test00a.hs, 0.9173, True
Tests/Macro/unit-neg/test00.hs, 0.8983, True
Tests/Macro/unit-neg/TermReal.hs, 0.8469, True
Tests/Macro/unit-neg/TerminationNum0.hs, 0.9415, True
Tests/Macro/unit-neg/TerminationNum.hs, 0.8827, True
Tests/Macro/unit-neg/T743.hs, 0.9147, True
Tests/Macro/unit-neg/T743-mini.hs, 0.9412, True
Tests/Macro/unit-neg/T602.hs, 0.9270, True
Tests/Macro/unit-neg/T1814.hs, 1.1980, True
Tests/Macro/unit-neg/T1659.hs, 0.9011, True
Tests/Macro/unit-neg/T1657A.hs, 0.9343, True
Tests/Macro/unit-neg/T1657.hs, 0.8958, True
Tests/Macro/unit-neg/T1642A.hs, 0.9479, True
Tests/Macro/unit-neg/T1613.hs, 0.9480, True
Tests/Macro/unit-neg/T1604.hs, 0.9479, True
Tests/Macro/unit-neg/T1577.hs, 0.9432, True
Tests/Macro/unit-neg/T1555.hs, 0.9133, True
Tests/Macro/unit-neg/T1553A.hs, 0.8929, True
Tests/Macro/unit-neg/T1553.hs, 0.9189, True
Tests/Macro/unit-neg/T1546.hs, 0.9438, True
Tests/Macro/unit-neg/T1498A.hs, 0.9525, True
Tests/Macro/unit-neg/T1498.hs, 0.9316, True
Tests/Macro/unit-neg/T1490A.hs, 0.9663, True
Tests/Macro/unit-neg/T1490.hs, 0.9207, True
Tests/Macro/unit-neg/T1288.hs, 0.8881, True
Tests/Macro/unit-neg/T1286.hs, 0.8504, True
Tests/Macro/unit-neg/T1267.hs, 0.9164, True
Tests/Macro/unit-neg/T1198.3.hs, 0.9359, True
Tests/Macro/unit-neg/T1126.hs, 0.9288, True
Tests/Macro/unit-neg/T1095C.hs, 0.9295, True
Tests/Macro/unit-neg/sumPoly.hs, 0.8519, True
Tests/Macro/unit-neg/sumk.hs, 0.9877, True
Tests/Macro/unit-neg/Strings.hs, 0.8745, True
Tests/Macro/unit-neg/string00.hs, 0.9248, True
Tests/Macro/unit-neg/StrictPair1.hs, 0.9657, True
Tests/Macro/unit-neg/StrictPair0.hs, 0.9070, True
Tests/Macro/unit-neg/StateConstraints00.hs, 0.9521, True
Tests/Macro/unit-neg/StateConstraints0.hs, 50.2911, True
Tests/Macro/unit-neg/StateConstraints.hs, 1.7903, True
Tests/Macro/unit-neg/state00.hs, 0.9620, True
Tests/Macro/unit-neg/state0.hs, 0.9294, True
Tests/Macro/unit-neg/stacks.hs, 0.9973, True
Tests/Macro/unit-neg/Solver.hs, 1.3513, True
Tests/Macro/unit-neg/SafePartialFunctions.hs, 0.9090, True
Tests/Macro/unit-neg/risers.hs, 1.0046, True
Tests/Macro/unit-neg/RG.hs, 1.3906, True
Tests/Macro/unit-neg/ReWrite4.hs, 0.9573, True
Tests/Macro/unit-neg/ReWrite3.hs, 0.9453, True
Tests/Macro/unit-neg/ReWrite2.hs, 0.9675, True
Tests/Macro/unit-neg/ReWrite.hs, 0.9523, True
Tests/Macro/unit-neg/revshape.hs, 0.9307, True
Tests/Macro/unit-neg/RecSelector.hs, 0.9171, True
Tests/Macro/unit-neg/RecQSort.hs, 1.0473, True
Tests/Macro/unit-neg/record0.hs, 0.9217, True
Tests/Macro/unit-neg/Rebind.hs, 0.8536, True
Tests/Macro/unit-neg/range.hs, 1.1128, True
Tests/Macro/unit-neg/prune0.hs, 0.9770, True
Tests/Macro/unit-neg/Propability0.hs, 0.9789, True
Tests/Macro/unit-neg/Propability.hs, 1.0500, True
Tests/Macro/unit-neg/pred.hs, 0.8443, True
Tests/Macro/unit-neg/poslist.hs, 1.0113, True
Tests/Macro/unit-neg/polypred.hs, 0.9055, True
Tests/Macro/unit-neg/poly2.hs, 0.9220, True
Tests/Macro/unit-neg/poly2-degenerate.hs, 0.9251, True
Tests/Macro/unit-neg/poly1.hs, 0.9478, True
Tests/Macro/unit-neg/poly0.hs, 0.9668, True
Tests/Macro/unit-neg/partial.hs, 0.8730, True
Tests/Macro/unit-neg/pargs1.hs, 0.8764, True
Tests/Macro/unit-neg/pargs.hs, 0.8855, True
Tests/Macro/unit-neg/PairMeasure.hs, 0.9116, True
Tests/Macro/unit-neg/pair0.hs, 1.8595, True
Tests/Macro/unit-neg/pair.hs, 1.9191, True
Tests/Macro/unit-neg/null.hs, 0.8355, True
Tests/Macro/unit-neg/NoMethodBindingError.hs, 0.9135, True
Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs, 0.8607, True
Tests/Macro/unit-neg/nestedRecursion.hs, 0.9147, True
Tests/Macro/unit-neg/NameResolution.hs, 0.8993, True
Tests/Macro/unit-neg/MultipleInvariants.hs, 0.8863, True
Tests/Macro/unit-neg/MultiParamTypeClasses.hs, 0.9428, True
Tests/Macro/unit-neg/multi-pred-app-00.hs, 0.8330, True
Tests/Macro/unit-neg/mr00.hs, 1.0905, True
Tests/Macro/unit-neg/monad7.hs, 1.1161, True
Tests/Macro/unit-neg/monad6.hs, 0.9548, True
Tests/Macro/unit-neg/monad5.hs, 0.9706, True
Tests/Macro/unit-neg/monad4.hs, 0.9683, True
Tests/Macro/unit-neg/monad3.hs, 1.0040, True
Tests/Macro/unit-neg/MergeSort.hs, 1.1901, True
Tests/Macro/unit-neg/MeasureDups.hs, 1.0114, True
Tests/Macro/unit-neg/MeasureContains.hs, 0.9346, True
Tests/Macro/unit-neg/meas9.hs, 1.1033, True
Tests/Macro/unit-neg/meas7.hs, 2.9139, True
Tests/Macro/unit-neg/meas5.hs, 2.2718, True
Tests/Macro/unit-neg/meas3.hs, 0.9404, True
Tests/Macro/unit-neg/meas2.hs, 0.9550, True
Tests/Macro/unit-neg/meas0.hs, 0.9710, True
Tests/Macro/unit-neg/MaybeMonad.hs, 0.9634, True
Tests/Macro/unit-neg/maybe.hs, 0.8981, True
Tests/Macro/unit-neg/maps.hs, 1.0599, True
Tests/Macro/unit-neg/mapreduce.hs, 2.7526, True
Tests/Macro/unit-neg/mapreduce-tiny.hs, 0.9041, True
Tests/Macro/unit-neg/LocalSpec.hs, 0.9019, True
Tests/Macro/unit-neg/lit.hs, 0.8461, True
Tests/Macro/unit-neg/ListRange.hs, 1.0156, True
Tests/Macro/unit-neg/listne.hs, 0.8208, True
Tests/Macro/unit-neg/ListMSort.hs, 1.6401, True
Tests/Macro/unit-neg/ListKeys.hs, 0.9326, True
Tests/Macro/unit-neg/ListElem.hs, 0.9321, True
Tests/Macro/unit-neg/ListConcat.hs, 0.9414, True
Tests/Macro/unit-neg/list00.hs, 0.9202, True
Tests/Macro/unit-neg/LetRecStack.hs, 0.9605, True
Tests/Macro/unit-neg/LazyWhere1.hs, 0.9506, True
Tests/Macro/unit-neg/LazyWhere.hs, 0.9170, True
Tests/Macro/unit-neg/IntAbsRef.hs, 0.9105, True
Tests/Macro/unit-neg/inc2.hs, 0.8583, True
Tests/Macro/unit-neg/HolesTop.hs, 0.8918, True
Tests/Macro/unit-neg/HigherOrder.hs, 0.8779, True
Tests/Macro/unit-neg/Hex00.hs, 0.8434, True
Tests/Macro/unit-neg/HasElem.hs, 0.9689, True
Tests/Macro/unit-neg/grty3.hs, 0.9137, True
Tests/Macro/unit-neg/grty2.hs, 0.9662, True
Tests/Macro/unit-neg/grty1.hs, 0.9516, True
Tests/Macro/unit-neg/grty0.hs, 0.8583, True
Tests/Macro/unit-neg/GeneralizedTermination.hs, 0.9472, True
Tests/Macro/unit-neg/FunSoundness.hs, 0.8544, True
Tests/Macro/unit-neg/FunctionRef.hs, 0.8944, True
Tests/Macro/unit-neg/foldN1.hs, 0.9259, True
Tests/Macro/unit-neg/foldN.hs, 0.9561, True
Tests/Macro/unit-neg/filterAbs.hs, 1.0273, True
Tests/Macro/unit-neg/Fail1.hs, 0.8532, True
Tests/Macro/unit-neg/Fail.hs, 0.9127, True
Tests/Macro/unit-neg/ExactGADT7.hs, 0.9487, True
Tests/Macro/unit-neg/ExactGADT6.hs, 1.0646, True
Tests/Macro/unit-neg/ExactADT6.hs, 0.9737, True
Tests/Macro/unit-neg/ex1-unsafe.hs, 1.0496, True
Tests/Macro/unit-neg/ex0-unsafe.hs, 1.0498, True
Tests/Macro/unit-neg/EvalQuery.hs, 1.1221, True
Tests/Macro/unit-neg/Eval.hs, 1.0450, True
Tests/Macro/unit-neg/errorloc.hs, 0.9071, True
Tests/Macro/unit-neg/errmsg.hs, 0.9449, True
Tests/Macro/unit-neg/elim000.hs, 0.9304, True
Tests/Macro/unit-neg/elim-ex-list.hs, 1.6074, True
Tests/Macro/unit-neg/elim-ex-compose.hs, 1.0538, True
Tests/Macro/unit-neg/DependentTypes.hs, 0.9607, True
Tests/Macro/unit-neg/datacon-eq.hs, 0.8919, True
Tests/Macro/unit-neg/csv.hs, 1.4487, True
Tests/Macro/unit-neg/coretologic.hs, 0.9373, True
Tests/Macro/unit-neg/contra0.hs, 0.9356, True
Tests/Macro/unit-neg/ConstraintsAppend.hs, 1.4724, True
Tests/Macro/unit-neg/Constraints.hs, 0.9505, True
Tests/Macro/unit-neg/concat2.hs, 1.2207, True
Tests/Macro/unit-neg/concat1.hs, 1.1218, True
Tests/Macro/unit-neg/concat.hs, 1.1675, True
Tests/Macro/unit-neg/CompareConstraints.hs, 1.1231, True
Tests/Macro/unit-neg/Class4.hs, 0.9302, True
Tests/Macro/unit-neg/Class3.hs, 0.9771, True
Tests/Macro/unit-neg/Class2.hs, 0.9591, True
Tests/Macro/unit-neg/Class1.hs, 1.0920, True
Tests/Macro/unit-neg/CheckedNum.hs, 0.9473, True
Tests/Macro/unit-neg/CharLiterals.hs, 0.8660, True
Tests/Macro/unit-neg/CastedTotality.hs, 0.9278, True
Tests/Macro/unit-neg/Books.hs, 0.9617, True
Tests/Macro/unit-neg/BinarySearchOverflow.hs, 0.9323, True
Tests/Macro/unit-neg/BigNum.hs, 0.8442, True
Tests/Macro/unit-neg/Baz.hs, 0.9025, True
Tests/Macro/unit-neg/bag1.hs, 0.9669, True
Tests/Macro/unit-neg/BadNats.hs, 0.8666, True
Tests/Macro/unit-neg/AutoTerm1.hs, 0.9158, True
Tests/Macro/unit-neg/AutoSize.hs, 1.7993, True
Tests/Macro/unit-neg/Automate.hs, 0.9736, True
Tests/Macro/unit-neg/Ast.hs, 0.9938, True
Tests/Macro/unit-neg/ass0.hs, 0.8413, True
Tests/Macro/unit-neg/alias00.hs, 0.8471, True
Tests/Macro/unit-neg/AdtPeano1.hs, 0.9066, True
Tests/Macro/unit-neg/AdtPeano0.hs, 0.9160, True
Tests/Macro/unit-neg/AbsApp.hs, 0.8289, True
Tests/Prover/foundations/Lists.hs, 23.4838, True
Tests/Prover/foundations/InductionRJ.hs, 1.5590, True
Tests/Prover/foundations/Induction.hs, 1.3878, True
Tests/Prover/foundations/Basics.hs, 4.1041, True
Tests/Prover/prover_ple_lib/Proves.hs, 1.2087, True
Tests/Prover/prover_ple_lib/Helper.hs, 1.8689, True
Tests/Prover/without_ple_pos/Unification.hs, 8.1784, True
Tests/Prover/without_ple_pos/Solver.hs, 1.7056, True
Tests/Prover/without_ple_pos/Peano.hs, 1.5160, True
Tests/Prover/without_ple_pos/Overview.hs, 3.2978, True
Tests/Prover/without_ple_pos/NaturalDeduction.hs, 1.1742, True
Tests/Prover/without_ple_pos/NatInduction.hs, 2.0641, True
Tests/Prover/without_ple_pos/MonoidMaybe.hs, 1.5804, True
Tests/Prover/without_ple_pos/MonoidList.hs, 1.4927, True
Tests/Prover/without_ple_pos/MonadMaybe.hs, 1.3057, True
Tests/Prover/without_ple_pos/MonadList.hs, 3.9060, True
Tests/Prover/without_ple_pos/MonadId.hs, 2.6162, True
Tests/Prover/without_ple_pos/MapFusion.hs, 4.7880, True
Tests/Prover/without_ple_pos/FunctorMaybe.hs, 2.7566, True
Tests/Prover/without_ple_pos/FunctorList.hs, 6.4448, True
Tests/Prover/without_ple_pos/FunctorId.hs, 2.8786, True
Tests/Prover/without_ple_pos/FoldrUniversal.hs, 3.8104, True
Tests/Prover/without_ple_pos/Fibonacci.hs, 2.7187, True
Tests/Prover/without_ple_pos/Euclide.hs, 1.0605, True
Tests/Prover/without_ple_pos/Compose.hs, 1.0388, True
Tests/Prover/without_ple_pos/BasicLambdas.hs, 1.0970, True
Tests/Prover/without_ple_pos/ApplicativeMaybe.hs, 3.3099, True
Tests/Prover/without_ple_pos/ApplicativeId.hs, 1.7184, True
Tests/Prover/without_ple_pos/Append.hs, 2.3032, True
Tests/Prover/without_ple_neg/MonadMaybe.hs, 1.2255, True
Tests/Prover/without_ple_neg/MonadList.hs, 11.9629, True
Tests/Prover/without_ple_neg/MapFusion.hs, 5.9887, True
Tests/Prover/without_ple_neg/FunctorMaybe.hs, 1.5584, True
Tests/Prover/without_ple_neg/FunctorList.hs, 4.7393, True
Tests/Prover/without_ple_neg/Fibonacci.hs, 2.4983, True
Tests/Prover/without_ple_neg/BasicLambdas.hs, 0.9592, True
Tests/Prover/without_ple_neg/ApplicativeMaybe.hs, 3.6903, True
Tests/Prover/without_ple_neg/Append.hs, 2.3675, True
Tests/Prover/with_ple/Unification.hs, 3.8300, True
Tests/Prover/with_ple/Solver.hs, 1.6764, True
Tests/Prover/with_ple/Peano.hs, 1.1925, True
Tests/Prover/with_ple/Overview.hs, 2.7675, True
Tests/Prover/with_ple/NaturalDeduction.hs, 1.1950, True
Tests/Prover/with_ple/NatInduction.hs, 1.1349, True
Tests/Prover/with_ple/MonoidMaybe.hs, 1.0615, True
Tests/Prover/with_ple/MonoidList.hs, 1.1327, True
Tests/Prover/with_ple/MonadMaybe.hs, 1.0416, True
Tests/Prover/with_ple/MonadList.hs, 1.2993, True
Tests/Prover/with_ple/MonadId.hs, 1.0535, True
Tests/Prover/with_ple/Maybe.hs, 0.9772, True
Tests/Prover/with_ple/MapFusion.hs, 1.1012, True
Tests/Prover/with_ple/Lists.hs, 1.1102, True
Tests/Prover/with_ple/FunctorMaybe.hs, 1.0790, True
Tests/Prover/with_ple/FunctorList.hs, 1.1461, True
Tests/Prover/with_ple/FunctorId.hs, 1.0495, True
Tests/Prover/with_ple/FoldrUniversal.hs, 1.1710, True
Tests/Prover/with_ple/Fibonacci.hs, 1.3059, True
Tests/Prover/with_ple/Euclide.hs, 1.0240, True
Tests/Prover/with_ple/Compose.hs, 0.9915, True
Tests/Prover/with_ple/BasicLambdas.hs, 0.9985, True
Tests/Prover/with_ple/ApplicativeMaybe.hs, 1.1525, True
Tests/Prover/with_ple/ApplicativeList.hs, 3.0596, True
Tests/Prover/with_ple/ApplicativeId.hs, 1.1163, True
Tests/Prover/with_ple/Append.hs, 1.2745, True
Tests/Benchmarks/cse230/Verifier.hs, 17.5680, True
Tests/Benchmarks/cse230/STLC.lhs, 12.4944, True
Tests/Benchmarks/cse230/State.hs, 0.7809, True
Tests/Benchmarks/cse230/ProofCombinators.hs, 0.6995, True
Tests/Benchmarks/cse230/Lec_3_15.hs, 8.8444, True
Tests/Benchmarks/cse230/Lec_3_11.hs, 4.8399, True
Tests/Benchmarks/cse230/Imp.hs, 0.9196, True
Tests/Benchmarks/cse230/Expressions.hs, 0.9219, True
Tests/Benchmarks/cse230/BigStep.hs, 1.0580, True
Tests/Benchmarks/cse230/Axiomatic.hs, 1.1190, True
Tests/Benchmarks/esop/Toy.hs, 1.6336, True
Tests/Benchmarks/esop/Splay.hs, 5.3021, True
Tests/Benchmarks/esop/ListSort.hs, 2.2697, True
Tests/Benchmarks/esop/GhcListSort.hs, 4.3892, True
Tests/Benchmarks/esop/Fib.hs, 1.2677, True
Tests/Benchmarks/esop/Base.hs, 64.8618, True
Tests/Benchmarks/esop/Array.hs, 2.2181, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.3910, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 2.2690, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 5.7313, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.2808, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 4.2940, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 2.1314, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 22.3748, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 335.6207, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 6.6814, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 35.5137, True
Tests/Benchmarks/vect-algs/Setup.lhs, 1.3675, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 0.9592, True
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 11.5192, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 1.6699, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 8.6561, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 66.6495, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 2.7936, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 4.4063, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 54.0483, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 4.8657, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 10.2608, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 26.9462, True
Tests/Benchmarks/text/Data/Text/Util.hs, 1.0613, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 2.4087, True
Tests/Benchmarks/text/Data/Text/Fusion/Internal.hs, 1.5931, True
Tests/Benchmarks/text/Data/Text/Array.hs, 3.7459, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 2.4548, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 7.5399, True
Tests/Benchmarks/text/Data/Text/Search.hs, 51.3226, True
Tests/Benchmarks/text/Data/Text/Axioms.hs, 1.7686, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 3.6437, True
Tests/Benchmarks/text/Data/Text/Private.hs, 2.2029, True
Tests/Benchmarks/text/Data/Text/Fusion/Common.hs, 5.2826, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 22.3918, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 2.9195, True
Tests/Benchmarks/text/Data/Text.hs, 38.4429, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 3.2745, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 25.6760, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 5.9749, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 24.7249, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 7.2791, True
Tests/Benchmarks/text/Data/Text/Encoding/Fusion.hs, 63.6240, True
Tests/Benchmarks/text/Data/Text/Encoding.hs, 4.4669, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding/Fusion.hs, 4.1843, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 62.9077, True
Tests/Benchmarks/icfp_pos/RIO.hs, 1.0563, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 1.0445, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 1.7605, True
Tests/Benchmarks/icfp_pos/DataBase.hs, 5.5613, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 1.4459, True
Tests/Benchmarks/icfp_pos/TestM.hs, 1.0648, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 1.1936, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 29.9896, True
Tests/Benchmarks/icfp_pos/Incr.hs, 1.7420, True
Tests/Benchmarks/icfp_pos/Incr-elim.hs, 1.2715, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 4.7256, True
Tests/Benchmarks/icfp_pos/IfM.hs, 20.2878, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 1.7213, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 30.6049, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.1851, True
Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.1703, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 3.2558, True
Tests/Benchmarks/icfp_pos/Composition.hs, 1.0867, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.1780, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.3529, True
Tests/Benchmarks/icfp_neg/RIO.hs, 0.9828, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 0.9724, True
Tests/Benchmarks/icfp_neg/DataBase.hs, 5.5745, True
Tests/Benchmarks/icfp_neg/TestM.hs, 0.9982, True
Tests/Benchmarks/icfp_neg/Records.hs, 5.6358, True
Tests/Benchmarks/icfp_neg/IfM.hs, 1.0141, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 5.5659, True
Tests/Benchmarks/icfp_neg/Composition.hs, 1.0351, True