summary-develop.csv

 (HEAD -> develop, origin/develop, origin/HEAD) : 4bf0c3cf1c6d9b482532f0b0812c3bae210fb0c0
Timestamp: 2020-03-11 12:27:47 +0100
Epoch Timestamp: 1583926067
--------------------------------------------------------------------------------
test, time(s), result

Tests/Micro/parser-pos/Tuples.hs, 2.8569, True
Tests/Micro/parser-pos/TokensAsPrefixes.hs, 1.7808, True
Tests/Micro/parser-pos/ReflectedInfix.hs, 2.0866, True
Tests/Micro/parser-pos/Parens.hs, 1.8421, True
Tests/Micro/parser-pos/NestedTuples.hs, 2.0030, True
Tests/Micro/basic-pos/SkipDerived00.hs, 1.9973, True
Tests/Micro/basic-pos/poly00.hs, 1.9046, True
Tests/Micro/basic-pos/List00.hs, 1.9425, True
Tests/Micro/basic-pos/infer00.hs, 2.1411, True
Tests/Micro/basic-pos/inc04.hs, 1.8558, True
Tests/Micro/basic-pos/Inc03Lib.hs, 1.8791, True
Tests/Micro/basic-pos/inc03.hs, 1.9151, True
Tests/Micro/basic-pos/inc02.hs, 1.8231, True
Tests/Micro/basic-pos/inc01q.hs, 1.9012, True
Tests/Micro/basic-pos/inc01.hs, 1.4505, True
Tests/Micro/basic-pos/inc00.hs, 1.2526, True
Tests/Micro/basic-pos/Float.hs, 1.2038, True
Tests/Micro/basic-pos/alias05.hs, 1.1413, True
Tests/Micro/basic-pos/alias04.hs, 1.0993, True
Tests/Micro/basic-pos/alias03.hs, 1.1129, True
Tests/Micro/basic-pos/alias02.hs, 1.0284, True
Tests/Micro/basic-pos/alias01.hs, 1.0719, True
Tests/Micro/basic-pos/alias00.hs, 1.0848, True
Tests/Micro/basic-neg/T1459.hs, 1.2427, True
Tests/Micro/basic-neg/poly00.hs, 1.1050, True
Tests/Micro/basic-neg/List00.hs, 1.0375, True
Tests/Micro/basic-neg/Inc04Lib.hs, 1.1028, True
Tests/Micro/basic-neg/Inc04.hs, 1.1409, True
Tests/Micro/basic-neg/inc03.hs, 1.1586, True
Tests/Micro/basic-neg/inc02.hs, 1.1353, True
Tests/Micro/basic-neg/inc01q.hs, 1.1169, True
Tests/Micro/basic-neg/inc01.hs, 1.1057, True
Tests/Micro/measure-pos/Using00.hs, 1.1074, True
Tests/Micro/measure-pos/RecordAccessors.hs, 1.1392, True
Tests/Micro/measure-pos/PruneHO.hs, 1.0802, True
Tests/Micro/measure-pos/Ple1Lib.hs, 1.1041, True
Tests/Micro/measure-pos/ple1.hs, 1.1641, True
Tests/Micro/measure-pos/ple01.hs, 1.0631, True
Tests/Micro/measure-pos/ple00.hs, 1.1680, True
Tests/Micro/measure-pos/List02Lib.hs, 1.1282, True
Tests/Micro/measure-pos/List02.hs, 1.2058, True
Tests/Micro/measure-pos/List01.hs, 1.0492, True
Tests/Micro/measure-pos/List00Lib.hs, 1.1938, True
Tests/Micro/measure-pos/List00.hs, 1.0970, True
Tests/Micro/measure-pos/Len02.hs, 1.6089, True
Tests/Micro/measure-pos/Len01.hs, 1.2540, True
Tests/Micro/measure-pos/Len00.hs, 1.2211, True
Tests/Micro/measure-pos/HiddenDataLib.hs, 1.1666, True
Tests/Micro/measure-pos/HiddenData.hs, 1.7267, True
Tests/Micro/measure-pos/GList00Lib.hs, 1.7352, True
Tests/Micro/measure-pos/GList000.hs, 1.7470, True
Tests/Micro/measure-pos/fst02.hs, 1.3092, True
Tests/Micro/measure-pos/fst01.hs, 1.0813, True
Tests/Micro/measure-pos/fst00.hs, 1.3064, True
Tests/Micro/measure-pos/ExactFunApp.hs, 1.0967, True
Tests/Micro/measure-pos/bag.hs, 1.2071, True
Tests/Micro/measure-pos/AbsMeasure.hs, 1.0894, True
Tests/Micro/measure-neg/Using00.hs, 1.1131, True
Tests/Micro/measure-neg/Ple1Lib.hs, 1.1634, True
Tests/Micro/measure-neg/ple1.hs, 1.2507, True
Tests/Micro/measure-neg/ple0.hs, 1.0849, True
Tests/Micro/measure-neg/List02.hs, 1.1037, True
Tests/Micro/measure-neg/List01.hs, 1.1409, True
Tests/Micro/measure-neg/List00.hs, 1.0915, True
Tests/Micro/measure-neg/Len01.hs, 1.0953, True
Tests/Micro/measure-neg/Len00.hs, 1.0785, True
Tests/Micro/measure-neg/GList00Lib.hs, 1.2383, True
Tests/Micro/measure-neg/fst02.hs, 1.0947, True
Tests/Micro/measure-neg/fst01.hs, 1.1083, True
Tests/Micro/measure-neg/fst00.hs, 1.1100, True
Tests/Micro/measure-neg/bag.hs, 1.3192, True
Tests/Micro/datacon-pos/T1477.hs, 1.2010, True
Tests/Micro/datacon-pos/T1476.hs, 1.3837, True
Tests/Micro/datacon-pos/T1473B.hs, 1.3311, True
Tests/Micro/datacon-pos/T1473A.hs, 1.3648, True
Tests/Micro/datacon-pos/T1446.hs, 1.2584, True
Tests/Micro/datacon-pos/NewType.hs, 1.1304, True
Tests/Micro/datacon-pos/Date.hs, 1.3913, True
Tests/Micro/datacon-pos/Data02Lib.hs, 1.1150, True
Tests/Micro/datacon-pos/Data02.hs, 1.1472, True
Tests/Micro/datacon-pos/Data01.hs, 1.2460, True
Tests/Micro/datacon-pos/Data00Lib.hs, 1.1001, True
Tests/Micro/datacon-pos/Data00.hs, 1.1298, True
Tests/Micro/datacon-pos/AdtPeano2.hs, 1.2425, True
Tests/Micro/datacon-neg/NewTypes0.hs, 1.0965, True
Tests/Micro/datacon-neg/NewTypes.hs, 1.1161, True
Tests/Micro/datacon-neg/Date.hs, 1.4695, True
Tests/Micro/datacon-neg/Data02Lib.hs, 1.1919, True
Tests/Micro/datacon-neg/Data02.hs, 1.4476, True
Tests/Micro/datacon-neg/Data01.hs, 1.1127, True
Tests/Micro/datacon-neg/Data00Lib.hs, 1.1016, True
Tests/Micro/datacon-neg/Data00.hs, 1.1036, True
Tests/Micro/datacon-neg/AdtPeano2.hs, 1.1333, True
Tests/Micro/names-pos/vector1.hs, 1.6579, True
Tests/Micro/names-pos/vector04.hs, 1.2357, True
Tests/Micro/names-pos/vector0.hs, 1.5174, True
Tests/Micro/names-pos/Uniques.hs, 1.2991, True
Tests/Micro/names-pos/T675.hs, 1.2968, True
Tests/Micro/names-pos/T1521.hs, 1.0207, True
Tests/Micro/names-pos/Shadow01.hs, 1.0078, True
Tests/Micro/names-pos/Shadow00.hs, 1.1410, True
Tests/Micro/names-pos/Set02.hs, 1.1079, True
Tests/Micro/names-pos/Set01.hs, 1.1035, True
Tests/Micro/names-pos/Set00.hs, 1.0509, True
Tests/Micro/names-pos/Ord.hs, 1.0481, True
Tests/Micro/names-pos/LocalSpec.hs, 1.0981, True
Tests/Micro/names-pos/local03.hs, 1.0348, True
Tests/Micro/names-pos/local02.hs, 1.0258, True
Tests/Micro/names-pos/local01.hs, 1.0595, True
Tests/Micro/names-pos/local00.hs, 1.1264, True
Tests/Micro/names-pos/List00.hs, 1.1114, True
Tests/Micro/names-pos/HidePrelude.hs, 0.9358, True
Tests/Micro/names-pos/HideName00.hs, 1.0602, True
Tests/Micro/names-pos/ClojurVector.hs, 1.5700, True
Tests/Micro/names-pos/Capture02.hs, 1.1381, True
Tests/Micro/names-pos/Capture01.hs, 1.0701, True
Tests/Micro/names-pos/BasicLambdas01.hs, 1.1554, True
Tests/Micro/names-pos/BasicLambdas00.hs, 1.1046, True
Tests/Micro/names-pos/Assume01.hs, 1.1512, True
Tests/Micro/names-pos/Assume00.hs, 1.2868, True
Tests/Micro/names-pos/Alias00.hs, 1.0526, True
Tests/Micro/names-neg/vector1.hs, 1.6878, True
Tests/Micro/names-neg/vector0.hs, 1.5770, True
Tests/Micro/names-neg/T1078.hs, 1.2956, True
Tests/Micro/names-neg/Set02.hs, 1.1137, True
Tests/Micro/names-neg/Set01.hs, 1.0806, True
Tests/Micro/names-neg/Set00.hs, 1.1226, True
Tests/Micro/names-neg/local00.hs, 1.1481, True
Tests/Micro/names-neg/Capture01.hs, 1.1319, True
Tests/Micro/names-neg/Assume00.hs, 1.2315, True
Tests/Micro/reflect-pos/ReflString1.hs, 1.3482, True
Tests/Micro/reflect-pos/ReflString0.hs, 1.4027, True
Tests/Micro/reflect-pos/DoubleLit.hs, 1.1360, True
Tests/Micro/reflect-neg/ReflString1.hs, 1.2371, True
Tests/Micro/reflect-neg/ReflString0.hs, 1.0498, True
Tests/Micro/reflect-neg/DoubleLit.hs, 1.0768, True
Tests/Micro/absref-pos/VectorLoop.hs, 1.5120, True
Tests/Micro/absref-pos/state00.hs, 1.1299, True
Tests/Micro/absref-pos/Papp00.hs, 1.0869, True
Tests/Micro/absref-pos/ListQSort.hs, 2.2586, True
Tests/Micro/absref-pos/ListISort.hs, 1.2483, True
Tests/Micro/absref-pos/ListISort-LType.hs, 3.1449, True
Tests/Micro/absref-pos/FlipArgs.hs, 1.4032, True
Tests/Micro/absref-pos/deptupW.hs, 1.6996, True
Tests/Micro/absref-pos/deptup0.hs, 1.7691, True
Tests/Micro/absref-pos/deppair2.hs, 1.1885, True
Tests/Micro/absref-pos/deppair0.hs, 1.2916, True
Tests/Micro/absref-pos/AbsRef00.hs, 1.0987, True
Tests/Micro/absref-neg/ListQSort.hs, 1.8298, True
Tests/Micro/absref-neg/ListISort.hs, 2.6515, True
Tests/Micro/absref-neg/ListISort-LType.hs, 1.6273, True
Tests/Micro/absref-neg/FlipArgs.hs, 2.1684, True
Tests/Micro/absref-neg/deptupW.hs, 1.2875, True
Tests/Micro/absref-neg/deptup0.hs, 1.2698, True
Tests/Micro/absref-neg/deppair0.hs, 1.2731, True
Tests/Micro/import-cli/WrapClient.hs, 1.0841, True
Tests/Micro/import-cli/T1180.hs, 1.1983, True
Tests/Micro/import-cli/T1118.hs, 1.3539, True
Tests/Micro/import-cli/T1117.hs, 1.1484, True
Tests/Micro/import-cli/T1104Client.hs, 1.0877, True
Tests/Micro/import-cli/T1096_Foo.hs, 1.1279, True
Tests/Micro/import-cli/STClient.hs, 1.6311, True
Tests/Micro/import-cli/ReflectClient7.hs, 1.3613, True
Tests/Micro/import-cli/ReflectClient6.hs, 1.4668, True
Tests/Micro/import-cli/ReflectClient5.hs, 1.1518, True
Tests/Micro/import-cli/ReflectClient4a.hs, 1.6628, True
Tests/Micro/import-cli/ReflectClient4.hs, 1.7006, True
Tests/Micro/import-cli/ReflectClient3.hs, 1.5885, True
Tests/Micro/import-cli/ReflectClient2.hs, 1.1409, True
Tests/Micro/import-cli/ReflectClient1.hs, 1.5548, True
Tests/Micro/import-cli/ReflectClient0.hs, 1.2310, True
Tests/Micro/import-cli/RC1015.hs, 1.7490, True
Tests/Micro/import-cli/NameClashClient.hs, 1.4893, True
Tests/Micro/import-cli/ListClient0.hs, 1.5336, True
Tests/Micro/import-cli/ListClient.hs, 2.0093, True
Tests/Micro/import-cli/LiquidArrayNullTerm.hs, 1.3945, True
Tests/Micro/import-cli/LiquidArrayInit.hs, 1.4926, True
Tests/Micro/import-cli/LibRedBlue.hs, 1.0766, True
Tests/Micro/import-cli/FunClashLibLibClient.hs, 1.0470, True
Tests/Micro/import-cli/ExactGADT9.hs, 1.0804, True
Tests/Micro/import-cli/CliRedBlue.hs, 1.1126, True
Tests/Micro/import-cli/Client2.hs, 1.0875, True
Tests/Micro/import-cli/Client1.hs, 1.1514, True
Tests/Micro/import-cli/Client0.hs, 1.4117, True
Tests/Micro/import-cli/CliAliasGen00.hs, 1.7876, True
Tests/Micro/class-pos/TypeEquality01.hs, 1.7755, True
Tests/Micro/class-pos/TypeEquality00.hs, 1.1066, True
Tests/Micro/class-pos/STMonad.hs, 1.8098, True
Tests/Micro/class-pos/RealProps1.hs, 1.0704, True
Tests/Micro/class-pos/RealProps0.hs, 1.0290, True
Tests/Micro/class-pos/Inst00.hs, 1.0889, True
Tests/Micro/class-pos/HiddenMethod00.hs, 1.1196, True
Tests/Micro/class-pos/Class00.hs, 1.0846, True
Tests/Micro/class-neg/RealProps0.hs, 1.1260, True
Tests/Micro/class-neg/Inst00.hs, 1.1617, True
Tests/Micro/class-neg/Class01.hs, 1.1598, True
Tests/Micro/class-neg/Class00.hs, 1.1544, True
Tests/Micro/ple-pos/tmp1.hs, 1.2250, True
Tests/Micro/ple-pos/tmp.hs, 1.6653, True
Tests/Micro/ple-pos/T1424A.hs, 1.3805, True
Tests/Micro/ple-pos/T1424.hs, 1.1747, True
Tests/Micro/ple-pos/T1409.hs, 1.1712, True
Tests/Micro/ple-pos/T1382.hs, 2.3110, True
Tests/Micro/ple-pos/T1371_NNF.hs, 1.6227, True
Tests/Micro/ple-pos/T1371.hs, 1.2239, True
Tests/Micro/ple-pos/T1302b.hs, 1.8491, True
Tests/Micro/ple-pos/T1289.hs, 1.1952, True
Tests/Micro/ple-pos/T1257.hs, 1.1796, True
Tests/Micro/ple-pos/T1190.hs, 1.2302, True
Tests/Micro/ple-pos/T1173.hs, 1.2215, True
Tests/Micro/ple-pos/StlcBug.hs, 1.2543, True
Tests/Micro/ple-pos/STLCB1.hs, 7.2412, True
Tests/Micro/ple-pos/STLCB0.hs, 5.4587, True
Tests/Micro/ple-pos/STLC2.hs, 14.5075, True
Tests/Micro/ple-pos/STLC1.hs, 7.2691, True
Tests/Micro/ple-pos/STLC0.hs, 4.8307, True
Tests/Micro/ple-pos/RosePLEDiv.hs, 3.7185, True
Tests/Micro/ple-pos/RegexpDerivative.hs, 17.9588, True
Tests/Micro/ple-pos/ReflectDefault.hs, 1.2317, True
Tests/Micro/ple-pos/pleORM.hs, 1.2870, True
Tests/Micro/ple-pos/ple0.hs, 1.0405, True
Tests/Micro/ple-pos/padLeft.hs, 1.9389, True
Tests/Micro/ple-pos/NNFPiotr.hs, 1.4418, True
Tests/Micro/ple-pos/NegNormalForm.hs, 2.6191, True
Tests/Micro/ple-pos/MossakaBug.hs, 2.6935, True
Tests/Micro/ple-pos/MJFix.hs, 1.5601, True
Tests/Micro/ple-pos/IndStarHole.hs, 1.2440, True
Tests/Micro/ple-pos/IndStar.hs, 1.2766, True
Tests/Micro/ple-pos/IndPerm.hs, 1.4859, True
Tests/Micro/ple-pos/IndPalindrome.hs, 3.4204, True
Tests/Micro/ple-pos/IndPal0.hs, 1.8409, True
Tests/Micro/ple-pos/IndLast.hs, 1.3745, True
Tests/Micro/ple-pos/Fulcrum.hs, 4.9064, True
Tests/Micro/ple-pos/filterPLE.hs, 1.1623, True
Tests/Micro/ple-pos/ExactGADT7.hs, 1.0441, True
Tests/Micro/ple-pos/ExactGADT50.hs, 1.2783, True
Tests/Micro/ple-pos/ExactGADT5.hs, 1.4239, True
Tests/Micro/ple-pos/ExactGADT4.hs, 1.3422, True
Tests/Micro/ple-pos/Compiler.hs, 1.5150, True
Tests/Micro/ple-pos/BinahUpdate.hs, 1.3251, True
Tests/Micro/ple-pos/BinahQuery.hs, 1.8186, True
Tests/Micro/ple-neg/T1424.hs, 1.1700, True
Tests/Micro/ple-neg/T1409.hs, 1.0907, True
Tests/Micro/ple-neg/T1371_Tick.hs, 1.1730, True
Tests/Micro/ple-neg/T1289.hs, 1.0642, True
Tests/Micro/ple-neg/T1192.hs, 1.2403, True
Tests/Micro/ple-neg/T1173.hs, 1.3274, True
Tests/Micro/ple-neg/ReflectDefault.hs, 0.6808, True
Tests/Micro/ple-neg/ple0.hs, 1.7164, True
Tests/Micro/ple-neg/ExactGADT5.hs, 2.8153, True
Tests/Micro/ple-neg/BinahUpdateLib1.hs, 1.5175, True
Tests/Micro/ple-neg/BinahUpdateLib.hs, 1.3092, True
Tests/Micro/ple-neg/BinahUpdateClient.hs, 1.1844, True
Tests/Micro/ple-neg/BinahUpdate.hs, 1.2309, True
Tests/Micro/ple-neg/BinahQuery.hs, 3.0337, True
Tests/Micro/rankN-pos/Test00.hs, 1.7932, True
Tests/Micro/rankN-pos/Test0.hs, 2.0089, True
Tests/Micro/rankN-pos/Test.hs, 1.3837, True
Tests/Micro/terminate-pos/term00.hs, 1.1653, True
Tests/Micro/terminate-pos/T1403.hs, 1.8023, True
Tests/Micro/terminate-pos/T1396.1.hs, 1.8100, True
Tests/Micro/terminate-pos/T1396.0.hs, 1.3708, True
Tests/Micro/terminate-pos/T1245.hs, 1.3661, True
Tests/Micro/terminate-pos/Sum.hs, 1.3101, True
Tests/Micro/terminate-pos/StructSecondArg.hs, 1.1061, True
Tests/Micro/terminate-pos/LocalTermExpr.hs, 1.4598, True
Tests/Micro/terminate-pos/list05-local.hs, 2.3739, True
Tests/Micro/terminate-pos/list04.hs, 1.8966, True
Tests/Micro/terminate-pos/list04-local.hs, 1.8042, True
Tests/Micro/terminate-pos/list03.hs, 1.4070, True
Tests/Micro/terminate-pos/list02.hs, 1.3151, True
Tests/Micro/terminate-pos/list01.hs, 1.7255, True
Tests/Micro/terminate-pos/list00.hs, 1.4765, True
Tests/Micro/terminate-pos/list00-str.hs, 1.5678, True
Tests/Micro/terminate-pos/list00-local.hs, 1.5635, True
Tests/Micro/terminate-pos/Lexicographic.hs, 1.9852, True
Tests/Micro/terminate-pos/AutoTerm.hs, 1.3841, True
Tests/Micro/terminate-pos/Ackermann.hs, 1.5925, True
Tests/Micro/terminate-neg/total00.hs, 1.3339, True
Tests/Micro/terminate-neg/testRec.hs, 1.3544, True
Tests/Micro/terminate-neg/term00.hs, 2.2519, True
Tests/Micro/terminate-neg/T745.hs, 1.1680, True
Tests/Micro/terminate-neg/T1404.3.hs, 1.3447, True
Tests/Micro/terminate-neg/T1404.2.hs, 1.4035, True
Tests/Micro/terminate-neg/T1404.1.hs, 1.4034, True
Tests/Micro/terminate-neg/T1404.0.hs, 1.3349, True
Tests/Micro/terminate-neg/Sum.hs, 1.4512, True
Tests/Micro/terminate-neg/Rename.hs, 1.5621, True
Tests/Micro/terminate-neg/qsloop.hs, 1.8262, True
Tests/Micro/terminate-neg/Even.hs, 1.6863, True
Tests/Micro/terminate-neg/AutoTerm.hs, 1.3730, True
Tests/Micro/pattern-pos/TemplateHaskellLib.hs, 2.5928, True
Tests/Micro/pattern-pos/TemplateHaskell.hs, 1.6844, True
Tests/Micro/pattern-pos/ReturnStrata00.hs, 1.2686, True
Tests/Micro/pattern-pos/Return01.hs, 1.1195, True
Tests/Micro/pattern-pos/Return00.hs, 1.0479, True
Tests/Micro/pattern-pos/MultipleInvariants.hs, 1.0876, True
Tests/Micro/pattern-pos/monad7.hs, 1.4238, True
Tests/Micro/pattern-pos/monad1.hs, 1.9212, True
Tests/Micro/pattern-pos/monad0.hs, 1.5191, True
Tests/Micro/pattern-pos/Invariants.hs, 1.9826, True
Tests/Micro/pattern-pos/contra0.hs, 1.2455, True
Tests/Micro/pattern-pos/ANF.hs, 2.3482, True
Tests/Micro/class-laws-pos/SemiGroup.hs, 1.4815, True
Tests/Micro/class-laws-pos/Monoid.hs, 1.3713, True
Tests/Micro/class-laws-pos/Labels.hs, 1.4042, True
Tests/Micro/class-laws-pos/FreeVar.hs, 1.1564, True
Tests/Micro/class-laws-crash/SemiGroup-WrongLaw.hs, 1.0859, True
Tests/Micro/class-laws-crash/SemiGroup-UndefinedLaw.hs, 1.0558, True
Tests/Micro/class-laws-crash/SemiGroup-UndefinedInstance.hs, 1.1199, True
Tests/Micro/class-laws-crash/SemiGroup-MissingLaw.hs, 1.1416, True
Tests/Micro/class-laws-neg/SemiGroup-WrongProof.hs, 1.1822, True
Tests/Micro/class-laws-neg/SemiGroup-WrongDef.hs, 1.2056, True
Tests/Micro/implicit-pos/ImplicitTrivial.hs, 1.1287, True
Tests/Micro/implicit-pos/ImplicitDouble.hs, 1.1910, True
Tests/Micro/implicit-pos/Implicit3.hs, 1.0335, True
Tests/Micro/implicit-pos/Implicit1.hs, 1.0869, True
Tests/Micro/implicit-neg/Implicit1.hs, 1.1468, True
Tests/Error-Messages/ShadowFieldInline.hs, 1.0031, True
Tests/Error-Messages/ShadowFieldReflect.hs, 1.0369, True
Tests/Error-Messages/MultiRecSels.hs, 0.9806, True
Tests/Error-Messages/DupFunSigs.hs, 1.0603, True
Tests/Error-Messages/DupMeasure.hs, 1.0366, True
Tests/Error-Messages/ShadowMeasure.hs, 0.9525, True
Tests/Error-Messages/DupData.hs, 1.0000, True
Tests/Error-Messages/EmptyData.hs, 0.9986, True
Tests/Error-Messages/BadGADT.hs, 1.0831, True
Tests/Error-Messages/TerminationExprSort.hs, 1.0528, True
Tests/Error-Messages/TerminationExprNum.hs, 1.0614, True
Tests/Error-Messages/TerminationExprUnb.hs, 1.2256, True
Tests/Error-Messages/UnboundVarInSpec.hs, 1.1185, True
Tests/Error-Messages/UnboundVarInAssume.hs, 1.0502, True
Tests/Error-Messages/UnboundCheckVar.hs, 1.0455, True
Tests/Error-Messages/UnboundFunInSpec.hs, 1.0017, True
Tests/Error-Messages/UnboundFunInSpec1.hs, 1.0686, True
Tests/Error-Messages/UnboundFunInSpec2.hs, 1.1406, True
Tests/Error-Messages/UnboundVarInLocSig.hs, 1.0292, True
Tests/Error-Messages/Fractional.hs, 1.1028, True
Tests/Error-Messages/T773.hs, 1.1197, True
Tests/Error-Messages/T774.hs, 1.0515, True
Tests/Error-Messages/T1498.hs, 1.1959, True
Tests/Error-Messages/T1498A.hs, 1.0721, True
Tests/Error-Messages/Inconsistent0.hs, 1.1036, True
Tests/Error-Messages/Inconsistent1.hs, 1.1384, True
Tests/Error-Messages/Inconsistent2.hs, 1.1628, True
Tests/Error-Messages/BadAliasApp.hs, 1.2796, True
Tests/Error-Messages/BadPragma0.hs, 0.7275, True
Tests/Error-Messages/BadPragma1.hs, 0.7861, True
Tests/Error-Messages/BadPragma2.hs, 0.7930, True
Tests/Error-Messages/BadSyn1.hs, 1.3166, True
Tests/Error-Messages/BadSyn2.hs, 1.1930, True
Tests/Error-Messages/BadSyn3.hs, 1.4054, True
Tests/Error-Messages/BadSyn4.hs, 1.1558, True
Tests/Error-Messages/BadAnnotation.hs, 0.7804, True
Tests/Error-Messages/BadAnnotation1.hs, 0.8309, True
Tests/Error-Messages/CyclicExprAlias0.hs, 1.0498, True
Tests/Error-Messages/CyclicExprAlias1.hs, 1.0959, True
Tests/Error-Messages/CyclicExprAlias2.hs, 1.2051, True
Tests/Error-Messages/CyclicExprAlias3.hs, 1.1225, True
Tests/Error-Messages/DupAlias.hs, 1.1931, True
Tests/Error-Messages/DupAlias.hs, 1.9909, True
Tests/Error-Messages/BadDataConType.hs, 1.5115, True
Tests/Error-Messages/BadDataConType1.hs, 1.2631, True
Tests/Error-Messages/BadDataConType2.hs, 1.4329, True
Tests/Error-Messages/LiftMeasureCase.hs, 1.2834, True
Tests/Error-Messages/HigherOrderBinder.hs, 1.2010, True
Tests/Error-Messages/HoleCrash1.hs, 1.3107, True
Tests/Error-Messages/HoleCrash2.hs, 1.3175, True
Tests/Error-Messages/HoleCrash3.hs, 1.5122, True
Tests/Error-Messages/BadPredApp.hs, 1.5410, True
Tests/Error-Messages/LocalHole.hs, 1.2998, True
Tests/Error-Messages/UnboundAbsRef.hs, 1.2830, True
Tests/Error-Messages/ParseClass.hs, 1.0572, True
Tests/Error-Messages/ParseBind.hs, 0.8081, True
Tests/Error-Messages/MultiInstMeasures.hs, 1.0944, True
Tests/Error-Messages/BadDataDeclTyVars.hs, 1.0443, True
Tests/Error-Messages/BadDataCon2.hs, 1.0938, True
Tests/Error-Messages/BadSig0.hs, 1.1293, True
Tests/Error-Messages/BadSig1.hs, 1.0953, True
Tests/Error-Messages/BadData1.hs, 1.0745, True
Tests/Error-Messages/BadData2.hs, 0.9923, True
Tests/Error-Messages/T1140.hs, 1.1301, True
Tests/Error-Messages/InlineSubExp0.hs, 1.2324, True
Tests/Error-Messages/InlineSubExp1.hs, 1.1417, True
Tests/Error-Messages/EmptySig.hs, 0.7393, True
Tests/Error-Messages/MissingReflect.hs, 1.1189, True
Tests/Error-Messages/MissingSizeFun.hs, 1.0081, True
Tests/Error-Messages/MissingAssume.hs, 1.0194, True
Tests/Error-Messages/HintMismatch.hs, 1.0931, True
Tests/Error-Messages/ElabLocation.hs, 1.1282, True
Tests/Error-Messages/ErrLocation.hs, 1.3101, True
Tests/Error-Messages/ErrLocation2.hs, 2.1535, True
Tests/Macro/unit-pos/zipW2.hs, 1.4724, True
Tests/Macro/unit-pos/zipW1.hs, 1.4368, True
Tests/Macro/unit-pos/zipW.hs, 1.4239, True
Tests/Macro/unit-pos/zipSO.hs, 1.1928, True
Tests/Macro/unit-pos/zipper000.hs, 1.3634, True
Tests/Macro/unit-pos/zipper0.hs, 1.5797, True
Tests/Macro/unit-pos/zipper.hs, 2.0290, True
Tests/Macro/unit-pos/WrapUnWrap.hs, 1.1371, True
Tests/Macro/unit-pos/wrap1.hs, 1.3956, True
Tests/Macro/unit-pos/wrap0.hs, 1.2778, True
Tests/Macro/unit-pos/Words1.hs, 1.1300, True
Tests/Macro/unit-pos/Words.hs, 1.0936, True
Tests/Macro/unit-pos/WBL0.hs, 2.1465, True
Tests/Macro/unit-pos/WBL.hs, 2.5063, True
Tests/Macro/unit-pos/VerifiedNum.hs, 2.1579, True
Tests/Macro/unit-pos/vector2.hs, 4.0758, True
Tests/Macro/unit-pos/vector1b.hs, 2.2605, True
Tests/Macro/unit-pos/vector1a.hs, 2.5139, True
Tests/Macro/unit-pos/vector1.hs, 2.1850, True
Tests/Macro/unit-pos/vector00.hs, 1.7566, True
Tests/Macro/unit-pos/Variance2.hs, 1.4484, True
Tests/Macro/unit-pos/Variance.hs, 1.3622, True
Tests/Macro/unit-pos/unusedtyvars.hs, 1.3547, True
Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs, 1.9814, True
Tests/Macro/unit-pos/UnboxedTuples.hs, 1.1443, True
Tests/Macro/unit-pos/tyvar.hs, 1.1358, True
Tests/Macro/unit-pos/TypeLitString.hs, 1.2189, True
Tests/Macro/unit-pos/TypeLitNat.hs, 1.1581, True
Tests/Macro/unit-pos/TypeAlias.hs, 1.1895, True
Tests/Macro/unit-pos/tyfam0.hs, 1.3677, True
Tests/Macro/unit-pos/tyExpr.hs, 1.1037, True
Tests/Macro/unit-pos/tyclass0.hs, 1.1628, True
Tests/Macro/unit-pos/tupparse.hs, 1.2333, True
Tests/Macro/unit-pos/tup0.hs, 1.1157, True
Tests/Macro/unit-pos/TT1620A.hs, 1.1079, True
Tests/Macro/unit-pos/transTAG.hs, 2.7671, True
Tests/Macro/unit-pos/transpose.hs, 2.1026, True
Tests/Macro/unit-pos/trans.hs, 2.3460, True
Tests/Macro/unit-pos/ToyMVar.hs, 1.6891, True
Tests/Macro/unit-pos/TopLevel.hs, 1.2111, True
Tests/Macro/unit-pos/top0.hs, 1.6402, True
Tests/Macro/unit-pos/TokenType.hs, 1.1153, True
Tests/Macro/unit-pos/testRec.hs, 1.2089, True
Tests/Macro/unit-pos/Test761.hs, 1.2199, True
Tests/Macro/unit-pos/test2.hs, 1.1440, True
Tests/Macro/unit-pos/test1.hs, 1.1372, True
Tests/Macro/unit-pos/test00c.hs, 1.3068, True
Tests/Macro/unit-pos/test00b.hs, 1.1209, True
Tests/Macro/unit-pos/test000.hs, 1.2325, True
Tests/Macro/unit-pos/test00.old.hs, 1.1665, True
Tests/Macro/unit-pos/test00.hs, 1.2987, True
Tests/Macro/unit-pos/test00-int.hs, 1.1895, True
Tests/Macro/unit-pos/test0.hs, 1.1992, True
Tests/Macro/unit-pos/TerminationNum0.hs, 1.0610, True
Tests/Macro/unit-pos/TerminationNum.hs, 1.0853, True
Tests/Macro/unit-pos/Termination.hs, 1.2726, True
Tests/Macro/unit-pos/term0.hs, 1.2366, True
Tests/Macro/unit-pos/Term.hs, 1.1814, True
Tests/Macro/unit-pos/take.hs, 2.3936, True
Tests/Macro/unit-pos/tagBinder.hs, 1.2473, True
Tests/Macro/unit-pos/T914.hs, 1.2007, True
Tests/Macro/unit-pos/T866.hs, 1.1289, True
Tests/Macro/unit-pos/T820.hs, 1.2552, True
Tests/Macro/unit-pos/T819A.hs, 1.2235, True
Tests/Macro/unit-pos/T819.hs, 1.1861, True
Tests/Macro/unit-pos/T716.hs, 3.3541, True
Tests/Macro/unit-pos/T598.hs, 1.2716, True
Tests/Macro/unit-pos/T595a.hs, 1.1004, True
Tests/Macro/unit-pos/T595.hs, 1.3125, True
Tests/Macro/unit-pos/T531.hs, 1.1007, True
Tests/Macro/unit-pos/T385.hs, 1.1834, True
Tests/Macro/unit-pos/T1603.hs, 1.0954, True
Tests/Macro/unit-pos/T1597.hs, 1.1642, True
Tests/Macro/unit-pos/T1595.hs, 1.2624, True
Tests/Macro/unit-pos/T1593.hs, 1.0755, True
Tests/Macro/unit-pos/T1577.hs, 1.2413, True
Tests/Macro/unit-pos/T1571.hs, 1.1338, True
Tests/Macro/unit-pos/T1568.hs, 1.1720, True
Tests/Macro/unit-pos/T1567.hs, 1.4976, True
Tests/Macro/unit-pos/T1560B.hs, 1.9769, True
Tests/Macro/unit-pos/T1560.hs, 2.1091, True
Tests/Macro/unit-pos/T1556.hs, 1.4351, True
Tests/Macro/unit-pos/T1555.hs, 1.1315, True
Tests/Macro/unit-pos/T1550.hs, 1.7221, True
Tests/Macro/unit-pos/T1548.hs, 1.6779, True
Tests/Macro/unit-pos/T1547.hs, 1.0924, True
Tests/Macro/unit-pos/T1544.hs, 1.1242, True
Tests/Macro/unit-pos/T1543.hs, 1.0858, True
Tests/Macro/unit-pos/T1498.hs, 1.0919, True
Tests/Macro/unit-pos/T1461.hs, 1.0919, True
Tests/Macro/unit-pos/T1363.hs, 1.1468, True
Tests/Macro/unit-pos/T1336.hs, 1.3676, True
Tests/Macro/unit-pos/T1302.hs, 2.0061, True
Tests/Macro/unit-pos/T1289a.hs, 1.3275, True
Tests/Macro/unit-pos/T1288.hs, 1.0749, True
Tests/Macro/unit-pos/T1286.hs, 1.2786, True
Tests/Macro/unit-pos/T1278.hs, 1.1266, True
Tests/Macro/unit-pos/T1278.3.hs, 1.3777, True
Tests/Macro/unit-pos/T1278.2.hs, 1.4933, True
Tests/Macro/unit-pos/T1267.hs, 1.9619, True
Tests/Macro/unit-pos/T1223.hs, 1.6675, True
Tests/Macro/unit-pos/T1220.hs, 1.1630, True
Tests/Macro/unit-pos/T1198.4.hs, 1.6172, True
Tests/Macro/unit-pos/T1198.3.hs, 1.0510, True
Tests/Macro/unit-pos/T1198.2.hs, 1.5373, True
Tests/Macro/unit-pos/T1198.1.hs, 1.5542, True
Tests/Macro/unit-pos/T1126a.hs, 1.4728, True
Tests/Macro/unit-pos/T1126.hs, 1.5652, True
Tests/Macro/unit-pos/T1120A.hs, 2.3478, True
Tests/Macro/unit-pos/T1100.hs, 1.4382, True
Tests/Macro/unit-pos/T1095C.hs, 1.2551, True
Tests/Macro/unit-pos/T1095B.hs, 2.0675, True
Tests/Macro/unit-pos/T1095A.hs, 2.1931, True
Tests/Macro/unit-pos/T1092.hs, 1.4122, True
Tests/Macro/unit-pos/T1085.hs, 1.1074, True
Tests/Macro/unit-pos/T1074.hs, 1.3242, True
Tests/Macro/unit-pos/T1065.hs, 1.2324, True
Tests/Macro/unit-pos/T1060.hs, 1.3216, True
Tests/Macro/unit-pos/T1045a.hs, 1.0719, True
Tests/Macro/unit-pos/T1045.hs, 1.0858, True
Tests/Macro/unit-pos/T1034.hs, 1.1122, True
Tests/Macro/unit-pos/T1025a.hs, 1.3267, True
Tests/Macro/unit-pos/T1025.hs, 1.3334, True
Tests/Macro/unit-pos/T1024.hs, 1.3534, True
Tests/Macro/unit-pos/T1013A.hs, 3.4880, True
Tests/Macro/unit-pos/T1013.hs, 1.7743, True
Tests/Macro/unit-pos/Sum.hs, 1.0995, True
Tests/Macro/unit-pos/StructRec.hs, 1.1093, True
Tests/Macro/unit-pos/Strings.hs, 1.1324, True
Tests/Macro/unit-pos/StringLit.hs, 1.0979, True
Tests/Macro/unit-pos/string00.hs, 1.1282, True
Tests/Macro/unit-pos/StrictPair1.hs, 1.2693, True
Tests/Macro/unit-pos/StrictPair0.hs, 1.1527, True
Tests/Macro/unit-pos/Streams.hs, 1.2099, True
Tests/Macro/unit-pos/StateLib.hs, 1.3737, True
Tests/Macro/unit-pos/stateInvarint.hs, 1.5514, True
Tests/Macro/unit-pos/StateF00.hs, 1.4267, True
Tests/Macro/unit-pos/StateConstraints00.hs, 1.2109, True
Tests/Macro/unit-pos/StateConstraints0.hs, 1.5280, True
Tests/Macro/unit-pos/StateConstraints.hs, 11.7495, True
Tests/Macro/unit-pos/state00.hs, 1.3539, True
Tests/Macro/unit-pos/State.hs, 1.1952, True
Tests/Macro/unit-pos/stacks0.hs, 1.5548, True
Tests/Macro/unit-pos/StackMachine.hs, 1.4802, True
Tests/Macro/unit-pos/StackClass.hs, 1.2197, True
Tests/Macro/unit-pos/spec0.hs, 1.2658, True
Tests/Macro/unit-pos/Solver.hs, 1.8665, True
Tests/Macro/unit-pos/SingletonLists.hs, 1.2493, True
Tests/Macro/unit-pos/SimplifyTup00.hs, 1.3993, True
Tests/Macro/unit-pos/SimplerNotation.hs, 1.2322, True
Tests/Macro/unit-pos/selfList.hs, 1.3399, True
Tests/Macro/unit-pos/scanr.hs, 1.3771, True
Tests/Macro/unit-pos/SafePartialFunctions.hs, 1.1375, True
Tests/Macro/unit-pos/rta.hs, 1.3733, True
Tests/Macro/unit-pos/risers.hs, 1.8328, True
Tests/Macro/unit-pos/ResolvePred.hs, 1.5715, True
Tests/Macro/unit-pos/ResolveB.hs, 1.4472, True
Tests/Macro/unit-pos/ResolveA.hs, 1.1895, True
Tests/Macro/unit-pos/Resolve.hs, 1.1297, True
Tests/Macro/unit-pos/repeatHigherOrder.hs, 2.7488, True
Tests/Macro/unit-pos/Repeat.hs, 1.8467, True
Tests/Macro/unit-pos/RelativeComplete.hs, 1.4865, True
Tests/Macro/unit-pos/ReflectMutual.hs, 1.5793, True
Tests/Macro/unit-pos/ReflectBooleanFunctions.hs, 3.7432, True
Tests/Macro/unit-pos/ReflectAlias.hs, 1.7497, True
Tests/Macro/unit-pos/reflect0.hs, 2.1039, True
Tests/Macro/unit-pos/RefinedADTs.hs, 1.6490, True
Tests/Macro/unit-pos/Reduction.hs, 1.3231, True
Tests/Macro/unit-pos/recursion0.hs, 1.2658, True
Tests/Macro/unit-pos/RecSelector.hs, 1.1607, True
Tests/Macro/unit-pos/RecQSort0.hs, 2.1014, True
Tests/Macro/unit-pos/RecQSort.hs, 1.7232, True
Tests/Macro/unit-pos/RecordSelectorError.hs, 1.3336, True
Tests/Macro/unit-pos/record1.hs, 1.1970, True
Tests/Macro/unit-pos/record0.hs, 2.0931, True
Tests/Macro/unit-pos/rec_annot_go.hs, 1.3600, True
Tests/Macro/unit-pos/Rebind.hs, 1.2816, True
Tests/Macro/unit-pos/RealProps.hs, 1.6584, True
Tests/Macro/unit-pos/RBTree.hs, 14.6210, True
Tests/Macro/unit-pos/RBTree-ord.hs, 9.2361, True
Tests/Macro/unit-pos/RBTree-height.hs, 5.0779, True
Tests/Macro/unit-pos/RBTree-color.hs, 4.6339, True
Tests/Macro/unit-pos/RBTree-col-height.hs, 5.3679, True
Tests/Macro/unit-pos/rangeAdt.hs, 3.5528, True
Tests/Macro/unit-pos/range1.hs, 1.4049, True
Tests/Macro/unit-pos/range.hs, 1.5229, True
Tests/Macro/unit-pos/qualTest.hs, 1.1875, True
Tests/Macro/unit-pos/QQTySyn.hs, 1.7373, False
Tests/Macro/unit-pos/QQTySigTyVars.hs, 1.3058, False
Tests/Macro/unit-pos/QQTySig.hs, 1.3627, False
Tests/Macro/unit-pos/propmeasure1.hs, 1.0677, True
Tests/Macro/unit-pos/propmeasure.hs, 1.1685, True
Tests/Macro/unit-pos/Propability.hs, 1.1632, True
Tests/Macro/unit-pos/PromotedDataCons.hs, 1.2016, True
Tests/Macro/unit-pos/profcrasher.hs, 1.2083, True
Tests/Macro/unit-pos/Product.hs, 1.4493, True
Tests/Macro/unit-pos/primInt0.hs, 2.6908, True
Tests/Macro/unit-pos/pred.hs, 1.0806, True
Tests/Macro/unit-pos/pragma0.hs, 1.1175, True
Tests/Macro/unit-pos/poslist_dc.hs, 1.2763, True
Tests/Macro/unit-pos/poslist.hs, 1.4084, True
Tests/Macro/unit-pos/polyqual.hs, 1.5725, True
Tests/Macro/unit-pos/polyfun.hs, 1.2373, True
Tests/Macro/unit-pos/poly4.hs, 1.2238, True
Tests/Macro/unit-pos/poly3a.hs, 1.2514, True
Tests/Macro/unit-pos/poly3.hs, 1.1162, True
Tests/Macro/unit-pos/poly2.hs, 1.2304, True
Tests/Macro/unit-pos/poly2-degenerate.hs, 1.3624, True
Tests/Macro/unit-pos/poly1.hs, 1.4011, True
Tests/Macro/unit-pos/poly0.hs, 1.4076, True
Tests/Macro/unit-pos/PointDist.hs, 1.4138, True
Tests/Macro/unit-pos/ple1.hs, 1.7215, True
Tests/Macro/unit-pos/PersistentVector.hs, 1.3998, True
Tests/Macro/unit-pos/Permutation.hs, 2.3704, True
Tests/Macro/unit-pos/partialmeasure.hs, 1.2861, True
Tests/Macro/unit-pos/partial-tycon.hs, 1.1562, True
Tests/Macro/unit-pos/pargs1.hs, 1.1819, True
Tests/Macro/unit-pos/pargs.hs, 1.0938, True
Tests/Macro/unit-pos/PairMeasure0.hs, 1.1449, True
Tests/Macro/unit-pos/PairMeasure.hs, 1.1444, True
Tests/Macro/unit-pos/pair00.hs, 2.2170, True
Tests/Macro/unit-pos/pair0.hs, 2.5214, True
Tests/Macro/unit-pos/pair.hs, 2.6050, True
Tests/Macro/unit-pos/ORM.hs, 1.7182, True
Tests/Macro/unit-pos/OrdList.hs, 2.9794, True
Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs, 1.1204, True
Tests/Macro/unit-pos/NoCaseExpand.hs, 1.3293, True
Tests/Macro/unit-pos/niki1.hs, 1.2780, True
Tests/Macro/unit-pos/niki.hs, 1.2584, True
Tests/Macro/unit-pos/nats.hs, 1.3508, True
Tests/Macro/unit-pos/MutualRec.hs, 6.0189, True
Tests/Macro/unit-pos/MutuallyDependentADT.hs, 2.2568, True
Tests/Macro/unit-pos/mutrec.hs, 1.8370, True
Tests/Macro/unit-pos/multi-pred-app-00.hs, 1.4480, True
Tests/Macro/unit-pos/monad6.hs, 1.2845, True
Tests/Macro/unit-pos/monad5.hs, 2.5435, True
Tests/Macro/unit-pos/monad2.hs, 1.6528, True
Tests/Macro/unit-pos/modTest.hs, 1.4155, True
Tests/Macro/unit-pos/ModLib.hs, 1.1833, True
Tests/Macro/unit-pos/Mod.hs, 1.1126, True
Tests/Macro/unit-pos/MergeSort.hs, 2.5994, True
Tests/Macro/unit-pos/MergeSort-bag.hs, 2.7074, True
Tests/Macro/unit-pos/Merge1.hs, 1.6418, True
Tests/Macro/unit-pos/MeasureSets.hs, 1.5389, True
Tests/Macro/unit-pos/Measures1.hs, 1.6788, True
Tests/Macro/unit-pos/Measures.hs, 1.1595, True
Tests/Macro/unit-pos/MeasureDups.hs, 2.1056, True
Tests/Macro/unit-pos/MeasureContains.hs, 1.4695, True
Tests/Macro/unit-pos/meas9.hs, 1.7312, True
Tests/Macro/unit-pos/meas8.hs, 1.5800, True
Tests/Macro/unit-pos/meas7.hs, 2.1681, True
Tests/Macro/unit-pos/meas6.hs, 3.2787, True
Tests/Macro/unit-pos/meas5.hs, 4.1375, True
Tests/Macro/unit-pos/meas4.hs, 1.9170, True
Tests/Macro/unit-pos/meas2.hs, 1.9762, True
Tests/Macro/unit-pos/meas11.hs, 1.5005, True
Tests/Macro/unit-pos/meas10.hs, 2.3483, True
Tests/Macro/unit-pos/meas1.hs, 1.7232, True
Tests/Macro/unit-pos/meas0a.hs, 2.0344, True
Tests/Macro/unit-pos/meas00a.hs, 1.6782, True
Tests/Macro/unit-pos/meas00.hs, 1.7144, True
Tests/Macro/unit-pos/meas0.hs, 1.9788, True
Tests/Macro/unit-pos/maybe4.hs, 1.4044, True
Tests/Macro/unit-pos/maybe3.hs, 1.1341, True
Tests/Macro/unit-pos/maybe2.hs, 2.7754, True
Tests/Macro/unit-pos/maybe1.hs, 1.7368, True
Tests/Macro/unit-pos/maybe000.hs, 1.9012, True
Tests/Macro/unit-pos/maybe0.hs, 1.7450, True
Tests/Macro/unit-pos/maybe.hs, 2.4510, True
Tests/Macro/unit-pos/MaskError.hs, 1.8687, True
Tests/Macro/unit-pos/mapTvCrash.hs, 1.5189, True
Tests/Macro/unit-pos/maps1.hs, 1.8178, True
Tests/Macro/unit-pos/maps.hs, 3.3788, True
Tests/Macro/unit-pos/MapReduceVerified.hs, 24.5724, True
Tests/Macro/unit-pos/mapreduce-bare.hs, 9.3803, True
Tests/Macro/unit-pos/MapFusion.hs, 1.9373, True
Tests/Macro/unit-pos/Map2.hs, 18.5528, True
Tests/Macro/unit-pos/Map0.hs, 21.9477, True
Tests/Macro/unit-pos/Map.hs, 29.0961, True
Tests/Macro/unit-pos/malformed0.hs, 2.6734, True
Tests/Macro/unit-pos/LooLibLib.hs, 1.7482, True
Tests/Macro/unit-pos/LooLib.hs, 2.6299, True
Tests/Macro/unit-pos/Loo.hs, 1.8924, True
Tests/Macro/unit-pos/LogicCurry1.hs, 2.0195, True
Tests/Macro/unit-pos/LocalSpecLib.hs, 1.7996, True
Tests/Macro/unit-pos/LocalSpec.hs, 1.8867, True
Tests/Macro/unit-pos/LocalLazy.hs, 2.3885, True
Tests/Macro/unit-pos/LocalHole.hs, 1.4705, True
Tests/Macro/unit-pos/lit02.hs, 1.6653, True
Tests/Macro/unit-pos/lit00.hs, 1.5398, True
Tests/Macro/unit-pos/lit.hs, 1.3378, True
Tests/Macro/unit-pos/ListSort.hs, 4.6794, True
Tests/Macro/unit-pos/listSetDemo.hs, 1.8495, True
Tests/Macro/unit-pos/listSet.hs, 1.5503, True
Tests/Macro/unit-pos/ListReverse-LType.hs, 1.3661, True
Tests/Macro/unit-pos/ListRange.hs, 2.1728, True
Tests/Macro/unit-pos/ListRange-LType.hs, 1.7853, True
Tests/Macro/unit-pos/listqual.hs, 2.2335, True
Tests/Macro/unit-pos/ListQSort-LType.hs, 3.5855, True
Tests/Macro/unit-pos/ListMSort.hs, 2.0981, True
Tests/Macro/unit-pos/ListMSort-LType.hs, 4.4198, True
Tests/Macro/unit-pos/ListLen.hs, 1.8974, True
Tests/Macro/unit-pos/ListLen-LType.hs, 1.9378, True
Tests/Macro/unit-pos/ListKeys.hs, 1.3143, True
Tests/Macro/unit-pos/ListISort-perm.hs, 1.7847, True
Tests/Macro/unit-pos/ListISort-bag.hs, 1.3848, True
Tests/Macro/unit-pos/ListElem.hs, 1.2513, True
Tests/Macro/unit-pos/ListConcat.hs, 1.3065, True
Tests/Macro/unit-pos/listAnf.hs, 1.4581, True
Tests/Macro/unit-pos/Lib521.hs, 1.2259, True
Tests/Macro/unit-pos/lex.hs, 1.1887, True
Tests/Macro/unit-pos/lets.hs, 1.3752, True
Tests/Macro/unit-pos/LazyWhere1.hs, 1.3365, True
Tests/Macro/unit-pos/LazyWhere.hs, 1.3162, True
Tests/Macro/unit-pos/LambdaEvalTiny.hs, 1.6619, True
Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs, 1.7135, True
Tests/Macro/unit-pos/LambdaEvalMini.hs, 3.1395, True
Tests/Macro/unit-pos/LambdaEval.hs, 3.1185, True
Tests/Macro/unit-pos/LambdaDeBruijn.hs, 1.9880, True
Tests/Macro/unit-pos/kmpVec.hs, 2.2814, True
Tests/Macro/unit-pos/kmpIO.hs, 1.7140, True
Tests/Macro/unit-pos/kmp.hs, 2.8462, True
Tests/Macro/unit-pos/Keys.hs, 1.3687, True
Tests/Macro/unit-pos/jeff.hs, 4.4129, True
Tests/Macro/unit-pos/ite1.hs, 1.2816, True
Tests/Macro/unit-pos/ite.hs, 1.1843, True
Tests/Macro/unit-pos/invlhs.hs, 1.2308, True
Tests/Macro/unit-pos/inline1.hs, 1.2311, True
Tests/Macro/unit-pos/inline.hs, 1.2928, True
Tests/Macro/unit-pos/infix.hs, 1.3042, True
Tests/Macro/unit-pos/Infinity.hs, 1.3760, True
Tests/Macro/unit-pos/implies.hs, 1.2244, True
Tests/Macro/unit-pos/imp0.hs, 1.2913, True
Tests/Macro/unit-pos/Ignores.hs, 1.2281, True
Tests/Macro/unit-pos/idNat0.hs, 1.1920, True
Tests/Macro/unit-pos/idNat.hs, 1.2261, True
Tests/Macro/unit-pos/IcfpDemo.hs, 1.5377, True
Tests/Macro/unit-pos/Hutton.hs, 3.0554, True
Tests/Macro/unit-pos/Holes.hs, 1.3950, True
Tests/Macro/unit-pos/Holes-Slicing.hs, 1.2319, True
Tests/Macro/unit-pos/Hole00.hs, 1.4936, True
Tests/Macro/unit-pos/hole-fun.hs, 1.2199, True
Tests/Macro/unit-pos/hole-app.hs, 1.2095, True
Tests/Macro/unit-pos/HigherOrderRecFun.hs, 1.2440, True
Tests/Macro/unit-pos/Hex00.hs, 1.2107, True
Tests/Macro/unit-pos/hello.hs, 1.2105, True
Tests/Macro/unit-pos/HedgeUnion.hs, 1.4977, True
Tests/Macro/unit-pos/HaskellMeasure.hs, 1.2239, True
Tests/Macro/unit-pos/HasElem.hs, 1.2719, True
Tests/Macro/unit-pos/grty3.hs, 1.2639, True
Tests/Macro/unit-pos/grty2.hs, 1.2670, True
Tests/Macro/unit-pos/grty1.hs, 1.3325, True
Tests/Macro/unit-pos/grty0.hs, 1.2282, True
Tests/Macro/unit-pos/Graph.hs, 1.5044, True
Tests/Macro/unit-pos/GoodHMeas.hs, 1.2655, True
Tests/Macro/unit-pos/go_ugly_type.hs, 1.2479, True
Tests/Macro/unit-pos/go.hs, 1.3529, True
Tests/Macro/unit-pos/gimme.hs, 1.3334, True
Tests/Macro/unit-pos/GhcSort3.T.hs, 1.9710, True
Tests/Macro/unit-pos/GhcSort3.hs, 4.7397, True
Tests/Macro/unit-pos/GhcSort2.hs, 1.8872, True
Tests/Macro/unit-pos/GhcSort1.hs, 3.5347, True
Tests/Macro/unit-pos/GeneralizedTermination.hs, 1.3311, True
Tests/Macro/unit-pos/GCD.hs, 1.4218, True
Tests/Macro/unit-pos/gadtEval.hs, 1.7034, True
Tests/Macro/unit-pos/FractionalInstance.hs, 1.3634, True
Tests/Macro/unit-pos/Fractional.hs, 1.2418, True
Tests/Macro/unit-pos/forloop.hs, 1.7324, True
Tests/Macro/unit-pos/for.hs, 1.8662, True
Tests/Macro/unit-pos/Foo.hs, 1.1804, True
Tests/Macro/unit-pos/foldr.hs, 1.3065, True
Tests/Macro/unit-pos/foldN.hs, 1.2854, True
Tests/Macro/unit-pos/Foldl.hs, 12.4761, True
Tests/Macro/unit-pos/FingerTree.hs, 8.4078, True
Tests/Macro/unit-pos/filterAbs.hs, 1.5489, True
Tests/Macro/unit-pos/FibEq.hs, 1.4233, True
Tests/Macro/unit-pos/Fib0.hs, 1.3242, True
Tests/Macro/unit-pos/FFI.hs, 1.6362, True
Tests/Macro/unit-pos/failName.hs, 1.5652, True
Tests/Macro/unit-pos/extype.hs, 1.1395, True
Tests/Macro/unit-pos/exp0.hs, 1.2140, True
Tests/Macro/unit-pos/ExactGADT6.hs, 1.8308, True
Tests/Macro/unit-pos/ExactGADT2.hs, 1.4882, True
Tests/Macro/unit-pos/ExactGADT1.hs, 1.5212, True
Tests/Macro/unit-pos/ExactGADT0.hs, 2.1106, True
Tests/Macro/unit-pos/ExactGADT.hs, 1.2225, True
Tests/Macro/unit-pos/ExactADT6.hs, 1.7398, True
Tests/Macro/unit-pos/ex1.hs, 1.5693, True
Tests/Macro/unit-pos/ex01.hs, 2.0512, True
Tests/Macro/unit-pos/ex0.hs, 1.5599, True
Tests/Macro/unit-pos/Even0.hs, 1.2593, True
Tests/Macro/unit-pos/Even.hs, 1.2360, True
Tests/Macro/unit-pos/EvalQuery.hs, 1.4450, True
Tests/Macro/unit-pos/Eval.hs, 1.6038, True
Tests/Macro/unit-pos/eqelems.hs, 1.3590, True
Tests/Macro/unit-pos/eq-poly-measure.hs, 1.7613, True
Tests/Macro/unit-pos/elim01.hs, 1.5589, True
Tests/Macro/unit-pos/elim00.hs, 1.2172, True
Tests/Macro/unit-pos/elim-ex-map-3.hs, 1.6413, False
Tests/Macro/unit-pos/elim-ex-map-2.hs, 1.4092, False
Tests/Macro/unit-pos/elim-ex-map-1.hs, 1.4972, False
Tests/Macro/unit-pos/elim-ex-list.hs, 1.2420, False
Tests/Macro/unit-pos/elim-ex-let.hs, 1.5141, False
Tests/Macro/unit-pos/elim-ex-compose.hs, 2.4533, True
Tests/Macro/unit-pos/elems.hs, 1.3214, True
Tests/Macro/unit-pos/elements.hs, 1.5785, True
Tests/Macro/unit-pos/duplicate-bind.hs, 1.3909, True
Tests/Macro/unit-pos/dropwhile.hs, 1.6400, True
Tests/Macro/unit-pos/div000.hs, 1.3154, True
Tests/Macro/unit-pos/deptupW.hs, 1.5826, True
Tests/Macro/unit-pos/deptup3.hs, 1.2467, True
Tests/Macro/unit-pos/deptup1.hs, 1.3891, True
Tests/Macro/unit-pos/deptup.hs, 1.6929, True
Tests/Macro/unit-pos/DepTriples.hs, 1.2448, True
Tests/Macro/unit-pos/DependentPairsFun.hs, 1.0866, True
Tests/Macro/unit-pos/DependentPairs.hs, 1.1476, True
Tests/Macro/unit-pos/DepData.hs, 1.3778, True
Tests/Macro/unit-pos/deepmeas0.hs, 1.8426, True
Tests/Macro/unit-pos/DB00.hs, 1.4015, True
Tests/Macro/unit-pos/dataConQuals.hs, 1.5268, True
Tests/Macro/unit-pos/datacon1.hs, 1.1940, True
Tests/Macro/unit-pos/datacon0.hs, 1.5194, True
Tests/Macro/unit-pos/datacon-inv.hs, 1.5357, True
Tests/Macro/unit-pos/DataBase.hs, 1.4805, True
Tests/Macro/unit-pos/data2.hs, 2.0389, True
Tests/Macro/unit-pos/cut00.hs, 1.6267, True
Tests/Macro/unit-pos/csgordon_issue_296.hs, 1.6312, True
Tests/Macro/unit-pos/CountMonad.hs, 1.8232, True
Tests/Macro/unit-pos/coretologic.hs, 2.4217, True
Tests/Macro/unit-pos/ConstraintsAppend.hs, 2.5131, True
Tests/Macro/unit-pos/Constraints.hs, 1.3427, True
Tests/Macro/unit-pos/comprehensionTerm.hs, 1.9205, True
Tests/Macro/unit-pos/comprehension.hs, 1.2611, True
Tests/Macro/unit-pos/CompareConstraints.hs, 1.7385, True
Tests/Macro/unit-pos/compare2.hs, 1.3417, True
Tests/Macro/unit-pos/compare1.hs, 1.3996, True
Tests/Macro/unit-pos/compare.hs, 1.3415, True
Tests/Macro/unit-pos/CommentedOut.hs, 1.2677, True
Tests/Macro/unit-pos/comma.hs, 1.1646, True
Tests/Macro/unit-pos/Coercion.hs, 1.3249, True
Tests/Macro/unit-pos/cmptag0.hs, 1.3092, True
Tests/Macro/unit-pos/ClojurVector.hs, 1.7545, True
Tests/Macro/unit-pos/Client521.hs, 1.2442, True
Tests/Macro/unit-pos/ClassReg.hs, 1.2905, True
Tests/Macro/unit-pos/Class2.hs, 1.6599, True
Tests/Macro/unit-pos/Class.hs, 1.6727, True
Tests/Macro/unit-pos/Chunks.hs, 1.3552, True
Tests/Macro/unit-pos/CheckedNum.hs, 1.2511, True
Tests/Macro/unit-pos/CharLiterals.hs, 1.2272, True
Tests/Macro/unit-pos/Cat.hs, 1.2327, True
Tests/Macro/unit-pos/CasesToLogic.hs, 1.3089, True
Tests/Macro/unit-pos/case-lambda-join.hs, 1.4636, True
Tests/Macro/unit-pos/BST000.hs, 1.7342, True
Tests/Macro/unit-pos/BST.hs, 9.0707, True
Tests/Macro/unit-pos/bounds1.hs, 1.1855, True
Tests/Macro/unit-pos/bool2.hs, 1.1730, True
Tests/Macro/unit-pos/bool1.hs, 1.2258, True
Tests/Macro/unit-pos/bool0.hs, 1.1996, True
Tests/Macro/unit-pos/Books.hs, 1.3594, True
Tests/Macro/unit-pos/BinarySearchOverflow.hs, 1.5336, True
Tests/Macro/unit-pos/BinarySearch.hs, 1.5040, True
Tests/Macro/unit-pos/bangPatterns.hs, 1.3251, True
Tests/Macro/unit-pos/bag1.hs, 1.3528, True
Tests/Macro/unit-pos/AVLRJ.hs, 4.0383, True
Tests/Macro/unit-pos/AVL.hs, 2.6923, True
Tests/Macro/unit-pos/Avg.hs, 1.2787, True
Tests/Macro/unit-pos/AutoTerm1.hs, 1.2006, True
Tests/Macro/unit-pos/AutoTerm.hs, 1.3350, True
Tests/Macro/unit-pos/AutoSize.hs, 1.2386, True
Tests/Macro/unit-pos/Automate.hs, 1.4418, True
Tests/Macro/unit-pos/AssumedRecursive.hs, 1.1809, True
Tests/Macro/unit-pos/Assume.hs, 1.2731, True
Tests/Macro/unit-pos/anish1.hs, 1.2774, True
Tests/Macro/unit-pos/anftest.hs, 1.3209, True
Tests/Macro/unit-pos/anfbug.hs, 1.4152, True
Tests/Macro/unit-pos/AmortizedQueue.hs, 1.6008, True
Tests/Macro/unit-pos/alphaconvert-Set.hs, 1.5451, True
Tests/Macro/unit-pos/alphaconvert-List.hs, 1.8575, True
Tests/Macro/unit-pos/alias01.hs, 1.1921, True
Tests/Macro/unit-pos/alias00.hs, 1.2955, True
Tests/Macro/unit-pos/AdtPeano1.hs, 1.2271, True
Tests/Macro/unit-pos/AdtPeano0.hs, 1.2382, True
Tests/Macro/unit-pos/AdtList5.hs, 1.1662, True
Tests/Macro/unit-pos/AdtList4.hs, 1.3348, True
Tests/Macro/unit-pos/AdtList3.hs, 1.3110, True
Tests/Macro/unit-pos/AdtList2.hs, 1.2379, True
Tests/Macro/unit-pos/AdtList1.hs, 1.3125, True
Tests/Macro/unit-pos/AdtList0.hs, 1.2513, True
Tests/Macro/unit-pos/adt0.hs, 1.2888, True
Tests/Macro/unit-pos/Ackermann.hs, 1.2855, True
Tests/Macro/unit-pos/absref-crash0.hs, 1.4839, True
Tests/Macro/unit-pos/absref-crash.hs, 1.2251, True
Tests/Macro/unit-pos/Abs.hs, 1.1991, True
Tests/Macro/unit-neg/wrap1.hs, 1.5320, True
Tests/Macro/unit-neg/wrap0.hs, 1.5645, True
Tests/Macro/unit-neg/VerifiedNum.hs, 1.2651, True
Tests/Macro/unit-neg/vector2.hs, 2.1412, True
Tests/Macro/unit-neg/vector1a.hs, 1.9026, True
Tests/Macro/unit-neg/vector0a.hs, 1.5023, True
Tests/Macro/unit-neg/vector00.hs, 1.5177, True
Tests/Macro/unit-neg/Variance1.hs, 1.2565, True
Tests/Macro/unit-neg/Variance.hs, 1.2481, True
Tests/Macro/unit-neg/TypeLitNat.hs, 1.2414, True
Tests/Macro/unit-neg/tyclass0-unsafe.hs, 1.2264, True
Tests/Macro/unit-neg/truespec.hs, 1.2619, True
Tests/Macro/unit-neg/trans.hs, 2.5565, True
Tests/Macro/unit-neg/TotalHaskell.hs, 1.1902, True
Tests/Macro/unit-neg/TopLevel.hs, 1.2224, True
Tests/Macro/unit-neg/test2.hs, 1.2556, True
Tests/Macro/unit-neg/test1.hs, 1.3205, True
Tests/Macro/unit-neg/test00c.hs, 1.1634, True
Tests/Macro/unit-neg/test00b.hs, 1.3653, True
Tests/Macro/unit-neg/test00a.hs, 1.2356, True
Tests/Macro/unit-neg/test00.hs, 1.3060, True
Tests/Macro/unit-neg/TermReal.hs, 1.1769, True
Tests/Macro/unit-neg/TerminationNum0.hs, 1.2038, True
Tests/Macro/unit-neg/TerminationNum.hs, 1.1863, True
Tests/Macro/unit-neg/T743.hs, 1.3356, True
Tests/Macro/unit-neg/T743-mini.hs, 1.2574, True
Tests/Macro/unit-neg/T602.hs, 1.2659, True
Tests/Macro/unit-neg/T1613.hs, 1.2724, True
Tests/Macro/unit-neg/T1604.hs, 1.3955, True
Tests/Macro/unit-neg/T1577.hs, 1.3367, True
Tests/Macro/unit-neg/T1555.hs, 1.2435, True
Tests/Macro/unit-neg/T1553A.hs, 1.2517, True
Tests/Macro/unit-neg/T1553.hs, 1.2174, True
Tests/Macro/unit-neg/T1546.hs, 1.2616, True
Tests/Macro/unit-neg/T1498A.hs, 1.2096, True
Tests/Macro/unit-neg/T1498.hs, 1.2033, True
Tests/Macro/unit-neg/T1490A.hs, 1.2486, True
Tests/Macro/unit-neg/T1490.hs, 1.2242, True
Tests/Macro/unit-neg/T1440.hs, 1.3900, True
Tests/Macro/unit-neg/T1288.hs, 1.1750, True
Tests/Macro/unit-neg/T1286.hs, 1.2248, True
Tests/Macro/unit-neg/T1267.hs, 0.8668, True
Tests/Macro/unit-neg/T1198.3.hs, 1.2161, True
Tests/Macro/unit-neg/T1126.hs, 1.2341, True
Tests/Macro/unit-neg/T1095C.hs, 0.8283, True
Tests/Macro/unit-neg/sumPoly.hs, 1.2600, True
Tests/Macro/unit-neg/sumk.hs, 1.4606, True
Tests/Macro/unit-neg/Strings.hs, 1.1912, True
Tests/Macro/unit-neg/string00.hs, 1.3883, True
Tests/Macro/unit-neg/StrictPair1.hs, 1.2950, True
Tests/Macro/unit-neg/StrictPair0.hs, 1.2124, True
Tests/Macro/unit-neg/StateConstraints00.hs, 1.2675, True
Tests/Macro/unit-neg/StateConstraints0.hs, 39.3750, True
Tests/Macro/unit-neg/StateConstraints.hs, 2.6884, True
Tests/Macro/unit-neg/state00.hs, 1.3075, True
Tests/Macro/unit-neg/state0.hs, 1.3114, True
Tests/Macro/unit-neg/stacks.hs, 1.4130, True
Tests/Macro/unit-neg/Solver.hs, 1.9936, True
Tests/Macro/unit-neg/SafePartialFunctions.hs, 1.3411, True
Tests/Macro/unit-neg/risers.hs, 1.3014, True
Tests/Macro/unit-neg/RG.hs, 1.8407, True
Tests/Macro/unit-neg/revshape.hs, 1.3153, True
Tests/Macro/unit-neg/RecSelector.hs, 1.4642, True
Tests/Macro/unit-neg/RecQSort.hs, 1.5614, True
Tests/Macro/unit-neg/record0.hs, 1.4015, True
Tests/Macro/unit-neg/Rebind.hs, 1.4158, True
Tests/Macro/unit-neg/range.hs, 1.9877, True
Tests/Macro/unit-neg/QQTySyn2.hs, 1.7637, True
Tests/Macro/unit-neg/QQTySyn1.hs, 1.6328, True
Tests/Macro/unit-neg/QQTySig.hs, 1.4492, True
Tests/Macro/unit-neg/prune0.hs, 1.5223, True
Tests/Macro/unit-neg/Propability0.hs, 1.4319, True
Tests/Macro/unit-neg/Propability.hs, 1.6093, True
Tests/Macro/unit-neg/pred.hs, 1.3042, True
Tests/Macro/unit-neg/poslist.hs, 1.5881, True
Tests/Macro/unit-neg/polypred.hs, 1.5025, True
Tests/Macro/unit-neg/poly2.hs, 1.4514, True
Tests/Macro/unit-neg/poly2-degenerate.hs, 1.4338, True
Tests/Macro/unit-neg/poly1.hs, 1.4439, True
Tests/Macro/unit-neg/poly0.hs, 1.3803, True
Tests/Macro/unit-neg/partial.hs, 1.3190, True
Tests/Macro/unit-neg/pargs1.hs, 1.3171, True
Tests/Macro/unit-neg/pargs.hs, 1.3014, True
Tests/Macro/unit-neg/PairMeasure.hs, 1.3513, True
Tests/Macro/unit-neg/pair0.hs, 2.8693, True
Tests/Macro/unit-neg/pair.hs, 2.8852, True
Tests/Macro/unit-neg/NoMethodBindingError.hs, 0.8423, True
Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs, 1.3661, True
Tests/Macro/unit-neg/nestedRecursion.hs, 1.4062, True
Tests/Macro/unit-neg/NameResolution.hs, 1.2968, True
Tests/Macro/unit-neg/MultipleInvariants.hs, 1.2857, True
Tests/Macro/unit-neg/MultiParamTypeClasses.hs, 1.3440, True
Tests/Macro/unit-neg/multi-pred-app-00.hs, 1.2841, True
Tests/Macro/unit-neg/mr00.hs, 1.7493, True
Tests/Macro/unit-neg/monad7.hs, 1.8083, True
Tests/Macro/unit-neg/monad6.hs, 1.4241, True
Tests/Macro/unit-neg/monad5.hs, 1.4676, True
Tests/Macro/unit-neg/monad4.hs, 1.5080, True
Tests/Macro/unit-neg/monad3.hs, 1.6081, True
Tests/Macro/unit-neg/MergeSort.hs, 1.9544, True
Tests/Macro/unit-neg/MeasureDups.hs, 1.4458, True
Tests/Macro/unit-neg/MeasureContains.hs, 1.4250, True
Tests/Macro/unit-neg/meas9.hs, 1.3590, True
Tests/Macro/unit-neg/meas7.hs, 1.3145, True
Tests/Macro/unit-neg/meas5.hs, 3.0260, True
Tests/Macro/unit-neg/meas3.hs, 1.4811, True
Tests/Macro/unit-neg/meas2.hs, 1.4240, True
Tests/Macro/unit-neg/meas0.hs, 1.5146, True
Tests/Macro/unit-neg/MaybeMonad.hs, 1.4114, True
Tests/Macro/unit-neg/maps.hs, 1.6513, True
Tests/Macro/unit-neg/mapreduce.hs, 3.8121, True
Tests/Macro/unit-neg/mapreduce-tiny.hs, 1.4812, True
Tests/Macro/unit-neg/LocalSpec.hs, 1.4446, True
Tests/Macro/unit-neg/lit.hs, 1.2662, True
Tests/Macro/unit-neg/ListRange.hs, 1.4879, True
Tests/Macro/unit-neg/listne.hs, 1.2746, True
Tests/Macro/unit-neg/ListMSort.hs, 2.8415, True
Tests/Macro/unit-neg/ListKeys.hs, 1.3968, True
Tests/Macro/unit-neg/ListElem.hs, 1.4296, True
Tests/Macro/unit-neg/ListConcat.hs, 1.3765, True
Tests/Macro/unit-neg/list00.hs, 1.4163, True
Tests/Macro/unit-neg/LetRecStack.hs, 1.3787, True
Tests/Macro/unit-neg/LazyWhere1.hs, 1.4440, True
Tests/Macro/unit-neg/LazyWhere.hs, 1.3900, True
Tests/Macro/unit-neg/IntAbsRef.hs, 1.3804, True
Tests/Macro/unit-neg/inc2.hs, 1.3478, True
Tests/Macro/unit-neg/HolesTop.hs, 1.3731, True
Tests/Macro/unit-neg/HigherOrder.hs, 1.3015, True
Tests/Macro/unit-neg/Hex00.hs, 1.3987, True
Tests/Macro/unit-neg/HasElem.hs, 1.4029, True
Tests/Macro/unit-neg/grty3.hs, 1.3746, True
Tests/Macro/unit-neg/grty2.hs, 1.3937, True
Tests/Macro/unit-neg/grty1.hs, 1.3974, True
Tests/Macro/unit-neg/grty0.hs, 1.2855, True
Tests/Macro/unit-neg/GeneralizedTermination.hs, 1.3200, True
Tests/Macro/unit-neg/FunSoundness.hs, 1.3066, True
Tests/Macro/unit-neg/FunctionRef.hs, 0.9053, True
Tests/Macro/unit-neg/foldN1.hs, 1.3632, True
Tests/Macro/unit-neg/foldN.hs, 1.3549, True
Tests/Macro/unit-neg/filterAbs.hs, 1.5892, True
Tests/Macro/unit-neg/ExactGADT7.hs, 1.4690, True
Tests/Macro/unit-neg/ExactGADT6.hs, 1.4029, True
Tests/Macro/unit-neg/ExactADT6.hs, 1.3544, True
Tests/Macro/unit-neg/ex1-unsafe.hs, 1.5292, True
Tests/Macro/unit-neg/ex0-unsafe.hs, 1.4506, True
Tests/Macro/unit-neg/EvalQuery.hs, 1.6422, True
Tests/Macro/unit-neg/Eval.hs, 1.7023, True
Tests/Macro/unit-neg/errorloc.hs, 1.3563, True
Tests/Macro/unit-neg/errmsg.hs, 1.3351, True
Tests/Macro/unit-neg/elim000.hs, 1.3448, True
Tests/Macro/unit-neg/elim-ex-map-3.hs, 1.5666, True
Tests/Macro/unit-neg/elim-ex-map-2.hs, 1.4665, True
Tests/Macro/unit-neg/elim-ex-map-1.hs, 1.5283, True
Tests/Macro/unit-neg/elim-ex-list.hs, 1.5278, True
Tests/Macro/unit-neg/elim-ex-let.hs, 1.5420, True
Tests/Macro/unit-neg/elim-ex-compose.hs, 1.4250, True
Tests/Macro/unit-neg/DependentTypes.hs, 1.4242, True
Tests/Macro/unit-neg/datacon-eq.hs, 1.3486, True
Tests/Macro/unit-neg/csv.hs, 2.2301, True
Tests/Macro/unit-neg/coretologic.hs, 1.3479, True
Tests/Macro/unit-neg/contra0.hs, 1.4131, True
Tests/Macro/unit-neg/ConstraintsAppend.hs, 2.2942, True
Tests/Macro/unit-neg/Constraints.hs, 1.3909, True
Tests/Macro/unit-neg/concat2.hs, 1.8608, True
Tests/Macro/unit-neg/concat1.hs, 1.7918, True
Tests/Macro/unit-neg/concat.hs, 1.9052, True
Tests/Macro/unit-neg/CompareConstraints.hs, 1.8631, True
Tests/Macro/unit-neg/Class4.hs, 1.3882, True
Tests/Macro/unit-neg/Class3.hs, 1.4542, True
Tests/Macro/unit-neg/Class2.hs, 1.4048, True
Tests/Macro/unit-neg/Class1.hs, 1.7452, True
Tests/Macro/unit-neg/CheckedNum.hs, 1.4271, True
Tests/Macro/unit-neg/CharLiterals.hs, 1.3060, True
Tests/Macro/unit-neg/CastedTotality.hs, 0.9473, True
Tests/Macro/unit-neg/Books.hs, 1.4428, True
Tests/Macro/unit-neg/BinarySearchOverflow.hs, 1.7847, True
Tests/Macro/unit-neg/BigNum.hs, 1.2746, True
Tests/Macro/unit-neg/Baz.hs, 1.3654, True
Tests/Macro/unit-neg/bag1.hs, 1.4369, True
Tests/Macro/unit-neg/BadNats.hs, 1.3422, True
Tests/Macro/unit-neg/AutoTerm1.hs, 1.3720, True
Tests/Macro/unit-neg/AutoSize.hs, 2.7338, True
Tests/Macro/unit-neg/Automate.hs, 0.9552, True
Tests/Macro/unit-neg/Ast.hs, 1.3789, True
Tests/Macro/unit-neg/ass0.hs, 1.2542, True
Tests/Macro/unit-neg/alias00.hs, 1.2929, True
Tests/Macro/unit-neg/AdtPeano1.hs, 1.3679, True
Tests/Macro/unit-neg/AdtPeano0.hs, 1.2852, True
Tests/Macro/unit-neg/AbsApp.hs, 1.2807, True
Tests/Prover/foundations/Lists.hs, 49.3137, True
Tests/Prover/foundations/InductionRJ.hs, 2.3987, True
Tests/Prover/foundations/Induction.hs, 2.6825, True
Tests/Prover/foundations/Basics.hs, 24.4640, True
Tests/Prover/prover_ple_lib/Proves.hs, 1.7745, True
Tests/Prover/prover_ple_lib/Helper.hs, 2.7649, True
Tests/Prover/without_ple_pos/Unification.hs, 12.2269, True
Tests/Prover/without_ple_pos/Solver.hs, 2.2270, True
Tests/Prover/without_ple_pos/Peano.hs, 2.3454, True
Tests/Prover/without_ple_pos/Overview.hs, 2.8178, True
Tests/Prover/without_ple_pos/NaturalDeduction.hs, 1.7563, True
Tests/Prover/without_ple_pos/NatInduction.hs, 1.4503, True
Tests/Prover/without_ple_pos/MonoidMaybe.hs, 1.8947, True
Tests/Prover/without_ple_pos/MonoidList.hs, 2.1096, True
Tests/Prover/without_ple_pos/MonadMaybe.hs, 1.7715, True
Tests/Prover/without_ple_pos/MonadList.hs, 5.4659, True
Tests/Prover/without_ple_pos/MonadId.hs, 1.8371, True
Tests/Prover/without_ple_pos/MapFusion.hs, 3.8517, True
Tests/Prover/without_ple_pos/FunctorMaybe.hs, 2.2281, True
Tests/Prover/without_ple_pos/FunctorList.hs, 4.8369, True
Tests/Prover/without_ple_pos/FunctorId.hs, 1.8933, True
Tests/Prover/without_ple_pos/FoldrUniversal.hs, 4.3502, True
Tests/Prover/without_ple_pos/Fibonacci.hs, 3.3054, True
Tests/Prover/without_ple_pos/Euclide.hs, 2.3203, True
Tests/Prover/without_ple_pos/Compose.hs, 1.3873, True
Tests/Prover/without_ple_pos/BasicLambdas.hs, 1.4604, True
Tests/Prover/without_ple_pos/ApplicativeMaybe.hs, 5.0549, True
Tests/Prover/without_ple_pos/ApplicativeId.hs, 2.6931, True
Tests/Prover/without_ple_pos/Append.hs, 3.3671, True
Tests/Prover/without_ple_neg/MonadMaybe.hs, 1.8809, True
Tests/Prover/without_ple_neg/MonadList.hs, 13.4759, True
Tests/Prover/without_ple_neg/MapFusion.hs, 6.5901, True
Tests/Prover/without_ple_neg/FunctorMaybe.hs, 2.4177, True
Tests/Prover/without_ple_neg/FunctorList.hs, 5.3157, True
Tests/Prover/without_ple_neg/Fibonacci.hs, 3.3188, True
Tests/Prover/without_ple_neg/BasicLambdas.hs, 1.0329, True
Tests/Prover/without_ple_neg/ApplicativeMaybe.hs, 6.5817, True
Tests/Prover/without_ple_neg/Append.hs, 3.6127, True
Tests/Prover/with_ple/Unification.hs, 4.6323, True
Tests/Prover/with_ple/Solver.hs, 2.1912, True
Tests/Prover/with_ple/Peano.hs, 1.5901, True
Tests/Prover/with_ple/Overview.hs, 1.8617, True
Tests/Prover/with_ple/NaturalDeduction.hs, 1.6417, True
Tests/Prover/with_ple/NatInduction.hs, 1.4882, True
Tests/Prover/with_ple/MonoidMaybe.hs, 1.4458, True
Tests/Prover/with_ple/MonoidList.hs, 1.5445, True
Tests/Prover/with_ple/MonadMaybe.hs, 1.3700, True
Tests/Prover/with_ple/MonadList.hs, 1.7240, True
Tests/Prover/with_ple/MonadId.hs, 1.5096, True
Tests/Prover/with_ple/Maybe.hs, 1.4074, True
Tests/Prover/with_ple/MapFusion.hs, 1.4872, True
Tests/Prover/with_ple/Lists.hs, 1.7438, True
Tests/Prover/with_ple/FunctorMaybe.hs, 1.4808, True
Tests/Prover/with_ple/FunctorList.hs, 1.5612, True
Tests/Prover/with_ple/FunctorId.hs, 1.4092, True
Tests/Prover/with_ple/FoldrUniversal.hs, 1.7840, True
Tests/Prover/with_ple/Fibonacci.hs, 12.1659, True
Tests/Prover/with_ple/Euclide.hs, 1.4710, True
Tests/Prover/with_ple/Compose.hs, 1.4036, True
Tests/Prover/with_ple/BasicLambdas.hs, 1.3183, True
Tests/Prover/with_ple/ApplicativeMaybe.hs, 1.8168, True
Tests/Prover/with_ple/ApplicativeList.hs, 3.8094, True
Tests/Prover/with_ple/ApplicativeId.hs, 1.5065, True
Tests/Prover/with_ple/Append.hs, 1.7888, True
Tests/Golden tests/--json output, 1.9139, True