liquidhaskell-0.8.10.7: tests/logs/typeclasses-analysis/compare-typeclass.csv

test,develop time(s),typeclass time(s),typeclass - develop time(s)
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs,335.6207,350.5894,14.968700000000013
Tests/Benchmarks/text/Data/Text/Search.hs,51.3226,54.929,3.6064000000000007
Tests/Benchmarks/esop/Base.hs,64.8618,67.6551,2.793300000000002
Tests/Benchmarks/text/Data/Text/Encoding/Fusion.hs,63.624,66.1851,2.5611000000000033
Tests/Benchmarks/icfp_pos/Overview.lhs,29.9896,32.3874,2.3978
Tests/Benchmarks/icfp_pos/FoldAbs.hs,30.6049,32.4295,1.8245999999999967
Tests/Benchmarks/text/Data/Text.hs,38.4429,40.1897,1.7468000000000004
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs,35.5137,37.1711,1.6574000000000026
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs,62.9077,64.1159,1.208199999999998
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs,22.3748,23.3691,0.9942999999999991
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs,26.9462,27.8539,0.9076999999999984
Tests/Macro/unit-pos/T1547.hs,0.9556,1.6094,0.6537999999999999
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs,25.676,26.2873,0.6113
Tests/Macro/unit-pos/FingerTree.hs,4.199,4.799,0.6000000000000005
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs,10.2608,10.8006,0.5397999999999996
Tests/Macro/unit-pos/BST.hs,4.7814,5.3082,0.5268000000000006
Tests/Benchmarks/text/Data/Text/Fusion.hs,22.3918,22.8872,0.49540000000000006
Tests/Benchmarks/text/Data/Text/Lazy.hs,24.7249,25.216,0.4910999999999994
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs,7.2791,7.7395,0.4603999999999999
Tests/Benchmarks/text/Data/Text/Internal.hs,7.5399,7.9931,0.4531999999999998
Tests/Macro/unit-pos/T1548.hs,1.3575,1.7505,0.393
Tests/Macro/unit-pos/QQTySyn.hs,1.7096,2.0469,0.33729999999999993
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs,4.8657,5.1984,0.3327
Tests/Benchmarks/icfp_neg/DBMovies.hs,5.5659,5.8722,0.30630000000000024
Tests/Prover/with_ple/ApplicativeList.hs,3.0596,3.3606,0.3009999999999997
Tests/Micro/basic-neg/poly00.hs,0.4284,0.7176,0.2892
Tests/Macro/unit-pos/Map2.hs,9.8693,10.1494,0.2800999999999991
Tests/Macro/unit-pos/T1642.hs,1.1166,1.3883,0.27170000000000005
Tests/Macro/unit-pos/StructRec.hs,0.9868,1.2561,0.2693
Tests/Benchmarks/text/Data/Text/Unsafe.hs,3.6437,3.9081,0.2644000000000002
Tests/Benchmarks/vect-algs/Setup.lhs,1.3675,1.6232,0.25570000000000004
Tests/Benchmarks/text/Data/Text/Encoding.hs,4.4669,4.7219,0.2549999999999999
Tests/Macro/unit-pos/GhcSort3.hs,2.943,3.1968,0.2538
Tests/Benchmarks/bytestring/Data/ByteString.hs,4.4063,4.6586,0.25229999999999997
Tests/Prover/with_ple/Overview.hs,2.7675,3.0086,0.24109999999999987
Tests/Micro/basic-neg/List00.hs,0.4563,0.6827,0.2264
Tests/Micro/parser-pos/Tuples.hs,0.5036,0.7276,0.22399999999999998
Tests/Micro/basic-neg/T1459.hs,0.4051,0.629,0.2239
Tests/Micro/basic-pos/alias00.hs,0.408,0.6294,0.22139999999999999
Tests/Macro/unit-pos/T1568.hs,1.0072,1.2201,0.21289999999999987
Tests/Micro/basic-neg/inc01q.hs,0.4439,0.6567,0.21279999999999993
Tests/Benchmarks/text/Data/Text/Lazy/Encoding/Fusion.hs,4.1843,4.3963,0.21199999999999974
Tests/Macro/unit-pos/Sum.hs,0.9941,1.205,0.2109000000000001
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs,4.294,4.5024,0.20840000000000014
Tests/Micro/basic-pos/alias01.hs,0.4185,0.6139,0.19540000000000002
Tests/Micro/measure-pos/ple01.hs,0.4662,0.6593,0.1931
Tests/Micro/basic-neg/Inc04Lib.hs,0.418,0.6067,0.18870000000000003
Tests/Benchmarks/icfp_neg/Records.hs,5.6358,5.8235,0.18770000000000042
Tests/Micro/basic-neg/inc02.hs,0.4898,0.6742,0.1844
Tests/Prover/without_ple_neg/Fibonacci.hs,2.4983,2.6766,0.17830000000000013
Tests/Benchmarks/text/Data/Text/Array.hs,3.7459,3.9193,0.1734
Tests/Prover/without_ple_neg/ApplicativeMaybe.hs,3.6903,3.8617,0.17139999999999977
Tests/Macro/unit-pos/primInt0.hs,1.8945,2.0611,0.16660000000000008
Tests/Benchmarks/esop/GhcListSort.hs,4.3892,4.5516,0.16239999999999988
Tests/Prover/with_ple/Compose.hs,0.9915,1.1483,0.15680000000000005
Tests/Micro/basic-pos/alias03.hs,0.4217,0.5784,0.1567
Tests/Micro/import-cli/ReflectClient4.hs,1.3173,1.4669,0.14960000000000018
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs,3.2745,3.424,0.14949999999999974
Tests/Micro/basic-pos/alias02.hs,0.4068,0.5553,0.14850000000000002
Tests/Benchmarks/text/Data/Text/Axioms.hs,1.7686,1.9161,0.14749999999999996
Tests/Micro/basic-pos/Float.hs,0.4005,0.5478,0.14729999999999993
Tests/Micro/ple-pos/padLeft.hs,1.688,1.834,0.14600000000000013
Tests/Macro/unit-pos/RBTree-col-height.hs,4.8418,4.9857,0.14389999999999947
Tests/Micro/basic-neg/inc03.hs,0.4412,0.5808,0.1396
Tests/Micro/basic-neg/Inc04.hs,0.4383,0.5779,0.13959999999999995
Tests/Benchmarks/icfp_neg/DataBase.hs,5.5745,5.714,0.13950000000000085
Tests/Benchmarks/text/Data/Text/Fusion/Common.hs,5.2826,5.4157,0.13309999999999977
Tests/Micro/measure-pos/RecordAccessors.hs,0.4494,0.5813,0.13190000000000002
Tests/Macro/unit-pos/AVL.hs,1.6497,1.7802,0.13050000000000006
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs,2.269,2.3984,0.12939999999999996
Tests/Macro/unit-pos/tyfam0.hs,1.0621,1.1905,0.12839999999999985
Tests/Micro/basic-pos/alias04.hs,0.405,0.5332,0.12819999999999998
Tests/Macro/unit-pos/mapreduce-bare.hs,3.8959,4.0206,0.12469999999999981
Tests/Prover/foundations/InductionRJ.hs,1.559,1.6816,0.12260000000000004
Tests/Benchmarks/text/Data/Text/Foreign.hs,2.9195,3.0403,0.12079999999999957
Tests/Benchmarks/icfp_pos/Incr-elim.hs,1.2715,1.3921,0.12059999999999982
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs,2.4548,2.5743,0.11949999999999994
Tests/Micro/basic-pos/Inc03Lib.hs,0.4039,0.5189,0.11500000000000005
Tests/Micro/parser-pos/T1012.hs,0.4031,0.5178,0.11470000000000002
Tests/Micro/basic-pos/List00.hs,0.3934,0.5079,0.11449999999999999
Tests/Benchmarks/cse230/State.hs,0.7809,0.8933,0.11239999999999994
Tests/Benchmarks/icfp_pos/DataBase.hs,5.5613,5.6719,0.11059999999999981
Tests/Micro/parser-pos/T873.hs,0.4045,0.5139,0.1094
Tests/Micro/import-cli/ReflectClient5.hs,1.2138,1.3228,0.10899999999999999
Tests/Micro/measure-pos/PruneHO.hs,0.4669,0.575,0.10809999999999997
Tests/Micro/basic-neg/inc01.hs,0.4932,0.6008,0.10759999999999997
Tests/Micro/basic-pos/inc01q.hs,0.4094,0.5163,0.1069
Tests/Micro/basic-pos/inc02.hs,0.4083,0.5112,0.10289999999999999
Tests/Prover/with_ple/Unification.hs,3.83,3.9328,0.10279999999999978
Tests/Micro/parser-pos/NestedTuples.hs,0.4047,0.5066,0.10190000000000005
Tests/Micro/parser-pos/T338.hs,0.4033,0.5048,0.10150000000000003
Tests/Micro/parser-pos/TokensAsPrefixes.hs,0.4072,0.5083,0.10109999999999997
Tests/Macro/unit-pos/ListQSort-LType.hs,1.8261,1.9269,0.1008
Tests/Prover/with_ple/FunctorMaybe.hs,1.079,1.1796,0.10060000000000002
Tests/Micro/parser-pos/T892.hs,0.4108,0.5104,0.09959999999999997
Tests/Prover/with_ple/Solver.hs,1.6764,1.7744,0.09800000000000009
Tests/Micro/parser-pos/Parens.hs,0.4059,0.5037,0.09780000000000005
Tests/Benchmarks/text/Data/Text/Util.hs,1.0613,1.158,0.09670000000000001
Tests/Micro/basic-pos/inc03.hs,0.4056,0.4995,0.09389999999999998
Tests/Macro/unit-pos/zipper.hs,1.7674,1.8607,0.09329999999999994
Tests/Micro/parser-pos/T1481.hs,0.4174,0.5106,0.09320000000000006
Tests/Micro/measure-pos/Using00.hs,0.4749,0.568,0.09309999999999996
Tests/Micro/basic-pos/inc00.hs,0.4133,0.5056,0.09230000000000005
Tests/Prover/without_ple_pos/Overview.hs,3.2978,3.3893,0.09149999999999991
Tests/Micro/basic-pos/SkipDerived00.hs,0.4099,0.501,0.09110000000000001
Tests/Benchmarks/icfp_neg/RIO.hs,0.9828,1.0734,0.0905999999999999
Tests/Benchmarks/cse230/Imp.hs,0.9196,1.0098,0.09020000000000006
Tests/Micro/parser-pos/ReflectedInfix.hs,0.4059,0.4956,0.0897
Tests/Benchmarks/esop/Array.hs,2.2181,2.3067,0.08860000000000001
Tests/Micro/basic-pos/inc01.hs,0.4067,0.495,0.08829999999999999
Tests/Micro/datacon-pos/NewType.hs,0.9638,1.0519,0.08810000000000007
Tests/Micro/import-cli/LiquidArrayInit.hs,1.2976,1.3855,0.08789999999999987
Tests/Micro/pattern-pos/TemplateHaskellLib.hs,2.7953,2.8819,0.08659999999999979
Tests/Prover/without_ple_pos/Peano.hs,1.516,1.6023,0.08630000000000004
Tests/Macro/unit-pos/transTAG.hs,1.7842,1.8676,0.08339999999999992
Tests/Macro/unit-pos/TypeAlias.hs,0.9705,1.0529,0.08239999999999992
Tests/Macro/unit-pos/QQTySigTyVars.hs,1.8045,1.8868,0.08230000000000004
Tests/Micro/basic-pos/poly00.hs,0.4161,0.4982,0.08209999999999995
Tests/Prover/prover_ple_lib/Proves.hs,1.2087,1.2908,0.08209999999999984
Tests/Micro/parser-pos/T871.hs,0.4308,0.5127,0.08190000000000003
Tests/Micro/basic-pos/inc04.hs,0.4267,0.5082,0.08149999999999996
Tests/Micro/parser-pos/T1531.hs,0.4177,0.4985,0.08079999999999998
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs,2.7936,2.8732,0.07960000000000012
Tests/Prover/with_ple/FoldrUniversal.hs,1.171,1.2506,0.079599999999999893
Tests/Micro/parser-pos/T884.hs,0.4254,0.5025,0.07709999999999995
Tests/Prover/with_ple/Peano.hs,1.1925,1.2695,0.07700000000000018
Tests/Micro/basic-pos/alias05.hs,0.4294,0.5062,0.07679999999999998
Tests/Prover/with_ple/FunctorId.hs,1.0495,1.1257,0.07619999999999982
Tests/Macro/unit-pos/eqelems.hs,0.994,1.0698,0.07580000000000009
Tests/Micro/ple-neg/BinahQuery.hs,2.0758,2.15,0.07419999999999982
Tests/Micro/import-cli/ReflectClient7.hs,1.2442,1.3167,0.07250000000000001
Tests/Macro/unit-pos/Resolve.hs,1.0709,1.1434,0.07250000000000001
Tests/Benchmarks/cse230/Axiomatic.hs,1.119,1.1915,0.07250000000000001
Tests/Micro/ple-pos/ple_sum.hs,0.9878,1.0602,0.07240000000000002
Tests/Macro/unit-neg/AbsApp.hs,0.8289,0.9013,0.07240000000000002
Tests/Micro/import-cli/ReflectClient4a.hs,1.2887,1.3608,0.07210000000000005
Tests/Micro/measure-neg/fst01.hs,0.9203,0.9918,0.07150000000000001
Tests/Micro/pattern-pos/TemplateHaskell.hs,1.2894,1.3603,0.07089999999999996
Tests/Micro/ple-neg/ExactGADT5.hs,1.2502,1.3203,0.07010000000000005
Tests/Prover/with_ple/NaturalDeduction.hs,1.195,1.2651,0.07009999999999983
Tests/Prover/prover_ple_lib/Helper.hs,1.8689,1.9382,0.06929999999999992
Tests/Micro/basic-pos/infer00.hs,0.4297,0.4986,0.06889999999999996
Tests/Macro/unit-pos/GhcSort1.hs,2.3904,2.4591,0.06869999999999976
Tests/Prover/with_ple/Lists.hs,1.1102,1.1788,0.0686
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs,5.7313,5.7993,0.06799999999999962
Tests/Macro/unit-pos/deptup.hs,1.3115,1.3784,0.06689999999999996
Tests/Benchmarks/text/Data/Text/Private.hs,2.2029,2.2697,0.06679999999999975
Tests/Micro/names-neg/Capture01.hs,0.8257,0.8923,0.06659999999999999
Tests/Macro/unit-pos/ResolvePred.hs,0.9793,1.0456,0.06630000000000014
Tests/Macro/unit-neg/FunctionRef.hs,0.8944,0.9605,0.06610000000000005
Tests/Micro/absref-pos/deptup0.hs,1.0937,1.1589,0.06520000000000015
Tests/Benchmarks/cse230/BigStep.hs,1.058,1.1231,0.06509999999999994
Tests/Macro/unit-neg/range.hs,1.1128,1.176,0.06319999999999992
Tests/Macro/unit-pos/ListISort-bag.hs,1.0345,1.0968,0.06230000000000002
Tests/Macro/unit-pos/Holes.hs,1.0211,1.0833,0.06220000000000003
Tests/Macro/unit-pos/T1034.hs,0.9795,1.0415,0.062000000000000055
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs,2.4087,2.4702,0.06150000000000011
Tests/Micro/measure-neg/fst00.hs,0.9252,0.9866,0.06140000000000001
Tests/Macro/unit-pos/RelativeComplete.hs,1.0122,1.0735,0.06129999999999991
Tests/Macro/unit-pos/ListRange.hs,1.0748,1.1359,0.06109999999999993
Tests/Prover/with_ple/Euclide.hs,1.024,1.0851,0.06109999999999993
Tests/Benchmarks/icfp_pos/RIO.hs,1.0563,1.1171,0.060799999999999965
Tests/Macro/unit-pos/testRec.hs,1.0026,1.0633,0.060699999999999976
Tests/Benchmarks/icfp_pos/TestM.hs,1.0648,1.1255,0.060699999999999976
Tests/Micro/ple-pos/T1173.hs,1.0633,1.1234,0.06010000000000004
Tests/Macro/unit-pos/StringLit.hs,0.9364,0.9962,0.059799999999999964
Tests/Macro/unit-pos/Product.hs,1.1375,1.1965,0.05899999999999994
Tests/Micro/measure-pos/ple1.hs,0.5304,0.5888,0.05840000000000001
Tests/Macro/unit-pos/T1286.hs,0.9611,1.0194,0.05830000000000013
Tests/Macro/unit-pos/SimplerNotation.hs,0.9599,1.018,0.05810000000000004
Tests/Macro/unit-pos/tyclass0.hs,0.9747,1.0327,0.05799999999999994
Tests/Macro/unit-pos/meas9.hs,1.0415,1.0992,0.05769999999999986
Tests/Macro/unit-pos/ListRange-LType.hs,1.1201,1.1777,0.057599999999999874
Tests/Macro/unit-neg/Rebind.hs,0.8536,0.911,0.05740000000000001
Tests/Benchmarks/esop/ListSort.hs,2.2697,2.3264,0.056700000000000195
Tests/Macro/unit-pos/T1363.hs,0.9699,1.0259,0.05600000000000005
Tests/Benchmarks/text/Data/Text/Fusion/Internal.hs,1.5931,1.6491,0.05600000000000005
Tests/Macro/unit-pos/polyfun.hs,0.9698,1.0254,0.055600000000000094
Tests/Macro/unit-pos/div000.hs,0.9569,1.0125,0.05559999999999998
Tests/Macro/unit-pos/meas11.hs,0.9634,1.0189,0.05549999999999988
Tests/Macro/unit-pos/qualTest.hs,0.9632,1.0186,0.055400000000000005
Tests/Prover/with_ple/MonoidList.hs,1.1327,1.1881,0.055399999999999894
Tests/Macro/unit-pos/poly1.hs,1.013,1.0683,0.05530000000000013
Tests/Micro/import-cli/RC1015.hs,1.1652,1.2198,0.05459999999999998
Tests/Macro/unit-pos/MeasureSets.hs,1.0011,1.0554,0.05429999999999979
Tests/Macro/unit-neg/BigNum.hs,0.8442,0.8983,0.05410000000000004
Tests/Micro/measure-pos/List02Lib.hs,0.4667,0.5207,0.05400000000000005
Tests/Micro/import-cli/CliAliasGen00.hs,1.116,1.1697,0.05369999999999986
Tests/Macro/unit-pos/unusedtyvars.hs,1.0413,1.0949,0.05360000000000009
Tests/Benchmarks/icfp_neg/WhileM.hs,0.9724,1.026,0.05359999999999998
Tests/Macro/unit-pos/maps.hs,1.1372,1.1904,0.053199999999999914
Tests/Macro/unit-neg/monad4.hs,0.9683,1.021,0.05269999999999986
Tests/Macro/unit-pos/AVLRJ.hs,2.0255,2.0781,0.05259999999999998
Tests/Macro/unit-pos/T1025.hs,1.0727,1.1246,0.05190000000000006
Tests/Micro/names-pos/Ord.hs,0.9714,1.0229,0.05149999999999988
Tests/Micro/import-cli/T1117.hs,1.2451,1.296,0.050899999999999945
Tests/Macro/unit-pos/GCD.hs,1.044,1.0949,0.050899999999999945
Tests/Macro/unit-pos/record1.hs,0.978,1.0288,0.050799999999999956
Tests/Macro/unit-pos/ReWrite3.hs,1.0475,1.0978,0.05030000000000001
Tests/Macro/unit-pos/Fib0.hs,1.0179,1.0682,0.05030000000000001
Tests/Micro/class-neg/RealProps0.hs,0.8093,0.8595,0.05020000000000002
Tests/Benchmarks/cse230/Expressions.hs,0.9219,0.9714,0.04949999999999999
Tests/Prover/with_ple/ApplicativeMaybe.hs,1.1525,1.2018,0.0492999999999999
Tests/Benchmarks/icfp_pos/IfM2.hs,4.7256,4.7747,0.049100000000000144
Tests/Micro/ple-pos/T1289.hs,0.9764,1.0255,0.04910000000000003
Tests/Macro/unit-pos/alphaconvert-List.hs,1.4355,1.4846,0.04909999999999992
Tests/Macro/unit-pos/zipSO.hs,1.0247,1.0737,0.049000000000000155
Tests/Prover/with_ple/Fibonacci.hs,1.3059,1.3548,0.048899999999999944
Tests/Macro/unit-pos/Infinity.hs,1.0258,1.0745,0.048699999999999966
Tests/Macro/unit-pos/Variance2.hs,1.0635,1.1118,0.04830000000000001
Tests/Micro/ple-pos/T1302b.hs,1.3346,1.3821,0.0475000000000001
Tests/Benchmarks/icfp_pos/ICFP15.lhs,1.7213,1.7688,0.047499999999999876
Tests/Micro/terminate-pos/T1403.hs,1.1293,1.1763,0.04699999999999993
Tests/Prover/without_ple_neg/BasicLambdas.hs,0.9592,1.0057,0.046499999999999986
Tests/Macro/unit-neg/pair.hs,1.9191,1.9655,0.0464
Tests/Micro/measure-pos/Ple1Lib.hs,0.5276,0.5739,0.04630000000000001
Tests/Micro/measure-pos/ple00.hs,0.4954,0.5415,0.046099999999999974
Tests/Micro/absref-pos/ListISort.hs,1.0125,1.0585,0.04600000000000004
Tests/Micro/ple-pos/T1371.hs,0.9733,1.0189,0.04559999999999986
Tests/Macro/unit-pos/hole-app.hs,0.9603,1.0058,0.045499999999999985
Tests/Macro/unit-pos/hello.hs,0.9764,1.0216,0.04520000000000002
Tests/Macro/unit-pos/GoodHMeas.hs,0.9511,0.9963,0.04520000000000002
Tests/Macro/unit-pos/meas8.hs,0.9736,1.0188,0.04519999999999991
Tests/Macro/unit-pos/infix.hs,0.9694,1.0144,0.04499999999999993
Tests/Macro/unit-pos/elim-ex-let.hs,1.623,1.6679,0.04489999999999994
Tests/Macro/unit-pos/Hole00.hs,1.0751,1.1195,0.044399999999999995
Tests/Micro/datacon-pos/Data00Lib.hs,0.9545,0.9987,0.04420000000000002
Tests/Prover/with_ple/MapFusion.hs,1.1012,1.1454,0.04420000000000002
Tests/Macro/unit-pos/T1278.3.hs,0.9855,1.0296,0.04410000000000003
Tests/Macro/unit-neg/mapreduce-tiny.hs,0.9041,0.9482,0.04410000000000003
Tests/Prover/with_ple/MonadList.hs,1.2993,1.3433,0.04400000000000004
Tests/Macro/unit-pos/state00.hs,0.9949,1.0388,0.04389999999999994
Tests/Micro/terminate-pos/AutoTerm.hs,0.9656,1.0094,0.04380000000000006
Tests/Macro/unit-pos/SimplifyTup00.hs,1.0207,1.0643,0.04360000000000008
Tests/Macro/unit-pos/ExactGADT2.hs,0.9609,1.0044,0.04349999999999998
Tests/Benchmarks/icfp_neg/IfM.hs,1.0141,1.0575,0.043400000000000105
Tests/Macro/unit-pos/profcrasher.hs,0.9435,0.9869,0.043399999999999994
Tests/Micro/names-pos/BasicLambdas01.hs,1.0028,1.0455,0.04270000000000018
Tests/Macro/unit-pos/WrapUnWrap.hs,0.9894,1.0321,0.04270000000000007
Tests/Macro/unit-pos/ExactGADT6.hs,0.9868,1.0294,0.04260000000000008
Tests/Micro/terminate-pos/list04-local.hs,0.9748,1.0173,0.04250000000000009
Tests/Benchmarks/icfp_neg/TestM.hs,0.9982,1.0407,0.04249999999999998
Tests/Macro/unit-neg/ConstraintsAppend.hs,1.4724,1.5147,0.042300000000000004
Tests/Benchmarks/icfp_pos/Privileges.hs,1.1936,1.2354,0.04180000000000006
Tests/Macro/unit-pos/LogicCurry1.hs,0.9747,1.0164,0.04169999999999996
Tests/Macro/unit-pos/maybe4.hs,0.9713,1.0129,0.04159999999999986
Tests/Macro/unit-pos/niki.hs,1.0257,1.0672,0.04149999999999987
Tests/Macro/unit-pos/cmptag0.hs,1.0054,1.0469,0.04149999999999987
Tests/Macro/unit-pos/Mod.hs,1.0044,1.0454,0.04100000000000015
Tests/Macro/unit-pos/Reduction.hs,0.9332,0.9741,0.040899999999999936
Tests/Macro/unit-neg/BadNats.hs,0.8666,0.9075,0.040899999999999936
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs,0.9592,0.9999,0.04069999999999996
Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs,0.9264,0.9666,0.040200000000000014
Tests/Micro/names-pos/HidePrelude.hs,0.7943,0.8343,0.040000000000000036
Tests/Micro/names-neg/vector0.hs,1.0523,1.0921,0.03980000000000006
Tests/Macro/unit-pos/PersistentVector.hs,1.1087,1.1483,0.03960000000000008
Tests/Macro/unit-pos/Fractional.hs,0.9863,1.0259,0.03960000000000008
Tests/Prover/with_ple/MonadMaybe.hs,1.0416,1.081,0.03939999999999988
Tests/Macro/unit-pos/TokenType.hs,0.9616,1.0002,0.03859999999999997
Tests/Macro/unit-pos/maybe2.hs,1.5708,1.6094,0.03859999999999997
Tests/Micro/terminate-pos/LocalTermExpr.hs,1.0926,1.1311,0.03849999999999998
Tests/Macro/unit-pos/maybe3.hs,0.9493,0.9878,0.03849999999999998
Tests/Macro/unit-pos/trans.hs,1.1129,1.1512,0.0383
Tests/Macro/unit-neg/AdtPeano1.hs,0.9066,0.9446,0.038000000000000034
Tests/Micro/datacon-pos/AdtPeano2.hs,0.9669,1.0049,0.03799999999999992
Tests/Micro/names-pos/local03.hs,0.9661,1.004,0.037900000000000045
Tests/Macro/unit-neg/T1814.hs,1.198,1.2359,0.037900000000000045
Tests/Micro/ple-pos/ExactGADT4.hs,1.1878,1.2256,0.037800000000000056
Tests/Macro/unit-pos/ResolveA.hs,1.0151,1.0527,0.03760000000000008
Tests/Micro/absref-neg/ListQSort.hs,1.3757,1.4131,0.0374000000000001
Tests/Macro/unit-pos/comma.hs,0.946,0.9834,0.0374000000000001
Tests/Macro/unit-pos/Hutton.hs,3.0108,3.048,0.0371999999999999
Tests/Macro/unit-pos/T1025a.hs,1.074,1.1107,0.036699999999999955
Tests/Micro/import-cli/ReflectClient3.hs,1.3495,1.3859,0.03639999999999999
Tests/Micro/import-cli/ReflectClient6.hs,1.2447,1.281,0.0363
Tests/Macro/unit-pos/recursion0.hs,0.9384,0.9747,0.0363
Tests/Macro/unit-pos/meas0a.hs,1.0189,1.0552,0.0363
Tests/Macro/unit-pos/Ackermann.hs,0.9677,1.004,0.0363
Tests/Error-Messages/Inconsistent0.hs,0.8763,0.9125,0.03620000000000001
Tests/Macro/unit-pos/HasElem.hs,1.0527,1.0886,0.03590000000000004
Tests/Macro/unit-pos/listAnf.hs,1.0664,1.1022,0.035800000000000054
Tests/Macro/unit-pos/AdtList5.hs,0.9488,0.9844,0.035600000000000076
Tests/Micro/class-neg/Class01.hs,0.8758,0.9113,0.035499999999999976
Tests/Micro/datacon-neg/Data00.hs,0.9011,0.9365,0.03539999999999999
Tests/Micro/import-cli/FunClashLibLibClient.hs,1.3379,1.3733,0.035399999999999876
Tests/Micro/import-cli/Client2.hs,0.9192,0.9544,0.03520000000000001
Tests/Macro/unit-neg/wrap1.hs,1.0149,1.05,0.03510000000000013
Tests/Benchmarks/cse230/ProofCombinators.hs,0.6995,0.7346,0.03510000000000002
Tests/Macro/unit-pos/LazyWhere1.hs,1.0016,1.0367,0.03509999999999991
Tests/Micro/absref-pos/deptupW.hs,1.0062,1.0411,0.03489999999999993
Tests/Micro/import-cli/T1096_Foo.hs,1.1549,1.1898,0.03489999999999993
Tests/Macro/unit-pos/T1060.hs,1.1065,1.1413,0.03479999999999994
Tests/Macro/unit-neg/datacon-eq.hs,0.8919,0.9267,0.03479999999999994
Tests/Micro/names-pos/vector1.hs,1.2971,1.3318,0.034700000000000175
Tests/Macro/unit-neg/nestedRecursion.hs,0.9147,0.9492,0.034500000000000086
Tests/Micro/terminate-pos/Lexicographic.hs,1.192,1.226,0.03400000000000003
Tests/Macro/unit-pos/null.hs,0.9395,0.9735,0.03400000000000003
Tests/Micro/ple-pos/ExactGADT7.hs,0.9867,1.0206,0.03389999999999993
Tests/Micro/names-pos/vector04.hs,1.0249,1.0587,0.03380000000000005
Tests/Prover/without_ple_pos/NaturalDeduction.hs,1.1742,1.2079,0.03370000000000006
Tests/Micro/ple-pos/BinahUpdate.hs,1.0474,1.081,0.03359999999999985
Tests/Macro/unit-neg/maps.hs,1.0599,1.0935,0.03359999999999985
Tests/Micro/measure-neg/List01.hs,0.8942,0.9277,0.033499999999999974
Tests/Macro/unit-pos/meas2.hs,0.9783,1.0117,0.033400000000000096
Tests/Macro/unit-pos/grty2.hs,0.9618,0.9952,0.033399999999999985
Tests/Macro/unit-pos/ExactGADT1.hs,0.9548,0.9882,0.033399999999999985
Tests/Micro/names-pos/ClojurVector.hs,1.3539,1.3871,0.033199999999999896
Tests/Macro/unit-pos/tupparse.hs,1.0194,1.0526,0.033199999999999896
Tests/Macro/unit-pos/lit.hs,0.9445,0.9776,0.03310000000000002
Tests/Micro/terminate-pos/term00.hs,0.9579,0.9909,0.03300000000000003
Tests/Prover/with_ple/MonadId.hs,1.0535,1.0865,0.03299999999999992
Tests/Macro/unit-pos/T1267.hs,1.0185,1.0514,0.03289999999999993
Tests/Macro/unit-pos/invlhs.hs,0.9615,0.9943,0.03279999999999994
Tests/Macro/unit-pos/Chunks.hs,1.0235,1.0562,0.03269999999999995
Tests/Micro/names-neg/T1078.hs,0.9563,0.9886,0.032299999999999995
Tests/Macro/unit-pos/meas6.hs,1.1415,1.1738,0.032299999999999995
Tests/Macro/unit-neg/meas3.hs,0.9404,0.9727,0.032299999999999995
Tests/Micro/import-cli/ReflectClient1.hs,1.1535,1.1857,0.032200000000000006
Tests/Micro/import-cli/Client0.hs,1.0866,1.1188,0.032200000000000006
Tests/Prover/with_ple/Maybe.hs,0.9772,1.0093,0.03210000000000013
Tests/Macro/unit-neg/pargs1.hs,0.8764,0.9084,0.03200000000000003
Tests/Macro/unit-pos/elim01.hs,1.0571,1.0889,0.03180000000000005
Tests/Macro/unit-pos/ConstraintsAppend.hs,1.5316,1.5633,0.03169999999999984
Tests/Macro/unit-pos/ExactGADT.hs,0.9559,0.9875,0.03160000000000007
Tests/Micro/class-neg/Inst00.hs,0.9295,0.9611,0.03159999999999996
Tests/Macro/unit-pos/T1288.hs,0.9484,0.9799,0.03149999999999997
Tests/Macro/unit-pos/LocalSpecLib.hs,0.9555,0.987,0.03149999999999997
Tests/Micro/names-neg/local00.hs,0.8443,0.8752,0.030899999999999928
Tests/Prover/foundations/Basics.hs,4.1041,4.135,0.030899999999999928
Tests/Macro/unit-pos/exp0.hs,0.9947,1.0253,0.03060000000000007
Tests/Macro/unit-pos/top0.hs,1.04,1.0706,0.03059999999999996
Tests/Macro/unit-pos/MapFusion.hs,1.0958,1.1264,0.03059999999999996
Tests/Benchmarks/icfp_pos/RIO2.hs,1.0445,1.0751,0.03059999999999996
Tests/Macro/unit-pos/extype.hs,1.0139,1.0444,0.03049999999999997
Tests/Macro/unit-pos/maybe0.hs,0.968,0.9984,0.030399999999999983
Tests/Macro/unit-pos/GeneralizedTermination.hs,1.0564,1.0868,0.030399999999999983
Tests/Macro/unit-pos/DepData.hs,0.964,0.9941,0.030100000000000016
Tests/Prover/without_ple_pos/Solver.hs,1.7056,1.7357,0.030100000000000016
Tests/Micro/names-pos/Assume00.hs,0.9661,0.9961,0.030000000000000027
Tests/Micro/absref-neg/deptupW.hs,0.9828,1.0128,0.029999999999999916
Tests/Micro/ple-pos/MossakaBug.hs,1.1474,1.1773,0.029900000000000038
Tests/Macro/unit-neg/Propability.hs,1.05,1.0799,0.029900000000000038
Tests/Micro/measure-neg/List00.hs,0.8823,0.9121,0.02980000000000005
Tests/Macro/unit-pos/poly2.hs,1.0007,1.0305,0.02980000000000005
Tests/Macro/unit-pos/Graph.hs,1.14,1.1698,0.02980000000000005
Tests/Macro/unit-pos/duplicate-bind.hs,0.9722,1.002,0.02980000000000005
Tests/Macro/unit-pos/LazyWhere.hs,0.9749,1.0046,0.02969999999999995
Tests/Micro/import-cli/LibRedBlue.hs,1.3413,1.3706,0.029300000000000104
Tests/Macro/unit-pos/TypeLitString.hs,0.9921,1.0213,0.029200000000000115
Tests/Macro/unit-pos/T1498.hs,0.9687,0.9979,0.029200000000000004
Tests/Macro/unit-neg/HasElem.hs,0.9689,0.9981,0.029200000000000004
Tests/Macro/unit-neg/Strings.hs,0.8745,0.9037,0.029199999999999893
Tests/Macro/unit-pos/modTest.hs,0.9653,0.9942,0.028899999999999926
Tests/Macro/unit-pos/T1065.hs,1.0433,1.072,0.02870000000000017
Tests/Macro/unit-pos/ListLen-LType.hs,1.3375,1.3662,0.02870000000000017
Tests/Macro/unit-pos/ite.hs,0.9418,0.9705,0.02870000000000006
Tests/Macro/unit-pos/zipW.hs,1.0204,1.0491,0.028699999999999948
Tests/Macro/unit-pos/T819.hs,1.0583,1.087,0.028699999999999948
Tests/Macro/unit-pos/StackMachine.hs,1.1323,1.161,0.028699999999999948
Tests/Benchmarks/icfp_pos/WhileM.hs,1.7605,1.7892,0.028699999999999948
Tests/Macro/unit-pos/BST000.hs,1.2306,1.2592,0.02860000000000018
Tests/Macro/unit-pos/HaskellMeasure.hs,0.9555,0.9841,0.02859999999999996
Tests/Macro/unit-neg/Ast.hs,0.9938,1.0223,0.02849999999999997
Tests/Macro/unit-pos/FFI.hs,1.0027,1.031,0.028299999999999992
Tests/Macro/unit-pos/meas00a.hs,0.9483,0.9765,0.028200000000000003
Tests/Macro/unit-neg/pred.hs,0.8443,0.8724,0.028099999999999903
Tests/Macro/unit-pos/poly3a.hs,0.9591,0.9871,0.028000000000000025
Tests/Benchmarks/esop/Splay.hs,5.3021,5.3301,0.02799999999999958
Tests/Micro/ple-pos/pleORM.hs,1.1944,1.2223,0.027900000000000036
Tests/Macro/unit-pos/inline1.hs,0.9809,1.0087,0.027799999999999936
Tests/Macro/unit-pos/poslist_dc.hs,1.0022,1.0299,0.027700000000000058
Tests/Macro/unit-pos/MutuallyDependentADT.hs,0.9767,1.0044,0.027699999999999947
Tests/Micro/names-pos/local01.hs,0.9772,1.0047,0.02749999999999997
Tests/Macro/unit-pos/poslist.hs,1.0902,1.1177,0.027499999999999858
Tests/Macro/unit-pos/lit00.hs,0.99,1.0174,0.02740000000000009
Tests/Macro/unit-pos/Hex00.hs,0.9476,0.975,0.02739999999999998
Tests/Micro/ple-pos/StlcBug.hs,1.0702,1.0976,0.02739999999999987
Tests/Macro/unit-pos/wrap1.hs,1.1,1.1274,0.02739999999999987
Tests/Micro/measure-neg/ple0.hs,0.8874,0.9147,0.02729999999999999
Tests/Macro/unit-pos/maybe1.hs,1.0949,1.1221,0.027200000000000113
Tests/Macro/unit-pos/meas10.hs,1.0978,1.125,0.02719999999999989
Tests/Macro/unit-pos/T1024.hs,0.9655,0.9926,0.027100000000000013
Tests/Macro/unit-neg/poslist.hs,1.0113,1.0383,0.026999999999999913
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs,1.6699,1.6968,0.026900000000000146
Tests/Error-Messages/ErrLocation2.hs,0.8502,0.8768,0.026600000000000068
Tests/Macro/unit-pos/grty3.hs,0.9555,0.9821,0.026599999999999957
Tests/Micro/import-cli/STClient.hs,1.5325,1.559,0.026499999999999968
Tests/Micro/ple-neg/ReflectDefault.hs,0.9204,0.9469,0.026499999999999968
Tests/Macro/unit-neg/Solver.hs,1.3513,1.3778,0.026499999999999968
Tests/Benchmarks/icfp_pos/Filter.lhs,1.1851,1.2116,0.026499999999999968
Tests/Micro/import-cli/T1104Client.hs,1.1966,1.223,0.02639999999999998
Tests/Macro/unit-pos/LooLibLib.hs,0.9466,0.973,0.02639999999999998
Tests/Macro/unit-pos/polyqual.hs,1.2601,1.2864,0.02629999999999999
Tests/Micro/names-pos/BasicLambdas00.hs,0.9863,1.0125,0.0262
Tests/Macro/unit-neg/Books.hs,0.9617,0.9879,0.0262
Tests/Macro/unit-pos/bag1.hs,1.0304,1.0563,0.025900000000000034
Tests/Macro/unit-pos/AdtList2.hs,0.9983,1.0242,0.025900000000000034
Tests/Macro/unit-neg/MeasureContains.hs,0.9346,0.9605,0.025900000000000034
Tests/Macro/unit-neg/test1.hs,0.8975,0.9233,0.025800000000000045
Tests/Macro/unit-pos/forloop.hs,1.2178,1.2435,0.025700000000000056
Tests/Macro/unit-pos/absref-crash0.hs,1.0574,1.0831,0.025700000000000056
Tests/Micro/class-pos/Inst00.hs,0.9757,1.0013,0.025600000000000067
Tests/Macro/unit-pos/grty0.hs,0.9533,0.9788,0.025499999999999967
Tests/Benchmarks/icfp_pos/Composition.hs,1.0867,1.1121,0.02540000000000009
Tests/Prover/with_ple/BasicLambdas.hs,0.9985,1.0237,0.0252
Tests/Micro/ple-pos/T1409.hs,1.0271,1.0522,0.025100000000000122
Tests/Macro/unit-pos/ListKeys.hs,1.003,1.028,0.025000000000000133
Tests/Error-Messages/InlineSubExp0.hs,0.944,0.969,0.025000000000000022
Tests/Macro/unit-pos/AutoSize.hs,0.9804,1.0053,0.024900000000000033
Tests/Macro/unit-neg/sumPoly.hs,0.8519,0.8768,0.024900000000000033
Tests/Macro/unit-neg/ListConcat.hs,0.9414,0.9663,0.024900000000000033
Tests/Micro/terminate-pos/T1245.hs,1.0347,1.0595,0.024800000000000155
Tests/Macro/unit-pos/failName.hs,0.9475,0.9723,0.024800000000000044
Tests/Micro/terminate-pos/list00-local.hs,0.9442,0.969,0.024799999999999933
Tests/Macro/unit-pos/implies.hs,0.9334,0.9581,0.024699999999999944
Tests/Macro/unit-pos/compare1.hs,1.0206,1.0453,0.024699999999999944
Tests/Macro/unit-pos/T1544.hs,0.9953,1.0199,0.024600000000000066
Tests/Micro/names-pos/LocalSpec.hs,0.9723,0.9969,0.024599999999999955
Tests/Micro/import-cli/ExactGADT9.hs,1.246,1.2705,0.024499999999999966
Tests/Macro/unit-pos/Repeat.hs,0.9977,1.0221,0.024399999999999977
Tests/Micro/names-pos/Assume01.hs,0.9729,0.9971,0.0242
Tests/Micro/rankN-pos/Test00.hs,0.9905,1.0147,0.024199999999999888
Tests/Macro/unit-pos/elim00.hs,0.985,1.009,0.02399999999999991
Tests/Micro/absref-neg/ListISort-LType.hs,1.1159,1.1398,0.023900000000000032
Tests/Micro/terminate-pos/T1396.0.hs,0.9744,0.9981,0.023699999999999943
Tests/Macro/unit-neg/HolesTop.hs,0.8918,0.9155,0.023699999999999943
Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs,2.1651,2.1887,0.023600000000000065
Tests/Macro/unit-neg/MultipleInvariants.hs,0.8863,0.9099,0.023600000000000065
Tests/Macro/unit-pos/maybe.hs,1.3209,1.3442,0.0233000000000001
Tests/Micro/datacon-pos/T1476.hs,1.1183,1.1413,0.02299999999999991
Tests/Macro/unit-pos/kmpVec.hs,1.6624,1.6854,0.02299999999999991
Tests/Macro/unit-pos/alphaconvert-Set.hs,1.2688,1.2916,0.022800000000000153
Tests/Benchmarks/icfp_neg/Composition.hs,1.0351,1.0579,0.022800000000000153
Tests/Macro/unit-neg/listne.hs,0.8208,0.8436,0.022800000000000042
Tests/Micro/ple-neg/T1424.hs,1.0203,1.0431,0.02279999999999993
Tests/Macro/unit-pos/idNat0.hs,0.9674,0.9902,0.02279999999999993
Tests/Macro/unit-neg/MeasureDups.hs,1.0114,1.0342,0.02279999999999993
Tests/Macro/unit-pos/ReWrite2.hs,1.069,1.0916,0.022599999999999953
Tests/Macro/unit-pos/imp0.hs,0.9867,1.0092,0.022500000000000075
Tests/Macro/unit-neg/T743.hs,0.9147,0.9372,0.022500000000000075
Tests/Macro/unit-neg/partial.hs,0.873,0.8953,0.022299999999999986
Tests/Macro/unit-neg/T1659.hs,0.9011,0.9233,0.022199999999999998
Tests/Macro/unit-pos/DB00.hs,0.9894,1.0115,0.02210000000000012
Tests/Micro/names-pos/List00.hs,0.9568,0.9788,0.02200000000000002
Tests/Macro/unit-pos/vector1.hs,1.5053,1.5273,0.02200000000000002
Tests/Macro/unit-pos/Measures.hs,0.9834,1.0054,0.02200000000000002
Tests/Macro/unit-neg/MaybeMonad.hs,0.9634,0.9854,0.02200000000000002
Tests/Macro/unit-pos/elim-ex-list.hs,1.6961,1.7179,0.02180000000000004
Tests/Benchmarks/esop/Fib.hs,1.2677,1.2895,0.02180000000000004
Tests/Macro/unit-neg/T1553A.hs,0.8929,0.9146,0.02169999999999994
Tests/Micro/class-pos/TypeEquality01.hs,1.0622,1.0838,0.021600000000000064
Tests/Macro/unit-neg/concat.hs,1.1675,1.1891,0.021600000000000064
Tests/Macro/unit-neg/pargs.hs,0.8855,0.907,0.021500000000000075
Tests/Micro/datacon-pos/Data02Lib.hs,0.9636,0.985,0.021399999999999975
Tests/Error-Messages/DupData.hs,0.7744,0.7958,0.021399999999999975
Tests/Macro/unit-pos/Lib521.hs,0.9666,0.988,0.021399999999999975
Tests/Macro/unit-pos/lit02.hs,1.0339,1.0553,0.021399999999999864
Tests/Micro/datacon-pos/Data00.hs,1.0081,1.0294,0.021300000000000097
Tests/Macro/unit-pos/T1461.hs,0.9719,0.9932,0.021299999999999986
Tests/Macro/unit-pos/T1669.hs,1.0559,1.0772,0.021299999999999875
Tests/Micro/names-pos/local00.hs,0.9728,0.994,0.021199999999999997
Tests/Macro/unit-pos/Measures1.hs,0.9733,0.9945,0.021199999999999997
Tests/Macro/unit-neg/foldN1.hs,0.9259,0.947,0.021100000000000008
Tests/Macro/unit-pos/nats.hs,1.0114,1.0325,0.021099999999999897
Tests/Micro/absref-pos/AbsRef00.hs,0.946,0.967,0.02100000000000002
Tests/Macro/unit-pos/Even0.hs,0.9667,0.9876,0.02090000000000003
Tests/Error-Messages/Inconsistent1.hs,0.7979,0.8188,0.02089999999999992
Tests/Micro/ple-neg/ple_sum.hs,0.9366,0.9574,0.02080000000000004
Tests/Macro/unit-pos/RecSelector.hs,0.9601,0.9808,0.02070000000000005
Tests/Micro/ple-pos/MJFix.hs,1.2859,1.3066,0.02069999999999994
Tests/Macro/unit-pos/gadtEval.hs,1.2339,1.2546,0.02069999999999994
Tests/Micro/absref-pos/deppair0.hs,1.0481,1.0684,0.020299999999999985
Tests/Macro/unit-neg/AdtPeano0.hs,0.916,0.9363,0.020299999999999985
Tests/Macro/unit-pos/AdtPeano1.hs,0.9843,1.0045,0.020199999999999996
Tests/Macro/unit-neg/poly2-degenerate.hs,0.9251,0.9453,0.020199999999999996
Tests/Macro/unit-pos/pair00.hs,1.6735,1.6936,0.020100000000000007
Tests/Macro/unit-neg/TopLevel.hs,0.8902,0.9103,0.020100000000000007
Tests/Micro/terminate-neg/T745.hs,0.86,0.88,0.020000000000000018
Tests/Macro/unit-neg/tyclass0-unsafe.hs,0.877,0.8969,0.01990000000000003
Tests/Micro/reflect-pos/ReflString0.hs,0.9558,0.9755,0.01970000000000005
Tests/Macro/unit-pos/eq-poly-measure.hs,0.9854,1.0051,0.01970000000000005
Tests/Macro/unit-pos/maybe5.hs,0.9687,0.9884,0.01969999999999994
Tests/Macro/unit-pos/LooLib.hs,1.0148,1.0344,0.019600000000000062
Tests/Micro/datacon-neg/Data00Lib.hs,0.8779,0.8975,0.01959999999999995
Tests/Macro/unit-pos/AdtPeano0.hs,0.9966,1.0162,0.01959999999999995
Tests/Macro/unit-pos/Rebind.hs,0.9466,0.9661,0.019499999999999962
Tests/Macro/unit-neg/HigherOrder.hs,0.8779,0.8974,0.019499999999999962
Tests/Macro/unit-pos/ite1.hs,0.9462,0.9656,0.019399999999999973
Tests/Macro/unit-pos/anftest.hs,0.9559,0.9753,0.019399999999999973
Tests/Macro/unit-pos/record0.hs,1.0219,1.0413,0.019399999999999862
Tests/Error-Messages/ShadowFieldInline.hs,0.7249,0.7442,0.019299999999999984
Tests/Macro/unit-pos/CommentedOut.hs,0.9746,0.9939,0.019299999999999984
Tests/Macro/unit-pos/ExactGADT0.hs,0.9886,1.0078,0.019199999999999995
Tests/Macro/unit-neg/prune0.hs,0.977,0.9961,0.019100000000000006
Tests/Macro/unit-pos/Holes-Slicing.hs,0.9859,1.005,0.019099999999999895
Tests/Micro/import-cli/WrapClient.hs,1.3197,1.3387,0.018999999999999906
Tests/Micro/terminate-neg/AutoTerm.hs,0.9187,0.9376,0.018900000000000028
Tests/Macro/unit-pos/Test761.hs,0.9786,0.9975,0.018900000000000028
Tests/Macro/unit-pos/T1045.hs,0.8305,0.8494,0.018900000000000028
Tests/Macro/unit-neg/alias00.hs,0.8471,0.8659,0.01880000000000004
Tests/Macro/unit-pos/CompareConstraints.hs,1.1666,1.1852,0.01859999999999995
Tests/Macro/unit-pos/listSetDemo.hs,1.0928,1.1113,0.01849999999999996
Tests/Macro/unit-neg/LocalSpec.hs,0.9019,0.9203,0.018399999999999972
Tests/Macro/unit-pos/tyExpr.hs,0.9505,0.9688,0.018299999999999983
Tests/Macro/unit-pos/anfbug.hs,1.0481,1.0664,0.018299999999999983
Tests/Micro/absref-neg/deppair0.hs,0.9802,0.9984,0.018199999999999994
Tests/Macro/unit-pos/HigherOrderRecFun.hs,0.9515,0.9697,0.018199999999999994
Tests/Macro/unit-neg/StrictPair1.hs,0.9657,0.9839,0.018199999999999994
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs,2.1314,2.1496,0.018199999999999772
Tests/Micro/terminate-neg/qsloop.hs,1.061,1.0791,0.018100000000000005
Tests/Macro/unit-pos/Keys.hs,1.0153,1.0334,0.018100000000000005
Tests/Macro/unit-neg/StrictPair0.hs,0.907,0.925,0.018000000000000016
Tests/Micro/datacon-neg/Data02.hs,0.8309,0.8488,0.017900000000000027
Tests/Micro/names-pos/Set00.hs,1.0131,1.0309,0.017800000000000038
Tests/Benchmarks/esop/Toy.hs,1.6336,1.6514,0.017800000000000038
Tests/Macro/unit-pos/pargs1.hs,0.9583,0.9761,0.017799999999999927
Tests/Macro/unit-pos/T1543.hs,0.9591,0.9768,0.01770000000000005
Tests/Macro/unit-pos/LocalSpec.hs,1.0017,1.0194,0.01770000000000005
Tests/Micro/terminate-pos/list00.hs,0.9871,1.0047,0.01759999999999995
Tests/Macro/unit-pos/PairMeasure.hs,0.9834,1.0009,0.01749999999999985
Tests/Macro/unit-neg/ReWrite4.hs,0.9573,0.9746,0.017299999999999982
Tests/Macro/unit-neg/ListRange.hs,1.0156,1.0329,0.01729999999999987
Tests/Error-Messages/BadDataConType1.hs,0.7847,0.8019,0.017199999999999993
Tests/Macro/unit-neg/T1267.hs,0.9164,0.9336,0.017199999999999993
Tests/Macro/unit-neg/Class4.hs,0.9302,0.9473,0.017100000000000004
Tests/Macro/unit-neg/test00.hs,0.8983,0.9153,0.017000000000000015
Tests/Micro/terminate-pos/T1396.1.hs,0.9671,0.984,0.016900000000000026
Tests/Micro/absref-neg/FlipArgs.hs,1.0395,1.0564,0.016899999999999915
Tests/Macro/unit-pos/AdtList3.hs,0.9891,1.0058,0.016700000000000048
Tests/Macro/unit-pos/T1555.hs,0.9876,1.0043,0.016699999999999937
Tests/Micro/ple-pos/IndPerm.hs,1.377,1.3935,0.01649999999999996
Tests/Macro/unit-neg/T1126.hs,0.9288,0.9452,0.01640000000000008
Tests/Micro/class-pos/RealProps1.hs,1.047,1.0634,0.01639999999999997
Tests/Micro/terminate-pos/list00-str.hs,0.9703,0.9866,0.01629999999999998
Tests/Macro/unit-pos/GhcSort3.T.hs,1.4008,1.4171,0.01629999999999998
Tests/Macro/unit-pos/LocalLazy.hs,0.9985,1.0148,0.01629999999999987
Tests/Macro/unit-pos/T1278.2.hs,0.9895,1.0057,0.016199999999999992
Tests/Macro/unit-pos/meas0.hs,1.0418,1.0578,0.016000000000000014
Tests/Macro/unit-pos/T1302.hs,1.0707,1.0866,0.015900000000000025
Tests/Macro/unit-pos/ReWrite.hs,1.4069,1.4228,0.015900000000000025
Tests/Benchmarks/icfp_pos/CompareConstraints.hs,1.178,1.1937,0.015700000000000047
Tests/Macro/unit-pos/ListReverse-LType.hs,1.011,1.0266,0.015600000000000058
Tests/Macro/unit-pos/filterAbs.hs,1.0914,1.107,0.015600000000000058
Tests/Micro/terminate-pos/list03.hs,0.9873,1.0029,0.015599999999999947
Tests/Macro/unit-pos/listSet.hs,1.0717,1.0873,0.015599999999999836
Tests/Macro/unit-pos/Avg.hs,0.9773,0.9928,0.01550000000000007
Tests/Error-Messages/EmptyData.hs,0.7193,0.7348,0.015499999999999958
Tests/Macro/unit-neg/contra0.hs,0.9356,0.9511,0.015499999999999958
Tests/Macro/unit-pos/deptup3.hs,1.0458,1.0613,0.015499999999999847
Tests/Macro/unit-neg/grty3.hs,0.9137,0.929,0.015300000000000091
Tests/Micro/ple-neg/T1409.hs,0.9278,0.9428,0.015000000000000013
Tests/Macro/unit-pos/T1550.hs,0.9957,1.0107,0.014999999999999902
Tests/Prover/with_ple/NatInduction.hs,1.1349,1.1499,0.014999999999999902
Tests/Micro/names-neg/Set00.hs,0.9,0.9149,0.014900000000000024
Tests/Micro/ple-pos/IndPal0.hs,1.1942,1.209,0.014800000000000146
Tests/Macro/unit-pos/ReWrite4.hs,1.0556,1.0704,0.014799999999999924
Tests/Macro/unit-pos/niki1.hs,1.056,1.0708,0.014799999999999924
Tests/Micro/ple-pos/IndStarHole.hs,1.0764,1.0911,0.014699999999999935
Tests/Macro/unit-pos/absref-crash.hs,0.9654,0.9801,0.014699999999999935
Tests/Macro/unit-pos/elim-ex-map-3.hs,1.7621,1.7767,0.014599999999999946
Tests/Macro/unit-pos/Books.hs,1.0296,1.0442,0.014599999999999946
Tests/Micro/terminate-neg/Even.hs,0.837,0.8513,0.01429999999999998
Tests/Macro/unit-pos/DependentPairs.hs,0.9911,1.0053,0.014200000000000101
Tests/Macro/unit-pos/poly4.hs,0.9698,0.984,0.01419999999999999
Tests/Macro/unit-pos/ListLen.hs,1.3038,1.318,0.01419999999999999
Tests/Micro/class-neg/Class00.hs,0.8843,0.8984,0.014100000000000001
Tests/Macro/unit-pos/VerifiedNum.hs,1.02,1.0341,0.014100000000000001
Tests/Benchmarks/icfp_pos/Append.hs,1.3529,1.3669,0.014000000000000012
Tests/Micro/datacon-pos/Data01.hs,0.9652,0.9791,0.013900000000000023
Tests/Macro/unit-pos/EvalQuery.hs,1.2626,1.2764,0.013800000000000034
Tests/Macro/unit-pos/poly2-degenerate.hs,1.0085,1.0222,0.013700000000000045
Tests/Micro/import-cli/ListClient.hs,1.3221,1.3357,0.013600000000000056
Tests/Macro/unit-neg/TypeLitNat.hs,0.8943,0.9079,0.013600000000000056
Tests/Macro/unit-neg/Hex00.hs,0.8434,0.857,0.013599999999999945
Tests/Macro/unit-pos/datacon0.hs,1.1191,1.1326,0.013500000000000068
Tests/Macro/unit-pos/monad6.hs,1.0263,1.0397,0.013400000000000079
Tests/Macro/unit-pos/Assume.hs,0.9652,0.9785,0.01330000000000009
Tests/Macro/unit-pos/Words.hs,0.9606,0.9739,0.013299999999999979
Tests/Macro/unit-pos/hole-fun.hs,0.9614,0.9747,0.013299999999999979
Tests/Micro/reflect-pos/ReflString1.hs,0.9844,0.9976,0.01319999999999999
Tests/Macro/unit-neg/FunSoundness.hs,0.8544,0.8676,0.01319999999999999
Tests/Micro/absref-pos/deppair2.hs,1.0187,1.0318,0.013100000000000112
Tests/Micro/ple-pos/IndStar.hs,1.037,1.0501,0.013100000000000112
Tests/Macro/unit-pos/Foo.hs,0.9572,0.9703,0.0131
Tests/Macro/unit-pos/ex1.hs,1.0978,1.1109,0.01309999999999989
Tests/Error-Messages/BadAliasApp.hs,0.7713,0.7843,0.013000000000000012
Tests/Macro/unit-pos/StateF00.hs,1.0263,1.0392,0.012899999999999912
Tests/Macro/unit-pos/deptupW.hs,1.0521,1.065,0.012899999999999912
Tests/Prover/with_ple/MonoidMaybe.hs,1.0615,1.0744,0.012899999999999912
Tests/Macro/unit-neg/grty0.hs,0.8583,0.8711,0.012800000000000034
Tests/Benchmarks/icfp_pos/dropwhile.hs,1.1703,1.183,0.012700000000000156
Tests/Macro/unit-neg/elim000.hs,0.9304,0.9431,0.012700000000000045
Tests/Micro/absref-pos/FlipArgs.hs,1.1593,1.172,0.012699999999999934
Tests/Macro/unit-pos/inline.hs,1.0123,1.025,0.012699999999999934
Tests/Macro/unit-pos/dropwhile.hs,1.2098,1.2224,0.012599999999999945
Tests/Prover/foundations/Induction.hs,1.3878,1.4,0.012199999999999989
Tests/Micro/pattern-pos/Return01.hs,0.9611,0.9732,0.0121
Tests/Macro/unit-neg/ReWrite2.hs,0.9675,0.9796,0.0121
Tests/Macro/unit-pos/CasesToLogic.hs,0.9726,0.9846,0.01200000000000001
Tests/Error-Messages/BadPragma2.hs,0.7182,0.7301,0.011900000000000022
Tests/Macro/unit-pos/StackClass.hs,1.0634,1.0753,0.011900000000000022
Tests/Macro/unit-neg/T1288.hs,0.8881,0.8999,0.011800000000000033
Tests/Micro/datacon-neg/NewTypes0.hs,0.9074,0.9191,0.011700000000000044
Tests/Macro/unit-neg/test00b.hs,0.9276,0.9393,0.011700000000000044
Tests/Macro/unit-pos/ex0.hs,1.1026,1.1142,0.011600000000000055
Tests/Macro/unit-pos/for.hs,1.2617,1.2732,0.011500000000000066
Tests/Macro/unit-pos/ex01.hs,0.9591,0.9705,0.011400000000000077
Tests/Macro/unit-neg/sumk.hs,0.9877,0.999,0.011299999999999977
Tests/Macro/unit-neg/coretologic.hs,0.9373,0.9486,0.011299999999999977
Tests/Macro/unit-pos/AssumedRecursive.hs,0.9549,0.9661,0.011199999999999988
Tests/Micro/names-neg/Assume00.hs,0.8999,0.911,0.011099999999999999
Tests/Macro/unit-neg/TermReal.hs,0.8469,0.8579,0.01100000000000001
Tests/Macro/unit-neg/T1577.hs,0.9432,0.9542,0.01100000000000001
Tests/Micro/names-neg/Set01.hs,0.9146,0.9254,0.010800000000000032
Tests/Error-Messages/DupMeasure.hs,0.7329,0.7437,0.010800000000000032
Tests/Macro/unit-neg/T1555.hs,0.9133,0.9241,0.010800000000000032
Tests/Macro/unit-pos/string00.hs,1.0018,1.0126,0.01079999999999992
Tests/Macro/unit-pos/DepTriples.hs,1.0254,1.0362,0.01079999999999992
Tests/Macro/unit-neg/vector00.hs,1.0134,1.0241,0.010699999999999932
Tests/Macro/unit-pos/StrictPair1.hs,1.1077,1.1183,0.010600000000000165
Tests/Micro/terminate-neg/T1404.2.hs,0.8808,0.8914,0.010599999999999943
Tests/Macro/unit-neg/poly2.hs,0.922,0.9326,0.010599999999999943
Tests/Macro/unit-neg/monad3.hs,1.004,1.0146,0.010599999999999943
Tests/Macro/unit-pos/comprehension.hs,0.9441,0.9545,0.010399999999999965
Tests/Micro/terminate-neg/T1404.1.hs,0.8753,0.8856,0.010300000000000087
Tests/Micro/import-cli/ReflectClient8.hs,1.2079,1.2181,0.010199999999999987
Tests/Error-Messages/MultiInstMeasures.hs,0.8485,0.8587,0.010199999999999987
Tests/Macro/unit-neg/state0.hs,0.9294,0.9396,0.010199999999999987
Tests/Micro/terminate-pos/StructSecondArg.hs,0.9619,0.972,0.010099999999999998
Tests/Micro/names-pos/Set02.hs,0.9923,1.0023,0.010000000000000009
Tests/Macro/unit-neg/monad5.hs,0.9706,0.9806,0.010000000000000009
Tests/Macro/unit-neg/lit.hs,0.8461,0.8561,0.010000000000000009
Tests/Micro/ple-neg/T1192.hs,1.0549,1.0647,0.009800000000000031
Tests/Macro/unit-pos/Ignores.hs,0.9394,0.9492,0.009800000000000031
Tests/Macro/unit-neg/LazyWhere.hs,0.917,0.9267,0.009699999999999931
Tests/Macro/unit-pos/monad2.hs,0.9436,0.9532,0.009600000000000053
Tests/Macro/unit-pos/lets.hs,1.0566,1.0662,0.009600000000000053
Tests/Macro/unit-neg/grty1.hs,0.9516,0.9612,0.009600000000000053
Tests/Micro/ple-neg/T1173.hs,1.0018,1.0113,0.009500000000000064
Tests/Macro/unit-neg/stacks.hs,0.9973,1.0068,0.009499999999999953
Tests/Macro/unit-pos/spec0.hs,1.0372,1.0466,0.009400000000000075
Tests/Macro/unit-pos/Even.hs,0.9569,0.9663,0.009400000000000075
Tests/Macro/unit-pos/T1670A.hs,1.0874,1.0967,0.009300000000000086
Tests/Micro/import-cli/NameClashClient.hs,1.1504,1.1597,0.009299999999999864
Tests/Macro/unit-neg/polypred.hs,0.9055,0.9147,0.009199999999999986
Tests/Micro/class-pos/STMonad.hs,1.4474,1.4566,0.009199999999999875
Tests/Macro/unit-pos/FibEq.hs,1.2026,1.2116,0.009000000000000119
Tests/Micro/terminate-neg/total00.hs,0.8294,0.8384,0.009000000000000008
Tests/Macro/unit-neg/TotalHaskell.hs,0.8983,0.9072,0.008900000000000019
Tests/Macro/unit-pos/listqual.hs,1.0121,1.021,0.008899999999999908
Tests/Macro/unit-pos/Solver.hs,1.4768,1.4856,0.008800000000000141
Tests/Macro/unit-neg/pair0.hs,1.8595,1.8683,0.008800000000000141
Tests/Micro/terminate-pos/list05-local.hs,0.9457,0.9542,0.008500000000000063
Tests/Macro/unit-pos/StateConstraints0.hs,1.2521,1.2604,0.008299999999999974
Tests/Macro/unit-pos/T1657.hs,0.9923,1.0004,0.008099999999999996
Tests/Macro/unit-pos/deptup1.hs,1.1607,1.1688,0.008099999999999996
Tests/Macro/unit-pos/dataConQuals.hs,0.9715,0.9796,0.008099999999999996
Tests/Macro/unit-pos/Abs.hs,0.9688,0.9769,0.008099999999999996
Tests/Micro/measure-neg/Len01.hs,0.8975,0.9055,0.008000000000000007
Tests/Macro/unit-pos/AdtList0.hs,0.9748,0.9828,0.008000000000000007
Tests/Macro/unit-pos/Coercion.hs,1.0283,1.0362,0.007900000000000018
Tests/Macro/unit-neg/T1490.hs,0.9207,0.9286,0.007900000000000018
Tests/Error-Messages/EmptySig.hs,0.7195,0.7272,0.007699999999999929
Tests/Macro/unit-neg/errorloc.hs,0.9071,0.9148,0.007699999999999929
Tests/Macro/unit-neg/Class2.hs,0.9591,0.9666,0.007500000000000062
Tests/Macro/unit-pos/pargs.hs,0.9388,0.9461,0.007300000000000084
Tests/Macro/unit-neg/list00.hs,0.9202,0.9275,0.007299999999999973
Tests/Micro/import-cli/T1118.hs,1.4904,1.4976,0.007200000000000095
Tests/Macro/unit-pos/meas1.hs,1.0479,1.0551,0.007199999999999873
Tests/Macro/unit-pos/stacks0.hs,1.1253,1.1324,0.007100000000000106
Tests/Micro/class-pos/RealProps0.hs,0.9615,0.9686,0.007099999999999995
Tests/Error-Messages/UnboundCheckVar.hs,0.8014,0.8085,0.007099999999999995
Tests/Macro/unit-pos/bangPatterns.hs,0.98740000000000006,0.9945,0.007099999999999995
Tests/Macro/unit-pos/RealProps.hs,1.018,1.0251,0.007099999999999884
Tests/Macro/unit-pos/GhcSort2.hs,1.3592,1.3662,0.007000000000000117
Tests/Micro/terminate-neg/T1404.3.hs,0.969,0.976,0.007000000000000006
Tests/Macro/unit-pos/RecQSort.hs,1.075,1.0819,0.006900000000000128
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs,1.2808,1.2876,0.006800000000000139
Tests/Macro/unit-neg/T602.hs,0.927,0.9337,0.006699999999999928
Tests/Macro/unit-pos/adt0.hs,0.9866,0.9931,0.00649999999999995
Tests/Macro/unit-neg/maybe.hs,0.8981,0.9046,0.00649999999999995
Tests/Macro/unit-pos/datacon1.hs,0.9548,0.9612,0.006400000000000072
Tests/Benchmarks/icfp_pos/WhileTest.hs,1.4459,1.4523,0.006399999999999961
Tests/Macro/unit-pos/maybe000.hs,1.0015,1.0077,0.006199999999999983
Tests/Macro/unit-neg/multi-pred-app-00.hs,0.833,0.8392,0.006199999999999983
Tests/Micro/names-neg/Set02.hs,0.9015,0.9075,0.006000000000000005
Tests/Macro/unit-pos/IcfpDemo.hs,1.1831,1.1891,0.006000000000000005
Tests/Macro/unit-pos/CheckedNum.hs,0.9821,0.9879,0.005800000000000027
Tests/Micro/ple-neg/BinahUpdateClient.hs,1.0098,1.0154,0.005600000000000049
Tests/Prover/without_ple_neg/FunctorMaybe.hs,1.5584,1.564,0.005600000000000049
Tests/Macro/unit-neg/vector1a.hs,1.2715,1.2771,0.005599999999999827
Tests/Macro/unit-neg/ListElem.hs,0.9321,0.9376,0.005499999999999949
Tests/Macro/unit-neg/T1095C.hs,0.9295,0.9349,0.00539999999999996
Tests/Macro/unit-pos/NoCaseExpand.hs,1.113,1.1183,0.005300000000000082
Tests/Macro/unit-pos/T1278.hs,0.9825,0.9878,0.005299999999999971
Tests/Macro/unit-pos/cut00.hs,1.0114,1.0167,0.00529999999999986
Tests/Macro/unit-pos/RecQSort0.hs,1.0745,1.0797,0.0052000000000000934
Tests/Error-Messages/InlineSubExp1.hs,0.9534,0.9586,0.005199999999999982
Tests/Macro/unit-pos/vector00.hs,1.1023,1.1075,0.005199999999999871
Tests/Error-Messages/BadData1.hs,0.8034,0.8085,0.005099999999999993
Tests/Macro/unit-neg/state00.hs,0.962,0.9671,0.005099999999999993
Tests/Macro/unit-neg/record0.hs,0.9217,0.9268,0.005099999999999993
Tests/Macro/unit-pos/T1567.hs,0.986,0.991,0.0050000000000000044
Tests/Macro/unit-neg/null.hs,0.8355,0.8405,0.0050000000000000044
Tests/Macro/unit-neg/NameResolution.hs,0.8993,0.9043,0.0050000000000000044
Tests/Micro/import-cli/T1738.hs,1.1396,1.1445,0.0049000000000001265
Tests/Macro/unit-pos/lex.hs,0.9786,0.9835,0.0049000000000000155
Tests/Micro/datacon-neg/Data02Lib.hs,0.8662,0.871,0.0048000000000000265
Tests/Macro/unit-pos/ListMSort.hs,1.3042,1.309,0.0047999999999999154
Tests/Macro/unit-neg/PairMeasure.hs,0.9116,0.9163,0.0047000000000000375
Tests/Micro/import-cli/T1180.hs,1.2172,1.2218,0.0045999999999999375
Tests/Error-Messages/SplitSubtype.hs,0.8444,0.849,0.0045999999999999375
Tests/Macro/unit-pos/T1709.hs,0.9959,1.0005,0.0045999999999999375
Tests/Macro/unit-pos/ListElem.hs,1.022,1.0266,0.0045999999999999375
Tests/Macro/unit-neg/Variance.hs,0.9119,0.9165,0.0045999999999999375
Tests/Macro/unit-neg/ReWrite.hs,0.9523,0.9568,0.0044999999999999485
Tests/Micro/names-pos/T1521.hs,0.9607,0.9651,0.0043999999999999595
Tests/Micro/ple-neg/T1289.hs,0.905,0.9091,0.0040999999999999925
Tests/Macro/unit-pos/meas4.hs,1.1937,1.1978,0.0040999999999999925
Tests/Macro/unit-neg/test00a.hs,0.9173,0.9214,0.0040999999999999925
Tests/Macro/unit-pos/ExactADT6.hs,1.0033,1.0072,0.0039000000000000146
Tests/Macro/unit-neg/concat2.hs,1.2207,1.2246,0.0039000000000000146
Tests/Macro/unit-neg/EvalQuery.hs,1.1221,1.1259,0.0037999999999998035
Tests/Micro/names-pos/Capture02.hs,0.961,0.9647,0.0037000000000000366
Tests/Macro/unit-neg/T1498A.hs,0.9525,0.9562,0.0037000000000000366
Tests/Error-Messages/BadDataConType.hs,0.8077,0.8113,0.0036000000000000476
Tests/Macro/unit-neg/elim-ex-compose.hs,1.0538,1.0574,0.0035999999999998256
Tests/Macro/unit-pos/bool0.hs,0.9531,0.9566,0.0035000000000000586
Tests/Micro/measure-neg/Len00.hs,0.9047,0.908,0.0033000000000000806
Tests/Micro/ple-pos/T1190.hs,1.1757,1.179,0.0033000000000000806
Tests/Macro/unit-pos/idNat.hs,0.9667,0.97,0.0032999999999999696
Tests/Macro/unit-pos/Fail.hs,0.9557,0.959,0.0032999999999999696
Tests/Error-Messages/BadSyn1.hs,0.7942,0.7974,0.0031999999999999806
Tests/Macro/unit-pos/anish1.hs,0.9756,0.9788,0.0031999999999999806
Tests/Micro/datacon-pos/T1777.hs,1.0263,1.0293,0.0030000000000001137
Tests/Micro/ple-neg/T1371_Tick.hs,0.9742,0.9772,0.0030000000000000027
Tests/Macro/unit-pos/pragma0.hs,0.9661,0.9691,0.0030000000000000027
Tests/Micro/import-cli/RewriteClient.hs,1.4265,1.4295,0.0029999999999998916
Tests/Macro/unit-pos/wrap0.hs,1.0784,1.0813,0.0028999999999999027
Tests/Macro/unit-pos/meas00.hs,1.0253,1.0282,0.0028999999999999027
Tests/Micro/names-pos/local02.hs,0.9686,0.9714,0.0028000000000000247
Tests/Macro/unit-pos/zipW1.hs,0.9832,0.986,0.0028000000000000247
Tests/Macro/unit-neg/meas0.hs,0.971,0.9738,0.0028000000000000247
Tests/Micro/ple-pos/T1257.hs,1.0396,1.0423,0.0026999999999999247
Tests/Macro/unit-pos/T1749.hs,1.6145,1.6172,0.0026999999999999247
Tests/Macro/unit-pos/T1697C.hs,1.1257,1.1282,0.0025000000000001688
Tests/Macro/unit-pos/alias01.hs,0.957,0.9595,0.0025000000000000577
Tests/Macro/unit-pos/LocalHole.hs,1.013,1.0154,0.0024000000000001798
Tests/Macro/unit-neg/NoMethodBindingError.hs,0.9135,0.9157,0.0021999999999999797
Tests/Error-Messages/ReWrite7.hs,0.8564,0.8585,0.0020999999999999908
Tests/Micro/absref-neg/deptup0.hs,1.0419,1.0439,0.0020000000000000018
Tests/Error-Messages/Inconsistent2.hs,0.8146,0.8166,0.0020000000000000018
Tests/Macro/unit-neg/AutoTerm1.hs,0.9158,0.9178,0.0020000000000000018
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs,1.391,1.393,0.0020000000000000018
Tests/Micro/import-cli/ReflectClient0.hs,1.1465,1.1483,0.0018000000000000238
Tests/Micro/ple-pos/NNFPiotr.hs,1.5836,1.5854,0.0018000000000000238
Tests/Macro/unit-neg/elim-ex-list.hs,1.6074,1.6092,0.0018000000000000238
Tests/Micro/terminate-pos/Sum.hs,0.9358,0.9375,0.0017000000000000348
Tests/Macro/unit-pos/HedgeUnion.hs,1.0897,1.0914,0.0017000000000000348
Tests/Macro/unit-pos/BinarySearchOverflow.hs,1.3272,1.3289,0.0017000000000000348
Tests/Macro/unit-pos/LambdaEvalTiny.hs,1.1786,1.1803,0.0016999999999998128
Tests/Micro/ple-pos/Lists.hs,1.1355,1.1371,0.0016000000000000458
Tests/Macro/unit-pos/T1560B.hs,1.0346,1.0362,0.0016000000000000458
Tests/Macro/unit-pos/T1074.hs,1.1133,1.1149,0.0016000000000000458
Tests/Macro/unit-pos/ResolveB.hs,0.9769,0.9785,0.0016000000000000458
Tests/Macro/unit-pos/propmeasure.hs,1.0645,1.0661,0.0016000000000000458
Tests/Micro/datacon-pos/Data02.hs,1.0315,1.0329,0.0013999999999998458
Tests/Macro/unit-pos/poly0.hs,1.0592,1.0605,0.0013000000000000789
Tests/Error-Messages/HoleCrash3.hs,0.8365,0.8378,0.0012999999999999678
Tests/Micro/datacon-pos/T1477.hs,1.0125,1.0136,0.001100000000000101
Tests/Macro/unit-pos/T1336.hs,0.9938,0.9949,0.0010999999999999899
Tests/Micro/terminate-neg/term00.hs,0.8555,0.8564,9.000000000000119e-4
Tests/Micro/import-cli/Client1.hs,1.0337,1.0345,7.999999999999119e-4
Tests/Macro/unit-neg/Automate.hs,0.9736,0.9742,5.999999999999339e-4
Tests/Macro/unit-pos/T1560.hs,1.0499,1.0503,3.9999999999995595e-4
Tests/Macro/unit-pos/grty1.hs,0.9923,0.9926,3.00000000000078e-4
Tests/Macro/unit-neg/IntAbsRef.hs,0.9105,0.9108,3.00000000000078e-4
Tests/Macro/unit-pos/vector2.hs,1.7048,1.7051,2.9999999999996696e-4
Tests/Macro/unit-pos/elems.hs,1.0323,1.0326,2.9999999999996696e-4
Tests/Micro/ple-pos/ple0.hs,0.9754,0.9756,1.9999999999997797e-4
Tests/Micro/ple-pos/BinahQuery.hs,2.1662,2.1664,1.9999999999997797e-4
Tests/Macro/unit-neg/T1657.hs,0.8958,0.8959,9.999999999998899e-5
Tests/Macro/unit-neg/ExactADT6.hs,0.9737,0.9738,9.999999999998899e-5
Tests/Micro/datacon-pos/Date.hs,1.2149,1.2149,0
Tests/Micro/names-pos/Capture01.hs,0.9628,0.9628,0
Tests/Error-Messages/BadSig0.hs,0.7981,0.7981,0
Tests/Macro/unit-neg/truespec.hs,0.9051,0.9051,0
Tests/Macro/unit-pos/AutoTerm1.hs,1.0009,1.0008,-9.999999999998899e-5
Tests/Error-Messages/UnboundAbsRef.hs,0.807,0.8069,-1.0000000000010001e-4
Tests/Macro/unit-pos/ReflectAlias.hs,0.9721,0.9716,-4.999999999999449e-4
Tests/Micro/ple-pos/ReflectDefault.hs,1.0293,1.0288,-5.00000000000167e-4
Tests/Macro/unit-pos/RecordSelectorError.hs,0.9877,0.9871,-6.000000000000449e-4
Tests/Macro/unit-pos/T1595.hs,1.0153,1.0147,-6.00000000000156e-4
Tests/Micro/terminate-pos/list04.hs,0.9962,0.9954,-8.000000000000229e-4
Tests/Macro/unit-neg/CheckedNum.hs,0.9473,0.9465,-8.000000000000229e-4
Tests/Macro/unit-pos/T1289a.hs,1.0027,1.0018,-8.999999999999009e-4
Tests/Macro/unit-neg/Fail1.hs,0.8532,0.8522,-0.0010000000000000009
Tests/Micro/absref-pos/ListQSort.hs,1.8379,1.8369,-0.001000000000000112
Tests/Macro/unit-neg/LazyWhere1.hs,0.9506,0.9495,-0.0010999999999999899
Tests/Macro/unit-neg/LetRecStack.hs,0.9605,0.9593,-0.0011999999999999789
Tests/Prover/with_ple/Append.hs,1.2745,1.2731,-0.0014000000000000679
Tests/Error-Messages/UnboundFunInSpec2.hs,0.8097,0.8082,-0.0014999999999999458
Tests/Macro/unit-neg/bag1.hs,0.9669,0.9654,-0.0014999999999999458
Tests/Micro/ple-pos/ExactGADT5.hs,1.3828,1.3812,-0.0016000000000000458
Tests/Macro/unit-neg/filterAbs.hs,1.0273,1.0257,-0.0016000000000000458
Tests/Error-Messages/MissingSizeFun.hs,0.8088,0.8071,-0.0016999999999999238
Tests/Macro/unit-pos/ReflectBooleanFunctions.hs,0.9751,0.9734,-0.0016999999999999238
Tests/Micro/ple-pos/Compiler.hs,1.4114,1.4097,-0.0017000000000000348
Tests/Micro/measure-neg/GList00Lib.hs,0.9218,0.92,-0.0017999999999999128
Tests/Micro/names-pos/Uniques.hs,1.1535,1.1516,-0.0019000000000000128
Tests/Micro/import-cli/T1688.hs,1.2435,1.2415,-0.0020000000000000018
Tests/Error-Messages/T1140.hs,0.8199,0.8179,-0.0020000000000000018
Tests/Macro/unit-pos/alias00.hs,0.9677,0.9657,-0.0020000000000000018
Tests/Macro/unit-neg/poly1.hs,0.9478,0.9458,-0.0020000000000000018
Tests/Macro/unit-neg/BinarySearchOverflow.hs,0.9323,0.9303,-0.0020000000000000018
Tests/Micro/terminate-pos/list02.hs,0.985,0.9829,-0.0020999999999999908
Tests/Macro/unit-pos/malformed0.hs,1.1096,1.1075,-0.0020999999999999908
Tests/Macro/unit-pos/Cat.hs,0.9993,0.9972,-0.0020999999999999908
Tests/Macro/unit-pos/AdtList4.hs,1.0194,1.0173,-0.0020999999999999908
Tests/Micro/import-cli/ReflectClient2.hs,1.2075,1.2052,-0.0022999999999999687
Tests/Micro/terminate-neg/total01.hs,0.9095,0.9072,-0.0022999999999999687
Tests/Macro/unit-neg/T1604.hs,0.9479,0.9456,-0.0022999999999999687
Tests/Macro/unit-neg/T1642A.hs,0.9479,0.9455,-0.0023999999999999577
Tests/Macro/unit-pos/T595a.hs,0.9996,0.9972,-0.0024000000000000687
Tests/Macro/unit-pos/ple1.hs,1.2096,1.2071,-0.0024999999999999467
Tests/Benchmarks/icfp_pos/Incr.hs,1.742,1.7395,-0.0024999999999999467
Tests/Macro/unit-pos/tup0.hs,0.9841,0.9814,-0.0026999999999999247
Tests/Macro/unit-pos/multi-pred-app-00.hs,0.971,0.9683,-0.0026999999999999247
Tests/Macro/unit-pos/AutoTerm.hs,1.0083,1.0056,-0.0026999999999999247
Tests/Prover/with_ple/FunctorList.hs,1.1461,1.1434,-0.0026999999999999247
Tests/Macro/unit-neg/wrap0.hs,1.049,1.0462,-0.0027999999999999137
Tests/Macro/unit-neg/errmsg.hs,0.9449,0.9421,-0.0027999999999999137
Tests/Macro/unit-pos/repeatHigherOrder.hs,1.5413,1.5384,-0.0028999999999999027
Tests/Macro/unit-pos/Propability.hs,1.0689,1.066,-0.0028999999999999027
Tests/Micro/datacon-neg/AdtPeano2.hs,0.9294,0.9265,-0.0029000000000000137
Tests/Macro/unit-neg/ReWrite3.hs,0.9453,0.9424,-0.0029000000000000137
Tests/Error-Messages/T1708.hs,0.9207,0.9176,-0.0030999999999999917
Tests/Macro/unit-pos/poly3.hs,0.9862,0.983,-0.0031999999999999806
Tests/Macro/unit-pos/foldr.hs,0.9883,0.9849,-0.0033999999999999586
Tests/Error-Messages/BadDataConType2.hs,0.799,0.7955,-0.0035000000000000586
Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs,1.1882,1.1846,-0.0035999999999998256
Tests/Macro/unit-neg/Class1.hs,1.092,1.0882,-0.0038000000000000256
Tests/Macro/unit-neg/revshape.hs,0.9307,0.9268,-0.0039000000000000146
Tests/Micro/names-pos/Shadow01.hs,0.9586,0.9546,-0.0040000000000000036
Tests/Micro/datacon-pos/T1446.hs,1.089,1.0849,-0.0040999999999999925
Tests/Macro/unit-neg/T1498.hs,0.9316,0.9275,-0.0040999999999999925
Tests/Macro/unit-neg/ass0.hs,0.8413,0.8372,-0.0040999999999999925
Tests/Macro/unit-pos/elim-ex-map-2.hs,1.8078,1.8036,-0.0041999999999999815
Tests/Macro/unit-pos/compare2.hs,1.0181,1.0137,-0.0043999999999999595
Tests/Error-Messages/DupFunSigs.hs,0.9081,0.9036,-0.0045000000000000595
Tests/Error-Messages/MissingAssume.hs,0.8658,0.8613,-0.0045000000000000595
Tests/Macro/unit-pos/deepmeas0.hs,1.0703,1.0657,-0.0045999999999999375
Tests/Macro/unit-pos/ClojurVector.hs,1.3781,1.3734,-0.0047000000000001485
Tests/Macro/unit-pos/TopLevel.hs,0.9912,0.986,-0.005199999999999982
Tests/Macro/unit-pos/T1697.hs,1.1273,1.122,-0.00529999999999986
Tests/Macro/unit-neg/T1546.hs,0.9438,0.9384,-0.00539999999999996
Tests/Macro/unit-neg/VerifiedNum.hs,0.9635,0.9581,-0.005400000000000071
Tests/Macro/unit-neg/StateConstraints00.hs,0.9521,0.9465,-0.005599999999999938
Tests/Macro/unit-neg/Propability0.hs,0.9789,0.9733,-0.005599999999999938
Tests/Macro/unit-pos/rec_annot_go.hs,1.0901,1.0845,-0.005600000000000049
Tests/Error-Messages/BadDataCon2.hs,0.771,0.7653,-0.005700000000000038
Tests/Macro/unit-pos/TypeLitNat.hs,1.0059,1,-0.005900000000000016
Tests/Error-Messages/CyclicExprAlias1.hs,0.7829,0.7769,-0.006000000000000005
Tests/Macro/unit-pos/StateConstraints00.hs,1.0851,1.0791,-0.006000000000000005
Tests/Macro/unit-neg/vector2.hs,1.5051,1.499,-0.006099999999999994
Tests/Macro/unit-pos/DataBase.hs,1.0314,1.0251,-0.006300000000000194
Tests/Micro/measure-neg/List02.hs,0.9095,0.9031,-0.006399999999999961
Tests/Error-Messages/HoleCrash2.hs,0.7832,0.7768,-0.006399999999999961
Tests/Macro/unit-pos/tagBinder.hs,0.9918,0.9854,-0.006399999999999961
Tests/Macro/unit-neg/CharLiterals.hs,0.866,0.8592,-0.006800000000000028
Tests/Macro/unit-pos/partial-tycon.hs,0.9899,0.983,-0.006900000000000017
Tests/Error-Messages/TerminationExprUnb.hs,0.8827,0.8757,-0.007000000000000006
Tests/Macro/unit-pos/elim-ex-compose.hs,1.3291,1.322,-0.007099999999999884
Tests/Micro/pattern-pos/ReturnStrata00.hs,0.9681,0.961,-0.007099999999999995
Tests/Macro/unit-pos/Eval.hs,1.1844,1.177,-0.007399999999999851
Tests/Macro/unit-pos/AmortizedQueue.hs,1.1663,1.1589,-0.007399999999999851
Tests/Macro/unit-pos/LambdaDeBruijn.hs,1.5513,1.5438,-0.00749999999999984
Tests/Macro/unit-neg/meas2.hs,0.955,0.9474,-0.00759999999999994
Tests/Macro/unit-neg/T743-mini.hs,0.9412,0.9331,-0.008099999999999996
Tests/Error-Messages/BadPredApp.hs,0.8327,0.8245,-0.008199999999999985
Tests/Error-Messages/BadData2.hs,0.7879,0.7797,-0.008200000000000096
Tests/Micro/measure-neg/ple1.hs,0.9639,0.9556,-0.008299999999999974
Tests/Macro/unit-pos/foldN.hs,1.0024,0.994,-0.008399999999999963
Tests/Micro/ple-neg/BinahUpdateLib.hs,1.0061,0.9975,-0.008599999999999941
Tests/Error-Messages/HoleCrash1.hs,0.8107,0.8021,-0.008599999999999941
Tests/Error-Messages/MissingReflect.hs,0.8832,0.8746,-0.008599999999999941
Tests/Micro/ple-pos/T1424.hs,1.116,1.1073,-0.008700000000000152
Tests/Error-Messages/BadSyn3.hs,0.8225,0.8135,-0.009000000000000008
Tests/Micro/import-cli/LiquidArrayNullTerm.hs,1.4914,1.4823,-0.009100000000000108
Tests/Macro/unit-pos/PromotedDataCons.hs,1.012,1.0029,-0.009100000000000108
Tests/Macro/unit-pos/ListISort-perm.hs,1.2911,1.2819,-0.009199999999999875
Tests/Macro/unit-neg/ExactGADT7.hs,0.9487,0.9394,-0.009299999999999975
Tests/Micro/ple-pos/IndLast.hs,1.1649,1.1556,-0.009300000000000086
Tests/Macro/unit-pos/mutrec.hs,0.9926,0.9833,-0.009300000000000086
Tests/Macro/unit-pos/UnboxedTuples.hs,0.985,0.9755,-0.009499999999999953
Tests/Macro/unit-pos/partialmeasure.hs,0.9957,0.9861,-0.009600000000000053
Tests/Error-Messages/ParseBind.hs,0.7153,0.7056,-0.009700000000000042
Tests/Error-Messages/BadSyn2.hs,0.8165,0.8066,-0.00990000000000002
Tests/Micro/class-pos/Class00.hs,1.0038,0.9938,-0.010000000000000009
Tests/Micro/terminate-neg/Rename.hs,0.8882,0.8782,-0.010000000000000009
Tests/Error-Messages/UnboundVarInLocSig.hs,0.811,0.801,-0.010000000000000009
Tests/Macro/unit-pos/compare.hs,1.0244,1.0144,-0.010000000000000009
Tests/Micro/rankN-pos/Test0.hs,1.0731,1.063,-0.010099999999999998
Tests/Macro/unit-pos/Words1.hs,0.9959,0.9857,-0.010199999999999987
Tests/Macro/unit-neg/Baz.hs,0.9025,0.8921,-0.010399999999999965
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs,5.9749,5.9644,-0.01049999999999951
Tests/Micro/datacon-neg/Data01.hs,0.8971,0.8864,-0.010700000000000043
Tests/Micro/class-pos/TypeEquality00.hs,0.9867,0.976,-0.010700000000000043
Tests/Macro/unit-pos/DependentPairsFun.hs,0.9767,0.966,-0.010700000000000043
Tests/Error-Messages/BadSig1.hs,0.8951,0.8842,-0.01090000000000002
Tests/Macro/unit-pos/transpose.hs,1.487,1.4759,-0.01110000000000011
Tests/Micro/implicit-pos/ImplicitTrivial.hs,0.9972,0.986,-0.011199999999999988
Tests/Macro/unit-pos/ReflectMutual.hs,1.0132,1.002,-0.011200000000000099
Tests/Micro/ple-neg/BinahUpdateLib1.hs,1.0476,1.0361,-0.011500000000000066
Tests/Macro/unit-neg/T1613.hs,0.948,0.9364,-0.011599999999999944
Tests/Macro/unit-pos/elements.hs,1.2809,1.2692,-0.011699999999999822
Tests/Macro/unit-neg/T1553.hs,0.9189,0.9068,-0.0121
Tests/Micro/terminate-neg/Sum.hs,0.9818,0.9695,-0.012299999999999978
Tests/Macro/unit-neg/T1198.3.hs,0.9359,0.9236,-0.012299999999999978
Tests/Error-Messages/ParseClass.hs,0.721,0.7085,-0.012499999999999956
Tests/Macro/unit-pos/ModLib.hs,0.9877,0.975,-0.012700000000000045
Tests/Macro/unit-neg/poly0.hs,0.9668,0.9541,-0.012700000000000045
Tests/Macro/unit-pos/MeasureDups.hs,1.0773,1.0645,-0.012799999999999923
Tests/Macro/unit-neg/CastedTotality.hs,0.9278,0.915,-0.012799999999999923
Tests/Macro/unit-neg/test2.hs,0.9265,0.9137,-0.012800000000000034
Tests/Macro/unit-pos/zipW2.hs,0.9725,0.9591,-0.013400000000000079
Tests/Macro/unit-neg/mr00.hs,1.0905,1.0771,-0.013400000000000079
Tests/Macro/unit-pos/MeasureContains.hs,1.0672,1.0537,-0.013499999999999845
Tests/Macro/unit-pos/StateLib.hs,1.182,1.1684,-0.013599999999999834
Tests/Micro/ple-pos/T1371_NNF.hs,1.1435,1.1299,-0.013600000000000056
Tests/Macro/unit-neg/T1490A.hs,0.9663,0.9524,-0.013900000000000023
Tests/Macro/unit-neg/test00c.hs,0.8582,0.8442,-0.014000000000000012
Tests/Macro/unit-neg/T1286.hs,0.8504,0.8363,-0.014100000000000001
Tests/Macro/unit-neg/RecSelector.hs,0.9171,0.9027,-0.01440000000000008
Tests/Macro/unit-pos/T595.hs,1.1184,1.1039,-0.014499999999999957
Tests/Micro/datacon-neg/Date.hs,1.1736,1.1589,-0.014699999999999935
Tests/Macro/unit-pos/AdtList1.hs,1.0191,1.0044,-0.014699999999999935
Tests/Micro/rankN-pos/Test.hs,0.9978,0.9831,-0.014700000000000046
Tests/Error-Messages/UnboundVarInReflect.hs,0.8211,0.8063,-0.014800000000000035
Tests/Macro/unit-pos/PairMeasure0.hs,0.9951,0.9803,-0.014800000000000035
Tests/Macro/unit-pos/FractionalInstance.hs,1.037,1.0221,-0.014899999999999913
Tests/Macro/unit-neg/AutoSize.hs,1.7993,1.7844,-0.014899999999999913
Tests/Micro/terminate-neg/testRec.hs,0.8907,0.8756,-0.015100000000000002
Tests/Macro/unit-neg/DependentTypes.hs,0.9607,0.9455,-0.015199999999999991
Tests/Macro/unit-neg/Class3.hs,0.9771,0.9618,-0.01529999999999998
Tests/Error-Messages/HintMismatch.hs,0.8466,0.8312,-0.01539999999999997
Tests/Error-Messages/UnboundVarInAssume.hs,0.8259,0.8102,-0.015699999999999936
Tests/Error-Messages/UnboundFunInSpec.hs,0.829,0.8131,-0.015899999999999914
Tests/Macro/unit-neg/MultiParamTypeClasses.hs,0.9428,0.9269,-0.015900000000000025
Tests/Macro/unit-neg/GeneralizedTermination.hs,0.9472,0.9309,-0.016300000000000092
Tests/Macro/unit-pos/LambdaEval.hs,2.1181,2.1017,-0.01639999999999997
Tests/Micro/names-pos/HideName00.hs,0.9611,0.9445,-0.016599999999999948
Tests/Macro/unit-pos/datacon-inv.hs,0.9834,0.9668,-0.01660000000000006
Tests/Macro/unit-neg/csv.hs,1.4487,1.4318,-0.016900000000000137
Tests/Macro/unit-neg/string00.hs,0.9248,0.9077,-0.017100000000000004
Tests/Macro/unit-pos/T1761.hs,1.0032,0.986,-0.017200000000000104
Tests/Macro/unit-neg/SafePartialFunctions.hs,0.909,0.8914,-0.01760000000000006
Tests/Macro/unit-pos/ListConcat.hs,1.0323,1.0146,-0.01770000000000005
Tests/Error-Messages/HigherOrderBinder.hs,0.8318,0.8139,-0.017900000000000027
Tests/Macro/unit-pos/test2.hs,1.0183,1.0004,-0.017900000000000027
Tests/Macro/unit-pos/CharLiterals.hs,0.9776,0.9594,-0.018199999999999994
Tests/Macro/unit-pos/T1571.hs,1.054,1.0356,-0.018399999999999972
Tests/Macro/unit-neg/ex0-unsafe.hs,1.0498,1.0314,-0.018399999999999972
Tests/Macro/unit-neg/foldN.hs,0.9561,0.9376,-0.01849999999999996
Tests/Error-Messages/ShadowFieldReflect.hs,0.7739,0.7554,-0.018500000000000072
Tests/Micro/names-pos/Set01.hs,1.0124,0.9938,-0.01859999999999995
Tests/Macro/unit-pos/T1095A.hs,1.1721,1.1535,-0.01859999999999995
Tests/Micro/names-pos/Shadow00.hs,1.0723,1.0536,-0.01869999999999994
Tests/Error-Messages/ShadowMeasure.hs,0.7681,0.7493,-0.01880000000000004
Tests/Error-Messages/T1498A.hs,0.8293,0.8104,-0.018900000000000028
Tests/Macro/unit-pos/Automate.hs,1.136,1.117,-0.018999999999999906
Tests/Macro/unit-neg/CompareConstraints.hs,1.1231,1.1041,-0.018999999999999906
Tests/Macro/unit-neg/TerminationNum0.hs,0.9415,0.9224,-0.019100000000000006
Tests/Macro/unit-neg/concat1.hs,1.1218,1.1026,-0.019199999999999884
Tests/Macro/unit-neg/Eval.hs,1.045,1.0257,-0.019299999999999873
Tests/Macro/unit-pos/elim-ex-map-1.hs,1.7749,1.7555,-0.019399999999999862
Tests/Macro/unit-pos/pred.hs,0.9782,0.9588,-0.019399999999999973
Tests/Macro/unit-neg/grty2.hs,0.9662,0.9465,-0.01969999999999994
Tests/Micro/terminate-pos/list01.hs,1.0156,0.9959,-0.01970000000000005
Tests/Macro/unit-pos/meas5.hs,1.6055,1.5857,-0.019799999999999818
Tests/Error-Messages/UnboundVarInSpec.hs,0.829,0.8091,-0.019899999999999918
Tests/Micro/datacon-pos/T1473A.hs,1.1529,1.1328,-0.020100000000000007
Tests/Micro/import-cli/CliRedBlue.hs,1.1907,1.1706,-0.020100000000000007
Tests/Macro/unit-pos/SingletonLists.hs,0.9897,0.9696,-0.020100000000000007
Tests/Macro/unit-pos/zipper000.hs,1.1296,1.1093,-0.020299999999999985
Tests/Macro/unit-pos/reflect0.hs,1,0.9796,-0.020399999999999974
Tests/Macro/unit-pos/T1045a.hs,1.3173,1.2966,-0.02069999999999994
Tests/Macro/unit-neg/T1657A.hs,0.9343,0.9136,-0.02070000000000005
Tests/Macro/unit-neg/monad6.hs,0.9548,0.9338,-0.02100000000000002
Tests/Macro/unit-pos/Client521.hs,1.0457,1.0247,-0.02100000000000013
Tests/Macro/unit-neg/inc2.hs,0.8583,0.8372,-0.021099999999999897
Tests/Micro/implicit-neg/Implicit1.hs,0.9274,0.9057,-0.021700000000000053
Tests/Macro/unit-pos/tyvar.hs,0.9865,0.9647,-0.02180000000000004
Tests/Error-Messages/BadGADT.hs,0.8269,0.8049,-0.02200000000000002
Tests/Macro/unit-neg/Constraints.hs,0.9505,0.9285,-0.02200000000000002
Tests/Macro/unit-neg/monad7.hs,1.1161,1.094,-0.02210000000000001
Tests/Macro/unit-pos/Loo.hs,1.1074,1.0851,-0.022299999999999986
Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs,0.8607,0.8384,-0.022299999999999986
Tests/Micro/ple-pos/ListAnd.hs,1.074,1.0516,-0.022399999999999975
Tests/Micro/names-pos/Alias00.hs,1.0127,0.9902,-0.022499999999999964
Tests/Macro/unit-pos/T385.hs,1.0796,1.057,-0.022599999999999953
Tests/Macro/unit-pos/ClassReg.hs,1.0268,1.004,-0.02279999999999993
Tests/Macro/unit-pos/T914.hs,1.0165,0.9935,-0.02299999999999991
Tests/Error-Messages/BadPragma1.hs,0.7448,0.7217,-0.02310000000000001
Tests/Macro/unit-neg/ListKeys.hs,0.9326,0.9095,-0.02310000000000001
Tests/Prover/with_ple/ApplicativeId.hs,1.1163,1.0932,-0.02310000000000012
Tests/Macro/unit-neg/TerminationNum.hs,0.8827,0.8595,-0.0232
Tests/Micro/ple-pos/IndPal00.hs,1.0868,1.0635,-0.0233000000000001
Tests/Micro/ple-pos/tmp1.hs,1.0729,1.0495,-0.023399999999999865
Tests/Prover/without_ple_neg/MonadMaybe.hs,1.2255,1.202,-0.023500000000000076
Tests/Macro/unit-pos/jeff.hs,2.9468,2.9233,-0.0235000000000003
Tests/Macro/unit-pos/take.hs,1.9625,1.9389,-0.023599999999999843
Tests/Macro/unit-neg/ExactGADT6.hs,1.0646,1.0408,-0.023800000000000043
Tests/Macro/unit-neg/ex1-unsafe.hs,1.0496,1.0257,-0.023900000000000032
Tests/Macro/unit-neg/ListMSort.hs,1.6401,1.6161,-0.0239999999999998
Tests/Macro/unit-neg/vector0a.hs,1.0545,1.0305,-0.02400000000000002
Tests/Micro/datacon-pos/T1473B.hs,1.1699,1.1458,-0.02410000000000001
Tests/Error-Messages/UnboundFunInSpec1.hs,0.8197,0.7956,-0.02410000000000001
Tests/Macro/unit-pos/vector1b.hs,1.5129,1.4888,-0.02410000000000001
Tests/Prover/without_ple_pos/Euclide.hs,1.0605,1.0362,-0.02429999999999999
Tests/Error-Messages/frog.hs,0.8363,0.8119,-0.02440000000000009
Tests/Macro/unit-pos/Streams.hs,1.1072,1.0822,-0.02499999999999991
Tests/Macro/unit-pos/RefinedADTs.hs,1.0344,1.0093,-0.0250999999999999
Tests/Macro/unit-pos/monad5.hs,1.2084,1.1831,-0.025299999999999878
Tests/Macro/unit-pos/T1092.hs,1.2467,1.2213,-0.025399999999999867
Tests/Error-Messages/LocalHole.hs,0.893,0.8676,-0.025399999999999978
Tests/Error-Messages/BadDataDeclTyVars.hs,0.8242,0.7986,-0.025600000000000067
Tests/Macro/unit-pos/scanr.hs,1.1138,1.0879,-0.025899999999999812
Tests/Macro/unit-pos/T1085.hs,1.0423,1.016,-0.02629999999999999
Tests/Error-Messages/BadAnnotation1.hs,0.7421,0.7154,-0.026699999999999946
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs,8.6561,8.6292,-0.02689999999999948
Tests/Macro/unit-pos/State.hs,1.0861,1.0592,-0.026900000000000146
Tests/Micro/class-pos/HiddenMethod00.hs,0.9867,0.9597,-0.027000000000000024
Tests/Macro/unit-neg/Fail.hs,0.9127,0.8849,-0.027799999999999936
Tests/Macro/unit-pos/Constraints.hs,1.0543,1.0262,-0.028100000000000014
Tests/Error-Messages/ReWrite6.hs,0.8343,0.806,-0.028299999999999992
Tests/Error-Messages/ElabLocation.hs,0.907,0.8787,-0.028299999999999992
Tests/Macro/unit-pos/BinarySearch.hs,1.1936,1.1652,-0.02839999999999998
Tests/Macro/unit-pos/WBL.hs,1.9747,1.9456,-0.029099999999999904
Tests/Macro/unit-pos/T1670B.hs,1.1263,1.097,-0.029300000000000104
Tests/Error-Messages/DupAlias.hs,0.8944,0.865,-0.02939999999999998
Tests/Micro/absref-pos/Papp00.hs,1.0309,1.0013,-0.02959999999999985
Tests/Error-Messages/CyclicExprAlias3.hs,0.7889,0.7588,-0.030100000000000016
Tests/Error-Messages/CyclicExprAlias0.hs,0.7876,0.7574,-0.030200000000000005
Tests/Macro/unit-neg/StateConstraints.hs,1.7903,1.7601,-0.030200000000000005
Tests/Macro/unit-pos/bool1.hs,1.0063,0.976,-0.030299999999999994
Tests/Micro/measure-neg/fst02.hs,0.9007,0.8703,-0.030399999999999983
Tests/Micro/names-pos/T675.hs,1.2306,1.2002,-0.030399999999999983
Tests/Macro/unit-pos/test1.hs,1.0713,1.0409,-0.030399999999999983
Tests/Macro/unit-pos/Permutation.hs,1.5829,1.5524,-0.03049999999999997
Tests/Benchmarks/icfp_pos/IfM.hs,20.2878,20.2572,-0.03059999999999974
Tests/Macro/unit-pos/zipper0.hs,1.3443,1.3137,-0.03059999999999996
Tests/Error-Messages/CyclicExprAlias2.hs,0.7848,0.7542,-0.03060000000000007
Tests/Macro/unit-pos/T1812.hs,1.1196,1.0889,-0.03069999999999995
Tests/Macro/unit-pos/PointDist.hs,1.1282,1.0974,-0.03080000000000016
Tests/Micro/terminate-neg/T1404.0.hs,0.9192,0.8882,-0.031000000000000028
Tests/Micro/absref-pos/VectorLoop.hs,1.2607,1.2293,-0.03139999999999987
Tests/Macro/unit-pos/range.hs,1.1941,1.1627,-0.03139999999999987
Tests/Macro/unit-pos/T1593.hs,1.0274,0.9957,-0.03170000000000006
Tests/Macro/unit-pos/T1775.hs,1.0104,0.9786,-0.03179999999999994
Tests/Macro/unit-pos/bool2.hs,1.0185,0.9867,-0.03179999999999994
Tests/Macro/unit-pos/OrdList.hs,2.1037,2.0717,-0.03200000000000003
Tests/Macro/unit-pos/T1556.hs,1.0055,0.9734,-0.03210000000000002
Tests/Macro/unit-pos/T1634.hs,1.0657,1.0334,-0.032299999999999995
Tests/Micro/ple-pos/RosePLEDiv.hs,1.3212,1.2888,-0.032399999999999984
Tests/Error-Messages/DupAlias.hs,0.8944,0.8615,-0.03289999999999993
Tests/Micro/ple-neg/BinahUpdate.hs,1.0177,0.9848,-0.03290000000000004
Tests/Macro/unit-pos/MergeSort.hs,1.281,1.2479,-0.03309999999999991
Tests/Macro/unit-pos/pair0.hs,1.9519,1.9184,-0.03349999999999986
Tests/Macro/unit-pos/T1223.hs,1.4246,1.3908,-0.03380000000000005
Tests/Micro/names-neg/vector1.hs,1.2406,1.2065,-0.03410000000000002
Tests/Micro/absref-pos/state00.hs,1.015,0.9803,-0.03469999999999995
Tests/Micro/terminate-neg/total02.hs,0.9149,0.8801,-0.03480000000000005
Tests/Macro/unit-pos/coretologic.hs,1.0641,1.0289,-0.03520000000000012
Tests/Prover/without_ple_pos/Compose.hs,1.0388,1.0034,-0.035399999999999876
Tests/Macro/unit-neg/mapreduce.hs,2.7526,2.7165,-0.03610000000000024
Tests/Macro/unit-pos/propmeasure1.hs,0.9961,0.9598,-0.0363
Tests/Macro/unit-pos/Term.hs,1.0822,1.0454,-0.036799999999999944
Tests/Macro/unit-pos/selfList.hs,1.1384,1.1016,-0.036800000000000166
Tests/Micro/ple-pos/T1424A.hs,1.1714,1.1344,-0.03699999999999992
Tests/Macro/unit-pos/T1660.hs,1.1864,1.1491,-0.03729999999999989
Tests/Error-Messages/MultiRecSels.hs,0.8341,0.7962,-0.037899999999999934
Tests/Macro/unit-pos/StrictPair0.hs,1.0536,1.0149,-0.03870000000000018
Tests/Macro/unit-pos/T716.hs,1.9175,1.8786,-0.038899999999999935
Tests/Error-Messages/BadAnnotation.hs,0.7654,0.7264,-0.038999999999999924
Tests/Micro/datacon-neg/NewTypes.hs,0.9522,0.9132,-0.039000000000000035
Tests/Macro/unit-pos/T1198.2.hs,1.0468,1.0072,-0.03959999999999986
Tests/Error-Messages/TerminationExprNum.hs,0.8307,0.7911,-0.03959999999999997
Tests/Micro/implicit-pos/ImplicitDouble.hs,0.9926,0.9528,-0.03980000000000006
Tests/Macro/unit-pos/T598.hs,1.0839,1.0438,-0.040100000000000025
Tests/Micro/reflect-pos/DoubleLit.hs,1.0356,0.9954,-0.040200000000000125
Tests/Error-Messages/DupAlias.hs,0.9054,0.865,-0.04039999999999999
Tests/Macro/unit-pos/stateInvarint.hs,1.2946,1.2537,-0.040899999999999936
Tests/Macro/unit-pos/T1649WorkTypes.hs,1.1581,1.1169,-0.0411999999999999
Tests/Error-Messages/T774.hs,0.8514,0.8102,-0.041200000000000014
Tests/Micro/ple-pos/NegNormalForm.hs,4.1882,4.1469,-0.04130000000000056
Tests/Macro/unit-pos/T1198.4.hs,1.034,0.9922,-0.04180000000000006
Tests/Macro/unit-pos/range1.hs,1.0327,0.9899,-0.04279999999999995
Tests/Prover/without_ple_pos/ApplicativeId.hs,1.7184,1.6755,-0.04289999999999994
Tests/Error-Messages/ReWrite5.hs,0.8735,0.8303,-0.043200000000000016
Tests/Error-Messages/T1498.hs,0.8446,0.8013,-0.043300000000000005
Tests/Macro/unit-neg/RecQSort.hs,1.0473,1.0036,-0.04369999999999985
Tests/Micro/ple-pos/T1382.hs,1.6973,1.6536,-0.04370000000000007
Tests/Micro/terminate-pos/Ackermann.hs,1.0511,1.0072,-0.04389999999999983
Tests/Error-Messages/DupAlias.hs,0.9054,0.8615,-0.04389999999999994
Tests/Macro/unit-pos/Strings.hs,1.0386,0.9947,-0.04389999999999994
Tests/Macro/unit-pos/test00c.hs,1.1412,1.0972,-0.04400000000000004
Tests/Macro/unit-pos/comprehensionTerm.hs,1.3876,1.3435,-0.04410000000000003
Tests/Micro/pattern-pos/MultipleInvariants.hs,1.0293,0.985,-0.04430000000000012
Tests/Macro/unit-pos/test00b.hs,1.0668,1.0224,-0.044399999999999995
Tests/Error-Messages/BadPragma0.hs,0.7673,0.7212,-0.04610000000000003
Tests/Macro/unit-pos/csgordon_issue_296.hs,1.021,0.9747,-0.0462999999999999
Tests/Macro/unit-pos/Class.hs,1.3187,1.271,-0.047700000000000076
Tests/Macro/unit-pos/T1220.hs,1.0463,0.9982,-0.04810000000000003
Tests/Micro/ple-pos/tmp.hs,1.3153,1.267,-0.04830000000000001
Tests/Macro/unit-pos/meas7.hs,1.0488,1.0001,-0.048699999999999966
Tests/Macro/unit-pos/case-lambda-join.hs,1.1877,1.1386,-0.04909999999999992
Tests/Macro/unit-pos/ListSort.hs,2.0961,2.0467,-0.04939999999999989
Tests/Macro/unit-pos/SafePartialFunctions.hs,1.0733,1.0237,-0.049599999999999866
Tests/Macro/unit-pos/T1013.hs,1.1728,1.123,-0.049800000000000066
Tests/Micro/pattern-pos/Return00.hs,1.0026,0.9526,-0.04999999999999993
Tests/Micro/pattern-pos/contra0.hs,1.0669,1.0168,-0.05010000000000003
Tests/Macro/unit-pos/T1198.1.hs,1.0314,0.981,-0.05040000000000011
Tests/Macro/unit-pos/T1095B.hs,1.2204,1.1697,-0.05069999999999997
Tests/Macro/unit-pos/bounds1.hs,1.0381,0.9868,-0.05130000000000001
Tests/Macro/unit-pos/ToyMVar.hs,1.2992,1.2478,-0.05139999999999989
Tests/Macro/unit-pos/Class2.hs,1.3051,1.2535,-0.05159999999999987
Tests/Prover/without_ple_neg/FunctorList.hs,4.7393,4.6876,-0.0517000000000003
Tests/Macro/unit-pos/rangeAdt.hs,2.6072,2.5551,-0.05210000000000026
Tests/Micro/ple-pos/filterPLE.hs,1.0937,1.0394,-0.05429999999999979
Tests/Error-Messages/Fractional.hs,0.8808,0.8259,-0.05490000000000006
Tests/Macro/unit-pos/ORM.hs,1.4906,1.4354,-0.055199999999999916
Tests/Macro/unit-pos/T819A.hs,1.0934,1.0379,-0.05549999999999988
Tests/Micro/pattern-pos/monad0.hs,1.0431,0.9873,-0.05579999999999996
Tests/Macro/unit-neg/MergeSort.hs,1.1901,1.1338,-0.05630000000000002
Tests/Micro/ple-neg/ple0.hs,0.9728,0.9161,-0.05669999999999997
Tests/Error-Messages/ErrLocation.hs,0.9055,0.8484,-0.05709999999999993
Tests/Macro/unit-pos/Merge1.hs,1.0533,0.9961,-0.05719999999999992
Tests/Macro/unit-pos/T1633.hs,1.2667,1.2085,-0.05820000000000003
Tests/Prover/without_ple_pos/MonadMaybe.hs,1.3057,1.2469,-0.058800000000000185
Tests/Error-Messages/TerminationExprSort.hs,0.8742,0.8126,-0.06159999999999999
Tests/Macro/unit-neg/risers.hs,1.0046,0.9417,-0.06289999999999996
Tests/Micro/reflect-neg/DoubleLit.hs,0.9401,0.8762,-0.06390000000000007
Tests/Macro/unit-pos/WBL0.hs,1.895,1.8309,-0.06410000000000005
Tests/Macro/unit-pos/T531.hs,1.0383,0.9721,-0.06620000000000004
Tests/Macro/unit-pos/LambdaEvalMini.hs,2.0822,2.0115,-0.07069999999999999
Tests/Macro/unit-pos/CountMonad.hs,1.1997,1.1289,-0.07079999999999997
Tests/Macro/unit-pos/ListMSort-LType.hs,2.8901,2.8185,-0.07160000000000011
Tests/Micro/measure-neg/Ple1Lib.hs,1.0271,0.9549,-0.07219999999999993
Tests/Macro/unit-pos/test000.hs,1.0456,0.9694,-0.07620000000000005
Tests/Micro/names-pos/vector0.hs,1.427,1.3498000000000001,-0.07719999999999994
Tests/Micro/absref-neg/ListISort.hs,1.4777,1.4002,-0.07750000000000012
Tests/Error-Messages/LiftMeasureCase.hs,0.8496,0.7718,-0.07779999999999998
Tests/Macro/unit-pos/T1013A.hs,1.8649,1.7862,-0.07869999999999999
Tests/Micro/reflect-neg/ReflString1.hs,1.0066,0.9278,-0.07879999999999998
Tests/Prover/without_ple_pos/BasicLambdas.hs,1.097,1.0166,-0.08040000000000003
Tests/Macro/unit-pos/T1636.hs,1.1295,1.049,-0.08050000000000002
Tests/Error-Messages/T773.hs,0.8944,0.8118,-0.0826
Tests/Macro/unit-pos/kmp.hs,2.1994,2.1132,-0.08619999999999983
Tests/Micro/measure-pos/List02.hs,0.5975,0.5108,-0.0867
Tests/Macro/unit-pos/ReWrite10.hs,1.1318,1.0449,-0.08689999999999998
Tests/Macro/unit-neg/trans.hs,1.6313,1.5439,-0.08739999999999992
Tests/Macro/unit-pos/QQTySig.hs,1.8214,1.7333,-0.08809999999999985
Tests/Error-Messages/ReWrite8.hs,0.9756,0.8872,-0.08840000000000003
Tests/Micro/reflect-neg/ReflString0.hs,0.9189,0.8298,-0.08910000000000007
Tests/Micro/implicit-pos/Implicit3.hs,1.1045,1.0139,-0.09060000000000001
Tests/Macro/unit-pos/T1647.hs,1.0708,0.9781,-0.0927
Tests/Macro/unit-pos/T1126.hs,1.136,1.0423,-0.0936999999999999
Tests/Micro/pattern-pos/ANF.hs,2.025,1.9294,-0.09559999999999991
Tests/Benchmarks/icfp_pos/DBMovies.hs,3.2558,3.1601,-0.0956999999999999
Tests/Macro/unit-pos/data2.hs,1.2312,1.1351,-0.09610000000000007
Tests/Macro/unit-pos/T1198.3.hs,1.0768,0.9796,-0.09719999999999995
Tests/Prover/without_ple_pos/MonoidList.hs,1.4927,1.3951,-0.09759999999999991
Tests/Prover/without_ple_pos/Unification.hs,8.1784,8.0751,-0.10329999999999906
Tests/Macro/unit-pos/T820.hs,1.1654,1.0612,-0.10420000000000007
Tests/Micro/pattern-pos/monad1.hs,1.1017,0.9972,-0.10449999999999993
Tests/Macro/unit-pos/T1577.hs,1.1446,1.0363,-0.10830000000000006
Tests/Macro/unit-pos/pair.hs,2.0916,1.9819,-0.10970000000000013
Tests/Macro/unit-pos/rta.hs,1.1184,1.0059,-0.11250000000000004
Tests/Macro/unit-pos/T1597.hs,1.0937,0.9809,-0.1127999999999999
Tests/Error-Messages/BadSyn4.hs,0.9428,0.83,-0.11280000000000001
Tests/Micro/implicit-pos/Implicit1.hs,1.1,0.9867,-0.11330000000000007
Tests/Micro/pattern-pos/Invariants.hs,1.1672,1.0534,-0.11380000000000012
Tests/Macro/unit-pos/go_ugly_type.hs,1.1619,1.0416,-0.12029999999999985
Tests/Macro/unit-pos/risers.hs,1.2257,1.1052,-0.12050000000000005
Tests/Macro/unit-pos/MaskError.hs,1.0814,0.9606,-0.12079999999999991
Tests/Macro/unit-pos/T1126a.hs,1.1138,0.9917,-0.12209999999999988
Tests/Macro/unit-pos/T1642A.hs,1.1688,1.0465,-0.12230000000000008
Tests/Prover/without_ple_pos/ApplicativeMaybe.hs,3.3099,3.1843,-0.12559999999999993
Tests/Micro/measure-neg/bag.hs,1.1275,1.0011,-0.12639999999999985
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs,11.5192,11.3918,-0.12739999999999974
Tests/Macro/unit-pos/Termination.hs,1.1981,1.0668,-0.13129999999999997
Tests/Macro/unit-pos/term0.hs,1.1585,1.0267,-0.13180000000000014
Tests/Macro/unit-pos/RBTree-color.hs,3.3116,3.1793,-0.13229999999999986
Tests/Macro/unit-pos/Map.hs,9.5349,9.3973,-0.13760000000000083
Tests/Macro/unit-pos/RBTree.hs,6.6845,6.5443,-0.1402000000000001
Tests/Macro/unit-pos/RBTree-height.hs,2.7313,2.5901,-0.1412
Tests/Micro/pattern-pos/monad7.hs,1.3192,1.1766,-0.14259999999999984
Tests/Macro/unit-pos/T1120A.hs,1.308,1.1651,-0.14290000000000003
Tests/Macro/unit-pos/test0.hs,1.1546,1.0114,-0.1432
Tests/Prover/without_ple_neg/Append.hs,2.3675,2.224,-0.14349999999999996
Tests/Macro/unit-pos/T1649MeasuresDef.hs,1.2277,1.0764,-0.1513
Tests/Prover/without_ple_pos/Append.hs,2.3032,2.1443,-0.15890000000000004
Tests/Macro/unit-pos/ReWrite5.hs,1.9094,1.7501,-0.1593
Tests/Micro/ple-pos/IndPalindrome.hs,2.2793,2.1168,-0.1625000000000001
Tests/Macro/unit-pos/T866.hs,1.1395,0.9659,-0.17359999999999998
Tests/Macro/unit-neg/meas9.hs,1.1033,0.9271,-0.1761999999999999
Tests/Macro/unit-pos/TerminationNum0.hs,1.1814,1.004,-0.1774
Tests/Macro/unit-pos/T1095C.hs,1.2021,1.0219,-0.18019999999999992
Tests/Macro/unit-pos/TerminationNum.hs,1.1767,0.996,-0.18070000000000008
Tests/Macro/unit-pos/vector1a.hs,1.6539,1.4694,-0.1844999999999999
Tests/Micro/ple-pos/STLCB0.hs,2.9978,2.8124,-0.1854
Tests/Macro/unit-pos/test00.hs,1.2024,1.0039,-0.1984999999999999
Tests/Macro/unit-neg/RG.hs,1.3906,1.1914,-0.19920000000000004
Tests/Macro/unit-pos/RBTree-ord.hs,5.51,5.3107,-0.19930000000000003
Tests/Micro/ple-pos/STLC2.hs,12.2044,12.0024,-0.20199999999999996
Tests/Micro/absref-pos/ListISort-LType.hs,2.2245,2.0222,-0.2022999999999997
Tests/Macro/unit-pos/ReWrite9.hs,1.2283,1.0084,-0.21989999999999998
Tests/Macro/unit-pos/test00-int.hs,1.2243,1.0041,-0.22019999999999995
Tests/Macro/unit-pos/T1697A.hs,1.3354,1.1089,-0.22649999999999992
Tests/Macro/unit-pos/ReWrite6.hs,2.0527,1.7796,-0.2731000000000001
Tests/Macro/unit-pos/T1603.hs,1.2779,0.9992,-0.27870000000000006
Tests/Benchmarks/cse230/STLC.lhs,12.4944,12.2121,-0.2823000000000011
Tests/Macro/unit-pos/gimme.hs,1.302,1.003,-0.29900000000000015
Tests/Macro/unit-pos/MutualRec.hs,3.943,3.6359,-0.30710000000000015
Tests/Macro/unit-pos/ReWrite7.hs,1.8884,1.5801,-0.3083
Tests/Macro/unit-pos/ReWrite8.hs,1.6835,1.3708,-0.3127
Tests/Macro/unit-pos/test00.old.hs,1.3126,0.9956,-0.31699999999999995
Tests/Prover/foundations/Lists.hs,23.4838,23.1529,-0.33089999999999975
Tests/Macro/unit-pos/T1100.hs,1.4437,1.1112,-0.3325
Tests/Micro/ple-pos/STLCB1.hs,4.3184,3.9688,-0.3495999999999997
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs,6.6814,6.3206,-0.36080000000000023
Tests/Micro/ple-pos/Fulcrum.hs,3.1613,2.7983,-0.36300000000000043
Tests/Prover/without_ple_pos/MonoidMaybe.hs,1.5804,1.2123,-0.3681000000000001
Tests/Macro/unit-pos/Map0.hs,9.5871,9.2185,-0.36859999999999893
Tests/Micro/ple-pos/STLC0.hs,4.3886,3.9778,-0.4108000000000005
Tests/Macro/unit-neg/meas5.hs,2.2718,1.8437,-0.4280999999999999
Tests/Macro/unit-pos/maps1.hs,1.542,1.1114,-0.4306000000000001
Tests/Prover/without_ple_pos/MonadList.hs,3.906,3.4571,-0.4489000000000001
Tests/Prover/without_ple_pos/Fibonacci.hs,2.7187,2.2416,-0.4771000000000001
Tests/Micro/ple-pos/STLC1.hs,7.2438,6.7455,-0.4983000000000004
Tests/Macro/unit-neg/StateConstraints0.hs,50.2911,49.7194,-0.5716999999999999
Tests/Prover/without_ple_neg/MapFusion.hs,5.9887,5.3721,-0.6166
Tests/Macro/unit-pos/MapReduceVerified.hs,10.8137,10.1693,-0.644400000000001
Tests/Micro/ple-pos/RegexpDerivative.hs,8.3483,7.564,-0.7843
Tests/Macro/unit-pos/StateConstraints.hs,15.3671,14.5687,-0.7984000000000009
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs,54.0483,53.2285,-0.8198000000000008
Tests/Prover/without_ple_neg/MonadList.hs,11.9629,11.058,-0.9048999999999996
Tests/Prover/without_ple_pos/NatInduction.hs,2.0641,1.1429,-0.9211999999999998
Tests/Macro/unit-pos/kmpIO.hs,2.3103,1.3104,-0.9998999999999998
Tests/Prover/without_ple_pos/MonadId.hs,2.6162,1.366,-1.2502
Tests/Prover/without_ple_pos/FoldrUniversal.hs,3.8104,2.5378,-1.2726000000000002
Tests/Macro/unit-pos/MergeSort-bag.hs,2.9009,1.5354,-1.3655
Tests/Prover/without_ple_pos/FunctorMaybe.hs,2.7566,1.3805,-1.3761
Tests/Prover/without_ple_pos/FunctorId.hs,2.8786,1.2511,-1.6275
Tests/Macro/unit-pos/mapTvCrash.hs,2.791,1.0295,-1.7614999999999998
Tests/Macro/unit-pos/go.hs,2.9711,1.0061,-1.9649999999999999
Tests/Macro/unit-neg/meas7.hs,2.9139,0.9169,-1.9969999999999999
Tests/Prover/without_ple_pos/MapFusion.hs,4.788,2.3558,-2.4322000000000004
Tests/Benchmarks/cse230/Lec_3_11.hs,4.8399,2.0158,-2.8241
Tests/Prover/without_ple_pos/FunctorList.hs,6.4448,3.0143,-3.4305
Tests/Macro/unit-pos/Foldl.hs,39.0238,35.5735,-3.4502999999999986
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs,66.6495,62.5119,-4.137600000000006
Tests/Benchmarks/cse230/Lec_3_15.hs,8.8444,1.8375,-7.0069
Tests/Benchmarks/cse230/Verifier.hs,17.568,3.9097,-13.6583
Tests/Micro/measure-pos/List01.hs,0.4622,NA,NA
Tests/Micro/measure-pos/List00Lib.hs,0.4872,NA,NA
Tests/Micro/measure-pos/List00.hs,0.4636,NA,NA
Tests/Micro/measure-pos/Len02.hs,0.4657,NA,NA
Tests/Micro/measure-pos/Len01.hs,0.4636,NA,NA
Tests/Micro/measure-pos/Len00.hs,0.4542,NA,NA
Tests/Micro/measure-pos/HiddenDataLib.hs,0.458,NA,NA
Tests/Micro/measure-pos/HiddenData.hs,0.4571,NA,NA
Tests/Micro/measure-pos/GList00Lib.hs,0.4335,NA,NA
Tests/Micro/measure-pos/GList000.hs,0.4286,NA,NA
Tests/Micro/measure-pos/fst02.hs,0.4113,NA,NA
Tests/Micro/measure-pos/fst01.hs,0.4069,NA,NA
Tests/Micro/measure-pos/fst00.hs,0.4075,NA,NA
Tests/Micro/measure-pos/ExactFunApp.hs,0.4073,NA,NA
Tests/Micro/measure-pos/bag.hs,0.4065,NA,NA
Tests/Micro/measure-pos/AbsMeasure.hs,0.4683,NA,NA
Tests/Micro/measure-neg/Using00.hs,0.4914,NA,NA
Tests/Micro/class-laws-pos/SemiGroup.hs,1.2341,NA,NA
Tests/Micro/class-laws-pos/Monoid.hs,1.3052,NA,NA
Tests/Micro/class-laws-pos/Labels.hs,1.2096,NA,NA
Tests/Micro/class-laws-pos/FreeVar.hs,0.9987,NA,NA
Tests/Micro/class-laws-crash/SemiGroup-WrongLaw.hs,0.8999,NA,NA
Tests/Micro/class-laws-crash/SemiGroup-UndefinedLaw.hs,0.9336,NA,NA
Tests/Micro/class-laws-crash/SemiGroup-UndefinedInstance.hs,0.9252,NA,NA
Tests/Micro/class-laws-crash/SemiGroup-MissingLaw.hs,0.8989,NA,NA
Tests/Micro/class-laws-neg/SemiGroup-WrongProof.hs,0.9886,NA,NA
Tests/Micro/class-laws-neg/SemiGroup-WrongDef.hs,0.9812,NA,NA
Tests/Micro/measure-pos/List01.hs,NA,1.014,NA
Tests/Micro/measure-pos/List00Lib.hs,NA,1.0148,NA
Tests/Micro/measure-pos/List00.hs,NA,1.127,NA
Tests/Micro/measure-pos/Len02.hs,NA,1.1941,NA
Tests/Micro/measure-pos/Len01.hs,NA,0.9857,NA
Tests/Micro/measure-pos/Len00.hs,NA,0.9948,NA
Tests/Micro/measure-pos/HiddenDataLib.hs,NA,0.9955,NA
Tests/Micro/measure-pos/HiddenData.hs,NA,1.0092,NA
Tests/Micro/measure-pos/GList00Lib.hs,NA,0.9969,NA
Tests/Micro/measure-pos/GList000.hs,NA,0.9816,NA
Tests/Micro/measure-pos/fst02.hs,NA,1.0078,NA
Tests/Micro/measure-pos/fst01.hs,NA,1.3449,NA
Tests/Micro/measure-pos/fst00.hs,NA,0.9991,NA
Tests/Micro/measure-pos/ExactFunApp.hs,NA,0.9971,NA
Tests/Micro/measure-pos/bag.hs,NA,1.1122,NA
Tests/Micro/measure-pos/AbsMeasure.hs,NA,0.9705,NA
Tests/Micro/measure-neg/Using00.hs,NA,0.8874,NA
Tests/Micro/typeclass-pos/Semigroup.hs,NA,1.3858,NA
Tests/Micro/typeclass-pos/PNat.hs,NA,1.9071,NA
Tests/Micro/typeclass-pos/Lib.hs,NA,0.7226,NA
Tests/Micro/typeclass-pos/Lemma.hs,NA,1.2521,NA