summary_typeclasses.csv

 (HEAD -> merging, origin/merging) : b9be065067649fc16cfc4d3b6903c71b420035e4
Timestamp: 2021-07-12 22:23:22 -0400
Epoch Timestamp: 1626143002
--------------------------------------------------------------------------------
test, time(s), result

Tests/Micro/parser-pos/Tuples.hs, 0.7276, False
Tests/Micro/parser-pos/TokensAsPrefixes.hs, 0.5083, False
Tests/Micro/parser-pos/T892.hs, 0.5104, False
Tests/Micro/parser-pos/T884.hs, 0.5025, False
Tests/Micro/parser-pos/T873.hs, 0.5139, False
Tests/Micro/parser-pos/T871.hs, 0.5127, False
Tests/Micro/parser-pos/T338.hs, 0.5048, False
Tests/Micro/parser-pos/T1531.hs, 0.4985, False
Tests/Micro/parser-pos/T1481.hs, 0.5106, False
Tests/Micro/parser-pos/T1012.hs, 0.5178, False
Tests/Micro/parser-pos/ReflectedInfix.hs, 0.4956, False
Tests/Micro/parser-pos/Parens.hs, 0.5037, False
Tests/Micro/parser-pos/NestedTuples.hs, 0.5066, False
Tests/Micro/basic-pos/SkipDerived00.hs, 0.5010, False
Tests/Micro/basic-pos/poly00.hs, 0.4982, False
Tests/Micro/basic-pos/List00.hs, 0.5079, False
Tests/Micro/basic-pos/infer00.hs, 0.4986, False
Tests/Micro/basic-pos/inc04.hs, 0.5082, False
Tests/Micro/basic-pos/Inc03Lib.hs, 0.5189, False
Tests/Micro/basic-pos/inc03.hs, 0.4995, False
Tests/Micro/basic-pos/inc02.hs, 0.5112, False
Tests/Micro/basic-pos/inc01q.hs, 0.5163, False
Tests/Micro/basic-pos/inc01.hs, 0.4950, False
Tests/Micro/basic-pos/inc00.hs, 0.5056, False
Tests/Micro/basic-pos/Float.hs, 0.5478, False
Tests/Micro/basic-pos/alias05.hs, 0.5062, False
Tests/Micro/basic-pos/alias04.hs, 0.5332, False
Tests/Micro/basic-pos/alias03.hs, 0.5784, False
Tests/Micro/basic-pos/alias02.hs, 0.5553, False
Tests/Micro/basic-pos/alias01.hs, 0.6139, False
Tests/Micro/basic-pos/alias00.hs, 0.6294, False
Tests/Micro/basic-neg/T1459.hs, 0.6290, False
Tests/Micro/basic-neg/poly00.hs, 0.7176, False
Tests/Micro/basic-neg/List00.hs, 0.6827, False
Tests/Micro/basic-neg/Inc04Lib.hs, 0.6067, False
Tests/Micro/basic-neg/Inc04.hs, 0.5779, False
Tests/Micro/basic-neg/inc03.hs, 0.5808, False
Tests/Micro/basic-neg/inc02.hs, 0.6742, False
Tests/Micro/basic-neg/inc01q.hs, 0.6567, False
Tests/Micro/basic-neg/inc01.hs, 0.6008, False
Tests/Micro/measure-pos/Using00.hs, 0.5680, False
Tests/Micro/measure-pos/RecordAccessors.hs, 0.5813, False
Tests/Micro/measure-pos/PruneHO.hs, 0.5750, False
Tests/Micro/measure-pos/Ple1Lib.hs, 0.5739, False
Tests/Micro/measure-pos/ple1.hs, 0.5888, False
Tests/Micro/measure-pos/ple01.hs, 0.6593, False
Tests/Micro/measure-pos/ple00.hs, 0.5415, False
Tests/Micro/measure-pos/List02Lib.hs, 0.5207, False
Tests/Micro/measure-pos/List02.hs, 0.5108, False
Tests/Micro/measure-pos/List01.hs, 1.0140, True
Tests/Micro/measure-pos/List00Lib.hs, 1.0148, True
Tests/Micro/measure-pos/List00.hs, 1.1270, True
Tests/Micro/measure-pos/Len02.hs, 1.1941, True
Tests/Micro/measure-pos/Len01.hs, 0.9857, True
Tests/Micro/measure-pos/Len00.hs, 0.9948, True
Tests/Micro/measure-pos/HiddenDataLib.hs, 0.9955, True
Tests/Micro/measure-pos/HiddenData.hs, 1.0092, True
Tests/Micro/measure-pos/GList00Lib.hs, 0.9969, True
Tests/Micro/measure-pos/GList000.hs, 0.9816, True
Tests/Micro/measure-pos/fst02.hs, 1.0078, True
Tests/Micro/measure-pos/fst01.hs, 1.3449, True
Tests/Micro/measure-pos/fst00.hs, 0.9991, True
Tests/Micro/measure-pos/ExactFunApp.hs, 0.9971, True
Tests/Micro/measure-pos/bag.hs, 1.1122, True
Tests/Micro/measure-pos/AbsMeasure.hs, 0.9705, True
Tests/Micro/measure-neg/Using00.hs, 0.8874, True
Tests/Micro/measure-neg/Ple1Lib.hs, 0.9549, True
Tests/Micro/measure-neg/ple1.hs, 0.9556, True
Tests/Micro/measure-neg/ple0.hs, 0.9147, True
Tests/Micro/measure-neg/List02.hs, 0.9031, True
Tests/Micro/measure-neg/List01.hs, 0.9277, True
Tests/Micro/measure-neg/List00.hs, 0.9121, True
Tests/Micro/measure-neg/Len01.hs, 0.9055, True
Tests/Micro/measure-neg/Len00.hs, 0.9080, True
Tests/Micro/measure-neg/GList00Lib.hs, 0.9200, True
Tests/Micro/measure-neg/fst02.hs, 0.8703, True
Tests/Micro/measure-neg/fst01.hs, 0.9918, True
Tests/Micro/measure-neg/fst00.hs, 0.9866, True
Tests/Micro/measure-neg/bag.hs, 1.0011, True
Tests/Micro/datacon-pos/T1777.hs, 1.0293, True
Tests/Micro/datacon-pos/T1477.hs, 1.0136, True
Tests/Micro/datacon-pos/T1476.hs, 1.1413, True
Tests/Micro/datacon-pos/T1473B.hs, 1.1458, True
Tests/Micro/datacon-pos/T1473A.hs, 1.1328, True
Tests/Micro/datacon-pos/T1446.hs, 1.0849, True
Tests/Micro/datacon-pos/NewType.hs, 1.0519, True
Tests/Micro/datacon-pos/Date.hs, 1.2149, True
Tests/Micro/datacon-pos/Data02Lib.hs, 0.9850, True
Tests/Micro/datacon-pos/Data02.hs, 1.0329, True
Tests/Micro/datacon-pos/Data01.hs, 0.9791, True
Tests/Micro/datacon-pos/Data00Lib.hs, 0.9987, True
Tests/Micro/datacon-pos/Data00.hs, 1.0294, True
Tests/Micro/datacon-pos/AdtPeano2.hs, 1.0049, True
Tests/Micro/datacon-neg/NewTypes0.hs, 0.9191, True
Tests/Micro/datacon-neg/NewTypes.hs, 0.9132, True
Tests/Micro/datacon-neg/Date.hs, 1.1589, True
Tests/Micro/datacon-neg/Data02Lib.hs, 0.8710, True
Tests/Micro/datacon-neg/Data02.hs, 0.8488, True
Tests/Micro/datacon-neg/Data01.hs, 0.8864, True
Tests/Micro/datacon-neg/Data00Lib.hs, 0.8975, True
Tests/Micro/datacon-neg/Data00.hs, 0.9365, True
Tests/Micro/datacon-neg/AdtPeano2.hs, 0.9265, True
Tests/Micro/names-pos/vector1.hs, 1.3318, True
Tests/Micro/names-pos/vector04.hs, 1.0587, True
Tests/Micro/names-pos/vector0.hs, 1.3498, True
Tests/Micro/names-pos/Uniques.hs, 1.1516, True
Tests/Micro/names-pos/T675.hs, 1.2002, True
Tests/Micro/names-pos/T1521.hs, 0.9651, True
Tests/Micro/names-pos/Shadow01.hs, 0.9546, True
Tests/Micro/names-pos/Shadow00.hs, 1.0536, True
Tests/Micro/names-pos/Set02.hs, 1.0023, True
Tests/Micro/names-pos/Set01.hs, 0.9938, True
Tests/Micro/names-pos/Set00.hs, 1.0309, True
Tests/Micro/names-pos/Ord.hs, 1.0229, True
Tests/Micro/names-pos/LocalSpec.hs, 0.9969, True
Tests/Micro/names-pos/local03.hs, 1.0040, True
Tests/Micro/names-pos/local02.hs, 0.9714, True
Tests/Micro/names-pos/local01.hs, 1.0047, True
Tests/Micro/names-pos/local00.hs, 0.9940, True
Tests/Micro/names-pos/List00.hs, 0.9788, True
Tests/Micro/names-pos/HidePrelude.hs, 0.8343, True
Tests/Micro/names-pos/HideName00.hs, 0.9445, True
Tests/Micro/names-pos/ClojurVector.hs, 1.3871, True
Tests/Micro/names-pos/Capture02.hs, 0.9647, True
Tests/Micro/names-pos/Capture01.hs, 0.9628, True
Tests/Micro/names-pos/BasicLambdas01.hs, 1.0455, True
Tests/Micro/names-pos/BasicLambdas00.hs, 1.0125, True
Tests/Micro/names-pos/Assume01.hs, 0.9971, True
Tests/Micro/names-pos/Assume00.hs, 0.9961, True
Tests/Micro/names-pos/Alias00.hs, 0.9902, True
Tests/Micro/names-neg/vector1.hs, 1.2065, True
Tests/Micro/names-neg/vector0.hs, 1.0921, True
Tests/Micro/names-neg/T1078.hs, 0.9886, True
Tests/Micro/names-neg/Set02.hs, 0.9075, True
Tests/Micro/names-neg/Set01.hs, 0.9254, True
Tests/Micro/names-neg/Set00.hs, 0.9149, True
Tests/Micro/names-neg/local00.hs, 0.8752, True
Tests/Micro/names-neg/Capture01.hs, 0.8923, True
Tests/Micro/names-neg/Assume00.hs, 0.9110, True
Tests/Micro/reflect-pos/ReflString1.hs, 0.9976, True
Tests/Micro/reflect-pos/ReflString0.hs, 0.9755, True
Tests/Micro/reflect-pos/DoubleLit.hs, 0.9954, True
Tests/Micro/reflect-neg/ReflString1.hs, 0.9278, True
Tests/Micro/reflect-neg/ReflString0.hs, 0.8298, True
Tests/Micro/reflect-neg/DoubleLit.hs, 0.8762, True
Tests/Micro/absref-pos/VectorLoop.hs, 1.2293, True
Tests/Micro/absref-pos/state00.hs, 0.9803, True
Tests/Micro/absref-pos/Papp00.hs, 1.0013, True
Tests/Micro/absref-pos/ListQSort.hs, 1.8369, True
Tests/Micro/absref-pos/ListISort.hs, 1.0585, True
Tests/Micro/absref-pos/ListISort-LType.hs, 2.0222, True
Tests/Micro/absref-pos/FlipArgs.hs, 1.1720, True
Tests/Micro/absref-pos/deptupW.hs, 1.0411, True
Tests/Micro/absref-pos/deptup0.hs, 1.1589, True
Tests/Micro/absref-pos/deppair2.hs, 1.0318, True
Tests/Micro/absref-pos/deppair0.hs, 1.0684, True
Tests/Micro/absref-pos/AbsRef00.hs, 0.9670, True
Tests/Micro/absref-neg/ListQSort.hs, 1.4131, True
Tests/Micro/absref-neg/ListISort.hs, 1.4002, True
Tests/Micro/absref-neg/ListISort-LType.hs, 1.1398, True
Tests/Micro/absref-neg/FlipArgs.hs, 1.0564, True
Tests/Micro/absref-neg/deptupW.hs, 1.0128, True
Tests/Micro/absref-neg/deptup0.hs, 1.0439, True
Tests/Micro/absref-neg/deppair0.hs, 0.9984, True
Tests/Micro/import-cli/WrapClient.hs, 1.3387, True
Tests/Micro/import-cli/T1738.hs, 1.1445, True
Tests/Micro/import-cli/T1688.hs, 1.2415, True
Tests/Micro/import-cli/T1180.hs, 1.2218, True
Tests/Micro/import-cli/T1118.hs, 1.4976, True
Tests/Micro/import-cli/T1117.hs, 1.2960, True
Tests/Micro/import-cli/T1104Client.hs, 1.2230, True
Tests/Micro/import-cli/T1096_Foo.hs, 1.1898, True
Tests/Micro/import-cli/STClient.hs, 1.5590, True
Tests/Micro/import-cli/RewriteClient.hs, 1.4295, True
Tests/Micro/import-cli/ReflectClient8.hs, 1.2181, True
Tests/Micro/import-cli/ReflectClient7.hs, 1.3167, True
Tests/Micro/import-cli/ReflectClient6.hs, 1.2810, True
Tests/Micro/import-cli/ReflectClient5.hs, 1.3228, True
Tests/Micro/import-cli/ReflectClient4a.hs, 1.3608, True
Tests/Micro/import-cli/ReflectClient4.hs, 1.4669, True
Tests/Micro/import-cli/ReflectClient3.hs, 1.3859, True
Tests/Micro/import-cli/ReflectClient2.hs, 1.2052, True
Tests/Micro/import-cli/ReflectClient1.hs, 1.1857, True
Tests/Micro/import-cli/ReflectClient0.hs, 1.1483, True
Tests/Micro/import-cli/RC1015.hs, 1.2198, True
Tests/Micro/import-cli/NameClashClient.hs, 1.1597, True
Tests/Micro/import-cli/ListClient.hs, 1.3357, True
Tests/Micro/import-cli/LiquidArrayNullTerm.hs, 1.4823, True
Tests/Micro/import-cli/LiquidArrayInit.hs, 1.3855, True
Tests/Micro/import-cli/LibRedBlue.hs, 1.3706, True
Tests/Micro/import-cli/FunClashLibLibClient.hs, 1.3733, True
Tests/Micro/import-cli/ExactGADT9.hs, 1.2705, True
Tests/Micro/import-cli/CliRedBlue.hs, 1.1706, True
Tests/Micro/import-cli/Client2.hs, 0.9544, True
Tests/Micro/import-cli/Client1.hs, 1.0345, True
Tests/Micro/import-cli/Client0.hs, 1.1188, True
Tests/Micro/import-cli/CliAliasGen00.hs, 1.1697, True
Tests/Micro/class-pos/TypeEquality01.hs, 1.0838, True
Tests/Micro/class-pos/TypeEquality00.hs, 0.9760, True
Tests/Micro/class-pos/STMonad.hs, 1.4566, True
Tests/Micro/class-pos/RealProps1.hs, 1.0634, True
Tests/Micro/class-pos/RealProps0.hs, 0.9686, True
Tests/Micro/class-pos/Inst00.hs, 1.0013, True
Tests/Micro/class-pos/HiddenMethod00.hs, 0.9597, True
Tests/Micro/class-pos/Class00.hs, 0.9938, True
Tests/Micro/class-neg/RealProps0.hs, 0.8595, True
Tests/Micro/class-neg/Inst00.hs, 0.9611, True
Tests/Micro/class-neg/Class01.hs, 0.9113, True
Tests/Micro/class-neg/Class00.hs, 0.8984, True
Tests/Micro/ple-pos/tmp1.hs, 1.0495, True
Tests/Micro/ple-pos/tmp.hs, 1.2670, True
Tests/Micro/ple-pos/T1424A.hs, 1.1344, True
Tests/Micro/ple-pos/T1424.hs, 1.1073, True
Tests/Micro/ple-pos/T1409.hs, 1.0522, True
Tests/Micro/ple-pos/T1382.hs, 1.6536, True
Tests/Micro/ple-pos/T1371_NNF.hs, 1.1299, True
Tests/Micro/ple-pos/T1371.hs, 1.0189, True
Tests/Micro/ple-pos/T1302b.hs, 1.3821, True
Tests/Micro/ple-pos/T1289.hs, 1.0255, True
Tests/Micro/ple-pos/T1257.hs, 1.0423, True
Tests/Micro/ple-pos/T1190.hs, 1.1790, True
Tests/Micro/ple-pos/T1173.hs, 1.1234, True
Tests/Micro/ple-pos/StlcBug.hs, 1.0976, True
Tests/Micro/ple-pos/STLCB1.hs, 3.9688, True
Tests/Micro/ple-pos/STLCB0.hs, 2.8124, True
Tests/Micro/ple-pos/STLC2.hs, 12.0024, True
Tests/Micro/ple-pos/STLC1.hs, 6.7455, True
Tests/Micro/ple-pos/STLC0.hs, 3.9778, True
Tests/Micro/ple-pos/RosePLEDiv.hs, 1.2888, True
Tests/Micro/ple-pos/RegexpDerivative.hs, 7.5640, True
Tests/Micro/ple-pos/ReflectDefault.hs, 1.0288, True
Tests/Micro/ple-pos/pleORM.hs, 1.2223, True
Tests/Micro/ple-pos/ple_sum.hs, 1.0602, True
Tests/Micro/ple-pos/ple0.hs, 0.9756, True
Tests/Micro/ple-pos/padLeft.hs, 1.8340, True
Tests/Micro/ple-pos/NNFPiotr.hs, 1.5854, True
Tests/Micro/ple-pos/NegNormalForm.hs, 4.1469, True
Tests/Micro/ple-pos/MossakaBug.hs, 1.1773, True
Tests/Micro/ple-pos/MJFix.hs, 1.3066, True
Tests/Micro/ple-pos/Lists.hs, 1.1371, True
Tests/Micro/ple-pos/ListAnd.hs, 1.0516, True
Tests/Micro/ple-pos/IndStarHole.hs, 1.0911, True
Tests/Micro/ple-pos/IndStar.hs, 1.0501, True
Tests/Micro/ple-pos/IndPerm.hs, 1.3935, True
Tests/Micro/ple-pos/IndPalindrome.hs, 2.1168, True
Tests/Micro/ple-pos/IndPal00.hs, 1.0635, True
Tests/Micro/ple-pos/IndPal0.hs, 1.2090, True
Tests/Micro/ple-pos/IndLast.hs, 1.1556, True
Tests/Micro/ple-pos/Fulcrum.hs, 2.7983, True
Tests/Micro/ple-pos/filterPLE.hs, 1.0394, True
Tests/Micro/ple-pos/ExactGADT7.hs, 1.0206, True
Tests/Micro/ple-pos/ExactGADT5.hs, 1.3812, True
Tests/Micro/ple-pos/ExactGADT4.hs, 1.2256, True
Tests/Micro/ple-pos/Compiler.hs, 1.4097, True
Tests/Micro/ple-pos/BinahUpdate.hs, 1.0810, True
Tests/Micro/ple-pos/BinahQuery.hs, 2.1664, True
Tests/Micro/ple-neg/T1424.hs, 1.0431, True
Tests/Micro/ple-neg/T1409.hs, 0.9428, True
Tests/Micro/ple-neg/T1371_Tick.hs, 0.9772, True
Tests/Micro/ple-neg/T1289.hs, 0.9091, True
Tests/Micro/ple-neg/T1192.hs, 1.0647, True
Tests/Micro/ple-neg/T1173.hs, 1.0113, True
Tests/Micro/ple-neg/ReflectDefault.hs, 0.9469, True
Tests/Micro/ple-neg/ple_sum.hs, 0.9574, True
Tests/Micro/ple-neg/ple0.hs, 0.9161, True
Tests/Micro/ple-neg/ExactGADT5.hs, 1.3203, True
Tests/Micro/ple-neg/BinahUpdateLib1.hs, 1.0361, True
Tests/Micro/ple-neg/BinahUpdateLib.hs, 0.9975, True
Tests/Micro/ple-neg/BinahUpdateClient.hs, 1.0154, True
Tests/Micro/ple-neg/BinahUpdate.hs, 0.9848, True
Tests/Micro/ple-neg/BinahQuery.hs, 2.1500, True
Tests/Micro/rankN-pos/Test00.hs, 1.0147, True
Tests/Micro/rankN-pos/Test0.hs, 1.0630, True
Tests/Micro/rankN-pos/Test.hs, 0.9831, True
Tests/Micro/terminate-pos/term00.hs, 0.9909, True
Tests/Micro/terminate-pos/T1403.hs, 1.1763, True
Tests/Micro/terminate-pos/T1396.1.hs, 0.9840, True
Tests/Micro/terminate-pos/T1396.0.hs, 0.9981, True
Tests/Micro/terminate-pos/T1245.hs, 1.0595, True
Tests/Micro/terminate-pos/Sum.hs, 0.9375, True
Tests/Micro/terminate-pos/StructSecondArg.hs, 0.9720, True
Tests/Micro/terminate-pos/LocalTermExpr.hs, 1.1311, True
Tests/Micro/terminate-pos/list05-local.hs, 0.9542, True
Tests/Micro/terminate-pos/list04.hs, 0.9954, True
Tests/Micro/terminate-pos/list04-local.hs, 1.0173, True
Tests/Micro/terminate-pos/list03.hs, 1.0029, True
Tests/Micro/terminate-pos/list02.hs, 0.9829, True
Tests/Micro/terminate-pos/list01.hs, 0.9959, True
Tests/Micro/terminate-pos/list00.hs, 1.0047, True
Tests/Micro/terminate-pos/list00-str.hs, 0.9866, True
Tests/Micro/terminate-pos/list00-local.hs, 0.9690, True
Tests/Micro/terminate-pos/Lexicographic.hs, 1.2260, True
Tests/Micro/terminate-pos/AutoTerm.hs, 1.0094, True
Tests/Micro/terminate-pos/Ackermann.hs, 1.0072, True
Tests/Micro/terminate-neg/total02.hs, 0.8801, True
Tests/Micro/terminate-neg/total01.hs, 0.9072, True
Tests/Micro/terminate-neg/total00.hs, 0.8384, True
Tests/Micro/terminate-neg/testRec.hs, 0.8756, True
Tests/Micro/terminate-neg/term00.hs, 0.8564, True
Tests/Micro/terminate-neg/T745.hs, 0.8800, True
Tests/Micro/terminate-neg/T1404.3.hs, 0.9760, True
Tests/Micro/terminate-neg/T1404.2.hs, 0.8914, True
Tests/Micro/terminate-neg/T1404.1.hs, 0.8856, True
Tests/Micro/terminate-neg/T1404.0.hs, 0.8882, True
Tests/Micro/terminate-neg/Sum.hs, 0.9695, True
Tests/Micro/terminate-neg/Rename.hs, 0.8782, True
Tests/Micro/terminate-neg/qsloop.hs, 1.0791, True
Tests/Micro/terminate-neg/Even.hs, 0.8513, True
Tests/Micro/terminate-neg/AutoTerm.hs, 0.9376, True
Tests/Micro/pattern-pos/TemplateHaskellLib.hs, 2.8819, True
Tests/Micro/pattern-pos/TemplateHaskell.hs, 1.3603, True
Tests/Micro/pattern-pos/ReturnStrata00.hs, 0.9610, True
Tests/Micro/pattern-pos/Return01.hs, 0.9732, True
Tests/Micro/pattern-pos/Return00.hs, 0.9526, True
Tests/Micro/pattern-pos/MultipleInvariants.hs, 0.9850, True
Tests/Micro/pattern-pos/monad7.hs, 1.1766, True
Tests/Micro/pattern-pos/monad1.hs, 0.9972, True
Tests/Micro/pattern-pos/monad0.hs, 0.9873, True
Tests/Micro/pattern-pos/Invariants.hs, 1.0534, True
Tests/Micro/pattern-pos/contra0.hs, 1.0168, True
Tests/Micro/pattern-pos/ANF.hs, 1.9294, True
Tests/Micro/implicit-pos/ImplicitTrivial.hs, 0.9860, True
Tests/Micro/implicit-pos/ImplicitDouble.hs, 0.9528, True
Tests/Micro/implicit-pos/Implicit3.hs, 1.0139, True
Tests/Micro/implicit-pos/Implicit1.hs, 0.9867, True
Tests/Micro/implicit-neg/Implicit1.hs, 0.9057, True
Tests/Micro/typeclass-pos/Semigroup.hs, 1.3858, True
Tests/Micro/typeclass-pos/PNat.hs, 1.9071, True
Tests/Micro/typeclass-pos/Lib.hs, 0.7226, True
Tests/Micro/typeclass-pos/Lemma.hs, 1.2521, True
Tests/Error-Messages/ReWrite8.hs, 0.8872, True
Tests/Error-Messages/ReWrite7.hs, 0.8585, True
Tests/Error-Messages/ReWrite6.hs, 0.8060, True
Tests/Error-Messages/ReWrite5.hs, 0.8303, True
Tests/Error-Messages/ShadowFieldInline.hs, 0.7442, True
Tests/Error-Messages/ShadowFieldReflect.hs, 0.7554, True
Tests/Error-Messages/MultiRecSels.hs, 0.7962, True
Tests/Error-Messages/DupFunSigs.hs, 0.9036, True
Tests/Error-Messages/DupMeasure.hs, 0.7437, True
Tests/Error-Messages/ShadowMeasure.hs, 0.7493, True
Tests/Error-Messages/DupData.hs, 0.7958, True
Tests/Error-Messages/EmptyData.hs, 0.7348, True
Tests/Error-Messages/BadGADT.hs, 0.8049, True
Tests/Error-Messages/TerminationExprSort.hs, 0.8126, True
Tests/Error-Messages/TerminationExprNum.hs, 0.7911, True
Tests/Error-Messages/TerminationExprUnb.hs, 0.8757, True
Tests/Error-Messages/UnboundVarInSpec.hs, 0.8091, True
Tests/Error-Messages/UnboundVarInAssume.hs, 0.8102, True
Tests/Error-Messages/UnboundCheckVar.hs, 0.8085, True
Tests/Error-Messages/UnboundFunInSpec.hs, 0.8131, True
Tests/Error-Messages/UnboundFunInSpec1.hs, 0.7956, True
Tests/Error-Messages/UnboundFunInSpec2.hs, 0.8082, True
Tests/Error-Messages/UnboundVarInLocSig.hs, 0.8010, True
Tests/Error-Messages/UnboundVarInReflect.hs, 0.8063, True
Tests/Error-Messages/Fractional.hs, 0.8259, True
Tests/Error-Messages/T773.hs, 0.8118, True
Tests/Error-Messages/T774.hs, 0.8102, True
Tests/Error-Messages/T1498.hs, 0.8013, True
Tests/Error-Messages/T1498A.hs, 0.8104, True
Tests/Error-Messages/Inconsistent0.hs, 0.9125, True
Tests/Error-Messages/Inconsistent1.hs, 0.8188, True
Tests/Error-Messages/Inconsistent2.hs, 0.8166, True
Tests/Error-Messages/BadAliasApp.hs, 0.7843, True
Tests/Error-Messages/BadPragma0.hs, 0.7212, True
Tests/Error-Messages/BadPragma1.hs, 0.7217, True
Tests/Error-Messages/BadPragma2.hs, 0.7301, True
Tests/Error-Messages/BadSyn1.hs, 0.7974, True
Tests/Error-Messages/BadSyn2.hs, 0.8066, True
Tests/Error-Messages/BadSyn3.hs, 0.8135, True
Tests/Error-Messages/BadSyn4.hs, 0.8300, True
Tests/Error-Messages/BadAnnotation.hs, 0.7264, True
Tests/Error-Messages/BadAnnotation1.hs, 0.7154, True
Tests/Error-Messages/CyclicExprAlias0.hs, 0.7574, True
Tests/Error-Messages/CyclicExprAlias1.hs, 0.7769, True
Tests/Error-Messages/CyclicExprAlias2.hs, 0.7542, True
Tests/Error-Messages/CyclicExprAlias3.hs, 0.7588, True
Tests/Error-Messages/DupAlias.hs, 0.8650, True
Tests/Error-Messages/DupAlias.hs, 0.8615, True
Tests/Error-Messages/BadDataConType.hs, 0.8113, True
Tests/Error-Messages/BadDataConType1.hs, 0.8019, True
Tests/Error-Messages/BadDataConType2.hs, 0.7955, True
Tests/Error-Messages/LiftMeasureCase.hs, 0.7718, True
Tests/Error-Messages/HigherOrderBinder.hs, 0.8139, True
Tests/Error-Messages/HoleCrash1.hs, 0.8021, True
Tests/Error-Messages/HoleCrash2.hs, 0.7768, True
Tests/Error-Messages/HoleCrash3.hs, 0.8378, True
Tests/Error-Messages/BadPredApp.hs, 0.8245, True
Tests/Error-Messages/LocalHole.hs, 0.8676, True
Tests/Error-Messages/UnboundAbsRef.hs, 0.8069, True
Tests/Error-Messages/ParseClass.hs, 0.7085, True
Tests/Error-Messages/ParseBind.hs, 0.7056, True
Tests/Error-Messages/MultiInstMeasures.hs, 0.8587, True
Tests/Error-Messages/BadDataDeclTyVars.hs, 0.7986, True
Tests/Error-Messages/BadDataCon2.hs, 0.7653, True
Tests/Error-Messages/BadSig0.hs, 0.7981, True
Tests/Error-Messages/BadSig1.hs, 0.8842, True
Tests/Error-Messages/BadData1.hs, 0.8085, True
Tests/Error-Messages/BadData2.hs, 0.7797, True
Tests/Error-Messages/T1140.hs, 0.8179, True
Tests/Error-Messages/InlineSubExp0.hs, 0.9690, True
Tests/Error-Messages/InlineSubExp1.hs, 0.9586, True
Tests/Error-Messages/EmptySig.hs, 0.7272, True
Tests/Error-Messages/MissingReflect.hs, 0.8746, True
Tests/Error-Messages/MissingSizeFun.hs, 0.8071, True
Tests/Error-Messages/MissingAssume.hs, 0.8613, True
Tests/Error-Messages/HintMismatch.hs, 0.8312, True
Tests/Error-Messages/ElabLocation.hs, 0.8787, True
Tests/Error-Messages/ErrLocation.hs, 0.8484, True
Tests/Error-Messages/ErrLocation2.hs, 0.8768, True
Tests/Error-Messages/frog.hs, 0.8119, True
Tests/Error-Messages/T1708.hs, 0.9176, True
Tests/Error-Messages/SplitSubtype.hs, 0.8490, True
Tests/Macro/unit-pos/zipW2.hs, 0.9591, True
Tests/Macro/unit-pos/zipW1.hs, 0.9860, True
Tests/Macro/unit-pos/zipW.hs, 1.0491, True
Tests/Macro/unit-pos/zipSO.hs, 1.0737, True
Tests/Macro/unit-pos/zipper000.hs, 1.1093, True
Tests/Macro/unit-pos/zipper0.hs, 1.3137, True
Tests/Macro/unit-pos/zipper.hs, 1.8607, True
Tests/Macro/unit-pos/WrapUnWrap.hs, 1.0321, True
Tests/Macro/unit-pos/wrap1.hs, 1.1274, True
Tests/Macro/unit-pos/wrap0.hs, 1.0813, True
Tests/Macro/unit-pos/Words1.hs, 0.9857, True
Tests/Macro/unit-pos/Words.hs, 0.9739, True
Tests/Macro/unit-pos/WBL0.hs, 1.8309, True
Tests/Macro/unit-pos/WBL.hs, 1.9456, True
Tests/Macro/unit-pos/VerifiedNum.hs, 1.0341, True
Tests/Macro/unit-pos/vector2.hs, 1.7051, True
Tests/Macro/unit-pos/vector1b.hs, 1.4888, True
Tests/Macro/unit-pos/vector1a.hs, 1.4694, True
Tests/Macro/unit-pos/vector1.hs, 1.5273, True
Tests/Macro/unit-pos/vector00.hs, 1.1075, True
Tests/Macro/unit-pos/Variance2.hs, 1.1118, True
Tests/Macro/unit-pos/unusedtyvars.hs, 1.0949, True
Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs, 2.1887, True
Tests/Macro/unit-pos/UnboxedTuples.hs, 0.9755, True
Tests/Macro/unit-pos/tyvar.hs, 0.9647, True
Tests/Macro/unit-pos/TypeLitString.hs, 1.0213, True
Tests/Macro/unit-pos/TypeLitNat.hs, 1.0000, True
Tests/Macro/unit-pos/TypeAlias.hs, 1.0529, True
Tests/Macro/unit-pos/tyfam0.hs, 1.1905, True
Tests/Macro/unit-pos/tyExpr.hs, 0.9688, True
Tests/Macro/unit-pos/tyclass0.hs, 1.0327, True
Tests/Macro/unit-pos/tupparse.hs, 1.0526, True
Tests/Macro/unit-pos/tup0.hs, 0.9814, True
Tests/Macro/unit-pos/transTAG.hs, 1.8676, True
Tests/Macro/unit-pos/transpose.hs, 1.4759, True
Tests/Macro/unit-pos/trans.hs, 1.1512, True
Tests/Macro/unit-pos/ToyMVar.hs, 1.2478, True
Tests/Macro/unit-pos/TopLevel.hs, 0.9860, True
Tests/Macro/unit-pos/top0.hs, 1.0706, True
Tests/Macro/unit-pos/TokenType.hs, 1.0002, True
Tests/Macro/unit-pos/testRec.hs, 1.0633, True
Tests/Macro/unit-pos/Test761.hs, 0.9975, True
Tests/Macro/unit-pos/test2.hs, 1.0004, True
Tests/Macro/unit-pos/test1.hs, 1.0409, True
Tests/Macro/unit-pos/test00c.hs, 1.0972, True
Tests/Macro/unit-pos/test00b.hs, 1.0224, True
Tests/Macro/unit-pos/test000.hs, 0.9694, True
Tests/Macro/unit-pos/test00.old.hs, 0.9956, True
Tests/Macro/unit-pos/test00.hs, 1.0039, True
Tests/Macro/unit-pos/test00-int.hs, 1.0041, True
Tests/Macro/unit-pos/test0.hs, 1.0114, True
Tests/Macro/unit-pos/TerminationNum0.hs, 1.0040, True
Tests/Macro/unit-pos/TerminationNum.hs, 0.9960, True
Tests/Macro/unit-pos/Termination.hs, 1.0668, True
Tests/Macro/unit-pos/term0.hs, 1.0267, True
Tests/Macro/unit-pos/Term.hs, 1.0454, True
Tests/Macro/unit-pos/take.hs, 1.9389, True
Tests/Macro/unit-pos/tagBinder.hs, 0.9854, True
Tests/Macro/unit-pos/T914.hs, 0.9935, True
Tests/Macro/unit-pos/T866.hs, 0.9659, True
Tests/Macro/unit-pos/T820.hs, 1.0612, True
Tests/Macro/unit-pos/T819A.hs, 1.0379, True
Tests/Macro/unit-pos/T819.hs, 1.0870, True
Tests/Macro/unit-pos/T716.hs, 1.8786, True
Tests/Macro/unit-pos/T598.hs, 1.0438, True
Tests/Macro/unit-pos/T595a.hs, 0.9972, True
Tests/Macro/unit-pos/T595.hs, 1.1039, True
Tests/Macro/unit-pos/T531.hs, 0.9721, True
Tests/Macro/unit-pos/T385.hs, 1.0570, True
Tests/Macro/unit-pos/T1812.hs, 1.0889, True
Tests/Macro/unit-pos/T1775.hs, 0.9786, True
Tests/Macro/unit-pos/T1761.hs, 0.9860, True
Tests/Macro/unit-pos/T1749.hs, 1.6172, True
Tests/Macro/unit-pos/T1709.hs, 1.0005, True
Tests/Macro/unit-pos/T1697C.hs, 1.1282, True
Tests/Macro/unit-pos/T1697A.hs, 1.1089, True
Tests/Macro/unit-pos/T1697.hs, 1.1220, True
Tests/Macro/unit-pos/T1670B.hs, 1.0970, True
Tests/Macro/unit-pos/T1670A.hs, 1.0967, True
Tests/Macro/unit-pos/T1669.hs, 1.0772, True
Tests/Macro/unit-pos/T1660.hs, 1.1491, True
Tests/Macro/unit-pos/T1657.hs, 1.0004, True
Tests/Macro/unit-pos/T1649WorkTypes.hs, 1.1169, True
Tests/Macro/unit-pos/T1649MeasuresDef.hs, 1.0764, True
Tests/Macro/unit-pos/T1647.hs, 0.9781, True
Tests/Macro/unit-pos/T1642A.hs, 1.0465, True
Tests/Macro/unit-pos/T1642.hs, 1.3883, True
Tests/Macro/unit-pos/T1636.hs, 1.0490, True
Tests/Macro/unit-pos/T1634.hs, 1.0334, True
Tests/Macro/unit-pos/T1633.hs, 1.2085, True
Tests/Macro/unit-pos/T1603.hs, 0.9992, True
Tests/Macro/unit-pos/T1597.hs, 0.9809, True
Tests/Macro/unit-pos/T1595.hs, 1.0147, True
Tests/Macro/unit-pos/T1593.hs, 0.9957, True
Tests/Macro/unit-pos/T1577.hs, 1.0363, True
Tests/Macro/unit-pos/T1571.hs, 1.0356, True
Tests/Macro/unit-pos/T1568.hs, 1.2201, True
Tests/Macro/unit-pos/T1567.hs, 0.9910, True
Tests/Macro/unit-pos/T1560B.hs, 1.0362, True
Tests/Macro/unit-pos/T1560.hs, 1.0503, True
Tests/Macro/unit-pos/T1556.hs, 0.9734, True
Tests/Macro/unit-pos/T1555.hs, 1.0043, True
Tests/Macro/unit-pos/T1550.hs, 1.0107, True
Tests/Macro/unit-pos/T1548.hs, 1.7505, True
Tests/Macro/unit-pos/T1547.hs, 1.6094, True
Tests/Macro/unit-pos/T1544.hs, 1.0199, True
Tests/Macro/unit-pos/T1543.hs, 0.9768, True
Tests/Macro/unit-pos/T1498.hs, 0.9979, True
Tests/Macro/unit-pos/T1461.hs, 0.9932, True
Tests/Macro/unit-pos/T1363.hs, 1.0259, True
Tests/Macro/unit-pos/T1336.hs, 0.9949, True
Tests/Macro/unit-pos/T1302.hs, 1.0866, True
Tests/Macro/unit-pos/T1289a.hs, 1.0018, True
Tests/Macro/unit-pos/T1288.hs, 0.9799, True
Tests/Macro/unit-pos/T1286.hs, 1.0194, True
Tests/Macro/unit-pos/T1278.hs, 0.9878, True
Tests/Macro/unit-pos/T1278.3.hs, 1.0296, True
Tests/Macro/unit-pos/T1278.2.hs, 1.0057, True
Tests/Macro/unit-pos/T1267.hs, 1.0514, True
Tests/Macro/unit-pos/T1223.hs, 1.3908, True
Tests/Macro/unit-pos/T1220.hs, 0.9982, True
Tests/Macro/unit-pos/T1198.4.hs, 0.9922, True
Tests/Macro/unit-pos/T1198.3.hs, 0.9796, True
Tests/Macro/unit-pos/T1198.2.hs, 1.0072, True
Tests/Macro/unit-pos/T1198.1.hs, 0.9810, True
Tests/Macro/unit-pos/T1126a.hs, 0.9917, True
Tests/Macro/unit-pos/T1126.hs, 1.0423, True
Tests/Macro/unit-pos/T1120A.hs, 1.1651, True
Tests/Macro/unit-pos/T1100.hs, 1.1112, True
Tests/Macro/unit-pos/T1095C.hs, 1.0219, True
Tests/Macro/unit-pos/T1095B.hs, 1.1697, True
Tests/Macro/unit-pos/T1095A.hs, 1.1535, True
Tests/Macro/unit-pos/T1092.hs, 1.2213, True
Tests/Macro/unit-pos/T1085.hs, 1.0160, True
Tests/Macro/unit-pos/T1074.hs, 1.1149, True
Tests/Macro/unit-pos/T1065.hs, 1.0720, True
Tests/Macro/unit-pos/T1060.hs, 1.1413, True
Tests/Macro/unit-pos/T1045a.hs, 1.2966, True
Tests/Macro/unit-pos/T1045.hs, 0.8494, True
Tests/Macro/unit-pos/T1034.hs, 1.0415, True
Tests/Macro/unit-pos/T1025a.hs, 1.1107, True
Tests/Macro/unit-pos/T1025.hs, 1.1246, True
Tests/Macro/unit-pos/T1024.hs, 0.9926, True
Tests/Macro/unit-pos/T1013A.hs, 1.7862, True
Tests/Macro/unit-pos/T1013.hs, 1.1230, True
Tests/Macro/unit-pos/Sum.hs, 1.2050, True
Tests/Macro/unit-pos/StructRec.hs, 1.2561, True
Tests/Macro/unit-pos/Strings.hs, 0.9947, True
Tests/Macro/unit-pos/StringLit.hs, 0.9962, True
Tests/Macro/unit-pos/string00.hs, 1.0126, True
Tests/Macro/unit-pos/StrictPair1.hs, 1.1183, True
Tests/Macro/unit-pos/StrictPair0.hs, 1.0149, True
Tests/Macro/unit-pos/Streams.hs, 1.0822, True
Tests/Macro/unit-pos/StateLib.hs, 1.1684, True
Tests/Macro/unit-pos/stateInvarint.hs, 1.2537, True
Tests/Macro/unit-pos/StateF00.hs, 1.0392, True
Tests/Macro/unit-pos/StateConstraints00.hs, 1.0791, True
Tests/Macro/unit-pos/StateConstraints0.hs, 1.2604, True
Tests/Macro/unit-pos/StateConstraints.hs, 14.5687, True
Tests/Macro/unit-pos/state00.hs, 1.0388, True
Tests/Macro/unit-pos/State.hs, 1.0592, True
Tests/Macro/unit-pos/stacks0.hs, 1.1324, True
Tests/Macro/unit-pos/StackMachine.hs, 1.1610, True
Tests/Macro/unit-pos/StackClass.hs, 1.0753, True
Tests/Macro/unit-pos/spec0.hs, 1.0466, True
Tests/Macro/unit-pos/Solver.hs, 1.4856, True
Tests/Macro/unit-pos/SingletonLists.hs, 0.9696, True
Tests/Macro/unit-pos/SimplifyTup00.hs, 1.0643, True
Tests/Macro/unit-pos/SimplerNotation.hs, 1.0180, True
Tests/Macro/unit-pos/selfList.hs, 1.1016, True
Tests/Macro/unit-pos/scanr.hs, 1.0879, True
Tests/Macro/unit-pos/SafePartialFunctions.hs, 1.0237, True
Tests/Macro/unit-pos/rta.hs, 1.0059, True
Tests/Macro/unit-pos/risers.hs, 1.1052, True
Tests/Macro/unit-pos/ReWrite9.hs, 1.0084, True
Tests/Macro/unit-pos/ReWrite8.hs, 1.3708, True
Tests/Macro/unit-pos/ReWrite7.hs, 1.5801, True
Tests/Macro/unit-pos/ReWrite6.hs, 1.7796, True
Tests/Macro/unit-pos/ReWrite5.hs, 1.7501, True
Tests/Macro/unit-pos/ReWrite4.hs, 1.0704, True
Tests/Macro/unit-pos/ReWrite3.hs, 1.0978, True
Tests/Macro/unit-pos/ReWrite2.hs, 1.0916, True
Tests/Macro/unit-pos/ReWrite10.hs, 1.0449, True
Tests/Macro/unit-pos/ReWrite.hs, 1.4228, True
Tests/Macro/unit-pos/ResolvePred.hs, 1.0456, True
Tests/Macro/unit-pos/ResolveB.hs, 0.9785, True
Tests/Macro/unit-pos/ResolveA.hs, 1.0527, True
Tests/Macro/unit-pos/Resolve.hs, 1.1434, True
Tests/Macro/unit-pos/repeatHigherOrder.hs, 1.5384, True
Tests/Macro/unit-pos/Repeat.hs, 1.0221, True
Tests/Macro/unit-pos/RelativeComplete.hs, 1.0735, True
Tests/Macro/unit-pos/ReflectMutual.hs, 1.0020, True
Tests/Macro/unit-pos/ReflectBooleanFunctions.hs, 0.9734, True
Tests/Macro/unit-pos/ReflectAlias.hs, 0.9716, True
Tests/Macro/unit-pos/reflect0.hs, 0.9796, True
Tests/Macro/unit-pos/RefinedADTs.hs, 1.0093, True
Tests/Macro/unit-pos/Reduction.hs, 0.9741, True
Tests/Macro/unit-pos/recursion0.hs, 0.9747, True
Tests/Macro/unit-pos/RecSelector.hs, 0.9808, True
Tests/Macro/unit-pos/RecQSort0.hs, 1.0797, True
Tests/Macro/unit-pos/RecQSort.hs, 1.0819, True
Tests/Macro/unit-pos/RecordSelectorError.hs, 0.9871, True
Tests/Macro/unit-pos/record1.hs, 1.0288, True
Tests/Macro/unit-pos/record0.hs, 1.0413, True
Tests/Macro/unit-pos/rec_annot_go.hs, 1.0845, True
Tests/Macro/unit-pos/Rebind.hs, 0.9661, True
Tests/Macro/unit-pos/RealProps.hs, 1.0251, True
Tests/Macro/unit-pos/RBTree.hs, 6.5443, True
Tests/Macro/unit-pos/RBTree-ord.hs, 5.3107, True
Tests/Macro/unit-pos/RBTree-height.hs, 2.5901, True
Tests/Macro/unit-pos/RBTree-color.hs, 3.1793, True
Tests/Macro/unit-pos/RBTree-col-height.hs, 4.9857, True
Tests/Macro/unit-pos/rangeAdt.hs, 2.5551, True
Tests/Macro/unit-pos/range1.hs, 0.9899, True
Tests/Macro/unit-pos/range.hs, 1.1627, True
Tests/Macro/unit-pos/qualTest.hs, 1.0186, True
Tests/Macro/unit-pos/QQTySyn.hs, 2.0469, True
Tests/Macro/unit-pos/QQTySigTyVars.hs, 1.8868, True
Tests/Macro/unit-pos/QQTySig.hs, 1.7333, True
Tests/Macro/unit-pos/propmeasure1.hs, 0.9598, True
Tests/Macro/unit-pos/propmeasure.hs, 1.0661, True
Tests/Macro/unit-pos/Propability.hs, 1.0660, True
Tests/Macro/unit-pos/PromotedDataCons.hs, 1.0029, True
Tests/Macro/unit-pos/profcrasher.hs, 0.9869, True
Tests/Macro/unit-pos/Product.hs, 1.1965, True
Tests/Macro/unit-pos/primInt0.hs, 2.0611, True
Tests/Macro/unit-pos/pred.hs, 0.9588, True
Tests/Macro/unit-pos/pragma0.hs, 0.9691, True
Tests/Macro/unit-pos/poslist_dc.hs, 1.0299, True
Tests/Macro/unit-pos/poslist.hs, 1.1177, True
Tests/Macro/unit-pos/polyqual.hs, 1.2864, True
Tests/Macro/unit-pos/polyfun.hs, 1.0254, True
Tests/Macro/unit-pos/poly4.hs, 0.9840, True
Tests/Macro/unit-pos/poly3a.hs, 0.9871, True
Tests/Macro/unit-pos/poly3.hs, 0.9830, True
Tests/Macro/unit-pos/poly2.hs, 1.0305, True
Tests/Macro/unit-pos/poly2-degenerate.hs, 1.0222, True
Tests/Macro/unit-pos/poly1.hs, 1.0683, True
Tests/Macro/unit-pos/poly0.hs, 1.0605, True
Tests/Macro/unit-pos/PointDist.hs, 1.0974, True
Tests/Macro/unit-pos/ple1.hs, 1.2071, True
Tests/Macro/unit-pos/PersistentVector.hs, 1.1483, True
Tests/Macro/unit-pos/Permutation.hs, 1.5524, True
Tests/Macro/unit-pos/partialmeasure.hs, 0.9861, True
Tests/Macro/unit-pos/partial-tycon.hs, 0.9830, True
Tests/Macro/unit-pos/pargs1.hs, 0.9761, True
Tests/Macro/unit-pos/pargs.hs, 0.9461, True
Tests/Macro/unit-pos/PairMeasure0.hs, 0.9803, True
Tests/Macro/unit-pos/PairMeasure.hs, 1.0009, True
Tests/Macro/unit-pos/pair00.hs, 1.6936, True
Tests/Macro/unit-pos/pair0.hs, 1.9184, True
Tests/Macro/unit-pos/pair.hs, 1.9819, True
Tests/Macro/unit-pos/ORM.hs, 1.4354, True
Tests/Macro/unit-pos/OrdList.hs, 2.0717, True
Tests/Macro/unit-pos/null.hs, 0.9735, True
Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs, 0.9666, True
Tests/Macro/unit-pos/NoCaseExpand.hs, 1.1183, True
Tests/Macro/unit-pos/niki1.hs, 1.0708, True
Tests/Macro/unit-pos/niki.hs, 1.0672, True
Tests/Macro/unit-pos/nats.hs, 1.0325, True
Tests/Macro/unit-pos/MutualRec.hs, 3.6359, True
Tests/Macro/unit-pos/MutuallyDependentADT.hs, 1.0044, True
Tests/Macro/unit-pos/mutrec.hs, 0.9833, True
Tests/Macro/unit-pos/multi-pred-app-00.hs, 0.9683, True
Tests/Macro/unit-pos/monad6.hs, 1.0397, True
Tests/Macro/unit-pos/monad5.hs, 1.1831, True
Tests/Macro/unit-pos/monad2.hs, 0.9532, True
Tests/Macro/unit-pos/modTest.hs, 0.9942, True
Tests/Macro/unit-pos/ModLib.hs, 0.9750, True
Tests/Macro/unit-pos/Mod.hs, 1.0454, True
Tests/Macro/unit-pos/MergeSort.hs, 1.2479, True
Tests/Macro/unit-pos/MergeSort-bag.hs, 1.5354, True
Tests/Macro/unit-pos/Merge1.hs, 0.9961, True
Tests/Macro/unit-pos/MeasureSets.hs, 1.0554, True
Tests/Macro/unit-pos/Measures1.hs, 0.9945, True
Tests/Macro/unit-pos/Measures.hs, 1.0054, True
Tests/Macro/unit-pos/MeasureDups.hs, 1.0645, True
Tests/Macro/unit-pos/MeasureContains.hs, 1.0537, True
Tests/Macro/unit-pos/meas9.hs, 1.0992, True
Tests/Macro/unit-pos/meas8.hs, 1.0188, True
Tests/Macro/unit-pos/meas7.hs, 1.0001, True
Tests/Macro/unit-pos/meas6.hs, 1.1738, True
Tests/Macro/unit-pos/meas5.hs, 1.5857, True
Tests/Macro/unit-pos/meas4.hs, 1.1978, True
Tests/Macro/unit-pos/meas2.hs, 1.0117, True
Tests/Macro/unit-pos/meas11.hs, 1.0189, True
Tests/Macro/unit-pos/meas10.hs, 1.1250, True
Tests/Macro/unit-pos/meas1.hs, 1.0551, True
Tests/Macro/unit-pos/meas0a.hs, 1.0552, True
Tests/Macro/unit-pos/meas00a.hs, 0.9765, True
Tests/Macro/unit-pos/meas00.hs, 1.0282, True
Tests/Macro/unit-pos/meas0.hs, 1.0578, True
Tests/Macro/unit-pos/maybe5.hs, 0.9884, True
Tests/Macro/unit-pos/maybe4.hs, 1.0129, True
Tests/Macro/unit-pos/maybe3.hs, 0.9878, True
Tests/Macro/unit-pos/maybe2.hs, 1.6094, True
Tests/Macro/unit-pos/maybe1.hs, 1.1221, True
Tests/Macro/unit-pos/maybe000.hs, 1.0077, True
Tests/Macro/unit-pos/maybe0.hs, 0.9984, True
Tests/Macro/unit-pos/maybe.hs, 1.3442, True
Tests/Macro/unit-pos/MaskError.hs, 0.9606, True
Tests/Macro/unit-pos/mapTvCrash.hs, 1.0295, True
Tests/Macro/unit-pos/maps1.hs, 1.1114, True
Tests/Macro/unit-pos/maps.hs, 1.1904, True
Tests/Macro/unit-pos/MapReduceVerified.hs, 10.1693, True
Tests/Macro/unit-pos/mapreduce-bare.hs, 4.0206, True
Tests/Macro/unit-pos/MapFusion.hs, 1.1264, True
Tests/Macro/unit-pos/Map2.hs, 10.1494, True
Tests/Macro/unit-pos/Map0.hs, 9.2185, True
Tests/Macro/unit-pos/Map.hs, 9.3973, True
Tests/Macro/unit-pos/malformed0.hs, 1.1075, True
Tests/Macro/unit-pos/LooLibLib.hs, 0.9730, True
Tests/Macro/unit-pos/LooLib.hs, 1.0344, True
Tests/Macro/unit-pos/Loo.hs, 1.0851, True
Tests/Macro/unit-pos/LogicCurry1.hs, 1.0164, True
Tests/Macro/unit-pos/LocalSpecLib.hs, 0.9870, True
Tests/Macro/unit-pos/LocalSpec.hs, 1.0194, True
Tests/Macro/unit-pos/LocalLazy.hs, 1.0148, True
Tests/Macro/unit-pos/LocalHole.hs, 1.0154, True
Tests/Macro/unit-pos/lit02.hs, 1.0553, True
Tests/Macro/unit-pos/lit00.hs, 1.0174, True
Tests/Macro/unit-pos/lit.hs, 0.9776, True
Tests/Macro/unit-pos/ListSort.hs, 2.0467, True
Tests/Macro/unit-pos/listSetDemo.hs, 1.1113, True
Tests/Macro/unit-pos/listSet.hs, 1.0873, True
Tests/Macro/unit-pos/ListReverse-LType.hs, 1.0266, True
Tests/Macro/unit-pos/ListRange.hs, 1.1359, True
Tests/Macro/unit-pos/ListRange-LType.hs, 1.1777, True
Tests/Macro/unit-pos/listqual.hs, 1.0210, True
Tests/Macro/unit-pos/ListQSort-LType.hs, 1.9269, True
Tests/Macro/unit-pos/ListMSort.hs, 1.3090, True
Tests/Macro/unit-pos/ListMSort-LType.hs, 2.8185, True
Tests/Macro/unit-pos/ListLen.hs, 1.3180, True
Tests/Macro/unit-pos/ListLen-LType.hs, 1.3662, True
Tests/Macro/unit-pos/ListKeys.hs, 1.0280, True
Tests/Macro/unit-pos/ListISort-perm.hs, 1.2819, True
Tests/Macro/unit-pos/ListISort-bag.hs, 1.0968, True
Tests/Macro/unit-pos/ListElem.hs, 1.0266, True
Tests/Macro/unit-pos/ListConcat.hs, 1.0146, True
Tests/Macro/unit-pos/listAnf.hs, 1.1022, True
Tests/Macro/unit-pos/Lib521.hs, 0.9880, True
Tests/Macro/unit-pos/lex.hs, 0.9835, True
Tests/Macro/unit-pos/lets.hs, 1.0662, True
Tests/Macro/unit-pos/LazyWhere1.hs, 1.0367, True
Tests/Macro/unit-pos/LazyWhere.hs, 1.0046, True
Tests/Macro/unit-pos/LambdaEvalTiny.hs, 1.1803, True
Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs, 1.1846, True
Tests/Macro/unit-pos/LambdaEvalMini.hs, 2.0115, True
Tests/Macro/unit-pos/LambdaEval.hs, 2.1017, True
Tests/Macro/unit-pos/LambdaDeBruijn.hs, 1.5438, True
Tests/Macro/unit-pos/kmpVec.hs, 1.6854, True
Tests/Macro/unit-pos/kmpIO.hs, 1.3104, True
Tests/Macro/unit-pos/kmp.hs, 2.1132, True
Tests/Macro/unit-pos/Keys.hs, 1.0334, True
Tests/Macro/unit-pos/jeff.hs, 2.9233, True
Tests/Macro/unit-pos/ite1.hs, 0.9656, True
Tests/Macro/unit-pos/ite.hs, 0.9705, True
Tests/Macro/unit-pos/invlhs.hs, 0.9943, True
Tests/Macro/unit-pos/inline1.hs, 1.0087, True
Tests/Macro/unit-pos/inline.hs, 1.0250, True
Tests/Macro/unit-pos/infix.hs, 1.0144, True
Tests/Macro/unit-pos/Infinity.hs, 1.0745, True
Tests/Macro/unit-pos/implies.hs, 0.9581, True
Tests/Macro/unit-pos/imp0.hs, 1.0092, True
Tests/Macro/unit-pos/Ignores.hs, 0.9492, True
Tests/Macro/unit-pos/idNat0.hs, 0.9902, True
Tests/Macro/unit-pos/idNat.hs, 0.9700, True
Tests/Macro/unit-pos/IcfpDemo.hs, 1.1891, True
Tests/Macro/unit-pos/Hutton.hs, 3.0480, True
Tests/Macro/unit-pos/Holes.hs, 1.0833, True
Tests/Macro/unit-pos/Holes-Slicing.hs, 1.0050, True
Tests/Macro/unit-pos/Hole00.hs, 1.1195, True
Tests/Macro/unit-pos/hole-fun.hs, 0.9747, True
Tests/Macro/unit-pos/hole-app.hs, 1.0058, True
Tests/Macro/unit-pos/HigherOrderRecFun.hs, 0.9697, True
Tests/Macro/unit-pos/Hex00.hs, 0.9750, True
Tests/Macro/unit-pos/hello.hs, 1.0216, True
Tests/Macro/unit-pos/HedgeUnion.hs, 1.0914, True
Tests/Macro/unit-pos/HaskellMeasure.hs, 0.9841, True
Tests/Macro/unit-pos/HasElem.hs, 1.0886, True
Tests/Macro/unit-pos/grty3.hs, 0.9821, True
Tests/Macro/unit-pos/grty2.hs, 0.9952, True
Tests/Macro/unit-pos/grty1.hs, 0.9926, True
Tests/Macro/unit-pos/grty0.hs, 0.9788, True
Tests/Macro/unit-pos/Graph.hs, 1.1698, True
Tests/Macro/unit-pos/GoodHMeas.hs, 0.9963, True
Tests/Macro/unit-pos/go_ugly_type.hs, 1.0416, True
Tests/Macro/unit-pos/go.hs, 1.0061, True
Tests/Macro/unit-pos/gimme.hs, 1.0030, True
Tests/Macro/unit-pos/GhcSort3.T.hs, 1.4171, True
Tests/Macro/unit-pos/GhcSort3.hs, 3.1968, True
Tests/Macro/unit-pos/GhcSort2.hs, 1.3662, True
Tests/Macro/unit-pos/GhcSort1.hs, 2.4591, True
Tests/Macro/unit-pos/GeneralizedTermination.hs, 1.0868, True
Tests/Macro/unit-pos/GCD.hs, 1.0949, True
Tests/Macro/unit-pos/gadtEval.hs, 1.2546, True
Tests/Macro/unit-pos/FractionalInstance.hs, 1.0221, True
Tests/Macro/unit-pos/Fractional.hs, 1.0259, True
Tests/Macro/unit-pos/forloop.hs, 1.2435, True
Tests/Macro/unit-pos/for.hs, 1.2732, True
Tests/Macro/unit-pos/Foo.hs, 0.9703, True
Tests/Macro/unit-pos/foldr.hs, 0.9849, True
Tests/Macro/unit-pos/foldN.hs, 0.9940, True
Tests/Macro/unit-pos/Foldl.hs, 35.5735, True
Tests/Macro/unit-pos/FingerTree.hs, 4.7990, True
Tests/Macro/unit-pos/filterAbs.hs, 1.1070, True
Tests/Macro/unit-pos/FibEq.hs, 1.2116, True
Tests/Macro/unit-pos/Fib0.hs, 1.0682, True
Tests/Macro/unit-pos/FFI.hs, 1.0310, True
Tests/Macro/unit-pos/failName.hs, 0.9723, True
Tests/Macro/unit-pos/Fail.hs, 0.9590, True
Tests/Macro/unit-pos/extype.hs, 1.0444, True
Tests/Macro/unit-pos/exp0.hs, 1.0253, True
Tests/Macro/unit-pos/ExactGADT6.hs, 1.0294, True
Tests/Macro/unit-pos/ExactGADT2.hs, 1.0044, True
Tests/Macro/unit-pos/ExactGADT1.hs, 0.9882, True
Tests/Macro/unit-pos/ExactGADT0.hs, 1.0078, True
Tests/Macro/unit-pos/ExactGADT.hs, 0.9875, True
Tests/Macro/unit-pos/ExactADT6.hs, 1.0072, True
Tests/Macro/unit-pos/ex1.hs, 1.1109, True
Tests/Macro/unit-pos/ex01.hs, 0.9705, True
Tests/Macro/unit-pos/ex0.hs, 1.1142, True
Tests/Macro/unit-pos/Even0.hs, 0.9876, True
Tests/Macro/unit-pos/Even.hs, 0.9663, True
Tests/Macro/unit-pos/EvalQuery.hs, 1.2764, True
Tests/Macro/unit-pos/Eval.hs, 1.1770, True
Tests/Macro/unit-pos/eqelems.hs, 1.0698, True
Tests/Macro/unit-pos/eq-poly-measure.hs, 1.0051, True
Tests/Macro/unit-pos/elim01.hs, 1.0889, True
Tests/Macro/unit-pos/elim00.hs, 1.0090, True
Tests/Macro/unit-pos/elim-ex-map-3.hs, 1.7767, True
Tests/Macro/unit-pos/elim-ex-map-2.hs, 1.8036, True
Tests/Macro/unit-pos/elim-ex-map-1.hs, 1.7555, True
Tests/Macro/unit-pos/elim-ex-list.hs, 1.7179, True
Tests/Macro/unit-pos/elim-ex-let.hs, 1.6679, True
Tests/Macro/unit-pos/elim-ex-compose.hs, 1.3220, True
Tests/Macro/unit-pos/elems.hs, 1.0326, True
Tests/Macro/unit-pos/elements.hs, 1.2692, True
Tests/Macro/unit-pos/duplicate-bind.hs, 1.0020, True
Tests/Macro/unit-pos/dropwhile.hs, 1.2224, True
Tests/Macro/unit-pos/div000.hs, 1.0125, True
Tests/Macro/unit-pos/deptupW.hs, 1.0650, True
Tests/Macro/unit-pos/deptup3.hs, 1.0613, True
Tests/Macro/unit-pos/deptup1.hs, 1.1688, True
Tests/Macro/unit-pos/deptup.hs, 1.3784, True
Tests/Macro/unit-pos/DepTriples.hs, 1.0362, True
Tests/Macro/unit-pos/DependentPairsFun.hs, 0.9660, True
Tests/Macro/unit-pos/DependentPairs.hs, 1.0053, True
Tests/Macro/unit-pos/DepData.hs, 0.9941, True
Tests/Macro/unit-pos/deepmeas0.hs, 1.0657, True
Tests/Macro/unit-pos/DB00.hs, 1.0115, True
Tests/Macro/unit-pos/dataConQuals.hs, 0.9796, True
Tests/Macro/unit-pos/datacon1.hs, 0.9612, True
Tests/Macro/unit-pos/datacon0.hs, 1.1326, True
Tests/Macro/unit-pos/datacon-inv.hs, 0.9668, True
Tests/Macro/unit-pos/DataBase.hs, 1.0251, True
Tests/Macro/unit-pos/data2.hs, 1.1351, True
Tests/Macro/unit-pos/cut00.hs, 1.0167, True
Tests/Macro/unit-pos/csgordon_issue_296.hs, 0.9747, True
Tests/Macro/unit-pos/CountMonad.hs, 1.1289, True
Tests/Macro/unit-pos/coretologic.hs, 1.0289, True
Tests/Macro/unit-pos/ConstraintsAppend.hs, 1.5633, True
Tests/Macro/unit-pos/Constraints.hs, 1.0262, True
Tests/Macro/unit-pos/comprehensionTerm.hs, 1.3435, True
Tests/Macro/unit-pos/comprehension.hs, 0.9545, True
Tests/Macro/unit-pos/CompareConstraints.hs, 1.1852, True
Tests/Macro/unit-pos/compare2.hs, 1.0137, True
Tests/Macro/unit-pos/compare1.hs, 1.0453, True
Tests/Macro/unit-pos/compare.hs, 1.0144, True
Tests/Macro/unit-pos/CommentedOut.hs, 0.9939, True
Tests/Macro/unit-pos/comma.hs, 0.9834, True
Tests/Macro/unit-pos/Coercion.hs, 1.0362, True
Tests/Macro/unit-pos/cmptag0.hs, 1.0469, True
Tests/Macro/unit-pos/ClojurVector.hs, 1.3734, True
Tests/Macro/unit-pos/Client521.hs, 1.0247, True
Tests/Macro/unit-pos/ClassReg.hs, 1.0040, True
Tests/Macro/unit-pos/Class2.hs, 1.2535, True
Tests/Macro/unit-pos/Class.hs, 1.2710, True
Tests/Macro/unit-pos/Chunks.hs, 1.0562, True
Tests/Macro/unit-pos/CheckedNum.hs, 0.9879, True
Tests/Macro/unit-pos/CharLiterals.hs, 0.9594, True
Tests/Macro/unit-pos/Cat.hs, 0.9972, True
Tests/Macro/unit-pos/CasesToLogic.hs, 0.9846, True
Tests/Macro/unit-pos/case-lambda-join.hs, 1.1386, True
Tests/Macro/unit-pos/BST000.hs, 1.2592, True
Tests/Macro/unit-pos/BST.hs, 5.3082, True
Tests/Macro/unit-pos/bounds1.hs, 0.9868, True
Tests/Macro/unit-pos/bool2.hs, 0.9867, True
Tests/Macro/unit-pos/bool1.hs, 0.9760, True
Tests/Macro/unit-pos/bool0.hs, 0.9566, True
Tests/Macro/unit-pos/Books.hs, 1.0442, True
Tests/Macro/unit-pos/BinarySearchOverflow.hs, 1.3289, True
Tests/Macro/unit-pos/BinarySearch.hs, 1.1652, True
Tests/Macro/unit-pos/bangPatterns.hs, 0.9945, True
Tests/Macro/unit-pos/bag1.hs, 1.0563, True
Tests/Macro/unit-pos/AVLRJ.hs, 2.0781, True
Tests/Macro/unit-pos/AVL.hs, 1.7802, True
Tests/Macro/unit-pos/Avg.hs, 0.9928, True
Tests/Macro/unit-pos/AutoTerm1.hs, 1.0008, True
Tests/Macro/unit-pos/AutoTerm.hs, 1.0056, True
Tests/Macro/unit-pos/AutoSize.hs, 1.0053, True
Tests/Macro/unit-pos/Automate.hs, 1.1170, True
Tests/Macro/unit-pos/AssumedRecursive.hs, 0.9661, True
Tests/Macro/unit-pos/Assume.hs, 0.9785, True
Tests/Macro/unit-pos/anish1.hs, 0.9788, True
Tests/Macro/unit-pos/anftest.hs, 0.9753, True
Tests/Macro/unit-pos/anfbug.hs, 1.0664, True
Tests/Macro/unit-pos/AmortizedQueue.hs, 1.1589, True
Tests/Macro/unit-pos/alphaconvert-Set.hs, 1.2916, True
Tests/Macro/unit-pos/alphaconvert-List.hs, 1.4846, True
Tests/Macro/unit-pos/alias01.hs, 0.9595, True
Tests/Macro/unit-pos/alias00.hs, 0.9657, True
Tests/Macro/unit-pos/AdtPeano1.hs, 1.0045, True
Tests/Macro/unit-pos/AdtPeano0.hs, 1.0162, True
Tests/Macro/unit-pos/AdtList5.hs, 0.9844, True
Tests/Macro/unit-pos/AdtList4.hs, 1.0173, True
Tests/Macro/unit-pos/AdtList3.hs, 1.0058, True
Tests/Macro/unit-pos/AdtList2.hs, 1.0242, True
Tests/Macro/unit-pos/AdtList1.hs, 1.0044, True
Tests/Macro/unit-pos/AdtList0.hs, 0.9828, True
Tests/Macro/unit-pos/adt0.hs, 0.9931, True
Tests/Macro/unit-pos/Ackermann.hs, 1.0040, True
Tests/Macro/unit-pos/absref-crash0.hs, 1.0831, True
Tests/Macro/unit-pos/absref-crash.hs, 0.9801, True
Tests/Macro/unit-pos/Abs.hs, 0.9769, True
Tests/Macro/unit-neg/wrap1.hs, 1.0500, True
Tests/Macro/unit-neg/wrap0.hs, 1.0462, True
Tests/Macro/unit-neg/VerifiedNum.hs, 0.9581, True
Tests/Macro/unit-neg/vector2.hs, 1.4990, True
Tests/Macro/unit-neg/vector1a.hs, 1.2771, True
Tests/Macro/unit-neg/vector0a.hs, 1.0305, True
Tests/Macro/unit-neg/vector00.hs, 1.0241, True
Tests/Macro/unit-neg/Variance.hs, 0.9165, True
Tests/Macro/unit-neg/TypeLitNat.hs, 0.9079, True
Tests/Macro/unit-neg/tyclass0-unsafe.hs, 0.8969, True
Tests/Macro/unit-neg/truespec.hs, 0.9051, True
Tests/Macro/unit-neg/trans.hs, 1.5439, True
Tests/Macro/unit-neg/TotalHaskell.hs, 0.9072, True
Tests/Macro/unit-neg/TopLevel.hs, 0.9103, True
Tests/Macro/unit-neg/test2.hs, 0.9137, True
Tests/Macro/unit-neg/test1.hs, 0.9233, True
Tests/Macro/unit-neg/test00c.hs, 0.8442, True
Tests/Macro/unit-neg/test00b.hs, 0.9393, True
Tests/Macro/unit-neg/test00a.hs, 0.9214, True
Tests/Macro/unit-neg/test00.hs, 0.9153, True
Tests/Macro/unit-neg/TermReal.hs, 0.8579, True
Tests/Macro/unit-neg/TerminationNum0.hs, 0.9224, True
Tests/Macro/unit-neg/TerminationNum.hs, 0.8595, True
Tests/Macro/unit-neg/T743.hs, 0.9372, True
Tests/Macro/unit-neg/T743-mini.hs, 0.9331, True
Tests/Macro/unit-neg/T602.hs, 0.9337, True
Tests/Macro/unit-neg/T1814.hs, 1.2359, True
Tests/Macro/unit-neg/T1659.hs, 0.9233, True
Tests/Macro/unit-neg/T1657A.hs, 0.9136, True
Tests/Macro/unit-neg/T1657.hs, 0.8959, True
Tests/Macro/unit-neg/T1642A.hs, 0.9455, True
Tests/Macro/unit-neg/T1613.hs, 0.9364, True
Tests/Macro/unit-neg/T1604.hs, 0.9456, True
Tests/Macro/unit-neg/T1577.hs, 0.9542, True
Tests/Macro/unit-neg/T1555.hs, 0.9241, True
Tests/Macro/unit-neg/T1553A.hs, 0.9146, True
Tests/Macro/unit-neg/T1553.hs, 0.9068, True
Tests/Macro/unit-neg/T1546.hs, 0.9384, True
Tests/Macro/unit-neg/T1498A.hs, 0.9562, True
Tests/Macro/unit-neg/T1498.hs, 0.9275, True
Tests/Macro/unit-neg/T1490A.hs, 0.9524, True
Tests/Macro/unit-neg/T1490.hs, 0.9286, True
Tests/Macro/unit-neg/T1288.hs, 0.8999, True
Tests/Macro/unit-neg/T1286.hs, 0.8363, True
Tests/Macro/unit-neg/T1267.hs, 0.9336, True
Tests/Macro/unit-neg/T1198.3.hs, 0.9236, True
Tests/Macro/unit-neg/T1126.hs, 0.9452, True
Tests/Macro/unit-neg/T1095C.hs, 0.9349, True
Tests/Macro/unit-neg/sumPoly.hs, 0.8768, True
Tests/Macro/unit-neg/sumk.hs, 0.9990, True
Tests/Macro/unit-neg/Strings.hs, 0.9037, True
Tests/Macro/unit-neg/string00.hs, 0.9077, True
Tests/Macro/unit-neg/StrictPair1.hs, 0.9839, True
Tests/Macro/unit-neg/StrictPair0.hs, 0.9250, True
Tests/Macro/unit-neg/StateConstraints00.hs, 0.9465, True
Tests/Macro/unit-neg/StateConstraints0.hs, 49.7194, True
Tests/Macro/unit-neg/StateConstraints.hs, 1.7601, True
Tests/Macro/unit-neg/state00.hs, 0.9671, True
Tests/Macro/unit-neg/state0.hs, 0.9396, True
Tests/Macro/unit-neg/stacks.hs, 1.0068, True
Tests/Macro/unit-neg/Solver.hs, 1.3778, True
Tests/Macro/unit-neg/SafePartialFunctions.hs, 0.8914, True
Tests/Macro/unit-neg/risers.hs, 0.9417, True
Tests/Macro/unit-neg/RG.hs, 1.1914, True
Tests/Macro/unit-neg/ReWrite4.hs, 0.9746, True
Tests/Macro/unit-neg/ReWrite3.hs, 0.9424, True
Tests/Macro/unit-neg/ReWrite2.hs, 0.9796, True
Tests/Macro/unit-neg/ReWrite.hs, 0.9568, True
Tests/Macro/unit-neg/revshape.hs, 0.9268, True
Tests/Macro/unit-neg/RecSelector.hs, 0.9027, True
Tests/Macro/unit-neg/RecQSort.hs, 1.0036, True
Tests/Macro/unit-neg/record0.hs, 0.9268, True
Tests/Macro/unit-neg/Rebind.hs, 0.9110, True
Tests/Macro/unit-neg/range.hs, 1.1760, True
Tests/Macro/unit-neg/prune0.hs, 0.9961, True
Tests/Macro/unit-neg/Propability0.hs, 0.9733, True
Tests/Macro/unit-neg/Propability.hs, 1.0799, True
Tests/Macro/unit-neg/pred.hs, 0.8724, True
Tests/Macro/unit-neg/poslist.hs, 1.0383, True
Tests/Macro/unit-neg/polypred.hs, 0.9147, True
Tests/Macro/unit-neg/poly2.hs, 0.9326, True
Tests/Macro/unit-neg/poly2-degenerate.hs, 0.9453, True
Tests/Macro/unit-neg/poly1.hs, 0.9458, True
Tests/Macro/unit-neg/poly0.hs, 0.9541, True
Tests/Macro/unit-neg/partial.hs, 0.8953, True
Tests/Macro/unit-neg/pargs1.hs, 0.9084, True
Tests/Macro/unit-neg/pargs.hs, 0.9070, True
Tests/Macro/unit-neg/PairMeasure.hs, 0.9163, True
Tests/Macro/unit-neg/pair0.hs, 1.8683, True
Tests/Macro/unit-neg/pair.hs, 1.9655, True
Tests/Macro/unit-neg/null.hs, 0.8405, True
Tests/Macro/unit-neg/NoMethodBindingError.hs, 0.9157, True
Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs, 0.8384, True
Tests/Macro/unit-neg/nestedRecursion.hs, 0.9492, True
Tests/Macro/unit-neg/NameResolution.hs, 0.9043, True
Tests/Macro/unit-neg/MultipleInvariants.hs, 0.9099, True
Tests/Macro/unit-neg/MultiParamTypeClasses.hs, 0.9269, True
Tests/Macro/unit-neg/multi-pred-app-00.hs, 0.8392, True
Tests/Macro/unit-neg/mr00.hs, 1.0771, True
Tests/Macro/unit-neg/monad7.hs, 1.0940, True
Tests/Macro/unit-neg/monad6.hs, 0.9338, True
Tests/Macro/unit-neg/monad5.hs, 0.9806, True
Tests/Macro/unit-neg/monad4.hs, 1.0210, True
Tests/Macro/unit-neg/monad3.hs, 1.0146, True
Tests/Macro/unit-neg/MergeSort.hs, 1.1338, True
Tests/Macro/unit-neg/MeasureDups.hs, 1.0342, True
Tests/Macro/unit-neg/MeasureContains.hs, 0.9605, True
Tests/Macro/unit-neg/meas9.hs, 0.9271, True
Tests/Macro/unit-neg/meas7.hs, 0.9169, True
Tests/Macro/unit-neg/meas5.hs, 1.8437, True
Tests/Macro/unit-neg/meas3.hs, 0.9727, True
Tests/Macro/unit-neg/meas2.hs, 0.9474, True
Tests/Macro/unit-neg/meas0.hs, 0.9738, True
Tests/Macro/unit-neg/MaybeMonad.hs, 0.9854, True
Tests/Macro/unit-neg/maybe.hs, 0.9046, True
Tests/Macro/unit-neg/maps.hs, 1.0935, True
Tests/Macro/unit-neg/mapreduce.hs, 2.7165, True
Tests/Macro/unit-neg/mapreduce-tiny.hs, 0.9482, True
Tests/Macro/unit-neg/LocalSpec.hs, 0.9203, True
Tests/Macro/unit-neg/lit.hs, 0.8561, True
Tests/Macro/unit-neg/ListRange.hs, 1.0329, True
Tests/Macro/unit-neg/listne.hs, 0.8436, True
Tests/Macro/unit-neg/ListMSort.hs, 1.6161, True
Tests/Macro/unit-neg/ListKeys.hs, 0.9095, True
Tests/Macro/unit-neg/ListElem.hs, 0.9376, True
Tests/Macro/unit-neg/ListConcat.hs, 0.9663, True
Tests/Macro/unit-neg/list00.hs, 0.9275, True
Tests/Macro/unit-neg/LetRecStack.hs, 0.9593, True
Tests/Macro/unit-neg/LazyWhere1.hs, 0.9495, True
Tests/Macro/unit-neg/LazyWhere.hs, 0.9267, True
Tests/Macro/unit-neg/IntAbsRef.hs, 0.9108, True
Tests/Macro/unit-neg/inc2.hs, 0.8372, True
Tests/Macro/unit-neg/HolesTop.hs, 0.9155, True
Tests/Macro/unit-neg/HigherOrder.hs, 0.8974, True
Tests/Macro/unit-neg/Hex00.hs, 0.8570, True
Tests/Macro/unit-neg/HasElem.hs, 0.9981, True
Tests/Macro/unit-neg/grty3.hs, 0.9290, True
Tests/Macro/unit-neg/grty2.hs, 0.9465, True
Tests/Macro/unit-neg/grty1.hs, 0.9612, True
Tests/Macro/unit-neg/grty0.hs, 0.8711, True
Tests/Macro/unit-neg/GeneralizedTermination.hs, 0.9309, True
Tests/Macro/unit-neg/FunSoundness.hs, 0.8676, True
Tests/Macro/unit-neg/FunctionRef.hs, 0.9605, True
Tests/Macro/unit-neg/foldN1.hs, 0.9470, True
Tests/Macro/unit-neg/foldN.hs, 0.9376, True
Tests/Macro/unit-neg/filterAbs.hs, 1.0257, True
Tests/Macro/unit-neg/Fail1.hs, 0.8522, True
Tests/Macro/unit-neg/Fail.hs, 0.8849, True
Tests/Macro/unit-neg/ExactGADT7.hs, 0.9394, True
Tests/Macro/unit-neg/ExactGADT6.hs, 1.0408, True
Tests/Macro/unit-neg/ExactADT6.hs, 0.9738, True
Tests/Macro/unit-neg/ex1-unsafe.hs, 1.0257, True
Tests/Macro/unit-neg/ex0-unsafe.hs, 1.0314, True
Tests/Macro/unit-neg/EvalQuery.hs, 1.1259, True
Tests/Macro/unit-neg/Eval.hs, 1.0257, True
Tests/Macro/unit-neg/errorloc.hs, 0.9148, True
Tests/Macro/unit-neg/errmsg.hs, 0.9421, True
Tests/Macro/unit-neg/elim000.hs, 0.9431, True
Tests/Macro/unit-neg/elim-ex-list.hs, 1.6092, True
Tests/Macro/unit-neg/elim-ex-compose.hs, 1.0574, True
Tests/Macro/unit-neg/DependentTypes.hs, 0.9455, True
Tests/Macro/unit-neg/datacon-eq.hs, 0.9267, True
Tests/Macro/unit-neg/csv.hs, 1.4318, True
Tests/Macro/unit-neg/coretologic.hs, 0.9486, True
Tests/Macro/unit-neg/contra0.hs, 0.9511, True
Tests/Macro/unit-neg/ConstraintsAppend.hs, 1.5147, True
Tests/Macro/unit-neg/Constraints.hs, 0.9285, True
Tests/Macro/unit-neg/concat2.hs, 1.2246, True
Tests/Macro/unit-neg/concat1.hs, 1.1026, True
Tests/Macro/unit-neg/concat.hs, 1.1891, True
Tests/Macro/unit-neg/CompareConstraints.hs, 1.1041, True
Tests/Macro/unit-neg/Class4.hs, 0.9473, True
Tests/Macro/unit-neg/Class3.hs, 0.9618, True
Tests/Macro/unit-neg/Class2.hs, 0.9666, True
Tests/Macro/unit-neg/Class1.hs, 1.0882, True
Tests/Macro/unit-neg/CheckedNum.hs, 0.9465, True
Tests/Macro/unit-neg/CharLiterals.hs, 0.8592, True
Tests/Macro/unit-neg/CastedTotality.hs, 0.9150, True
Tests/Macro/unit-neg/Books.hs, 0.9879, True
Tests/Macro/unit-neg/BinarySearchOverflow.hs, 0.9303, True
Tests/Macro/unit-neg/BigNum.hs, 0.8983, True
Tests/Macro/unit-neg/Baz.hs, 0.8921, True
Tests/Macro/unit-neg/bag1.hs, 0.9654, True
Tests/Macro/unit-neg/BadNats.hs, 0.9075, True
Tests/Macro/unit-neg/AutoTerm1.hs, 0.9178, True
Tests/Macro/unit-neg/AutoSize.hs, 1.7844, True
Tests/Macro/unit-neg/Automate.hs, 0.9742, True
Tests/Macro/unit-neg/Ast.hs, 1.0223, True
Tests/Macro/unit-neg/ass0.hs, 0.8372, True
Tests/Macro/unit-neg/alias00.hs, 0.8659, True
Tests/Macro/unit-neg/AdtPeano1.hs, 0.9446, True
Tests/Macro/unit-neg/AdtPeano0.hs, 0.9363, True
Tests/Macro/unit-neg/AbsApp.hs, 0.9013, True
Tests/Prover/foundations/Lists.hs, 23.1529, True
Tests/Prover/foundations/InductionRJ.hs, 1.6816, True
Tests/Prover/foundations/Induction.hs, 1.4000, True
Tests/Prover/foundations/Basics.hs, 4.1350, True
Tests/Prover/prover_ple_lib/Proves.hs, 1.2908, True
Tests/Prover/prover_ple_lib/Helper.hs, 1.9382, True
Tests/Prover/without_ple_pos/Unification.hs, 8.0751, True
Tests/Prover/without_ple_pos/Solver.hs, 1.7357, True
Tests/Prover/without_ple_pos/Peano.hs, 1.6023, True
Tests/Prover/without_ple_pos/Overview.hs, 3.3893, True
Tests/Prover/without_ple_pos/NaturalDeduction.hs, 1.2079, True
Tests/Prover/without_ple_pos/NatInduction.hs, 1.1429, True
Tests/Prover/without_ple_pos/MonoidMaybe.hs, 1.2123, True
Tests/Prover/without_ple_pos/MonoidList.hs, 1.3951, True
Tests/Prover/without_ple_pos/MonadMaybe.hs, 1.2469, True
Tests/Prover/without_ple_pos/MonadList.hs, 3.4571, True
Tests/Prover/without_ple_pos/MonadId.hs, 1.3660, True
Tests/Prover/without_ple_pos/MapFusion.hs, 2.3558, True
Tests/Prover/without_ple_pos/FunctorMaybe.hs, 1.3805, True
Tests/Prover/without_ple_pos/FunctorList.hs, 3.0143, True
Tests/Prover/without_ple_pos/FunctorId.hs, 1.2511, True
Tests/Prover/without_ple_pos/FoldrUniversal.hs, 2.5378, True
Tests/Prover/without_ple_pos/Fibonacci.hs, 2.2416, True
Tests/Prover/without_ple_pos/Euclide.hs, 1.0362, True
Tests/Prover/without_ple_pos/Compose.hs, 1.0034, True
Tests/Prover/without_ple_pos/BasicLambdas.hs, 1.0166, True
Tests/Prover/without_ple_pos/ApplicativeMaybe.hs, 3.1843, True
Tests/Prover/without_ple_pos/ApplicativeId.hs, 1.6755, True
Tests/Prover/without_ple_pos/Append.hs, 2.1443, True
Tests/Prover/without_ple_neg/MonadMaybe.hs, 1.2020, True
Tests/Prover/without_ple_neg/MonadList.hs, 11.0580, True
Tests/Prover/without_ple_neg/MapFusion.hs, 5.3721, True
Tests/Prover/without_ple_neg/FunctorMaybe.hs, 1.5640, True
Tests/Prover/without_ple_neg/FunctorList.hs, 4.6876, True
Tests/Prover/without_ple_neg/Fibonacci.hs, 2.6766, True
Tests/Prover/without_ple_neg/BasicLambdas.hs, 1.0057, True
Tests/Prover/without_ple_neg/ApplicativeMaybe.hs, 3.8617, True
Tests/Prover/without_ple_neg/Append.hs, 2.2240, True
Tests/Prover/with_ple/Unification.hs, 3.9328, True
Tests/Prover/with_ple/Solver.hs, 1.7744, True
Tests/Prover/with_ple/Peano.hs, 1.2695, True
Tests/Prover/with_ple/Overview.hs, 3.0086, True
Tests/Prover/with_ple/NaturalDeduction.hs, 1.2651, True
Tests/Prover/with_ple/NatInduction.hs, 1.1499, True
Tests/Prover/with_ple/MonoidMaybe.hs, 1.0744, True
Tests/Prover/with_ple/MonoidList.hs, 1.1881, True
Tests/Prover/with_ple/MonadMaybe.hs, 1.0810, True
Tests/Prover/with_ple/MonadList.hs, 1.3433, True
Tests/Prover/with_ple/MonadId.hs, 1.0865, True
Tests/Prover/with_ple/Maybe.hs, 1.0093, True
Tests/Prover/with_ple/MapFusion.hs, 1.1454, True
Tests/Prover/with_ple/Lists.hs, 1.1788, True
Tests/Prover/with_ple/FunctorMaybe.hs, 1.1796, True
Tests/Prover/with_ple/FunctorList.hs, 1.1434, True
Tests/Prover/with_ple/FunctorId.hs, 1.1257, True
Tests/Prover/with_ple/FoldrUniversal.hs, 1.2506, True
Tests/Prover/with_ple/Fibonacci.hs, 1.3548, True
Tests/Prover/with_ple/Euclide.hs, 1.0851, True
Tests/Prover/with_ple/Compose.hs, 1.1483, True
Tests/Prover/with_ple/BasicLambdas.hs, 1.0237, True
Tests/Prover/with_ple/ApplicativeMaybe.hs, 1.2018, True
Tests/Prover/with_ple/ApplicativeList.hs, 3.3606, True
Tests/Prover/with_ple/ApplicativeId.hs, 1.0932, True
Tests/Prover/with_ple/Append.hs, 1.2731, True
Tests/Benchmarks/cse230/Verifier.hs, 3.9097, True
Tests/Benchmarks/cse230/STLC.lhs, 12.2121, True
Tests/Benchmarks/cse230/State.hs, 0.8933, True
Tests/Benchmarks/cse230/ProofCombinators.hs, 0.7346, True
Tests/Benchmarks/cse230/Lec_3_15.hs, 1.8375, True
Tests/Benchmarks/cse230/Lec_3_11.hs, 2.0158, True
Tests/Benchmarks/cse230/Imp.hs, 1.0098, True
Tests/Benchmarks/cse230/Expressions.hs, 0.9714, True
Tests/Benchmarks/cse230/BigStep.hs, 1.1231, True
Tests/Benchmarks/cse230/Axiomatic.hs, 1.1915, True
Tests/Benchmarks/esop/Toy.hs, 1.6514, True
Tests/Benchmarks/esop/Splay.hs, 5.3301, True
Tests/Benchmarks/esop/ListSort.hs, 2.3264, True
Tests/Benchmarks/esop/GhcListSort.hs, 4.5516, True
Tests/Benchmarks/esop/Fib.hs, 1.2895, True
Tests/Benchmarks/esop/Base.hs, 67.6551, True
Tests/Benchmarks/esop/Array.hs, 2.3067, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs, 1.3930, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs, 2.3984, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs, 5.7993, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs, 1.2876, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs, 4.5024, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs, 2.1496, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs, 23.3691, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs, 350.5894, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs, 6.3206, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs, 37.1711, True
Tests/Benchmarks/vect-algs/Setup.lhs, 1.6232, True
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs, 0.9999, True
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs, 11.3918, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs, 1.6968, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs, 8.6292, True
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs, 62.5119, True
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs, 2.8732, True
Tests/Benchmarks/bytestring/Data/ByteString.hs, 4.6586, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs, 53.2285, True
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs, 5.1984, True
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs, 10.8006, True
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs, 27.8539, True
Tests/Benchmarks/text/Data/Text/Util.hs, 1.1580, True
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs, 2.4702, True
Tests/Benchmarks/text/Data/Text/Fusion/Internal.hs, 1.6491, True
Tests/Benchmarks/text/Data/Text/Array.hs, 3.9193, True
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs, 2.5743, True
Tests/Benchmarks/text/Data/Text/Internal.hs, 7.9931, True
Tests/Benchmarks/text/Data/Text/Search.hs, 54.9290, True
Tests/Benchmarks/text/Data/Text/Axioms.hs, 1.9161, True
Tests/Benchmarks/text/Data/Text/Unsafe.hs, 3.9081, True
Tests/Benchmarks/text/Data/Text/Private.hs, 2.2697, True
Tests/Benchmarks/text/Data/Text/Fusion/Common.hs, 5.4157, True
Tests/Benchmarks/text/Data/Text/Fusion.hs, 22.8872, True
Tests/Benchmarks/text/Data/Text/Foreign.hs, 3.0403, True
Tests/Benchmarks/text/Data/Text.hs, 40.1897, True
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs, 3.4240, True
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs, 26.2873, True
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs, 5.9644, True
Tests/Benchmarks/text/Data/Text/Lazy.hs, 25.2160, True
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs, 7.7395, True
Tests/Benchmarks/text/Data/Text/Encoding/Fusion.hs, 66.1851, True
Tests/Benchmarks/text/Data/Text/Encoding.hs, 4.7219, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding/Fusion.hs, 4.3963, True
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs, 64.1159, True
Tests/Benchmarks/icfp_pos/RIO.hs, 1.1171, True
Tests/Benchmarks/icfp_pos/RIO2.hs, 1.0751, True
Tests/Benchmarks/icfp_pos/WhileM.hs, 1.7892, True
Tests/Benchmarks/icfp_pos/DataBase.hs, 5.6719, True
Tests/Benchmarks/icfp_pos/WhileTest.hs, 1.4523, True
Tests/Benchmarks/icfp_pos/TestM.hs, 1.1255, True
Tests/Benchmarks/icfp_pos/Privileges.hs, 1.2354, True
Tests/Benchmarks/icfp_pos/Overview.lhs, 32.3874, True
Tests/Benchmarks/icfp_pos/Incr.hs, 1.7395, True
Tests/Benchmarks/icfp_pos/Incr-elim.hs, 1.3921, True
Tests/Benchmarks/icfp_pos/IfM2.hs, 4.7747, True
Tests/Benchmarks/icfp_pos/IfM.hs, 20.2572, True
Tests/Benchmarks/icfp_pos/ICFP15.lhs, 1.7688, True
Tests/Benchmarks/icfp_pos/FoldAbs.hs, 32.4295, True
Tests/Benchmarks/icfp_pos/Filter.lhs, 1.2116, True
Tests/Benchmarks/icfp_pos/dropwhile.hs, 1.1830, True
Tests/Benchmarks/icfp_pos/DBMovies.hs, 3.1601, True
Tests/Benchmarks/icfp_pos/Composition.hs, 1.1121, True
Tests/Benchmarks/icfp_pos/CompareConstraints.hs, 1.1937, True
Tests/Benchmarks/icfp_pos/Append.hs, 1.3669, True
Tests/Benchmarks/icfp_neg/RIO.hs, 1.0734, True
Tests/Benchmarks/icfp_neg/WhileM.hs, 1.0260, True
Tests/Benchmarks/icfp_neg/DataBase.hs, 5.7140, True
Tests/Benchmarks/icfp_neg/TestM.hs, 1.0407, True
Tests/Benchmarks/icfp_neg/Records.hs, 5.8235, True
Tests/Benchmarks/icfp_neg/IfM.hs, 1.0575, True
Tests/Benchmarks/icfp_neg/DBMovies.hs, 5.8722, True
Tests/Benchmarks/icfp_neg/Composition.hs, 1.0579, True