liquidhaskell-0.8.10.7: tests/logs/compare-PLE.csv

test,develop time(s),,PLE time(s),,PLE - develop time (s),,Sorted By Time Different ,develop time(s),,PLE time(s),,PLE - develop time (s)
,,,,,,,,,,,,
Tests/Micro/parser-pos/Tuples.hs,2.8569,,1.509,,-1.3479,,Tests/Prover/with_ple/Fibonacci.hs,12.1659,,198.1947,,186.0288
Tests/Micro/parser-pos/TokensAsPrefixes.hs,1.7808,,1.5108,,-0.27,,Tests/Macro/unit-pos/Map2.hs,18.5528,,28.599,,10.0462
Tests/Micro/parser-pos/ReflectedInfix.hs,2.0866,,1.534,,-0.5526,,Tests/Micro/ple-pos/Fulcrum.hs,4.9064,,14.4453,,9.5389
Tests/Micro/parser-pos/Parens.hs,1.8421,,1.8977,,0.0556,,Tests/Macro/unit-pos/FingerTree.hs,8.4078,,17.7345,,9.3267
Tests/Micro/parser-pos/NestedTuples.hs,2.003,,1.5578,,-0.4452,,Tests/Micro/ple-pos/RegexpDerivative.hs,17.9588,,27.2579,,9.2991
Tests/Micro/basic-pos/SkipDerived00.hs,1.9973,,1.75,,-0.2473,,Tests/Prover/foundations/Lists.hs,49.3137,,58.2883,,8.9746
Tests/Micro/basic-pos/poly00.hs,1.9046,,1.9001,,-0.0045,,Tests/Macro/unit-pos/BST.hs,9.0707,,15.6432,,6.5725
Tests/Micro/basic-pos/List00.hs,1.9425,,3.2621,,1.3196,,Tests/Macro/unit-neg/StateConstraints0.hs,39.375,,45.6724,,6.2974
Tests/Micro/basic-pos/infer00.hs,2.1411,,3.0456,,0.9045,,Tests/Micro/ple-pos/NegNormalForm.hs,2.6191,,8.5285,,5.9094
Tests/Micro/basic-pos/inc04.hs,1.8558,,1.8461,,-0.0097,,Tests/Micro/terminate-pos/T1403.hs,1.8023,,5.8356,,4.0333
Tests/Micro/basic-pos/Inc03Lib.hs,1.8791,,1.8999,,0.0208,,Tests/Macro/unit-neg/TerminationNum0.hs,1.2038,,4.9798,,3.776
Tests/Micro/basic-pos/inc03.hs,1.9151,,2.9467,,1.0316,,Tests/Macro/unit-pos/Foldl.hs,12.4761,,15.8681,,3.392
Tests/Micro/basic-pos/inc02.hs,1.8231,,2.8335,,1.0104,,Tests/Macro/unit-pos/Hutton.hs,3.0554,,6.0743,,3.0189
Tests/Micro/basic-pos/inc01q.hs,1.9012,,1.6855,,-0.2157,,Tests/Macro/unit-pos/elements.hs,1.5785,,4.0614,,2.4829
Tests/Micro/basic-pos/inc01.hs,1.4505,,2.8196,,1.3691,,Tests/Prover/without_ple_pos/Unification.hs,12.2269,,14.4696,,2.2427
Tests/Micro/basic-pos/inc00.hs,1.2526,,1.7756,,0.523,,Tests/Micro/ple-pos/STLCB1.hs,7.2412,,9.4615,,2.2203
Tests/Micro/basic-pos/Float.hs,1.2038,,2.2757,,1.0719,,Tests/Micro/ple-pos/IndPalindrome.hs,3.4204,,5.5612,,2.1408
Tests/Micro/basic-pos/alias05.hs,1.1413,,2.8679,,1.7266,,Tests/Micro/ple-pos/STLC1.hs,7.2691,,9.3669,,2.0978
Tests/Micro/basic-pos/alias04.hs,1.0993,,1.6465,,0.5472,,Tests/Micro/ple-pos/padLeft.hs,1.9389,,3.8731,,1.9342
Tests/Micro/basic-pos/alias03.hs,1.1129,,1.4363,,0.3234,,Tests/Macro/unit-pos/csgordon_issue_296.hs,1.6312,,3.5266,,1.8954
Tests/Micro/basic-pos/alias02.hs,1.0284,,1.483,,0.4546,,Tests/Macro/unit-neg/monad6.hs,1.4241,,3.2581,,1.834
Tests/Micro/basic-pos/alias01.hs,1.0719,,1.2943,,0.2224,,Tests/Prover/without_ple_neg/ApplicativeMaybe.hs,6.5817,,8.3226,,1.7409
Tests/Micro/basic-pos/alias00.hs,1.0848,,1.2929,,0.2081,,Tests/Micro/datacon-pos/T1476.hs,1.3837,,3.1146,,1.7309
Tests/Micro/basic-neg/T1459.hs,1.2427,,1.5993,,0.3566,,Tests/Micro/basic-pos/alias05.hs,1.1413,,2.8679,,1.7266
Tests/Micro/basic-neg/poly00.hs,1.105,,1.5068,,0.4018,,Tests/Macro/unit-neg/mapreduce.hs,3.8121,,5.5318,,1.7197
Tests/Micro/basic-neg/List00.hs,1.0375,,1.2912,,0.2537,,Tests/Micro/ple-pos/NNFPiotr.hs,1.4418,,3.1534,,1.7116
Tests/Micro/basic-neg/Inc04Lib.hs,1.1028,,1.3862,,0.2834,,Tests/Macro/unit-pos/ExactADT6.hs,1.7398,,3.4091,,1.6693
Tests/Micro/basic-neg/Inc04.hs,1.1409,,1.3914,,0.2505,,Tests/Prover/without_ple_neg/MapFusion.hs,6.5901,,8.2236,,1.6335
Tests/Micro/basic-neg/inc03.hs,1.1586,,1.5297,,0.3711,,Tests/Prover/without_ple_pos/MapFusion.hs,3.8517,,5.4694,,1.6177
Tests/Micro/basic-neg/inc02.hs,1.1353,,1.3006,,0.1653,,Tests/Macro/unit-pos/LambdaEvalMini.hs,3.1395,,4.741,,1.6015
Tests/Micro/basic-neg/inc01q.hs,1.1169,,1.4175,,0.3006,,Tests/Macro/unit-pos/Propability.hs,1.1632,,2.7645,,1.6013
Tests/Micro/basic-neg/inc01.hs,1.1057,,1.2511,,0.1454,,Tests/Macro/unit-neg/TerminationNum.hs,1.1863,,2.77,,1.5837
Tests/Micro/measure-pos/Using00.hs,1.1074,,1.2288,,0.1214,,Tests/Macro/unit-neg/filterAbs.hs,1.5892,,3.152,,1.5628
Tests/Micro/measure-pos/RecordAccessors.hs,1.1392,,1.2115,,0.0723,,Tests/Macro/unit-pos/elim-ex-map-1.hs,1.4972,,3.0542,,1.557
Tests/Micro/measure-pos/PruneHO.hs,1.0802,,2.1735,,1.0933,,Tests/Micro/ple-pos/STLC2.hs,14.5075,,15.9361,,1.4286
Tests/Micro/measure-pos/Ple1Lib.hs,1.1041,,1.2984,,0.1943,,Tests/Micro/names-pos/Set01.hs,1.1035,,2.5292,,1.4257
Tests/Micro/measure-pos/ple1.hs,1.1641,,1.2769,,0.1128,,Tests/Macro/unit-pos/test00b.hs,1.1209,,2.5398,,1.4189
Tests/Micro/measure-pos/ple01.hs,1.0631,,1.3981,,0.335,,Tests/Macro/unit-pos/meas11.hs,1.5005,,2.9128,,1.4123
Tests/Micro/measure-pos/ple00.hs,1.168,,1.3071,,0.1391,,Tests/Micro/names-neg/Set02.hs,1.1137,,2.4984,,1.3847
Tests/Micro/measure-pos/List02Lib.hs,1.1282,,1.2864,,0.1582,,Tests/Micro/names-pos/LocalSpec.hs,1.0981,,2.4707,,1.3726
Tests/Micro/measure-pos/List02.hs,1.2058,,1.2305,,0.0247,,Tests/Micro/basic-pos/inc01.hs,1.4505,,2.8196,,1.3691
Tests/Micro/measure-pos/List01.hs,1.0492,,1.2986,,0.2494,,Tests/Prover/with_ple/ApplicativeList.hs,3.8094,,5.1688,,1.3594
Tests/Micro/measure-pos/List00Lib.hs,1.1938,,1.3547,,0.1609,,Tests/Macro/unit-neg/T1553.hs,1.2174,,2.553,,1.3356
Tests/Micro/measure-pos/List00.hs,1.097,,1.2465,,0.1495,,Tests/Macro/unit-pos/ListElem.hs,1.2513,,2.5795,,1.3282
Tests/Micro/measure-pos/Len02.hs,1.6089,,1.6232,,0.0143,,Tests/Macro/unit-pos/elim-ex-list.hs,1.242,,2.5674,,1.3254
Tests/Micro/measure-pos/Len01.hs,1.254,,1.3092,,0.0552,,Tests/Micro/basic-pos/List00.hs,1.9425,,3.2621,,1.3196
Tests/Micro/measure-pos/Len00.hs,1.2211,,1.3246,,0.1035,,Tests/Macro/unit-pos/Map0.hs,21.9477,,23.2472,,1.2995
Tests/Micro/measure-pos/HiddenDataLib.hs,1.1666,,1.3415,,0.1749,,Tests/Macro/unit-neg/Solver.hs,1.9936,,3.2742,,1.2806
Tests/Micro/measure-pos/HiddenData.hs,1.7267,,1.2101,,-0.5166,,Tests/Micro/ple-pos/ple0.hs,1.0405,,2.3109,,1.2704
Tests/Micro/measure-pos/GList00Lib.hs,1.7352,,1.2762,,-0.459,,Tests/Micro/measure-neg/fst00.hs,1.11,,2.3622,,1.2522
Tests/Micro/measure-pos/GList000.hs,1.747,,1.3006,,-0.4464,,Tests/Micro/class-pos/Inst00.hs,1.0889,,2.3188,,1.2299
Tests/Micro/measure-pos/fst02.hs,1.3092,,1.3724,,0.0632,,Tests/Macro/unit-neg/test00.hs,1.306,,2.5278,,1.2218
Tests/Micro/measure-pos/fst01.hs,1.0813,,1.331,,0.2497,,Tests/Macro/unit-pos/selfList.hs,1.3399,,2.5553,,1.2154
Tests/Micro/measure-pos/fst00.hs,1.3064,,1.265,,-0.0414,,Tests/Macro/unit-neg/BadNats.hs,1.3422,,2.5413,,1.1991
Tests/Micro/measure-pos/ExactFunApp.hs,1.0967,,1.4455,,0.3488,,Tests/Micro/names-neg/local00.hs,1.1481,,2.3462,,1.1981
Tests/Micro/measure-pos/bag.hs,1.2071,,1.4608,,0.2537,,Tests/Prover/without_ple_pos/FoldrUniversal.hs,4.3502,,5.5434,,1.1932
Tests/Micro/measure-pos/AbsMeasure.hs,1.0894,,1.2947,,0.2053,,Tests/Macro/unit-pos/T595a.hs,1.1004,,2.2894,,1.189
Tests/Micro/measure-neg/Using00.hs,1.1131,,1.281,,0.1679,,Tests/Macro/unit-neg/T1553A.hs,1.2517,,2.4367,,1.185
Tests/Micro/measure-neg/Ple1Lib.hs,1.1634,,1.8265,,0.6631,,Tests/Micro/ple-neg/T1173.hs,1.3274,,2.512,,1.1846
Tests/Micro/measure-neg/ple1.hs,1.2507,,1.9421,,0.6914,,Tests/Micro/measure-neg/List00.hs,1.0915,,2.2669,,1.1754
Tests/Micro/measure-neg/ple0.hs,1.0849,,1.7951,,0.7102,,Tests/Micro/ple-pos/tmp.hs,1.6653,,2.8307,,1.1654
Tests/Micro/measure-neg/List02.hs,1.1037,,1.893,,0.7893,,Tests/Macro/unit-pos/SimplerNotation.hs,1.2322,,2.3702,,1.138
Tests/Micro/measure-neg/List01.hs,1.1409,,1.4349,,0.294,,Tests/Prover/without_ple_neg/Append.hs,3.6127,,4.7495,,1.1368
Tests/Micro/measure-neg/List00.hs,1.0915,,2.2669,,1.1754,,Tests/Error-Messages/UnboundVarInLocSig.hs,1.0292,,2.1642,,1.135
Tests/Micro/measure-neg/Len01.hs,1.0953,,1.3441,,0.2488,,Tests/Prover/without_ple_neg/Fibonacci.hs,3.3188,,4.4529,,1.1341
Tests/Micro/measure-neg/Len00.hs,1.0785,,1.2989,,0.2204,,Tests/Macro/unit-pos/RBTree.hs,14.621,,15.7481,,1.1271
Tests/Micro/measure-neg/GList00Lib.hs,1.2383,,1.306,,0.0677,,Tests/Macro/unit-neg/CastedTotality.hs,0.9473,,2.0625,,1.1152
Tests/Micro/measure-neg/fst02.hs,1.0947,,1.2859,,0.1912,,Tests/Micro/class-laws-neg/SemiGroup-WrongProof.hs,1.1822,,2.2954,,1.1132
Tests/Micro/measure-neg/fst01.hs,1.1083,,1.8439,,0.7356,,Tests/Macro/unit-pos/LambdaEval.hs,3.1185,,4.2217,,1.1032
Tests/Micro/measure-neg/fst00.hs,1.11,,2.3622,,1.2522,,Tests/Error-Messages/Fractional.hs,1.1028,,2.2047,,1.1019
Tests/Micro/measure-neg/bag.hs,1.3192,,1.7597,,0.4405,,Tests/Macro/unit-neg/mr00.hs,1.7493,,2.8509,,1.1016
Tests/Micro/datacon-pos/T1477.hs,1.201,,1.8805,,0.6795,,Tests/Micro/measure-pos/PruneHO.hs,1.0802,,2.1735,,1.0933
Tests/Micro/datacon-pos/T1476.hs,1.3837,,3.1146,,1.7309,,Tests/Micro/names-neg/Assume00.hs,1.2315,,2.3192,,1.0877
Tests/Micro/datacon-pos/T1473B.hs,1.3311,,2.2624,,0.9313,,Tests/Error-Messages/UnboundFunInSpec2.hs,1.1406,,2.2188,,1.0782
Tests/Micro/datacon-pos/T1473A.hs,1.3648,,2.002,,0.6372,,Tests/Macro/unit-pos/SimplifyTup00.hs,1.3993,,2.4736,,1.0743
Tests/Micro/datacon-pos/T1446.hs,1.2584,,1.5664,,0.308,,Tests/Micro/basic-pos/Float.hs,1.2038,,2.2757,,1.0719
Tests/Micro/datacon-pos/NewType.hs,1.1304,,1.6447,,0.5143,,Tests/Error-Messages/UnboundCheckVar.hs,1.0455,,2.1128,,1.0673
Tests/Micro/datacon-pos/Date.hs,1.3913,,1.8044,,0.4131,,Tests/Error-Messages/DupFunSigs.hs,1.0603,,2.1266,,1.0663
Tests/Micro/datacon-pos/Data02Lib.hs,1.115,,1.2536,,0.1386,,Tests/Prover/with_ple/Unification.hs,4.6323,,5.6951,,1.0628
Tests/Micro/datacon-pos/Data02.hs,1.1472,,1.4916,,0.3444,,Tests/Macro/unit-pos/Term.hs,1.1814,,2.2344,,1.053
Tests/Micro/datacon-pos/Data01.hs,1.246,,1.4132,,0.1672,,Tests/Macro/unit-neg/pair.hs,2.8852,,3.934,,1.0488
Tests/Micro/datacon-pos/Data00Lib.hs,1.1001,,1.3221,,0.222,,Tests/Macro/unit-neg/Books.hs,1.4428,,2.4821,,1.0393
Tests/Micro/datacon-pos/Data00.hs,1.1298,,1.3895,,0.2597,,Tests/Macro/unit-pos/MutualRec.hs,6.0189,,7.0568,,1.0379
Tests/Micro/datacon-pos/AdtPeano2.hs,1.2425,,1.3322,,0.0897,,Tests/Macro/unit-neg/TermReal.hs,1.1769,,2.213,,1.0361
Tests/Micro/datacon-neg/NewTypes0.hs,1.0965,,1.4746,,0.3781,,Tests/Micro/basic-pos/inc03.hs,1.9151,,2.9467,,1.0316
Tests/Micro/datacon-neg/NewTypes.hs,1.1161,,1.387,,0.2709,,Tests/Macro/unit-neg/poly1.hs,1.4439,,2.4745,,1.0306
Tests/Micro/datacon-neg/Date.hs,1.4695,,1.8842,,0.4147,,Tests/Micro/names-pos/vector1.hs,1.6579,,2.6797,,1.0218
Tests/Micro/datacon-neg/Data02Lib.hs,1.1919,,1.39,,0.1981,,Tests/Micro/basic-pos/inc02.hs,1.8231,,2.8335,,1.0104
Tests/Micro/datacon-neg/Data02.hs,1.4476,,1.2925,,-0.1551,,Tests/Macro/unit-pos/T716.hs,3.3541,,4.364,,1.0099
Tests/Micro/datacon-neg/Data01.hs,1.1127,,1.3432,,0.2305,,Tests/Error-Messages/UnboundFunInSpec1.hs,1.0686,,2.0742,,1.0056
Tests/Micro/datacon-neg/Data00Lib.hs,1.1016,,1.3156,,0.214,,Tests/Macro/unit-pos/Hole00.hs,1.4936,,2.4971,,1.0035
Tests/Micro/datacon-neg/Data00.hs,1.1036,,1.35,,0.2464,,Tests/Macro/unit-neg/IntAbsRef.hs,1.3804,,2.3797,,0.9993
Tests/Micro/datacon-neg/AdtPeano2.hs,1.1333,,1.5756,,0.4423,,Tests/Macro/unit-pos/Ignores.hs,1.2281,,2.2111,,0.983
Tests/Micro/names-pos/vector1.hs,1.6579,,2.6797,,1.0218,,Tests/Macro/unit-pos/AmortizedQueue.hs,1.6008,,2.5788,,0.978
Tests/Micro/names-pos/vector04.hs,1.2357,,1.5803,,0.3446,,Tests/Macro/unit-pos/T1085.hs,1.1074,,2.0743,,0.9669
Tests/Micro/names-pos/vector0.hs,1.5174,,2.1468,,0.6294,,Tests/Prover/with_ple/MonadList.hs,1.724,,2.6781,,0.9541
Tests/Micro/names-pos/Uniques.hs,1.2991,,1.6652,,0.3661,,Tests/Macro/unit-neg/LocalSpec.hs,1.4446,,2.3976,,0.953
Tests/Micro/names-pos/T675.hs,1.2968,,1.6747,,0.3779,,Tests/Macro/unit-neg/multi-pred-app-00.hs,1.2841,,2.2299,,0.9458
Tests/Micro/names-pos/T1521.hs,1.0207,,1.3078,,0.2871,,Tests/Macro/unit-neg/HigherOrder.hs,1.3015,,2.2444,,0.9429
Tests/Micro/names-pos/Shadow01.hs,1.0078,,1.3231,,0.3153,,Tests/Macro/unit-pos/exp0.hs,1.214,,2.1534,,0.9394
Tests/Micro/names-pos/Shadow00.hs,1.141,,1.8376,,0.6966,,Tests/Micro/absref-pos/ListISort-LType.hs,3.1449,,4.0807,,0.9358
Tests/Micro/names-pos/Set02.hs,1.1079,,1.4276,,0.3197,,Tests/Error-Messages/UnboundFunInSpec.hs,1.0017,,1.934,,0.9323
Tests/Micro/names-pos/Set01.hs,1.1035,,2.5292,,1.4257,,Tests/Micro/datacon-pos/T1473B.hs,1.3311,,2.2624,,0.9313
Tests/Micro/names-pos/Set00.hs,1.0509,,1.4416,,0.3907,,Tests/Error-Messages/DupMeasure.hs,1.0366,,1.9652,,0.9286
Tests/Micro/names-pos/Ord.hs,1.0481,,1.871,,0.8229,,Tests/Macro/unit-pos/elim-ex-map-3.hs,1.6413,,2.5697,,0.9284
Tests/Micro/names-pos/LocalSpec.hs,1.0981,,2.4707,,1.3726,,Tests/Macro/unit-pos/FibEq.hs,1.4233,,2.3472,,0.9239
Tests/Micro/names-pos/local03.hs,1.0348,,1.4167,,0.3819,,Tests/Macro/unit-pos/LambdaDeBruijn.hs,1.988,,2.9098,,0.9218
Tests/Micro/names-pos/local02.hs,1.0258,,1.4425,,0.4167,,Tests/Error-Messages/T774.hs,1.0515,,1.9731,,0.9216
Tests/Micro/names-pos/local01.hs,1.0595,,1.8804,,0.8209,,Tests/Macro/unit-neg/StateConstraints.hs,2.6884,,3.607,,0.9186
Tests/Micro/names-pos/local00.hs,1.1264,,1.5438,,0.4174,,Tests/Error-Messages/T773.hs,1.1197,,2.0369,,0.9172
Tests/Micro/names-pos/List00.hs,1.1114,,1.4133,,0.3019,,Tests/Micro/names-neg/T1078.hs,1.2956,,2.2047,,0.9091
Tests/Micro/names-pos/HidePrelude.hs,0.9358,,1.0477,,0.1119,,Tests/Macro/unit-pos/ExactGADT6.hs,1.8308,,2.7379,,0.9071
Tests/Micro/names-pos/HideName00.hs,1.0602,,1.3359,,0.2757,,Tests/Macro/unit-pos/T598.hs,1.2716,,2.1782,,0.9066
Tests/Micro/names-pos/ClojurVector.hs,1.57,,1.8337,,0.2637,,Tests/Micro/basic-pos/infer00.hs,2.1411,,3.0456,,0.9045
Tests/Micro/names-pos/Capture02.hs,1.1381,,1.3328,,0.1947,,Tests/Micro/terminate-neg/qsloop.hs,1.8262,,2.7278,,0.9016
Tests/Micro/names-pos/Capture01.hs,1.0701,,1.2183,,0.1482,,Tests/Macro/unit-pos/jeff.hs,4.4129,,5.3043,,0.8914
Tests/Micro/names-pos/BasicLambdas01.hs,1.1554,,1.4031,,0.2477,,Tests/Macro/unit-neg/PairMeasure.hs,1.3513,,2.2375,,0.8862
Tests/Micro/names-pos/BasicLambdas00.hs,1.1046,,1.4619,,0.3573,,Tests/Macro/unit-pos/T595.hs,1.3125,,2.1882,,0.8757
Tests/Micro/names-pos/Assume01.hs,1.1512,,1.2791,,0.1279,,Tests/Macro/unit-pos/ExactGADT2.hs,1.4882,,2.3625,,0.8743
Tests/Micro/names-pos/Assume00.hs,1.2868,,1.4041,,0.1173,,Tests/Macro/unit-neg/HolesTop.hs,1.3731,,2.2467,,0.8736
Tests/Micro/names-pos/Alias00.hs,1.0526,,1.1984,,0.1458,,Tests/Macro/unit-pos/T1065.hs,1.2324,,2.1048,,0.8724
Tests/Micro/names-neg/vector1.hs,1.6878,,2.1436,,0.4558,,Tests/Macro/unit-neg/grty1.hs,1.3974,,2.2495,,0.8521
Tests/Micro/names-neg/vector0.hs,1.577,,2.3625,,0.7855,,Tests/Macro/unit-pos/T1060.hs,1.3216,,2.1617,,0.8401
Tests/Micro/names-neg/T1078.hs,1.2956,,2.2047,,0.9091,,Tests/Macro/unit-pos/transTAG.hs,2.7671,,3.6004,,0.8333
Tests/Micro/names-neg/Set02.hs,1.1137,,2.4984,,1.3847,,Tests/Error-Messages/T1498A.hs,1.0721,,1.9042,,0.8321
Tests/Micro/names-neg/Set01.hs,1.0806,,1.3578,,0.2772,,Tests/Macro/unit-pos/T1092.hs,1.4122,,2.2404,,0.8282
Tests/Micro/names-neg/Set00.hs,1.1226,,1.5787,,0.4561,,Tests/Macro/unit-neg/HasElem.hs,1.4029,,2.2286,,0.8257
Tests/Micro/names-neg/local00.hs,1.1481,,2.3462,,1.1981,,Tests/Micro/ple-pos/STLC0.hs,4.8307,,5.6558,,0.8251
Tests/Micro/names-neg/Capture01.hs,1.1319,,1.647,,0.5151,,Tests/Micro/names-pos/Ord.hs,1.0481,,1.871,,0.8229
Tests/Micro/names-neg/Assume00.hs,1.2315,,2.3192,,1.0877,,Tests/Micro/names-pos/local01.hs,1.0595,,1.8804,,0.8209
Tests/Micro/reflect-pos/ReflString1.hs,1.3482,,1.6577,,0.3095,,Tests/Error-Messages/Inconsistent1.hs,1.1384,,1.9521,,0.8137
Tests/Micro/reflect-pos/ReflString0.hs,1.4027,,1.3671,,-0.0356,,Tests/Error-Messages/DupData.hs,1,,1.8054,,0.8054
Tests/Micro/reflect-pos/DoubleLit.hs,1.136,,1.4255,,0.2895,,Tests/Micro/ple-pos/T1371_NNF.hs,1.6227,,2.4275,,0.8048
Tests/Micro/reflect-neg/ReflString1.hs,1.2371,,1.5075,,0.2704,,Tests/Macro/unit-neg/stacks.hs,1.413,,2.2176,,0.8046
Tests/Micro/reflect-neg/ReflString0.hs,1.0498,,1.3894,,0.3396,,Tests/Micro/ple-pos/MossakaBug.hs,2.6935,,3.4931,,0.7996
Tests/Micro/reflect-neg/DoubleLit.hs,1.0768,,1.4803,,0.4035,,Tests/Macro/unit-neg/AutoTerm1.hs,1.372,,2.1666,,0.7946
Tests/Micro/absref-pos/VectorLoop.hs,1.512,,2.1139,,0.6019,,Tests/Micro/measure-neg/List02.hs,1.1037,,1.893,,0.7893
Tests/Micro/absref-pos/state00.hs,1.1299,,1.3869,,0.257,,Tests/Micro/names-neg/vector0.hs,1.577,,2.3625,,0.7855
Tests/Micro/absref-pos/Papp00.hs,1.0869,,1.3731,,0.2862,,Tests/Macro/unit-neg/elim-ex-list.hs,1.5278,,2.312,,0.7842
Tests/Micro/absref-pos/ListQSort.hs,2.2586,,2.9885,,0.7299,,Tests/Macro/unit-pos/Repeat.hs,1.8467,,2.628,,0.7813
Tests/Micro/absref-pos/ListISort.hs,1.2483,,1.4261,,0.1778,,Tests/Macro/unit-pos/take.hs,2.3936,,3.1656,,0.772
Tests/Micro/absref-pos/ListISort-LType.hs,3.1449,,4.0807,,0.9358,,Tests/Error-Messages/Inconsistent2.hs,1.1628,,1.9276,,0.7648
Tests/Micro/absref-pos/FlipArgs.hs,1.4032,,1.783,,0.3798,,Tests/Macro/unit-neg/state00.hs,1.3075,,2.0686,,0.7611
Tests/Micro/absref-pos/deptupW.hs,1.6996,,1.5437,,-0.1559,,Tests/Macro/unit-neg/elim-ex-map-2.hs,1.4665,,2.2266,,0.7601
Tests/Micro/absref-pos/deptup0.hs,1.7691,,1.6683,,-0.1008,,Tests/Macro/unit-pos/RelativeComplete.hs,1.4865,,2.2422,,0.7557
Tests/Micro/absref-pos/deppair2.hs,1.1885,,1.5499,,0.3614,,Tests/Macro/unit-pos/bool1.hs,1.2258,,1.9775,,0.7517
Tests/Micro/absref-pos/deppair0.hs,1.2916,,1.4562,,0.1646,,Tests/Error-Messages/Inconsistent0.hs,1.1036,,1.855,,0.7514
Tests/Micro/absref-pos/AbsRef00.hs,1.0987,,1.2681,,0.1694,,Tests/Macro/unit-pos/T1095C.hs,1.2551,,1.9947,,0.7396
Tests/Micro/absref-neg/ListQSort.hs,1.8298,,2.1609,,0.3311,,Tests/Micro/ple-pos/ExactGADT5.hs,1.4239,,2.1628,,0.7389
Tests/Micro/absref-neg/ListISort.hs,2.6515,,2.5102,,-0.1413,,Tests/Micro/measure-neg/fst01.hs,1.1083,,1.8439,,0.7356
Tests/Micro/absref-neg/ListISort-LType.hs,1.6273,,1.7131,,0.0858,,Tests/Micro/ple-pos/T1382.hs,2.311,,3.0416,,0.7306
Tests/Micro/absref-neg/FlipArgs.hs,2.1684,,1.4902,,-0.6782,,Tests/Micro/absref-pos/ListQSort.hs,2.2586,,2.9885,,0.7299
Tests/Micro/absref-neg/deptupW.hs,1.2875,,1.545,,0.2575,,Tests/Macro/unit-neg/bag1.hs,1.4369,,2.1642,,0.7273
Tests/Micro/absref-neg/deptup0.hs,1.2698,,1.6118,,0.342,,Tests/Macro/unit-neg/ExactADT6.hs,1.3544,,2.0794,,0.725
Tests/Micro/absref-neg/deppair0.hs,1.2731,,1.5127,,0.2396,,Tests/Prover/with_ple/Solver.hs,2.1912,,2.9049,,0.7137
Tests/Micro/import-cli/WrapClient.hs,1.0841,,1.3566,,0.2725,,Tests/Micro/measure-neg/ple0.hs,1.0849,,1.7951,,0.7102
Tests/Micro/import-cli/T1180.hs,1.1983,,1.2919,,0.0936,,Tests/Macro/unit-pos/T1045a.hs,1.0719,,1.7771,,0.7052
Tests/Micro/import-cli/T1118.hs,1.3539,,1.4373,,0.0834,,Tests/Macro/unit-neg/foldN.hs,1.3549,,2.0528,,0.6979
Tests/Micro/import-cli/T1117.hs,1.1484,,1.4023,,0.2539,,Tests/Micro/names-pos/Shadow00.hs,1.141,,1.8376,,0.6966
Tests/Micro/import-cli/T1104Client.hs,1.0877,,1.3966,,0.3089,,Tests/Prover/with_ple/Overview.hs,1.8617,,2.5569,,0.6952
Tests/Micro/import-cli/T1096_Foo.hs,1.1279,,1.2874,,0.1595,,Tests/Error-Messages/EmptyData.hs,0.9986,,1.6919,,0.6933
Tests/Micro/import-cli/STClient.hs,1.6311,,2.0187,,0.3876,,Tests/Error-Messages/UnboundVarInSpec.hs,1.1185,,1.8118,,0.6933
Tests/Micro/import-cli/ReflectClient7.hs,1.3613,,1.3791,,0.0178,,Tests/Micro/measure-neg/ple1.hs,1.2507,,1.9421,,0.6914
Tests/Micro/import-cli/ReflectClient6.hs,1.4668,,1.3831,,-0.0837,,Tests/Macro/unit-neg/T743-mini.hs,1.2574,,1.9466,,0.6892
Tests/Micro/import-cli/ReflectClient5.hs,1.1518,,1.319,,0.1672,,Tests/Macro/unit-neg/ExactGADT7.hs,1.469,,2.1522,,0.6832
Tests/Micro/import-cli/ReflectClient4a.hs,1.6628,,1.469,,-0.1938,,Tests/Macro/unit-neg/MaybeMonad.hs,1.4114,,2.0923,,0.6809
Tests/Micro/import-cli/ReflectClient4.hs,1.7006,,2.2281,,0.5275,,Tests/Macro/unit-pos/duplicate-bind.hs,1.3909,,2.0712,,0.6803
Tests/Micro/import-cli/ReflectClient3.hs,1.5885,,1.5489,,-0.0396,,Tests/Micro/datacon-pos/T1477.hs,1.201,,1.8805,,0.6795
Tests/Micro/import-cli/ReflectClient2.hs,1.1409,,1.3252,,0.1843,,Tests/Macro/unit-pos/meas1.hs,1.7232,,2.4017,,0.6785
Tests/Micro/import-cli/ReflectClient1.hs,1.5548,,1.2524,,-0.3024,,Tests/Macro/unit-pos/deptup3.hs,1.2467,,1.9252,,0.6785
Tests/Micro/import-cli/ReflectClient0.hs,1.231,,1.2338,,0.0028,,Tests/Macro/unit-neg/ExactGADT6.hs,1.4029,,2.0807,,0.6778
Tests/Micro/import-cli/RC1015.hs,1.749,,1.2463,,-0.5027,,Tests/Macro/unit-pos/meas4.hs,1.917,,2.5928,,0.6758
Tests/Micro/import-cli/NameClashClient.hs,1.4893,,1.3217,,-0.1676,,Tests/Error-Messages/UnboundVarInAssume.hs,1.0502,,1.7134,,0.6632
Tests/Micro/import-cli/ListClient0.hs,1.5336,,1.4988,,-0.0348,,Tests/Micro/measure-neg/Ple1Lib.hs,1.1634,,1.8265,,0.6631
Tests/Micro/import-cli/ListClient.hs,2.0093,,1.4108,,-0.5985,,Tests/Macro/unit-pos/ListMSort-LType.hs,4.4198,,5.0819,,0.6621
Tests/Micro/import-cli/LiquidArrayNullTerm.hs,1.3945,,1.6177,,0.2232,,Tests/Macro/unit-pos/Measures.hs,1.1595,,1.8196,,0.6601
Tests/Micro/import-cli/LiquidArrayInit.hs,1.4926,,1.6913,,0.1987,,Tests/Macro/unit-pos/RBTree-ord.hs,9.2361,,9.8954,,0.6593
Tests/Micro/import-cli/LibRedBlue.hs,1.0766,,1.2784,,0.2018,,Tests/Macro/unit-pos/eqelems.hs,1.359,,2.0179,,0.6589
Tests/Micro/import-cli/FunClashLibLibClient.hs,1.047,,1.2819,,0.2349,,Tests/Micro/datacon-pos/T1473A.hs,1.3648,,2.002,,0.6372
Tests/Micro/import-cli/ExactGADT9.hs,1.0804,,1.3025,,0.2221,,Tests/Macro/unit-pos/T820.hs,1.2552,,1.8918,,0.6366
Tests/Micro/import-cli/CliRedBlue.hs,1.1126,,1.2348,,0.1222,,Tests/Macro/unit-pos/foldN.hs,1.2854,,1.9201,,0.6347
Tests/Micro/import-cli/Client2.hs,1.0875,,1.2441,,0.1566,,Tests/Micro/ple-pos/STLCB0.hs,5.4587,,6.0914,,0.6327
Tests/Micro/import-cli/Client1.hs,1.1514,,1.3226,,0.1712,,Tests/Error-Messages/ShadowFieldReflect.hs,1.0369,,1.6672,,0.6303
Tests/Micro/import-cli/Client0.hs,1.4117,,1.3557,,-0.056,,Tests/Micro/ple-pos/ExactGADT4.hs,1.3422,,1.972,,0.6298
Tests/Micro/import-cli/CliAliasGen00.hs,1.7876,,1.4046,,-0.383,,Tests/Micro/names-pos/vector0.hs,1.5174,,2.1468,,0.6294
Tests/Micro/class-pos/TypeEquality01.hs,1.7755,,1.5674,,-0.2081,,Tests/Macro/unit-pos/Abs.hs,1.1991,,1.8281,,0.629
Tests/Micro/class-pos/TypeEquality00.hs,1.1066,,1.4904,,0.3838,,Tests/Macro/unit-pos/MeasureContains.hs,1.4695,,2.0899,,0.6204
Tests/Micro/class-pos/STMonad.hs,1.8098,,2.0377,,0.2279,,Tests/Macro/unit-pos/tyclass0.hs,1.1628,,1.7761,,0.6133
Tests/Micro/class-pos/RealProps1.hs,1.0704,,1.387,,0.3166,,Tests/Error-Messages/ShadowFieldInline.hs,1.0031,,1.6123,,0.6092
Tests/Micro/class-pos/RealProps0.hs,1.029,,1.2735,,0.2445,,Tests/Macro/unit-pos/tupparse.hs,1.2333,,1.8399,,0.6066
Tests/Micro/class-pos/Inst00.hs,1.0889,,2.3188,,1.2299,,Tests/Micro/absref-pos/VectorLoop.hs,1.512,,2.1139,,0.6019
Tests/Micro/class-pos/HiddenMethod00.hs,1.1196,,1.2134,,0.0938,,Tests/Error-Messages/T1498.hs,1.1959,,1.7891,,0.5932
Tests/Micro/class-pos/Class00.hs,1.0846,,1.4139,,0.3293,,Tests/Micro/ple-pos/IndLast.hs,1.3745,,1.9656,,0.5911
Tests/Micro/class-neg/RealProps0.hs,1.126,,1.2431,,0.1171,,Tests/Macro/unit-pos/WBL0.hs,2.1465,,2.7372,,0.5907
Tests/Micro/class-neg/Inst00.hs,1.1617,,1.3742,,0.2125,,Tests/Micro/ple-pos/ExactGADT50.hs,1.2783,,1.8686,,0.5903
Tests/Micro/class-neg/Class01.hs,1.1598,,1.2544,,0.0946,,Tests/Macro/unit-pos/ExactGADT0.hs,2.1106,,2.6986,,0.588
Tests/Micro/class-neg/Class00.hs,1.1544,,1.2183,,0.0639,,Tests/Macro/unit-pos/T1336.hs,1.3676,,1.9538,,0.5862
Tests/Micro/ple-pos/tmp1.hs,1.225,,1.587,,0.362,,Tests/Macro/unit-pos/lets.hs,1.3752,,1.9585,,0.5833
Tests/Micro/ple-pos/tmp.hs,1.6653,,2.8307,,1.1654,,Tests/Prover/without_ple_pos/Solver.hs,2.227,,2.8083,,0.5813
Tests/Micro/ple-pos/T1424A.hs,1.3805,,1.7004,,0.3199,,Tests/Macro/unit-pos/elems.hs,1.3214,,1.8995,,0.5781
Tests/Micro/ple-pos/T1424.hs,1.1747,,1.485,,0.3103,,Tests/Macro/unit-pos/meas9.hs,1.7312,,2.3084,,0.5772
Tests/Micro/ple-pos/T1409.hs,1.1712,,1.5596,,0.3884,,Tests/Macro/unit-neg/state0.hs,1.3114,,1.888,,0.5766
Tests/Micro/ple-pos/T1382.hs,2.311,,3.0416,,0.7306,,Tests/Macro/unit-pos/Holes-Slicing.hs,1.2319,,1.8067,,0.5748
Tests/Micro/ple-pos/T1371_NNF.hs,1.6227,,2.4275,,0.8048,,Tests/Macro/unit-pos/LambdaEvalTiny.hs,1.6619,,2.2366,,0.5747
Tests/Micro/ple-pos/T1371.hs,1.2239,,1.4231,,0.1992,,Tests/Macro/unit-pos/OrdList.hs,2.9794,,3.5535,,0.5741
Tests/Micro/ple-pos/T1302b.hs,1.8491,,1.7354,,-0.1137,,Tests/Error-Messages/BadAliasApp.hs,1.2796,,1.8528,,0.5732
Tests/Micro/ple-pos/T1289.hs,1.1952,,1.2907,,0.0955,,Tests/Macro/unit-neg/Baz.hs,1.3654,,1.9381,,0.5727
Tests/Micro/ple-pos/T1257.hs,1.1796,,1.5303,,0.3507,,Tests/Macro/unit-pos/pair0.hs,2.5214,,3.0902,,0.5688
Tests/Micro/ple-pos/T1190.hs,1.2302,,1.4398,,0.2096,,Tests/Macro/unit-pos/T1074.hs,1.3242,,1.8906,,0.5664
Tests/Micro/ple-pos/T1173.hs,1.2215,,1.5986,,0.3771,,Tests/Macro/unit-pos/listAnf.hs,1.4581,,2.016,,0.5579
Tests/Micro/ple-pos/StlcBug.hs,1.2543,,1.4677,,0.2134,,Tests/Error-Messages/BadPragma0.hs,0.7275,,1.2835,,0.556
Tests/Micro/ple-pos/STLCB1.hs,7.2412,,9.4615,,2.2203,,Tests/Macro/unit-pos/LazyWhere1.hs,1.3365,,1.8904,,0.5539
Tests/Micro/ple-pos/STLCB0.hs,5.4587,,6.0914,,0.6327,,Tests/Micro/basic-pos/alias04.hs,1.0993,,1.6465,,0.5472
Tests/Micro/ple-pos/STLC2.hs,14.5075,,15.9361,,1.4286,,Tests/Macro/unit-neg/elim-ex-map-1.hs,1.5283,,2.075,,0.5467
Tests/Micro/ple-pos/STLC1.hs,7.2691,,9.3669,,2.0978,,Tests/Macro/unit-pos/T819A.hs,1.2235,,1.7672,,0.5437
Tests/Micro/ple-pos/STLC0.hs,4.8307,,5.6558,,0.8251,,Tests/Prover/foundations/InductionRJ.hs,2.3987,,2.9387,,0.54
Tests/Micro/ple-pos/RosePLEDiv.hs,3.7185,,2.8451,,-0.8734,,Tests/Prover/foundations/Induction.hs,2.6825,,3.2179,,0.5354
Tests/Micro/ple-pos/RegexpDerivative.hs,17.9588,,27.2579,,9.2991,,Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs,1.7135,,2.2425,,0.529
Tests/Micro/ple-pos/ReflectDefault.hs,1.2317,,1.3754,,0.1437,,Tests/Micro/import-cli/ReflectClient4.hs,1.7006,,2.2281,,0.5275
Tests/Micro/ple-pos/pleORM.hs,1.287,,1.7164,,0.4294,,Tests/Macro/unit-pos/extype.hs,1.1395,,1.6659,,0.5264
Tests/Micro/ple-pos/ple0.hs,1.0405,,2.3109,,1.2704,,Tests/Micro/basic-pos/inc00.hs,1.2526,,1.7756,,0.523
Tests/Micro/ple-pos/padLeft.hs,1.9389,,3.8731,,1.9342,,Tests/Macro/unit-pos/pair.hs,2.605,,3.1256,,0.5206
Tests/Micro/ple-pos/NNFPiotr.hs,1.4418,,3.1534,,1.7116,,Tests/Prover/with_ple/FunctorList.hs,1.5612,,2.0781,,0.5169
Tests/Micro/ple-pos/NegNormalForm.hs,2.6191,,8.5285,,5.9094,,Tests/Micro/ple-pos/Compiler.hs,1.515,,2.0317,,0.5167
Tests/Micro/ple-pos/MossakaBug.hs,2.6935,,3.4931,,0.7996,,Tests/Micro/names-neg/Capture01.hs,1.1319,,1.647,,0.5151
Tests/Micro/ple-pos/MJFix.hs,1.5601,,1.8186,,0.2585,,Tests/Micro/datacon-pos/NewType.hs,1.1304,,1.6447,,0.5143
Tests/Micro/ple-pos/IndStarHole.hs,1.244,,1.5121,,0.2681,,Tests/Macro/unit-pos/rta.hs,1.3733,,1.8861,,0.5128
Tests/Micro/ple-pos/IndStar.hs,1.2766,,1.4268,,0.1502,,Tests/Macro/unit-neg/MultiParamTypeClasses.hs,1.344,,1.8532,,0.5092
Tests/Micro/ple-pos/IndPerm.hs,1.4859,,1.8955,,0.4096,,Tests/Prover/without_ple_pos/MonadList.hs,5.4659,,5.9583,,0.4924
Tests/Micro/ple-pos/IndPalindrome.hs,3.4204,,5.5612,,2.1408,,Tests/Macro/unit-pos/Keys.hs,1.3687,,1.8587,,0.49
Tests/Micro/ple-pos/IndPal0.hs,1.8409,,2.2452,,0.4043,,Tests/Prover/with_ple/Peano.hs,1.5901,,2.0678,,0.4777
Tests/Micro/ple-pos/IndLast.hs,1.3745,,1.9656,,0.5911,,Tests/Micro/implicit-neg/Implicit1.hs,1.1468,,1.6228,,0.476
Tests/Micro/ple-pos/Fulcrum.hs,4.9064,,14.4453,,9.5389,,Tests/Macro/unit-neg/LazyWhere1.hs,1.444,,1.9166,,0.4726
Tests/Micro/ple-pos/filterPLE.hs,1.1623,,1.485,,0.3227,,Tests/Prover/with_ple/MonadMaybe.hs,1.37,,1.8389,,0.4689
Tests/Micro/ple-pos/ExactGADT7.hs,1.0441,,1.3795,,0.3354,,Tests/Macro/unit-pos/Chunks.hs,1.3552,,1.8186,,0.4634
Tests/Micro/ple-pos/ExactGADT50.hs,1.2783,,1.8686,,0.5903,,Tests/Error-Messages/ShadowMeasure.hs,0.9525,,1.4147,,0.4622
Tests/Micro/ple-pos/ExactGADT5.hs,1.4239,,2.1628,,0.7389,,Tests/Micro/names-neg/Set00.hs,1.1226,,1.5787,,0.4561
Tests/Micro/ple-pos/ExactGADT4.hs,1.3422,,1.972,,0.6298,,Tests/Micro/names-neg/vector1.hs,1.6878,,2.1436,,0.4558
Tests/Micro/ple-pos/Compiler.hs,1.515,,2.0317,,0.5167,,Tests/Micro/basic-pos/alias02.hs,1.0284,,1.483,,0.4546
Tests/Micro/ple-pos/BinahUpdate.hs,1.3251,,1.3372,,0.0121,,Tests/Macro/unit-pos/Fib0.hs,1.3242,,1.7787,,0.4545
Tests/Micro/ple-pos/BinahQuery.hs,1.8186,,2.1977,,0.3791,,Tests/Macro/unit-pos/ORM.hs,1.7182,,2.172,,0.4538
Tests/Micro/ple-neg/T1424.hs,1.17,,1.2539,,0.0839,,Tests/Macro/unit-pos/propmeasure.hs,1.1685,,1.6202,,0.4517
Tests/Micro/ple-neg/T1409.hs,1.0907,,1.228,,0.1373,,Tests/Prover/without_ple_neg/MonadList.hs,13.4759,,13.9265,,0.4506
Tests/Micro/ple-neg/T1371_Tick.hs,1.173,,1.5541,,0.3811,,Tests/Macro/unit-pos/ListMSort.hs,2.0981,,2.5451,,0.447
Tests/Micro/ple-neg/T1289.hs,1.0642,,1.3507,,0.2865,,Tests/Macro/unit-pos/tup0.hs,1.1157,,1.5591,,0.4434
Tests/Micro/ple-neg/T1192.hs,1.2403,,1.5999,,0.3596,,Tests/Micro/datacon-neg/AdtPeano2.hs,1.1333,,1.5756,,0.4423
Tests/Micro/ple-neg/T1173.hs,1.3274,,2.512,,1.1846,,Tests/Micro/measure-neg/bag.hs,1.3192,,1.7597,,0.4405
Tests/Micro/ple-neg/ReflectDefault.hs,0.6808,,0.8622,,0.1814,,Tests/Micro/pattern-pos/TemplateHaskellLib.hs,2.5928,,3.0281,,0.4353
Tests/Micro/ple-neg/ple0.hs,1.7164,,1.2996,,-0.4168,,Tests/Macro/unit-pos/TokenType.hs,1.1153,,1.5474,,0.4321
Tests/Micro/ple-neg/ExactGADT5.hs,2.8153,,1.9149,,-0.9004,,Tests/Macro/unit-pos/datacon0.hs,1.5194,,1.951,,0.4316
Tests/Micro/ple-neg/BinahUpdateLib1.hs,1.5175,,1.6391,,0.1216,,Tests/Micro/ple-pos/pleORM.hs,1.287,,1.7164,,0.4294
Tests/Micro/ple-neg/BinahUpdateLib.hs,1.3092,,1.4877,,0.1785,,Tests/Macro/unit-pos/Holes.hs,1.395,,1.8221,,0.4271
Tests/Micro/ple-neg/BinahUpdateClient.hs,1.1844,,1.3662,,0.1818,,Tests/Macro/unit-pos/elim-ex-map-2.hs,1.4092,,1.8306,,0.4214
Tests/Micro/ple-neg/BinahUpdate.hs,1.2309,,1.4332,,0.2023,,Tests/Macro/unit-pos/T1223.hs,1.6675,,2.0885,,0.421
Tests/Micro/ple-neg/BinahQuery.hs,3.0337,,2.3229,,-0.7108,,Tests/Macro/unit-neg/grty3.hs,1.3746,,1.7934,,0.4188
Tests/Micro/rankN-pos/Test00.hs,1.7932,,1.3644,,-0.4288,,Tests/Macro/unit-pos/Class.hs,1.6727,,2.0904,,0.4177
Tests/Micro/rankN-pos/Test0.hs,2.0089,,1.4967,,-0.5122,,Tests/Micro/names-pos/local00.hs,1.1264,,1.5438,,0.4174
Tests/Micro/rankN-pos/Test.hs,1.3837,,1.4328,,0.0491,,Tests/Micro/names-pos/local02.hs,1.0258,,1.4425,,0.4167
Tests/Micro/terminate-pos/term00.hs,1.1653,,1.3328,,0.1675,,Tests/Micro/datacon-neg/Date.hs,1.4695,,1.8842,,0.4147
Tests/Micro/terminate-pos/T1403.hs,1.8023,,5.8356,,4.0333,,Tests/Micro/datacon-pos/Date.hs,1.3913,,1.8044,,0.4131
Tests/Micro/terminate-pos/T1396.1.hs,1.81,,1.2975,,-0.5125,,Tests/Macro/unit-pos/GhcSort1.hs,3.5347,,3.9447,,0.41
Tests/Micro/terminate-pos/T1396.0.hs,1.3708,,1.2978,,-0.073,,Tests/Micro/ple-pos/IndPerm.hs,1.4859,,1.8955,,0.4096
Tests/Micro/terminate-pos/T1245.hs,1.3661,,1.3466,,-0.0195,,Tests/Macro/unit-pos/rangeAdt.hs,3.5528,,3.9622,,0.4094
Tests/Micro/terminate-pos/Sum.hs,1.3101,,1.1948,,-0.1153,,Tests/Prover/with_ple/FoldrUniversal.hs,1.784,,2.1914,,0.4074
Tests/Micro/terminate-pos/StructSecondArg.hs,1.1061,,1.2625,,0.1564,,Tests/Macro/unit-neg/monad3.hs,1.6081,,2.0132,,0.4051
Tests/Micro/terminate-pos/LocalTermExpr.hs,1.4598,,1.6218,,0.162,,Tests/Error-Messages/MultiRecSels.hs,0.9806,,1.3854,,0.4048
Tests/Micro/terminate-pos/list05-local.hs,2.3739,,1.3615,,-1.0124,,Tests/Micro/ple-pos/IndPal0.hs,1.8409,,2.2452,,0.4043
Tests/Micro/terminate-pos/list04.hs,1.8966,,1.3723,,-0.5243,,Tests/Micro/reflect-neg/DoubleLit.hs,1.0768,,1.4803,,0.4035
Tests/Micro/terminate-pos/list04-local.hs,1.8042,,1.3564,,-0.4478,,Tests/Prover/without_ple_pos/ApplicativeId.hs,2.6931,,3.0956,,0.4025
Tests/Micro/terminate-pos/list03.hs,1.407,,1.2687,,-0.1383,,Tests/Macro/unit-pos/Lib521.hs,1.2259,,1.628,,0.4021
Tests/Micro/terminate-pos/list02.hs,1.3151,,1.3159,,0.0008,,Tests/Micro/basic-neg/poly00.hs,1.105,,1.5068,,0.4018
Tests/Micro/terminate-pos/list01.hs,1.7255,,1.3039,,-0.4216,,Tests/Macro/unit-pos/ListConcat.hs,1.3065,,1.7054,,0.3989
Tests/Micro/terminate-pos/list00.hs,1.4765,,1.2743,,-0.2022,,Tests/Macro/unit-pos/EvalQuery.hs,1.445,,1.8413,,0.3963
Tests/Micro/terminate-pos/list00-str.hs,1.5678,,1.3434,,-0.2244,,Tests/Micro/names-pos/Set00.hs,1.0509,,1.4416,,0.3907
Tests/Micro/terminate-pos/list00-local.hs,1.5635,,1.2918,,-0.2717,,Tests/Micro/ple-pos/T1409.hs,1.1712,,1.5596,,0.3884
Tests/Micro/terminate-pos/Lexicographic.hs,1.9852,,1.677,,-0.3082,,Tests/Micro/import-cli/STClient.hs,1.6311,,2.0187,,0.3876
Tests/Micro/terminate-pos/AutoTerm.hs,1.3841,,1.3122,,-0.0719,,Tests/Micro/class-pos/TypeEquality00.hs,1.1066,,1.4904,,0.3838
Tests/Micro/terminate-pos/Ackermann.hs,1.5925,,1.2794,,-0.3131,,Tests/Micro/names-pos/local03.hs,1.0348,,1.4167,,0.3819
Tests/Micro/terminate-neg/total00.hs,1.3339,,1.2474,,-0.0865,,Tests/Micro/ple-neg/T1371_Tick.hs,1.173,,1.5541,,0.3811
Tests/Micro/terminate-neg/testRec.hs,1.3544,,1.2564,,-0.098,,Tests/Macro/unit-pos/risers.hs,1.8328,,2.2136,,0.3808
Tests/Micro/terminate-neg/term00.hs,2.2519,,1.3317,,-0.9202,,Tests/Micro/absref-pos/FlipArgs.hs,1.4032,,1.783,,0.3798
Tests/Micro/terminate-neg/T745.hs,1.168,,1.3251,,0.1571,,Tests/Macro/unit-pos/T1045.hs,1.0858,,1.4653,,0.3795
Tests/Micro/terminate-neg/T1404.3.hs,1.3447,,1.2513,,-0.0934,,Tests/Micro/ple-pos/BinahQuery.hs,1.8186,,2.1977,,0.3791
Tests/Micro/terminate-neg/T1404.2.hs,1.4035,,1.2025,,-0.201,,Tests/Micro/datacon-neg/NewTypes0.hs,1.0965,,1.4746,,0.3781
Tests/Micro/terminate-neg/T1404.1.hs,1.4034,,1.3035,,-0.0999,,Tests/Micro/names-pos/T675.hs,1.2968,,1.6747,,0.3779
Tests/Micro/terminate-neg/T1404.0.hs,1.3349,,1.3764,,0.0415,,Tests/Macro/unit-pos/Measures1.hs,1.6788,,2.0563,,0.3775
Tests/Micro/terminate-neg/Sum.hs,1.4512,,1.4478,,-0.0034,,Tests/Micro/ple-pos/T1173.hs,1.2215,,1.5986,,0.3771
Tests/Micro/terminate-neg/Rename.hs,1.5621,,1.3313,,-0.2308,,Tests/Macro/unit-pos/ReflectMutual.hs,1.5793,,1.955,,0.3757
Tests/Micro/terminate-neg/qsloop.hs,1.8262,,2.7278,,0.9016,,Tests/Macro/unit-pos/T1461.hs,1.0919,,1.4638,,0.3719
Tests/Micro/terminate-neg/Even.hs,1.6863,,1.2666,,-0.4197,,Tests/Micro/basic-neg/inc03.hs,1.1586,,1.5297,,0.3711
Tests/Micro/terminate-neg/AutoTerm.hs,1.373,,1.3259,,-0.0471,,Tests/Prover/without_ple_neg/FunctorList.hs,5.3157,,5.6856,,0.3699
Tests/Micro/pattern-pos/TemplateHaskellLib.hs,2.5928,,3.0281,,0.4353,,Tests/Macro/unit-pos/zipper.hs,2.029,,2.3975,,0.3685
Tests/Micro/pattern-pos/TemplateHaskell.hs,1.6844,,1.5555,,-0.1289,,Tests/Micro/pattern-pos/ANF.hs,2.3482,,2.7147,,0.3665
Tests/Micro/pattern-pos/ReturnStrata00.hs,1.2686,,1.2939,,0.0253,,Tests/Micro/names-pos/Uniques.hs,1.2991,,1.6652,,0.3661
Tests/Micro/pattern-pos/Return01.hs,1.1195,,1.3114,,0.1919,,Tests/Macro/unit-neg/maps.hs,1.6513,,2.0141,,0.3628
Tests/Micro/pattern-pos/Return00.hs,1.0479,,1.3154,,0.2675,,Tests/Micro/ple-pos/tmp1.hs,1.225,,1.587,,0.362
Tests/Micro/pattern-pos/MultipleInvariants.hs,1.0876,,1.3559,,0.2683,,Tests/Micro/absref-pos/deppair2.hs,1.1885,,1.5499,,0.3614
Tests/Micro/pattern-pos/monad7.hs,1.4238,,1.7593,,0.3355,,Tests/Macro/unit-pos/SafePartialFunctions.hs,1.1375,,1.4975,,0.36
Tests/Micro/pattern-pos/monad1.hs,1.9212,,1.3863,,-0.5349,,Tests/Micro/ple-neg/T1192.hs,1.2403,,1.5999,,0.3596
Tests/Micro/pattern-pos/monad0.hs,1.5191,,1.2411,,-0.278,,Tests/Macro/unit-pos/data2.hs,2.0389,,2.3972,,0.3583
Tests/Micro/pattern-pos/Invariants.hs,1.9826,,1.329,,-0.6536,,Tests/Macro/unit-pos/deptup.hs,1.6929,,2.0506,,0.3577
Tests/Micro/pattern-pos/contra0.hs,1.2455,,1.3915,,0.146,,Tests/Micro/names-pos/BasicLambdas00.hs,1.1046,,1.4619,,0.3573
Tests/Micro/pattern-pos/ANF.hs,2.3482,,2.7147,,0.3665,,Tests/Micro/basic-neg/T1459.hs,1.2427,,1.5993,,0.3566
Tests/Micro/class-laws-pos/SemiGroup.hs,1.4815,,1.7294,,0.2479,,Tests/Micro/class-laws-crash/SemiGroup-WrongLaw.hs,1.0859,,1.4394,,0.3535
Tests/Micro/class-laws-pos/Monoid.hs,1.3713,,1.475,,0.1037,,Tests/Macro/unit-pos/lex.hs,1.1887,,1.5405,,0.3518
Tests/Micro/class-laws-pos/Labels.hs,1.4042,,1.4631,,0.0589,,Tests/Micro/ple-pos/T1257.hs,1.1796,,1.5303,,0.3507
Tests/Micro/class-laws-pos/FreeVar.hs,1.1564,,1.2569,,0.1005,,Tests/Macro/unit-pos/adt0.hs,1.2888,,1.6389,,0.3501
Tests/Micro/class-laws-crash/SemiGroup-WrongLaw.hs,1.0859,,1.4394,,0.3535,,Tests/Micro/measure-pos/ExactFunApp.hs,1.0967,,1.4455,,0.3488
Tests/Micro/class-laws-crash/SemiGroup-UndefinedLaw.hs,1.0558,,1.2945,,0.2387,,Tests/Macro/unit-pos/foldr.hs,1.3065,,1.6539,,0.3474
Tests/Micro/class-laws-crash/SemiGroup-UndefinedInstance.hs,1.1199,,1.3296,,0.2097,,Tests/Macro/unit-pos/stateInvarint.hs,1.5514,,1.8978,,0.3464
Tests/Micro/class-laws-crash/SemiGroup-MissingLaw.hs,1.1416,,1.2465,,0.1049,,Tests/Micro/names-pos/vector04.hs,1.2357,,1.5803,,0.3446
Tests/Micro/class-laws-neg/SemiGroup-WrongProof.hs,1.1822,,2.2954,,1.1132,,Tests/Micro/datacon-pos/Data02.hs,1.1472,,1.4916,,0.3444
Tests/Micro/class-laws-neg/SemiGroup-WrongDef.hs,1.2056,,1.3612,,0.1556,,Tests/Micro/absref-neg/deptup0.hs,1.2698,,1.6118,,0.342
Tests/Micro/implicit-pos/ImplicitTrivial.hs,1.1287,,1.3125,,0.1838,,Tests/Macro/unit-pos/T1034.hs,1.1122,,1.4522,,0.34
Tests/Micro/implicit-pos/ImplicitDouble.hs,1.191,,1.3517,,0.1607,,Tests/Micro/reflect-neg/ReflString0.hs,1.0498,,1.3894,,0.3396
Tests/Micro/implicit-pos/Implicit3.hs,1.0335,,1.2987,,0.2652,,Tests/Prover/without_ple_neg/BasicLambdas.hs,1.0329,,1.3721,,0.3392
Tests/Micro/implicit-pos/Implicit1.hs,1.0869,,1.3576,,0.2707,,Tests/Macro/unit-neg/vector2.hs,2.1412,,2.4781,,0.3369
Tests/Micro/implicit-neg/Implicit1.hs,1.1468,,1.6228,,0.476,,Tests/Micro/pattern-pos/monad7.hs,1.4238,,1.7593,,0.3355
Tests/Error-Messages/ShadowFieldInline.hs,1.0031,,1.6123,,0.6092,,Tests/Micro/ple-pos/ExactGADT7.hs,1.0441,,1.3795,,0.3354
Tests/Error-Messages/ShadowFieldReflect.hs,1.0369,,1.6672,,0.6303,,Tests/Micro/measure-pos/ple01.hs,1.0631,,1.3981,,0.335
Tests/Error-Messages/MultiRecSels.hs,0.9806,,1.3854,,0.4048,,Tests/Macro/unit-pos/ListISort-bag.hs,1.3848,,1.7191,,0.3343
Tests/Error-Messages/DupFunSigs.hs,1.0603,,2.1266,,1.0663,,Tests/Macro/unit-pos/kmpVec.hs,2.2814,,2.6157,,0.3343
Tests/Error-Messages/DupMeasure.hs,1.0366,,1.9652,,0.9286,,Tests/Macro/unit-pos/Eval.hs,1.6038,,1.9363,,0.3325
Tests/Error-Messages/ShadowMeasure.hs,0.9525,,1.4147,,0.4622,,Tests/Micro/absref-neg/ListQSort.hs,1.8298,,2.1609,,0.3311
Tests/Error-Messages/DupData.hs,1,,1.8054,,0.8054,,Tests/Micro/class-pos/Class00.hs,1.0846,,1.4139,,0.3293
Tests/Error-Messages/EmptyData.hs,0.9986,,1.6919,,0.6933,,Tests/Macro/unit-neg/T743.hs,1.3356,,1.6646,,0.329
Tests/Error-Messages/BadGADT.hs,1.0831,,1.2994,,0.2163,,Tests/Macro/unit-pos/alphaconvert-Set.hs,1.5451,,1.8737,,0.3286
Tests/Error-Messages/TerminationExprSort.hs,1.0528,,1.2195,,0.1667,,Tests/Macro/unit-pos/Class2.hs,1.6599,,1.9877,,0.3278
Tests/Error-Messages/TerminationExprNum.hs,1.0614,,1.2482,,0.1868,,Tests/Macro/unit-pos/T1603.hs,1.0954,,1.423,,0.3276
Tests/Error-Messages/TerminationExprUnb.hs,1.2256,,1.2695,,0.0439,,Tests/Macro/unit-pos/QQTySig.hs,1.3627,,1.6892,,0.3265
Tests/Error-Messages/UnboundVarInSpec.hs,1.1185,,1.8118,,0.6933,,Tests/Macro/unit-pos/T531.hs,1.1007,,1.4271,,0.3264
Tests/Error-Messages/UnboundVarInAssume.hs,1.0502,,1.7134,,0.6632,,Tests/Micro/basic-pos/alias03.hs,1.1129,,1.4363,,0.3234
Tests/Error-Messages/UnboundCheckVar.hs,1.0455,,2.1128,,1.0673,,Tests/Micro/ple-pos/filterPLE.hs,1.1623,,1.485,,0.3227
Tests/Error-Messages/UnboundFunInSpec.hs,1.0017,,1.934,,0.9323,,Tests/Macro/unit-pos/T1597.hs,1.1642,,1.4862,,0.322
Tests/Error-Messages/UnboundFunInSpec1.hs,1.0686,,2.0742,,1.0056,,Tests/Macro/unit-pos/string00.hs,1.1282,,1.4492,,0.321
Tests/Error-Messages/UnboundFunInSpec2.hs,1.1406,,2.2188,,1.0782,,Tests/Macro/unit-pos/ExactGADT1.hs,1.5212,,1.8414,,0.3202
Tests/Error-Messages/UnboundVarInLocSig.hs,1.0292,,2.1642,,1.135,,Tests/Micro/ple-pos/T1424A.hs,1.3805,,1.7004,,0.3199
Tests/Error-Messages/Fractional.hs,1.1028,,2.2047,,1.1019,,Tests/Micro/names-pos/Set02.hs,1.1079,,1.4276,,0.3197
Tests/Error-Messages/T773.hs,1.1197,,2.0369,,0.9172,,Tests/Macro/unit-neg/wrap1.hs,1.532,,1.8517,,0.3197
Tests/Error-Messages/T774.hs,1.0515,,1.9731,,0.9216,,Tests/Macro/unit-neg/elim-ex-compose.hs,1.425,,1.7441,,0.3191
Tests/Error-Messages/T1498.hs,1.1959,,1.7891,,0.5932,,Tests/Micro/class-pos/RealProps1.hs,1.0704,,1.387,,0.3166
Tests/Error-Messages/T1498A.hs,1.0721,,1.9042,,0.8321,,Tests/Macro/unit-pos/TerminationNum0.hs,1.061,,1.3773,,0.3163
Tests/Error-Messages/Inconsistent0.hs,1.1036,,1.855,,0.7514,,Tests/Macro/unit-pos/ListLen.hs,1.8974,,2.2133,,0.3159
Tests/Error-Messages/Inconsistent1.hs,1.1384,,1.9521,,0.8137,,Tests/Micro/names-pos/Shadow01.hs,1.0078,,1.3231,,0.3153
Tests/Error-Messages/Inconsistent2.hs,1.1628,,1.9276,,0.7648,,Tests/Prover/with_ple/FunctorId.hs,1.4092,,1.7245,,0.3153
Tests/Error-Messages/BadAliasApp.hs,1.2796,,1.8528,,0.5732,,Tests/Macro/unit-neg/monad4.hs,1.508,,1.8232,,0.3152
Tests/Error-Messages/BadPragma0.hs,0.7275,,1.2835,,0.556,,Tests/Macro/unit-pos/Termination.hs,1.2726,,1.5866,,0.314
Tests/Error-Messages/BadPragma1.hs,0.7861,,1.0452,,0.2591,,Tests/Macro/unit-pos/elim-ex-let.hs,1.5141,,1.8278,,0.3137
Tests/Error-Messages/BadPragma2.hs,0.793,,0.8721,,0.0791,,Tests/Macro/unit-pos/ex1.hs,1.5693,,1.8829,,0.3136
Tests/Error-Messages/BadSyn1.hs,1.3166,,1.2,,-0.1166,,Tests/Macro/unit-neg/trans.hs,2.5565,,2.87,,0.3135
Tests/Error-Messages/BadSyn2.hs,1.193,,1.2262,,0.0332,,Tests/Macro/unit-pos/MapFusion.hs,1.9373,,2.2502,,0.3129
Tests/Error-Messages/BadSyn3.hs,1.4054,,1.2147,,-0.1907,,Tests/Macro/unit-pos/TerminationNum.hs,1.0853,,1.3979,,0.3126
Tests/Error-Messages/BadSyn4.hs,1.1558,,1.2625,,0.1067,,Tests/Macro/unit-pos/FFI.hs,1.6362,,1.9472,,0.311
Tests/Error-Messages/BadAnnotation.hs,0.7804,,0.9301,,0.1497,,Tests/Macro/unit-pos/T385.hs,1.1834,,1.494,,0.3106
Tests/Error-Messages/BadAnnotation1.hs,0.8309,,0.9754,,0.1445,,Tests/Micro/ple-pos/T1424.hs,1.1747,,1.485,,0.3103
Tests/Error-Messages/CyclicExprAlias0.hs,1.0498,,1.1956,,0.1458,,Tests/Macro/unit-pos/term0.hs,1.2366,,1.5462,,0.3096
Tests/Error-Messages/CyclicExprAlias1.hs,1.0959,,1.2019,,0.106,,Tests/Micro/reflect-pos/ReflString1.hs,1.3482,,1.6577,,0.3095
Tests/Error-Messages/CyclicExprAlias2.hs,1.2051,,1.1401,,-0.065,,Tests/Micro/import-cli/T1104Client.hs,1.0877,,1.3966,,0.3089
Tests/Error-Messages/CyclicExprAlias3.hs,1.1225,,1.2829,,0.1604,,Tests/Micro/datacon-pos/T1446.hs,1.2584,,1.5664,,0.308
Tests/Error-Messages/DupAlias.hs,1.1931,,1.4251,,0.232,,Tests/Macro/unit-pos/T1593.hs,1.0755,,1.3794,,0.3039
Tests/Error-Messages/DupAlias.hs,1.9909,,1.4076,,-0.5833,,Tests/Macro/unit-pos/BinarySearchOverflow.hs,1.5336,,1.8366,,0.303
Tests/Error-Messages/BadDataConType.hs,1.5115,,1.3902,,-0.1213,,Tests/Macro/unit-pos/elim00.hs,1.2172,,1.5197,,0.3025
Tests/Error-Messages/BadDataConType1.hs,1.2631,,1.1761,,-0.087,,Tests/Micro/names-pos/List00.hs,1.1114,,1.4133,,0.3019
Tests/Error-Messages/BadDataConType2.hs,1.4329,,1.1557,,-0.2772,,Tests/Micro/basic-neg/inc01q.hs,1.1169,,1.4175,,0.3006
Tests/Error-Messages/LiftMeasureCase.hs,1.2834,,1.2408,,-0.0426,,Tests/Macro/unit-pos/monad6.hs,1.2845,,1.5849,,0.3004
Tests/Error-Messages/HigherOrderBinder.hs,1.201,,1.3007,,0.0997,,Tests/Macro/unit-pos/Sum.hs,1.0995,,1.3993,,0.2998
Tests/Error-Messages/HoleCrash1.hs,1.3107,,1.2389,,-0.0718,,Tests/Macro/unit-pos/StateLib.hs,1.3737,,1.6732,,0.2995
Tests/Error-Messages/HoleCrash2.hs,1.3175,,1.2091,,-0.1084,,Tests/Macro/unit-pos/maybe3.hs,1.1341,,1.4325,,0.2984
Tests/Error-Messages/HoleCrash3.hs,1.5122,,1.3456,,-0.1666,,Tests/Macro/unit-neg/vector0a.hs,1.5023,,1.7993,,0.297
Tests/Error-Messages/BadPredApp.hs,1.541,,1.3602,,-0.1808,,Tests/Macro/unit-neg/test00a.hs,1.2356,,1.5311,,0.2955
Tests/Error-Messages/LocalHole.hs,1.2998,,1.3295,,0.0297,,Tests/Macro/unit-pos/bool2.hs,1.173,,1.4672,,0.2942
Tests/Error-Messages/UnboundAbsRef.hs,1.283,,1.2681,,-0.0149,,Tests/Micro/measure-neg/List01.hs,1.1409,,1.4349,,0.294
Tests/Error-Messages/ParseClass.hs,1.0572,,0.9046,,-0.1526,,Tests/Macro/unit-pos/absref-crash0.hs,1.4839,,1.7756,,0.2917
Tests/Error-Messages/ParseBind.hs,0.8081,,0.9274,,0.1193,,Tests/Micro/reflect-pos/DoubleLit.hs,1.136,,1.4255,,0.2895
Tests/Error-Messages/MultiInstMeasures.hs,1.0944,,1.2161,,0.1217,,Tests/Macro/unit-pos/wrap0.hs,1.2778,,1.567,,0.2892
Tests/Error-Messages/BadDataDeclTyVars.hs,1.0443,,1.1513,,0.107,,Tests/Macro/unit-pos/T866.hs,1.1289,,1.4162,,0.2873
Tests/Error-Messages/BadDataCon2.hs,1.0938,,1.068,,-0.0258,,Tests/Macro/unit-pos/PairMeasure.hs,1.1444,,1.4316,,0.2872
Tests/Error-Messages/BadSig0.hs,1.1293,,1.2389,,0.1096,,Tests/Micro/names-pos/T1521.hs,1.0207,,1.3078,,0.2871
Tests/Error-Messages/BadSig1.hs,1.0953,,1.2775,,0.1822,,Tests/Micro/ple-neg/T1289.hs,1.0642,,1.3507,,0.2865
Tests/Error-Messages/BadData1.hs,1.0745,,1.215,,0.1405,,Tests/Micro/absref-pos/Papp00.hs,1.0869,,1.3731,,0.2862
Tests/Error-Messages/BadData2.hs,0.9923,,1.1893,,0.197,,Tests/Macro/unit-neg/Hex00.hs,1.3987,,1.6848,,0.2861
Tests/Error-Messages/T1140.hs,1.1301,,1.1765,,0.0464,,Tests/Micro/basic-neg/Inc04Lib.hs,1.1028,,1.3862,,0.2834
Tests/Error-Messages/InlineSubExp0.hs,1.2324,,1.2077,,-0.0247,,Tests/Macro/unit-pos/poly3.hs,1.1162,,1.3996,,0.2834
Tests/Error-Messages/InlineSubExp1.hs,1.1417,,1.4181,,0.2764,,Tests/Macro/unit-pos/T1025a.hs,1.3267,,1.6094,,0.2827
Tests/Error-Messages/EmptySig.hs,0.7393,,1.0142,,0.2749,,Tests/Macro/unit-pos/test1.hs,1.1372,,1.4193,,0.2821
Tests/Error-Messages/MissingReflect.hs,1.1189,,1.3863,,0.2674,,Tests/Macro/unit-pos/State.hs,1.1952,,1.4769,,0.2817
Tests/Error-Messages/MissingSizeFun.hs,1.0081,,1.1335,,0.1254,,Tests/Macro/unit-neg/Class2.hs,1.4048,,1.6865,,0.2817
Tests/Error-Messages/MissingAssume.hs,1.0194,,1.2019,,0.1825,,Tests/Macro/unit-pos/deptup1.hs,1.3891,,1.6704,,0.2813
Tests/Error-Messages/HintMismatch.hs,1.0931,,1.2188,,0.1257,,Tests/Macro/unit-pos/invlhs.hs,1.2308,,1.5111,,0.2803
Tests/Error-Messages/ElabLocation.hs,1.1282,,1.153,,0.0248,,Tests/Macro/unit-pos/tyExpr.hs,1.1037,,1.3826,,0.2789
Tests/Error-Messages/ErrLocation.hs,1.3101,,1.3092,,-0.0009,,Tests/Macro/unit-pos/poly4.hs,1.2238,,1.5019,,0.2781
Tests/Error-Messages/ErrLocation2.hs,2.1535,,1.284,,-0.8695,,Tests/Macro/unit-pos/QQTySigTyVars.hs,1.3058,,1.5835,,0.2777
Tests/Macro/unit-pos/zipW2.hs,1.4724,,1.2448,,-0.2276,,Tests/Micro/names-neg/Set01.hs,1.0806,,1.3578,,0.2772
Tests/Macro/unit-pos/zipW1.hs,1.4368,,1.3392,,-0.0976,,Tests/Macro/unit-pos/TT1620A.hs,1.1079,,1.385,,0.2771
Tests/Macro/unit-pos/zipW.hs,1.4239,,1.4579,,0.034,,Tests/Error-Messages/InlineSubExp1.hs,1.1417,,1.4181,,0.2764
Tests/Macro/unit-pos/zipSO.hs,1.1928,,1.356,,0.1632,,Tests/Micro/names-pos/HideName00.hs,1.0602,,1.3359,,0.2757
Tests/Macro/unit-pos/zipper000.hs,1.3634,,1.4692,,0.1058,,Tests/Macro/unit-neg/AutoSize.hs,2.7338,,3.0091,,0.2753
Tests/Macro/unit-pos/zipper0.hs,1.5797,,1.8237,,0.244,,Tests/Error-Messages/EmptySig.hs,0.7393,,1.0142,,0.2749
Tests/Macro/unit-pos/zipper.hs,2.029,,2.3975,,0.3685,,Tests/Macro/unit-pos/T1198.3.hs,1.051,,1.3259,,0.2749
Tests/Macro/unit-pos/WrapUnWrap.hs,1.1371,,1.3518,,0.2147,,Tests/Macro/unit-pos/LazyWhere.hs,1.3162,,1.5888,,0.2726
Tests/Macro/unit-pos/wrap1.hs,1.3956,,1.5512,,0.1556,,Tests/Micro/import-cli/WrapClient.hs,1.0841,,1.3566,,0.2725
Tests/Macro/unit-pos/wrap0.hs,1.2778,,1.567,,0.2892,,Tests/Macro/unit-pos/T1498.hs,1.0919,,1.3643,,0.2724
Tests/Macro/unit-pos/Words1.hs,1.13,,1.3948,,0.2648,,Tests/Macro/unit-pos/test0.hs,1.1992,,1.4715,,0.2723
Tests/Macro/unit-pos/Words.hs,1.0936,,1.3588,,0.2652,,Tests/Macro/unit-neg/T1490.hs,1.2242,,1.4959,,0.2717
Tests/Macro/unit-pos/WBL0.hs,2.1465,,2.7372,,0.5907,,Tests/Macro/unit-pos/ListISort-perm.hs,1.7847,,2.0558,,0.2711
Tests/Macro/unit-pos/WBL.hs,2.5063,,2.4995,,-0.0068,,Tests/Macro/unit-pos/AdtList2.hs,1.2379,,1.5089,,0.271
Tests/Macro/unit-pos/VerifiedNum.hs,2.1579,,1.3415,,-0.8164,,Tests/Micro/datacon-neg/NewTypes.hs,1.1161,,1.387,,0.2709
Tests/Macro/unit-pos/vector2.hs,4.0758,,2.9791,,-1.0967,,Tests/Micro/implicit-pos/Implicit1.hs,1.0869,,1.3576,,0.2707
Tests/Macro/unit-pos/vector1b.hs,2.2605,,2.2703,,0.0098,,Tests/Micro/reflect-neg/ReflString1.hs,1.2371,,1.5075,,0.2704
Tests/Macro/unit-pos/vector1a.hs,2.5139,,2.2909,,-0.223,,Tests/Macro/unit-neg/monad5.hs,1.4676,,1.738,,0.2704
Tests/Macro/unit-pos/vector1.hs,2.185,,2.0135,,-0.1715,,Tests/Micro/pattern-pos/MultipleInvariants.hs,1.0876,,1.3559,,0.2683
Tests/Macro/unit-pos/vector00.hs,1.7566,,1.5683,,-0.1883,,Tests/Micro/ple-pos/IndStarHole.hs,1.244,,1.5121,,0.2681
Tests/Macro/unit-pos/Variance2.hs,1.4484,,1.3627,,-0.0857,,Tests/Micro/pattern-pos/Return00.hs,1.0479,,1.3154,,0.2675
Tests/Macro/unit-pos/Variance.hs,1.3622,,1.3412,,-0.021,,Tests/Error-Messages/MissingReflect.hs,1.1189,,1.3863,,0.2674
Tests/Macro/unit-pos/unusedtyvars.hs,1.3547,,1.301,,-0.0537,,Tests/Micro/implicit-pos/Implicit3.hs,1.0335,,1.2987,,0.2652
Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs,1.9814,,2.2172,,0.2358,,Tests/Macro/unit-pos/Words.hs,1.0936,,1.3588,,0.2652
Tests/Macro/unit-pos/UnboxedTuples.hs,1.1443,,1.3656,,0.2213,,Tests/Macro/unit-pos/Words1.hs,1.13,,1.3948,,0.2648
Tests/Macro/unit-pos/tyvar.hs,1.1358,,1.3657,,0.2299,,Tests/Macro/unit-neg/datacon-eq.hs,1.3486,,1.6132,,0.2646
Tests/Macro/unit-pos/TypeLitString.hs,1.2189,,1.3395,,0.1206,,Tests/Macro/unit-pos/go_ugly_type.hs,1.2479,,1.5122,,0.2643
Tests/Macro/unit-pos/TypeLitNat.hs,1.1581,,1.274,,0.1159,,Tests/Micro/names-pos/ClojurVector.hs,1.57,,1.8337,,0.2637
Tests/Macro/unit-pos/TypeAlias.hs,1.1895,,1.3507,,0.1612,,Tests/Macro/unit-pos/test00c.hs,1.3068,,1.5704,,0.2636
Tests/Macro/unit-pos/tyfam0.hs,1.3677,,1.4807,,0.113,,Tests/Macro/unit-pos/propmeasure1.hs,1.0677,,1.3313,,0.2636
Tests/Macro/unit-pos/tyExpr.hs,1.1037,,1.3826,,0.2789,,Tests/Macro/unit-pos/Resolve.hs,1.1297,,1.3929,,0.2632
Tests/Macro/unit-pos/tyclass0.hs,1.1628,,1.7761,,0.6133,,Tests/Macro/unit-neg/csv.hs,2.2301,,2.4921,,0.262
Tests/Macro/unit-pos/tupparse.hs,1.2333,,1.8399,,0.6066,,Tests/Micro/datacon-pos/Data00.hs,1.1298,,1.3895,,0.2597
Tests/Macro/unit-pos/tup0.hs,1.1157,,1.5591,,0.4434,,Tests/Prover/with_ple/Append.hs,1.7888,,2.0483,,0.2595
Tests/Macro/unit-pos/TT1620A.hs,1.1079,,1.385,,0.2771,,Tests/Macro/unit-pos/T1363.hs,1.1468,,1.4062,,0.2594
Tests/Macro/unit-pos/transTAG.hs,2.7671,,3.6004,,0.8333,,Tests/Error-Messages/BadPragma1.hs,0.7861,,1.0452,,0.2591
Tests/Macro/unit-pos/transpose.hs,2.1026,,2.2584,,0.1558,,Tests/Micro/ple-pos/MJFix.hs,1.5601,,1.8186,,0.2585
Tests/Macro/unit-pos/trans.hs,2.346,,1.4451,,-0.9009,,Tests/Macro/unit-pos/CheckedNum.hs,1.2511,,1.5093,,0.2582
Tests/Macro/unit-pos/ToyMVar.hs,1.6891,,1.7967,,0.1076,,Tests/Micro/absref-neg/deptupW.hs,1.2875,,1.545,,0.2575
Tests/Macro/unit-pos/TopLevel.hs,1.2111,,1.2998,,0.0887,,Tests/Micro/absref-pos/state00.hs,1.1299,,1.3869,,0.257
Tests/Macro/unit-pos/top0.hs,1.6402,,1.7526,,0.1124,,Tests/Macro/unit-pos/pair00.hs,2.217,,2.4728,,0.2558
Tests/Macro/unit-pos/TokenType.hs,1.1153,,1.5474,,0.4321,,Tests/Macro/unit-neg/T1555.hs,1.2435,,1.4992,,0.2557
Tests/Macro/unit-pos/testRec.hs,1.2089,,1.3504,,0.1415,,Tests/Macro/unit-pos/StackClass.hs,1.2197,,1.4748,,0.2551
Tests/Macro/unit-pos/Test761.hs,1.2199,,1.4471,,0.2272,,Tests/Macro/unit-neg/ex1-unsafe.hs,1.5292,,1.7842,,0.255
Tests/Macro/unit-pos/test2.hs,1.144,,1.3871,,0.2431,,Tests/Micro/import-cli/T1117.hs,1.1484,,1.4023,,0.2539
Tests/Macro/unit-pos/test1.hs,1.1372,,1.4193,,0.2821,,Tests/Macro/unit-pos/kmpIO.hs,1.714,,1.9678,,0.2538
Tests/Macro/unit-pos/test00c.hs,1.3068,,1.5704,,0.2636,,Tests/Micro/basic-neg/List00.hs,1.0375,,1.2912,,0.2537
Tests/Macro/unit-pos/test00b.hs,1.1209,,2.5398,,1.4189,,Tests/Micro/measure-pos/bag.hs,1.2071,,1.4608,,0.2537
Tests/Macro/unit-pos/test000.hs,1.2325,,1.4548,,0.2223,,Tests/Macro/unit-pos/ListLen-LType.hs,1.9378,,2.1915,,0.2537
Tests/Macro/unit-pos/test00.old.hs,1.1665,,1.4201,,0.2536,,Tests/Macro/unit-pos/test00.old.hs,1.1665,,1.4201,,0.2536
Tests/Macro/unit-pos/test00.hs,1.2987,,1.3785,,0.0798,,Tests/Prover/with_ple/MonoidList.hs,1.5445,,1.7971,,0.2526
Tests/Macro/unit-pos/test00-int.hs,1.1895,,1.3987,,0.2092,,Tests/Micro/basic-neg/Inc04.hs,1.1409,,1.3914,,0.2505
Tests/Macro/unit-pos/test0.hs,1.1992,,1.4715,,0.2723,,Tests/Micro/measure-pos/fst01.hs,1.0813,,1.331,,0.2497
Tests/Macro/unit-pos/TerminationNum0.hs,1.061,,1.3773,,0.3163,,Tests/Macro/unit-pos/meas00a.hs,1.6782,,1.9279,,0.2497
Tests/Macro/unit-pos/TerminationNum.hs,1.0853,,1.3979,,0.3126,,Tests/Micro/measure-pos/List01.hs,1.0492,,1.2986,,0.2494
Tests/Macro/unit-pos/Termination.hs,1.2726,,1.5866,,0.314,,Tests/Micro/measure-neg/Len01.hs,1.0953,,1.3441,,0.2488
Tests/Macro/unit-pos/term0.hs,1.2366,,1.5462,,0.3096,,Tests/Micro/class-laws-pos/SemiGroup.hs,1.4815,,1.7294,,0.2479
Tests/Macro/unit-pos/Term.hs,1.1814,,2.2344,,1.053,,Tests/Micro/names-pos/BasicLambdas01.hs,1.1554,,1.4031,,0.2477
Tests/Macro/unit-pos/take.hs,2.3936,,3.1656,,0.772,,Tests/Macro/unit-pos/inline1.hs,1.2311,,1.4778,,0.2467
Tests/Macro/unit-pos/tagBinder.hs,1.2473,,1.3337,,0.0864,,Tests/Micro/datacon-neg/Data00.hs,1.1036,,1.35,,0.2464
Tests/Macro/unit-pos/T914.hs,1.2007,,1.3126,,0.1119,,Tests/Macro/unit-neg/BigNum.hs,1.2746,,1.5209,,0.2463
Tests/Macro/unit-pos/T866.hs,1.1289,,1.4162,,0.2873,,Tests/Macro/unit-pos/meas8.hs,1.58,,1.8255,,0.2455
Tests/Macro/unit-pos/T820.hs,1.2552,,1.8918,,0.6366,,Tests/Macro/unit-pos/Automate.hs,1.4418,,1.6868,,0.245
Tests/Macro/unit-pos/T819A.hs,1.2235,,1.7672,,0.5437,,Tests/Micro/class-pos/RealProps0.hs,1.029,,1.2735,,0.2445
Tests/Macro/unit-pos/T819.hs,1.1861,,1.4174,,0.2313,,Tests/Macro/unit-neg/T1490A.hs,1.2486,,1.4931,,0.2445
Tests/Macro/unit-pos/T716.hs,3.3541,,4.364,,1.0099,,Tests/Macro/unit-pos/zipper0.hs,1.5797,,1.8237,,0.244
Tests/Macro/unit-pos/T598.hs,1.2716,,2.1782,,0.9066,,Tests/Macro/unit-pos/T1288.hs,1.0749,,1.3183,,0.2434
Tests/Macro/unit-pos/T595a.hs,1.1004,,2.2894,,1.189,,Tests/Macro/unit-pos/test2.hs,1.144,,1.3871,,0.2431
Tests/Macro/unit-pos/T595.hs,1.3125,,2.1882,,0.8757,,Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs,1.1204,,1.3634,,0.243
Tests/Macro/unit-pos/T531.hs,1.1007,,1.4271,,0.3264,,Tests/Macro/unit-pos/T1024.hs,1.3534,,1.5945,,0.2411
Tests/Macro/unit-pos/T385.hs,1.1834,,1.494,,0.3106,,Tests/Micro/absref-neg/deppair0.hs,1.2731,,1.5127,,0.2396
Tests/Macro/unit-pos/T1603.hs,1.0954,,1.423,,0.3276,,Tests/Micro/class-laws-crash/SemiGroup-UndefinedLaw.hs,1.0558,,1.2945,,0.2387
Tests/Macro/unit-pos/T1597.hs,1.1642,,1.4862,,0.322,,Tests/Macro/unit-pos/BST000.hs,1.7342,,1.9725,,0.2383
Tests/Macro/unit-pos/T1595.hs,1.2624,,1.4882,,0.2258,,Tests/Macro/unit-pos/T1278.2.hs,1.4933,,1.731,,0.2377
Tests/Macro/unit-pos/T1593.hs,1.0755,,1.3794,,0.3039,,Tests/Macro/unit-pos/StructRec.hs,1.1093,,1.3469,,0.2376
Tests/Macro/unit-pos/T1577.hs,1.2413,,1.3222,,0.0809,,Tests/Macro/unit-pos/forloop.hs,1.7324,,1.9697,,0.2373
Tests/Macro/unit-pos/T1571.hs,1.1338,,1.2737,,0.1399,,Tests/Macro/unit-neg/vector1a.hs,1.9026,,2.1386,,0.236
Tests/Macro/unit-pos/T1568.hs,1.172,,1.2992,,0.1272,,Tests/Macro/unit-pos/UnboxedTuplesAndTH.hs,1.9814,,2.2172,,0.2358
Tests/Macro/unit-pos/T1567.hs,1.4976,,1.2508,,-0.2468,,Tests/Prover/without_ple_pos/FunctorMaybe.hs,2.2281,,2.4631,,0.235
Tests/Macro/unit-pos/T1560B.hs,1.9769,,1.3339,,-0.643,,Tests/Micro/import-cli/FunClashLibLibClient.hs,1.047,,1.2819,,0.2349
Tests/Macro/unit-pos/T1560.hs,2.1091,,1.2977,,-0.8114,,Tests/Macro/unit-pos/rec_annot_go.hs,1.36,,1.593,,0.233
Tests/Macro/unit-pos/T1556.hs,1.4351,,1.2359,,-0.1992,,Tests/Macro/unit-neg/ConstraintsAppend.hs,2.2942,,2.5266,,0.2324
Tests/Macro/unit-pos/T1555.hs,1.1315,,1.1806,,0.0491,,Tests/Macro/unit-pos/MeasureSets.hs,1.5389,,1.771,,0.2321
Tests/Macro/unit-pos/T1550.hs,1.7221,,1.2186,,-0.5035,,Tests/Error-Messages/DupAlias.hs,1.1931,,1.4251,,0.232
Tests/Macro/unit-pos/T1548.hs,1.6779,,1.8366,,0.1587,,Tests/Macro/unit-pos/gadtEval.hs,1.7034,,1.9351,,0.2317
Tests/Macro/unit-pos/T1547.hs,1.0924,,1.2265,,0.1341,,Tests/Macro/unit-pos/T819.hs,1.1861,,1.4174,,0.2313
Tests/Macro/unit-pos/T1544.hs,1.1242,,1.2927,,0.1685,,Tests/Micro/datacon-neg/Data01.hs,1.1127,,1.3432,,0.2305
Tests/Macro/unit-pos/T1543.hs,1.0858,,1.2367,,0.1509,,Tests/Macro/unit-pos/tyvar.hs,1.1358,,1.3657,,0.2299
Tests/Macro/unit-pos/T1498.hs,1.0919,,1.3643,,0.2724,,Tests/Macro/unit-neg/StateConstraints00.hs,1.2675,,1.4974,,0.2299
Tests/Macro/unit-pos/T1461.hs,1.0919,,1.4638,,0.3719,,Tests/Macro/unit-pos/ExactGADT.hs,1.2225,,1.4519,,0.2294
Tests/Macro/unit-pos/T1363.hs,1.1468,,1.4062,,0.2594,,Tests/Macro/unit-pos/kmp.hs,2.8462,,3.0754,,0.2292
Tests/Macro/unit-pos/T1336.hs,1.3676,,1.9538,,0.5862,,Tests/Micro/class-pos/STMonad.hs,1.8098,,2.0377,,0.2279
Tests/Macro/unit-pos/T1302.hs,2.0061,,2.1833,,0.1772,,Tests/Macro/unit-pos/Test761.hs,1.2199,,1.4471,,0.2272
Tests/Macro/unit-pos/T1289a.hs,1.3275,,1.2819,,-0.0456,,Tests/Macro/unit-pos/alias01.hs,1.1921,,1.4189,,0.2268
Tests/Macro/unit-pos/T1288.hs,1.0749,,1.3183,,0.2434,,Tests/Prover/without_ple_pos/Fibonacci.hs,3.3054,,3.5314,,0.226
Tests/Macro/unit-pos/T1286.hs,1.2786,,1.2894,,0.0108,,Tests/Macro/unit-pos/T1595.hs,1.2624,,1.4882,,0.2258
Tests/Macro/unit-pos/T1278.hs,1.1266,,1.3167,,0.1901,,Tests/Macro/unit-neg/lit.hs,1.2662,,1.4918,,0.2256
Tests/Macro/unit-pos/T1278.3.hs,1.3777,,1.3344,,-0.0433,,Tests/Macro/unit-neg/Variance1.hs,1.2565,,1.4816,,0.2251
Tests/Macro/unit-pos/T1278.2.hs,1.4933,,1.731,,0.2377,,Tests/Macro/unit-pos/Strings.hs,1.1324,,1.3564,,0.224
Tests/Macro/unit-pos/T1267.hs,1.9619,,1.4358,,-0.5261,,Tests/Micro/import-cli/LiquidArrayNullTerm.hs,1.3945,,1.6177,,0.2232
Tests/Macro/unit-pos/T1223.hs,1.6675,,2.0885,,0.421,,Tests/Macro/unit-neg/T1498A.hs,1.2096,,1.4323,,0.2227
Tests/Macro/unit-pos/T1220.hs,1.163,,1.3677,,0.2047,,Tests/Micro/basic-pos/alias01.hs,1.0719,,1.2943,,0.2224
Tests/Macro/unit-pos/T1198.4.hs,1.6172,,1.3813,,-0.2359,,Tests/Macro/unit-pos/test000.hs,1.2325,,1.4548,,0.2223
Tests/Macro/unit-pos/T1198.3.hs,1.051,,1.3259,,0.2749,,Tests/Micro/import-cli/ExactGADT9.hs,1.0804,,1.3025,,0.2221
Tests/Macro/unit-pos/T1198.2.hs,1.5373,,1.3275,,-0.2098,,Tests/Micro/datacon-pos/Data00Lib.hs,1.1001,,1.3221,,0.222
Tests/Macro/unit-pos/T1198.1.hs,1.5542,,1.3233,,-0.2309,,Tests/Macro/unit-pos/AdtList5.hs,1.1662,,1.3877,,0.2215
Tests/Macro/unit-pos/T1126a.hs,1.4728,,1.2607,,-0.2121,,Tests/Macro/unit-pos/UnboxedTuples.hs,1.1443,,1.3656,,0.2213
Tests/Macro/unit-pos/T1126.hs,1.5652,,1.3589,,-0.2063,,Tests/Macro/unit-neg/TopLevel.hs,1.2224,,1.443,,0.2206
Tests/Macro/unit-pos/T1120A.hs,2.3478,,1.6357,,-0.7121,,Tests/Micro/measure-neg/Len00.hs,1.0785,,1.2989,,0.2204
Tests/Macro/unit-pos/T1100.hs,1.4382,,1.4701,,0.0319,,Tests/Macro/unit-pos/ResolveA.hs,1.1895,,1.4085,,0.219
Tests/Macro/unit-pos/T1095C.hs,1.2551,,1.9947,,0.7396,,Tests/Macro/unit-pos/AdtList0.hs,1.2513,,1.47,,0.2187
Tests/Macro/unit-pos/T1095B.hs,2.0675,,2.1682,,0.1007,,Tests/Macro/unit-pos/absref-crash.hs,1.2251,,1.4435,,0.2184
Tests/Macro/unit-pos/T1095A.hs,2.1931,,2.2581,,0.065,,Tests/Error-Messages/BadGADT.hs,1.0831,,1.2994,,0.2163
Tests/Macro/unit-pos/T1092.hs,1.4122,,2.2404,,0.8282,,Tests/Macro/unit-neg/StrictPair0.hs,1.2124,,1.428,,0.2156
Tests/Macro/unit-pos/T1085.hs,1.1074,,2.0743,,0.9669,,Tests/Macro/unit-pos/WrapUnWrap.hs,1.1371,,1.3518,,0.2147
Tests/Macro/unit-pos/T1074.hs,1.3242,,1.8906,,0.5664,,Tests/Macro/unit-pos/Infinity.hs,1.376,,1.5904,,0.2144
Tests/Macro/unit-pos/T1065.hs,1.2324,,2.1048,,0.8724,,Tests/Micro/datacon-neg/Data00Lib.hs,1.1016,,1.3156,,0.214
Tests/Macro/unit-pos/T1060.hs,1.3216,,2.1617,,0.8401,,Tests/Macro/unit-pos/inline.hs,1.2928,,1.5064,,0.2136
Tests/Macro/unit-pos/T1045a.hs,1.0719,,1.7771,,0.7052,,Tests/Micro/ple-pos/StlcBug.hs,1.2543,,1.4677,,0.2134
Tests/Macro/unit-pos/T1045.hs,1.0858,,1.4653,,0.3795,,Tests/Prover/with_ple/BasicLambdas.hs,1.3183,,1.5317,,0.2134
Tests/Macro/unit-pos/T1034.hs,1.1122,,1.4522,,0.34,,Tests/Macro/unit-pos/hole-fun.hs,1.2199,,1.4327,,0.2128
Tests/Macro/unit-pos/T1025a.hs,1.3267,,1.6094,,0.2827,,Tests/Micro/class-neg/Inst00.hs,1.1617,,1.3742,,0.2125
Tests/Macro/unit-pos/T1025.hs,1.3334,,1.4632,,0.1298,,Tests/Macro/unit-pos/HasElem.hs,1.2719,,1.4837,,0.2118
Tests/Macro/unit-pos/T1024.hs,1.3534,,1.5945,,0.2411,,Tests/Macro/unit-neg/Class3.hs,1.4542,,1.6655,,0.2113
Tests/Macro/unit-pos/T1013A.hs,3.488,,3.6835,,0.1955,,Tests/Micro/class-laws-crash/SemiGroup-UndefinedInstance.hs,1.1199,,1.3296,,0.2097
Tests/Macro/unit-pos/T1013.hs,1.7743,,1.8716,,0.0973,,Tests/Micro/ple-pos/T1190.hs,1.2302,,1.4398,,0.2096
Tests/Macro/unit-pos/Sum.hs,1.0995,,1.3993,,0.2998,,Tests/Macro/unit-pos/test00-int.hs,1.1895,,1.3987,,0.2092
Tests/Macro/unit-pos/StructRec.hs,1.1093,,1.3469,,0.2376,,Tests/Macro/unit-pos/state00.hs,1.3539,,1.5628,,0.2089
Tests/Macro/unit-pos/Strings.hs,1.1324,,1.3564,,0.224,,Tests/Macro/unit-pos/StringLit.hs,1.0979,,1.3067,,0.2088
Tests/Macro/unit-pos/StringLit.hs,1.0979,,1.3067,,0.2088,,Tests/Micro/basic-pos/alias00.hs,1.0848,,1.2929,,0.2081
Tests/Macro/unit-pos/string00.hs,1.1282,,1.4492,,0.321,,Tests/Macro/unit-pos/Fractional.hs,1.2418,,1.449,,0.2072
Tests/Macro/unit-pos/StrictPair1.hs,1.2693,,1.384,,0.1147,,Tests/Macro/unit-neg/elim-ex-let.hs,1.542,,1.7488,,0.2068
Tests/Macro/unit-pos/StrictPair0.hs,1.1527,,1.2731,,0.1204,,Tests/Micro/measure-pos/AbsMeasure.hs,1.0894,,1.2947,,0.2053
Tests/Macro/unit-pos/Streams.hs,1.2099,,1.35,,0.1401,,Tests/Macro/unit-pos/T1220.hs,1.163,,1.3677,,0.2047
Tests/Macro/unit-pos/StateLib.hs,1.3737,,1.6732,,0.2995,,Tests/Prover/without_ple_pos/ApplicativeMaybe.hs,5.0549,,5.2589,,0.204
Tests/Macro/unit-pos/stateInvarint.hs,1.5514,,1.8978,,0.3464,,Tests/Macro/unit-pos/NoCaseExpand.hs,1.3293,,1.5326,,0.2033
Tests/Macro/unit-pos/StateF00.hs,1.4267,,1.3574,,-0.0693,,Tests/Macro/unit-pos/pred.hs,1.0806,,1.2837,,0.2031
Tests/Macro/unit-pos/StateConstraints00.hs,1.2109,,1.3901,,0.1792,,Tests/Micro/ple-neg/BinahUpdate.hs,1.2309,,1.4332,,0.2023
Tests/Macro/unit-pos/StateConstraints0.hs,1.528,,1.686,,0.158,,Tests/Macro/unit-pos/Permutation.hs,2.3704,,2.5727,,0.2023
Tests/Macro/unit-pos/StateConstraints.hs,11.7495,,11.6966,,-0.0529,,Tests/Macro/unit-neg/mapreduce-tiny.hs,1.4812,,1.6831,,0.2019
Tests/Macro/unit-pos/state00.hs,1.3539,,1.5628,,0.2089,,Tests/Micro/import-cli/LibRedBlue.hs,1.0766,,1.2784,,0.2018
Tests/Macro/unit-pos/State.hs,1.1952,,1.4769,,0.2817,,Tests/Macro/unit-pos/niki1.hs,1.278,,1.4795,,0.2015
Tests/Macro/unit-pos/stacks0.hs,1.5548,,1.6027,,0.0479,,Tests/Micro/ple-pos/T1371.hs,1.2239,,1.4231,,0.1992
Tests/Macro/unit-pos/StackMachine.hs,1.4802,,1.6238,,0.1436,,Tests/Micro/import-cli/LiquidArrayInit.hs,1.4926,,1.6913,,0.1987
Tests/Macro/unit-pos/StackClass.hs,1.2197,,1.4748,,0.2551,,Tests/Micro/datacon-neg/Data02Lib.hs,1.1919,,1.39,,0.1981
Tests/Macro/unit-pos/spec0.hs,1.2658,,1.3442,,0.0784,,Tests/Macro/unit-pos/bool0.hs,1.1996,,1.3974,,0.1978
Tests/Macro/unit-pos/Solver.hs,1.8665,,1.9398,,0.0733,,Tests/Error-Messages/BadData2.hs,0.9923,,1.1893,,0.197
Tests/Macro/unit-pos/SingletonLists.hs,1.2493,,1.4242,,0.1749,,Tests/Macro/unit-neg/StrictPair1.hs,1.295,,1.491,,0.196
Tests/Macro/unit-pos/SimplifyTup00.hs,1.3993,,2.4736,,1.0743,,Tests/Macro/unit-pos/T1013A.hs,3.488,,3.6835,,0.1955
Tests/Macro/unit-pos/SimplerNotation.hs,1.2322,,2.3702,,1.138,,Tests/Micro/names-pos/Capture02.hs,1.1381,,1.3328,,0.1947
Tests/Macro/unit-pos/selfList.hs,1.3399,,2.5553,,1.2154,,Tests/Micro/measure-pos/Ple1Lib.hs,1.1041,,1.2984,,0.1943
Tests/Macro/unit-pos/scanr.hs,1.3771,,1.5457,,0.1686,,Tests/Macro/unit-neg/NameResolution.hs,1.2968,,1.4905,,0.1937
Tests/Macro/unit-pos/SafePartialFunctions.hs,1.1375,,1.4975,,0.36,,Tests/Micro/pattern-pos/Return01.hs,1.1195,,1.3114,,0.1919
Tests/Macro/unit-pos/rta.hs,1.3733,,1.8861,,0.5128,,Tests/Micro/measure-neg/fst02.hs,1.0947,,1.2859,,0.1912
Tests/Macro/unit-pos/risers.hs,1.8328,,2.2136,,0.3808,,Tests/Macro/unit-pos/T1278.hs,1.1266,,1.3167,,0.1901
Tests/Macro/unit-pos/ResolvePred.hs,1.5715,,1.3778,,-0.1937,,Tests/Macro/unit-pos/bag1.hs,1.3528,,1.5429,,0.1901
Tests/Macro/unit-pos/ResolveB.hs,1.4472,,1.4704,,0.0232,,Tests/Macro/unit-pos/Product.hs,1.4493,,1.6392,,0.1899
Tests/Macro/unit-pos/ResolveA.hs,1.1895,,1.4085,,0.219,,Tests/Macro/unit-pos/partial-tycon.hs,1.1562,,1.3459,,0.1897
Tests/Macro/unit-pos/Resolve.hs,1.1297,,1.3929,,0.2632,,Tests/Macro/unit-neg/meas0.hs,1.5146,,1.7033,,0.1887
Tests/Macro/unit-pos/repeatHigherOrder.hs,2.7488,,2.4959,,-0.2529,,Tests/Macro/unit-neg/risers.hs,1.3014,,1.4896,,0.1882
Tests/Macro/unit-pos/Repeat.hs,1.8467,,2.628,,0.7813,,Tests/Macro/unit-neg/test2.hs,1.2556,,1.443,,0.1874
Tests/Macro/unit-pos/RelativeComplete.hs,1.4865,,2.2422,,0.7557,,Tests/Macro/unit-pos/DependentPairsFun.hs,1.0866,,1.2739,,0.1873
Tests/Macro/unit-pos/ReflectMutual.hs,1.5793,,1.955,,0.3757,,Tests/Error-Messages/TerminationExprNum.hs,1.0614,,1.2482,,0.1868
Tests/Macro/unit-pos/ReflectBooleanFunctions.hs,3.7432,,2.0014,,-1.7418,,Tests/Macro/unit-neg/grty2.hs,1.3937,,1.5803,,0.1866
Tests/Macro/unit-pos/ReflectAlias.hs,1.7497,,1.3137,,-0.436,,Tests/Macro/unit-neg/coretologic.hs,1.3479,,1.5344,,0.1865
Tests/Macro/unit-pos/reflect0.hs,2.1039,,1.4575,,-0.6464,,Tests/Prover/without_ple_pos/Append.hs,3.3671,,3.5516,,0.1845
Tests/Macro/unit-pos/RefinedADTs.hs,1.649,,1.396,,-0.253,,Tests/Micro/import-cli/ReflectClient2.hs,1.1409,,1.3252,,0.1843
Tests/Macro/unit-pos/Reduction.hs,1.3231,,1.3381,,0.015,,Tests/Micro/implicit-pos/ImplicitTrivial.hs,1.1287,,1.3125,,0.1838
Tests/Macro/unit-pos/recursion0.hs,1.2658,,1.3518,,0.086,,Tests/Macro/unit-neg/T1288.hs,1.175,,1.3587,,0.1837
Tests/Macro/unit-pos/RecSelector.hs,1.1607,,1.3301,,0.1694,,Tests/Macro/unit-neg/T1498.hs,1.2033,,1.3868,,0.1835
Tests/Macro/unit-pos/RecQSort0.hs,2.1014,,1.6092,,-0.4922,,Tests/Macro/unit-pos/infix.hs,1.3042,,1.4868,,0.1826
Tests/Macro/unit-pos/RecQSort.hs,1.7232,,1.4877,,-0.2355,,Tests/Error-Messages/MissingAssume.hs,1.0194,,1.2019,,0.1825
Tests/Macro/unit-pos/RecordSelectorError.hs,1.3336,,1.3013,,-0.0323,,Tests/Macro/unit-neg/poslist.hs,1.5881,,1.7705,,0.1824
Tests/Macro/unit-pos/record1.hs,1.197,,1.3495,,0.1525,,Tests/Error-Messages/BadSig1.hs,1.0953,,1.2775,,0.1822
Tests/Macro/unit-pos/record0.hs,2.0931,,1.4967,,-0.5964,,Tests/Micro/ple-neg/BinahUpdateClient.hs,1.1844,,1.3662,,0.1818
Tests/Macro/unit-pos/rec_annot_go.hs,1.36,,1.593,,0.233,,Tests/Micro/ple-neg/ReflectDefault.hs,0.6808,,0.8622,,0.1814
Tests/Macro/unit-pos/Rebind.hs,1.2816,,1.2401,,-0.0415,,Tests/Macro/unit-pos/StateConstraints00.hs,1.2109,,1.3901,,0.1792
Tests/Macro/unit-pos/RealProps.hs,1.6584,,1.3848,,-0.2736,,Tests/Micro/ple-neg/BinahUpdateLib.hs,1.3092,,1.4877,,0.1785
Tests/Macro/unit-pos/RBTree.hs,14.621,,15.7481,,1.1271,,Tests/Prover/without_ple_pos/MonadMaybe.hs,1.7715,,1.9497,,0.1782
Tests/Macro/unit-pos/RBTree-ord.hs,9.2361,,9.8954,,0.6593,,Tests/Micro/absref-pos/ListISort.hs,1.2483,,1.4261,,0.1778
Tests/Macro/unit-pos/RBTree-height.hs,5.0779,,3.7008,,-1.3771,,Tests/Macro/unit-pos/T1302.hs,2.0061,,2.1833,,0.1772
Tests/Macro/unit-pos/RBTree-color.hs,4.6339,,4.4361,,-0.1978,,Tests/Prover/with_ple/ApplicativeId.hs,1.5065,,1.6833,,0.1768
Tests/Macro/unit-pos/RBTree-col-height.hs,5.3679,,5.427,,0.0591,,Tests/Macro/unit-neg/MergeSort.hs,1.9544,,2.1306,,0.1762
Tests/Macro/unit-pos/rangeAdt.hs,3.5528,,3.9622,,0.4094,,Tests/Macro/unit-pos/meas0.hs,1.9788,,2.1541,,0.1753
Tests/Macro/unit-pos/range1.hs,1.4049,,1.3628,,-0.0421,,Tests/Micro/measure-pos/HiddenDataLib.hs,1.1666,,1.3415,,0.1749
Tests/Macro/unit-pos/range.hs,1.5229,,1.5371,,0.0142,,Tests/Macro/unit-pos/SingletonLists.hs,1.2493,,1.4242,,0.1749
Tests/Macro/unit-pos/qualTest.hs,1.1875,,1.3563,,0.1688,,Tests/Macro/unit-pos/PersistentVector.hs,1.3998,,1.5746,,0.1748
Tests/Macro/unit-pos/QQTySyn.hs,1.7373,,1.4921,,-0.2452,,Tests/Prover/without_ple_pos/FunctorId.hs,1.8933,,2.0661,,0.1728
Tests/Macro/unit-pos/QQTySigTyVars.hs,1.3058,,1.5835,,0.2777,,Tests/Macro/unit-pos/Ackermann.hs,1.2855,,1.4577,,0.1722
Tests/Macro/unit-pos/QQTySig.hs,1.3627,,1.6892,,0.3265,,Tests/Micro/import-cli/Client1.hs,1.1514,,1.3226,,0.1712
Tests/Macro/unit-pos/propmeasure1.hs,1.0677,,1.3313,,0.2636,,Tests/Macro/unit-pos/comma.hs,1.1646,,1.3356,,0.171
Tests/Macro/unit-pos/propmeasure.hs,1.1685,,1.6202,,0.4517,,Tests/Macro/unit-neg/TotalHaskell.hs,1.1902,,1.3602,,0.17
Tests/Macro/unit-pos/Propability.hs,1.1632,,2.7645,,1.6013,,Tests/Macro/unit-neg/test00b.hs,1.3653,,1.535,,0.1697
Tests/Macro/unit-pos/PromotedDataCons.hs,1.2016,,1.3094,,0.1078,,Tests/Micro/absref-pos/AbsRef00.hs,1.0987,,1.2681,,0.1694
Tests/Macro/unit-pos/profcrasher.hs,1.2083,,1.3736,,0.1653,,Tests/Macro/unit-pos/RecSelector.hs,1.1607,,1.3301,,0.1694
Tests/Macro/unit-pos/Product.hs,1.4493,,1.6392,,0.1899,,Tests/Macro/unit-pos/qualTest.hs,1.1875,,1.3563,,0.1688
Tests/Macro/unit-pos/primInt0.hs,2.6908,,2.6646,,-0.0262,,Tests/Macro/unit-pos/scanr.hs,1.3771,,1.5457,,0.1686
Tests/Macro/unit-pos/pred.hs,1.0806,,1.2837,,0.2031,,Tests/Macro/unit-pos/T1544.hs,1.1242,,1.2927,,0.1685
Tests/Macro/unit-pos/pragma0.hs,1.1175,,1.2237,,0.1062,,Tests/Micro/measure-neg/Using00.hs,1.1131,,1.281,,0.1679
Tests/Macro/unit-pos/poslist_dc.hs,1.2763,,1.386,,0.1097,,Tests/Micro/terminate-pos/term00.hs,1.1653,,1.3328,,0.1675
Tests/Macro/unit-pos/poslist.hs,1.4084,,1.5357,,0.1273,,Tests/Micro/datacon-pos/Data01.hs,1.246,,1.4132,,0.1672
Tests/Macro/unit-pos/polyqual.hs,1.5725,,1.6777,,0.1052,,Tests/Micro/import-cli/ReflectClient5.hs,1.1518,,1.319,,0.1672
Tests/Macro/unit-pos/polyfun.hs,1.2373,,1.3264,,0.0891,,Tests/Error-Messages/TerminationExprSort.hs,1.0528,,1.2195,,0.1667
Tests/Macro/unit-pos/poly4.hs,1.2238,,1.5019,,0.2781,,Tests/Micro/basic-neg/inc02.hs,1.1353,,1.3006,,0.1653
Tests/Macro/unit-pos/poly3a.hs,1.2514,,1.3878,,0.1364,,Tests/Macro/unit-pos/profcrasher.hs,1.2083,,1.3736,,0.1653
Tests/Macro/unit-pos/poly3.hs,1.1162,,1.3996,,0.2834,,Tests/Micro/absref-pos/deppair0.hs,1.2916,,1.4562,,0.1646
Tests/Macro/unit-pos/poly2.hs,1.2304,,1.2624,,0.032,,Tests/Macro/unit-pos/failName.hs,1.5652,,1.7291,,0.1639
Tests/Macro/unit-pos/poly2-degenerate.hs,1.3624,,1.3333,,-0.0291,,Tests/Macro/unit-pos/Mod.hs,1.1126,,1.2759,,0.1633
Tests/Macro/unit-pos/poly1.hs,1.4011,,1.3932,,-0.0079,,Tests/Macro/unit-pos/implies.hs,1.2244,,1.3877,,0.1633
Tests/Macro/unit-pos/poly0.hs,1.4076,,1.4574,,0.0498,,Tests/Macro/unit-pos/zipSO.hs,1.1928,,1.356,,0.1632
Tests/Macro/unit-pos/PointDist.hs,1.4138,,1.4875,,0.0737,,Tests/Macro/unit-pos/alphaconvert-List.hs,1.8575,,2.0202,,0.1627
Tests/Macro/unit-pos/ple1.hs,1.7215,,1.6459,,-0.0756,,Tests/Micro/terminate-pos/LocalTermExpr.hs,1.4598,,1.6218,,0.162
Tests/Macro/unit-pos/PersistentVector.hs,1.3998,,1.5746,,0.1748,,Tests/Macro/unit-neg/DependentTypes.hs,1.4242,,1.5862,,0.162
Tests/Macro/unit-pos/Permutation.hs,2.3704,,2.5727,,0.2023,,Tests/Macro/unit-pos/TypeAlias.hs,1.1895,,1.3507,,0.1612
Tests/Macro/unit-pos/partialmeasure.hs,1.2861,,1.3131,,0.027,,Tests/Micro/measure-pos/List00Lib.hs,1.1938,,1.3547,,0.1609
Tests/Macro/unit-pos/partial-tycon.hs,1.1562,,1.3459,,0.1897,,Tests/Micro/implicit-pos/ImplicitDouble.hs,1.191,,1.3517,,0.1607
Tests/Macro/unit-pos/pargs1.hs,1.1819,,1.2864,,0.1045,,Tests/Error-Messages/CyclicExprAlias3.hs,1.1225,,1.2829,,0.1604
Tests/Macro/unit-pos/pargs.hs,1.0938,,1.1931,,0.0993,,Tests/Macro/unit-pos/AdtPeano0.hs,1.2382,,1.3983,,0.1601
Tests/Macro/unit-pos/PairMeasure0.hs,1.1449,,1.2801,,0.1352,,Tests/Micro/import-cli/T1096_Foo.hs,1.1279,,1.2874,,0.1595
Tests/Macro/unit-pos/PairMeasure.hs,1.1444,,1.4316,,0.2872,,Tests/Macro/unit-pos/T1548.hs,1.6779,,1.8366,,0.1587
Tests/Macro/unit-pos/pair00.hs,2.217,,2.4728,,0.2558,,Tests/Micro/measure-pos/List02Lib.hs,1.1282,,1.2864,,0.1582
Tests/Macro/unit-pos/pair0.hs,2.5214,,3.0902,,0.5688,,Tests/Prover/without_ple_pos/Compose.hs,1.3873,,1.5455,,0.1582
Tests/Macro/unit-pos/pair.hs,2.605,,3.1256,,0.5206,,Tests/Macro/unit-pos/StateConstraints0.hs,1.528,,1.686,,0.158
Tests/Macro/unit-pos/ORM.hs,1.7182,,2.172,,0.4538,,Tests/Micro/terminate-neg/T745.hs,1.168,,1.3251,,0.1571
Tests/Macro/unit-pos/OrdList.hs,2.9794,,3.5535,,0.5741,,Tests/Macro/unit-pos/Books.hs,1.3594,,1.5164,,0.157
Tests/Macro/unit-pos/NoExhaustiveGuardsError.hs,1.1204,,1.3634,,0.243,,Tests/Micro/import-cli/Client2.hs,1.0875,,1.2441,,0.1566
Tests/Macro/unit-pos/NoCaseExpand.hs,1.3293,,1.5326,,0.2033,,Tests/Micro/terminate-pos/StructSecondArg.hs,1.1061,,1.2625,,0.1564
Tests/Macro/unit-pos/niki1.hs,1.278,,1.4795,,0.2015,,Tests/Macro/unit-neg/T1267.hs,0.8668,,1.023,,0.1562
Tests/Macro/unit-pos/niki.hs,1.2584,,1.3749,,0.1165,,Tests/Macro/unit-pos/filterAbs.hs,1.5489,,1.705,,0.1561
Tests/Macro/unit-pos/nats.hs,1.3508,,1.3729,,0.0221,,Tests/Macro/unit-pos/transpose.hs,2.1026,,2.2584,,0.1558
Tests/Macro/unit-pos/MutualRec.hs,6.0189,,7.0568,,1.0379,,Tests/Micro/class-laws-neg/SemiGroup-WrongDef.hs,1.2056,,1.3612,,0.1556
Tests/Macro/unit-pos/MutuallyDependentADT.hs,2.2568,,1.5735,,-0.6833,,Tests/Macro/unit-pos/wrap1.hs,1.3956,,1.5512,,0.1556
Tests/Macro/unit-pos/mutrec.hs,1.837,,1.536,,-0.301,,Tests/Macro/unit-pos/Even0.hs,1.2593,,1.4148,,0.1555
Tests/Macro/unit-pos/multi-pred-app-00.hs,1.448,,1.3721,,-0.0759,,Tests/Macro/unit-pos/bounds1.hs,1.1855,,1.3408,,0.1553
Tests/Macro/unit-pos/monad6.hs,1.2845,,1.5849,,0.3004,,Tests/Macro/unit-neg/concat1.hs,1.7918,,1.9459,,0.1541
Tests/Macro/unit-pos/monad5.hs,2.5435,,1.7525,,-0.791,,Tests/Macro/unit-pos/gimme.hs,1.3334,,1.486,,0.1526
Tests/Macro/unit-pos/monad2.hs,1.6528,,1.4063,,-0.2465,,Tests/Macro/unit-pos/record1.hs,1.197,,1.3495,,0.1525
Tests/Macro/unit-pos/modTest.hs,1.4155,,1.4287,,0.0132,,Tests/Macro/unit-pos/T1543.hs,1.0858,,1.2367,,0.1509
Tests/Macro/unit-pos/ModLib.hs,1.1833,,1.2979,,0.1146,,Tests/Micro/ple-pos/IndStar.hs,1.2766,,1.4268,,0.1502
Tests/Macro/unit-pos/Mod.hs,1.1126,,1.2759,,0.1633,,Tests/Macro/unit-pos/GCD.hs,1.4218,,1.5718,,0.15
Tests/Macro/unit-pos/MergeSort.hs,2.5994,,1.9646,,-0.6348,,Tests/Error-Messages/BadAnnotation.hs,0.7804,,0.9301,,0.1497
Tests/Macro/unit-pos/MergeSort-bag.hs,2.7074,,2.7161,,0.0087,,Tests/Macro/unit-pos/compare2.hs,1.3417,,1.4913,,0.1496
Tests/Macro/unit-pos/Merge1.hs,1.6418,,1.6559,,0.0141,,Tests/Micro/measure-pos/List00.hs,1.097,,1.2465,,0.1495
Tests/Macro/unit-pos/MeasureSets.hs,1.5389,,1.771,,0.2321,,Tests/Macro/unit-neg/test00c.hs,1.1634,,1.3119,,0.1485
Tests/Macro/unit-pos/Measures1.hs,1.6788,,2.0563,,0.3775,,Tests/Micro/names-pos/Capture01.hs,1.0701,,1.2183,,0.1482
Tests/Macro/unit-pos/Measures.hs,1.1595,,1.8196,,0.6601,,Tests/Micro/pattern-pos/contra0.hs,1.2455,,1.3915,,0.146
Tests/Macro/unit-pos/MeasureDups.hs,2.1056,,1.6241,,-0.4815,,Tests/Micro/names-pos/Alias00.hs,1.0526,,1.1984,,0.1458
Tests/Macro/unit-pos/MeasureContains.hs,1.4695,,2.0899,,0.6204,,Tests/Error-Messages/CyclicExprAlias0.hs,1.0498,,1.1956,,0.1458
Tests/Macro/unit-pos/meas9.hs,1.7312,,2.3084,,0.5772,,Tests/Micro/basic-neg/inc01.hs,1.1057,,1.2511,,0.1454
Tests/Macro/unit-pos/meas8.hs,1.58,,1.8255,,0.2455,,Tests/Macro/unit-pos/ListKeys.hs,1.3143,,1.4591,,0.1448
Tests/Macro/unit-pos/meas7.hs,2.1681,,1.523,,-0.6451,,Tests/Error-Messages/BadAnnotation1.hs,0.8309,,0.9754,,0.1445
Tests/Macro/unit-pos/meas6.hs,3.2787,,1.5822,,-1.6965,,Tests/Macro/unit-pos/AdtList3.hs,1.311,,1.4554,,0.1444
Tests/Macro/unit-pos/meas5.hs,4.1375,,2.7918,,-1.3457,,Tests/Macro/unit-neg/tyclass0-unsafe.hs,1.2264,,1.3708,,0.1444
Tests/Macro/unit-pos/meas4.hs,1.917,,2.5928,,0.6758,,Tests/Micro/ple-pos/ReflectDefault.hs,1.2317,,1.3754,,0.1437
Tests/Macro/unit-pos/meas2.hs,1.9762,,1.9651,,-0.0111,,Tests/Macro/unit-neg/grty0.hs,1.2855,,1.4292,,0.1437
Tests/Macro/unit-pos/meas11.hs,1.5005,,2.9128,,1.4123,,Tests/Macro/unit-pos/StackMachine.hs,1.4802,,1.6238,,0.1436
Tests/Macro/unit-pos/meas10.hs,2.3483,,1.9398,,-0.4085,,Tests/Macro/unit-neg/ListMSort.hs,2.8415,,2.9847,,0.1432
Tests/Macro/unit-pos/meas1.hs,1.7232,,2.4017,,0.6785,,Tests/Macro/unit-pos/AssumedRecursive.hs,1.1809,,1.3236,,0.1427
Tests/Macro/unit-pos/meas0a.hs,2.0344,,2.1343,,0.0999,,Tests/Macro/unit-pos/DependentPairs.hs,1.1476,,1.2896,,0.142
Tests/Macro/unit-pos/meas00a.hs,1.6782,,1.9279,,0.2497,,Tests/Macro/unit-pos/testRec.hs,1.2089,,1.3504,,0.1415
Tests/Macro/unit-pos/meas00.hs,1.7144,,1.839,,0.1246,,Tests/Error-Messages/BadData1.hs,1.0745,,1.215,,0.1405
Tests/Macro/unit-pos/meas0.hs,1.9788,,2.1541,,0.1753,,Tests/Macro/unit-pos/Streams.hs,1.2099,,1.35,,0.1401
Tests/Macro/unit-pos/maybe4.hs,1.4044,,1.4691,,0.0647,,Tests/Macro/unit-pos/T1571.hs,1.1338,,1.2737,,0.1399
Tests/Macro/unit-pos/maybe3.hs,1.1341,,1.4325,,0.2984,,Tests/Macro/unit-neg/EvalQuery.hs,1.6422,,1.7816,,0.1394
Tests/Macro/unit-pos/maybe2.hs,2.7754,,2.5922,,-0.1832,,Tests/Micro/measure-pos/ple00.hs,1.168,,1.3071,,0.1391
Tests/Macro/unit-pos/maybe1.hs,1.7368,,1.5298,,-0.207,,Tests/Micro/datacon-pos/Data02Lib.hs,1.115,,1.2536,,0.1386
Tests/Macro/unit-pos/maybe000.hs,1.9012,,1.4224,,-0.4788,,Tests/Micro/ple-neg/T1409.hs,1.0907,,1.228,,0.1373
Tests/Macro/unit-pos/maybe0.hs,1.745,,1.4497,,-0.2953,,Tests/Macro/unit-pos/imp0.hs,1.2913,,1.4281,,0.1368
Tests/Macro/unit-pos/maybe.hs,2.451,,2.4453,,-0.0057,,Tests/Macro/unit-pos/poly3a.hs,1.2514,,1.3878,,0.1364
Tests/Macro/unit-pos/MaskError.hs,1.8687,,1.4573,,-0.4114,,Tests/Macro/unit-neg/GeneralizedTermination.hs,1.32,,1.4563,,0.1363
Tests/Macro/unit-pos/mapTvCrash.hs,1.5189,,1.3957,,-0.1232,,Tests/Macro/unit-pos/PairMeasure0.hs,1.1449,,1.2801,,0.1352
Tests/Macro/unit-pos/maps1.hs,1.8178,,1.4495,,-0.3683,,Tests/Macro/unit-pos/T1547.hs,1.0924,,1.2265,,0.1341
Tests/Macro/unit-pos/maps.hs,3.3788,,1.6051,,-1.7737,,Tests/Macro/unit-pos/AdtPeano1.hs,1.2271,,1.3607,,0.1336
Tests/Macro/unit-pos/MapReduceVerified.hs,24.5724,,20.0364,,-4.536,,Tests/Macro/unit-neg/poly0.hs,1.3803,,1.5139,,0.1336
Tests/Macro/unit-pos/mapreduce-bare.hs,9.3803,,7.8865,,-1.4938,,Tests/Macro/unit-pos/DB00.hs,1.4015,,1.5347,,0.1332
Tests/Macro/unit-pos/MapFusion.hs,1.9373,,2.2502,,0.3129,,Tests/Macro/unit-pos/bangPatterns.hs,1.3251,,1.4562,,0.1311
Tests/Macro/unit-pos/Map2.hs,18.5528,,28.599,,10.0462,,Tests/Macro/unit-pos/idNat0.hs,1.192,,1.3224,,0.1304
Tests/Macro/unit-pos/Map0.hs,21.9477,,23.2472,,1.2995,,Tests/Macro/unit-pos/T1025.hs,1.3334,,1.4632,,0.1298
Tests/Macro/unit-pos/Map.hs,29.0961,,23.7351,,-5.361,,Tests/Macro/unit-pos/DepTriples.hs,1.2448,,1.3743,,0.1295
Tests/Macro/unit-pos/malformed0.hs,2.6734,,1.703,,-0.9704,,Tests/Macro/unit-neg/MultipleInvariants.hs,1.2857,,1.4146,,0.1289
Tests/Macro/unit-pos/LooLibLib.hs,1.7482,,1.253,,-0.4952,,Tests/Micro/names-pos/Assume01.hs,1.1512,,1.2791,,0.1279
Tests/Macro/unit-pos/LooLib.hs,2.6299,,1.3137,,-1.3162,,Tests/Macro/unit-pos/AdtList1.hs,1.3125,,1.4402,,0.1277
Tests/Macro/unit-pos/Loo.hs,1.8924,,1.4125,,-0.4799,,Tests/Macro/unit-pos/ite.hs,1.1843,,1.3118,,0.1275
Tests/Macro/unit-pos/LogicCurry1.hs,2.0195,,1.4296,,-0.5899,,Tests/Macro/unit-pos/GoodHMeas.hs,1.2655,,1.393,,0.1275
Tests/Macro/unit-pos/LocalSpecLib.hs,1.7996,,1.2627,,-0.5369,,Tests/Macro/unit-pos/AdtList4.hs,1.3348,,1.4622,,0.1274
Tests/Macro/unit-pos/LocalSpec.hs,1.8867,,1.1934,,-0.6933,,Tests/Macro/unit-pos/poslist.hs,1.4084,,1.5357,,0.1273
Tests/Macro/unit-pos/LocalLazy.hs,2.3885,,1.3646,,-1.0239,,Tests/Macro/unit-pos/T1568.hs,1.172,,1.2992,,0.1272
Tests/Macro/unit-pos/LocalHole.hs,1.4705,,1.3277,,-0.1428,,Tests/Macro/unit-neg/ex0-unsafe.hs,1.4506,,1.5773,,0.1267
Tests/Macro/unit-pos/lit02.hs,1.6653,,1.5473,,-0.118,,Tests/Macro/unit-neg/sumk.hs,1.4606,,1.5872,,0.1266
Tests/Macro/unit-pos/lit00.hs,1.5398,,1.5322,,-0.0076,,Tests/Error-Messages/HintMismatch.hs,1.0931,,1.2188,,0.1257
Tests/Macro/unit-pos/lit.hs,1.3378,,1.3663,,0.0285,,Tests/Error-Messages/MissingSizeFun.hs,1.0081,,1.1335,,0.1254
Tests/Macro/unit-pos/ListSort.hs,4.6794,,3.4513,,-1.2281,,Tests/Macro/unit-pos/meas00.hs,1.7144,,1.839,,0.1246
Tests/Macro/unit-pos/listSetDemo.hs,1.8495,,1.554,,-0.2955,,Tests/Prover/without_ple_pos/NatInduction.hs,1.4503,,1.5748,,0.1245
Tests/Macro/unit-pos/listSet.hs,1.5503,,1.5648,,0.0145,,Tests/Macro/unit-pos/AutoSize.hs,1.2386,,1.362,,0.1234
Tests/Macro/unit-pos/ListReverse-LType.hs,1.3661,,1.417,,0.0509,,Tests/Macro/unit-neg/meas3.hs,1.4811,,1.604,,0.1229
Tests/Macro/unit-pos/ListRange.hs,2.1728,,1.6336,,-0.5392,,Tests/Micro/import-cli/CliRedBlue.hs,1.1126,,1.2348,,0.1222
Tests/Macro/unit-pos/ListRange-LType.hs,1.7853,,1.5899,,-0.1954,,Tests/Error-Messages/MultiInstMeasures.hs,1.0944,,1.2161,,0.1217
Tests/Macro/unit-pos/listqual.hs,2.2335,,1.3974,,-0.8361,,Tests/Micro/ple-neg/BinahUpdateLib1.hs,1.5175,,1.6391,,0.1216
Tests/Macro/unit-pos/ListQSort-LType.hs,3.5855,,3.1501,,-0.4354,,Tests/Micro/measure-pos/Using00.hs,1.1074,,1.2288,,0.1214
Tests/Macro/unit-pos/ListMSort.hs,2.0981,,2.5451,,0.447,,Tests/Macro/unit-pos/HedgeUnion.hs,1.4977,,1.6188,,0.1211
Tests/Macro/unit-pos/ListMSort-LType.hs,4.4198,,5.0819,,0.6621,,Tests/Prover/without_ple_pos/MonadId.hs,1.8371,,1.9579,,0.1208
Tests/Macro/unit-pos/ListLen.hs,1.8974,,2.2133,,0.3159,,Tests/Macro/unit-pos/TypeLitString.hs,1.2189,,1.3395,,0.1206
Tests/Macro/unit-pos/ListLen-LType.hs,1.9378,,2.1915,,0.2537,,Tests/Macro/unit-neg/ListRange.hs,1.4879,,1.6084,,0.1205
Tests/Macro/unit-pos/ListKeys.hs,1.3143,,1.4591,,0.1448,,Tests/Macro/unit-pos/StrictPair0.hs,1.1527,,1.2731,,0.1204
Tests/Macro/unit-pos/ListISort-perm.hs,1.7847,,2.0558,,0.2711,,Tests/Macro/unit-pos/GhcSort3.hs,4.7397,,4.8601,,0.1204
Tests/Macro/unit-pos/ListISort-bag.hs,1.3848,,1.7191,,0.3343,,Tests/Error-Messages/ParseBind.hs,0.8081,,0.9274,,0.1193
Tests/Macro/unit-pos/ListElem.hs,1.2513,,2.5795,,1.3282,,Tests/Macro/unit-pos/div000.hs,1.3154,,1.434,,0.1186
Tests/Macro/unit-pos/ListConcat.hs,1.3065,,1.7054,,0.3989,,Tests/Macro/unit-pos/HigherOrderRecFun.hs,1.244,,1.3623,,0.1183
Tests/Macro/unit-pos/listAnf.hs,1.4581,,2.016,,0.5579,,Tests/Macro/unit-neg/Class4.hs,1.3882,,1.5059,,0.1177
Tests/Macro/unit-pos/Lib521.hs,1.2259,,1.628,,0.4021,,Tests/Macro/unit-neg/SafePartialFunctions.hs,1.3411,,1.4587,,0.1176
Tests/Macro/unit-pos/lex.hs,1.1887,,1.5405,,0.3518,,Tests/Micro/names-pos/Assume00.hs,1.2868,,1.4041,,0.1173
Tests/Macro/unit-pos/lets.hs,1.3752,,1.9585,,0.5833,,Tests/Micro/class-neg/RealProps0.hs,1.126,,1.2431,,0.1171
Tests/Macro/unit-pos/LazyWhere1.hs,1.3365,,1.8904,,0.5539,,Tests/Macro/unit-neg/T602.hs,1.2659,,1.3828,,0.1169
Tests/Macro/unit-pos/LazyWhere.hs,1.3162,,1.5888,,0.2726,,Tests/Macro/unit-pos/niki.hs,1.2584,,1.3749,,0.1165
Tests/Macro/unit-pos/LambdaEvalTiny.hs,1.6619,,2.2366,,0.5747,,Tests/Macro/unit-neg/alias00.hs,1.2929,,1.4091,,0.1162
Tests/Macro/unit-pos/LambdaEvalSuperTiny.hs,1.7135,,2.2425,,0.529,,Tests/Macro/unit-neg/T1286.hs,1.2248,,1.3408,,0.116
Tests/Macro/unit-pos/LambdaEvalMini.hs,3.1395,,4.741,,1.6015,,Tests/Macro/unit-pos/TypeLitNat.hs,1.1581,,1.274,,0.1159
Tests/Macro/unit-pos/LambdaEval.hs,3.1185,,4.2217,,1.1032,,Tests/Macro/unit-neg/T1440.hs,1.39,,1.5052,,0.1152
Tests/Macro/unit-pos/LambdaDeBruijn.hs,1.988,,2.9098,,0.9218,,Tests/Macro/unit-pos/StrictPair1.hs,1.2693,,1.384,,0.1147
Tests/Macro/unit-pos/kmpVec.hs,2.2814,,2.6157,,0.3343,,Tests/Macro/unit-pos/ModLib.hs,1.1833,,1.2979,,0.1146
Tests/Macro/unit-pos/kmpIO.hs,1.714,,1.9678,,0.2538,,Tests/Macro/unit-neg/inc2.hs,1.3478,,1.4619,,0.1141
Tests/Macro/unit-pos/kmp.hs,2.8462,,3.0754,,0.2292,,Tests/Macro/unit-pos/tyfam0.hs,1.3677,,1.4807,,0.113
Tests/Macro/unit-pos/Keys.hs,1.3687,,1.8587,,0.49,,Tests/Micro/measure-pos/ple1.hs,1.1641,,1.2769,,0.1128
Tests/Macro/unit-pos/jeff.hs,4.4129,,5.3043,,0.8914,,Tests/Macro/unit-pos/top0.hs,1.6402,,1.7526,,0.1124
Tests/Macro/unit-pos/ite1.hs,1.2816,,1.2815,,-0.0001,,Tests/Micro/names-pos/HidePrelude.hs,0.9358,,1.0477,,0.1119
Tests/Macro/unit-pos/ite.hs,1.1843,,1.3118,,0.1275,,Tests/Macro/unit-pos/T914.hs,1.2007,,1.3126,,0.1119
Tests/Macro/unit-pos/invlhs.hs,1.2308,,1.5111,,0.2803,,Tests/Macro/unit-pos/HaskellMeasure.hs,1.2239,,1.3346,,0.1107
Tests/Macro/unit-pos/inline1.hs,1.2311,,1.4778,,0.2467,,Tests/Macro/unit-pos/AutoTerm1.hs,1.2006,,1.3107,,0.1101
Tests/Macro/unit-pos/inline.hs,1.2928,,1.5064,,0.2136,,Tests/Macro/unit-pos/dropwhile.hs,1.64,,1.75,,0.11
Tests/Macro/unit-pos/infix.hs,1.3042,,1.4868,,0.1826,,Tests/Macro/unit-pos/poslist_dc.hs,1.2763,,1.386,,0.1097
Tests/Macro/unit-pos/Infinity.hs,1.376,,1.5904,,0.2144,,Tests/Error-Messages/BadSig0.hs,1.1293,,1.2389,,0.1096
Tests/Macro/unit-pos/implies.hs,1.2244,,1.3877,,0.1633,,Tests/Macro/unit-pos/GhcSort3.T.hs,1.971,,2.0804,,0.1094
Tests/Macro/unit-pos/imp0.hs,1.2913,,1.4281,,0.1368,,Tests/Macro/unit-neg/MeasureDups.hs,1.4458,,1.5541,,0.1083
Tests/Macro/unit-pos/Ignores.hs,1.2281,,2.2111,,0.983,,Tests/Macro/unit-pos/PromotedDataCons.hs,1.2016,,1.3094,,0.1078
Tests/Macro/unit-pos/idNat0.hs,1.192,,1.3224,,0.1304,,Tests/Macro/unit-pos/ToyMVar.hs,1.6891,,1.7967,,0.1076
Tests/Macro/unit-pos/idNat.hs,1.2261,,1.3165,,0.0904,,Tests/Error-Messages/BadDataDeclTyVars.hs,1.0443,,1.1513,,0.107
Tests/Macro/unit-pos/IcfpDemo.hs,1.5377,,1.6092,,0.0715,,Tests/Error-Messages/BadSyn4.hs,1.1558,,1.2625,,0.1067
Tests/Macro/unit-pos/Hutton.hs,3.0554,,6.0743,,3.0189,,Tests/Macro/unit-pos/pragma0.hs,1.1175,,1.2237,,0.1062
Tests/Macro/unit-pos/Holes.hs,1.395,,1.8221,,0.4271,,Tests/Error-Messages/CyclicExprAlias1.hs,1.0959,,1.2019,,0.106
Tests/Macro/unit-pos/Holes-Slicing.hs,1.2319,,1.8067,,0.5748,,Tests/Macro/unit-neg/T1198.3.hs,1.2161,,1.322,,0.1059
Tests/Macro/unit-pos/Hole00.hs,1.4936,,2.4971,,1.0035,,Tests/Macro/unit-pos/zipper000.hs,1.3634,,1.4692,,0.1058
Tests/Macro/unit-pos/hole-fun.hs,1.2199,,1.4327,,0.2128,,Tests/Macro/unit-pos/polyqual.hs,1.5725,,1.6777,,0.1052
Tests/Macro/unit-pos/hole-app.hs,1.2095,,1.2933,,0.0838,,Tests/Macro/unit-pos/DataBase.hs,1.4805,,1.5857,,0.1052
Tests/Macro/unit-pos/HigherOrderRecFun.hs,1.244,,1.3623,,0.1183,,Tests/Micro/class-laws-crash/SemiGroup-MissingLaw.hs,1.1416,,1.2465,,0.1049
Tests/Macro/unit-pos/Hex00.hs,1.2107,,1.2649,,0.0542,,Tests/Macro/unit-pos/pargs1.hs,1.1819,,1.2864,,0.1045
Tests/Macro/unit-pos/hello.hs,1.2105,,1.2831,,0.0726,,Tests/Micro/class-laws-pos/Monoid.hs,1.3713,,1.475,,0.1037
Tests/Macro/unit-pos/HedgeUnion.hs,1.4977,,1.6188,,0.1211,,Tests/Micro/measure-pos/Len00.hs,1.2211,,1.3246,,0.1035
Tests/Macro/unit-pos/HaskellMeasure.hs,1.2239,,1.3346,,0.1107,,Tests/Macro/unit-neg/MeasureContains.hs,1.425,,1.5279,,0.1029
Tests/Macro/unit-pos/HasElem.hs,1.2719,,1.4837,,0.2118,,Tests/Macro/unit-pos/Cat.hs,1.2327,,1.3355,,0.1028
Tests/Macro/unit-pos/grty3.hs,1.2639,,1.2555,,-0.0084,,Tests/Macro/unit-neg/T1546.hs,1.2616,,1.3639,,0.1023
Tests/Macro/unit-pos/grty2.hs,1.267,,1.3614,,0.0944,,Tests/Macro/unit-neg/meas7.hs,1.3145,,1.4166,,0.1021
Tests/Macro/unit-pos/grty1.hs,1.3325,,1.4177,,0.0852,,Tests/Macro/unit-neg/Variance.hs,1.2481,,1.35,,0.1019
Tests/Macro/unit-pos/grty0.hs,1.2282,,1.3076,,0.0794,,Tests/Macro/unit-pos/T1095B.hs,2.0675,,2.1682,,0.1007
Tests/Macro/unit-pos/Graph.hs,1.5044,,1.5236,,0.0192,,Tests/Micro/class-laws-pos/FreeVar.hs,1.1564,,1.2569,,0.1005
Tests/Macro/unit-pos/GoodHMeas.hs,1.2655,,1.393,,0.1275,,Tests/Prover/without_ple_pos/Peano.hs,2.3454,,2.4455,,0.1001
Tests/Macro/unit-pos/go_ugly_type.hs,1.2479,,1.5122,,0.2643,,Tests/Macro/unit-pos/meas0a.hs,2.0344,,2.1343,,0.0999
Tests/Macro/unit-pos/go.hs,1.3529,,1.3755,,0.0226,,Tests/Error-Messages/HigherOrderBinder.hs,1.201,,1.3007,,0.0997
Tests/Macro/unit-pos/gimme.hs,1.3334,,1.486,,0.1526,,Tests/Macro/unit-pos/pargs.hs,1.0938,,1.1931,,0.0993
Tests/Macro/unit-pos/GhcSort3.T.hs,1.971,,2.0804,,0.1094,,Tests/Macro/unit-pos/T1013.hs,1.7743,,1.8716,,0.0973
Tests/Macro/unit-pos/GhcSort3.hs,4.7397,,4.8601,,0.1204,,Tests/Macro/unit-neg/errmsg.hs,1.3351,,1.4315,,0.0964
Tests/Macro/unit-pos/GhcSort2.hs,1.8872,,1.9759,,0.0887,,Tests/Micro/ple-pos/T1289.hs,1.1952,,1.2907,,0.0955
Tests/Macro/unit-pos/GhcSort1.hs,3.5347,,3.9447,,0.41,,Tests/Macro/unit-pos/CharLiterals.hs,1.2272,,1.3226,,0.0954
Tests/Macro/unit-pos/GeneralizedTermination.hs,1.3311,,1.2973,,-0.0338,,Tests/Prover/with_ple/NaturalDeduction.hs,1.6417,,1.7367,,0.095
Tests/Macro/unit-pos/GCD.hs,1.4218,,1.5718,,0.15,,Tests/Micro/class-neg/Class01.hs,1.1598,,1.2544,,0.0946
Tests/Macro/unit-pos/gadtEval.hs,1.7034,,1.9351,,0.2317,,Tests/Macro/unit-pos/grty2.hs,1.267,,1.3614,,0.0944
Tests/Macro/unit-pos/FractionalInstance.hs,1.3634,,1.4302,,0.0668,,Tests/Micro/class-pos/HiddenMethod00.hs,1.1196,,1.2134,,0.0938
Tests/Macro/unit-pos/Fractional.hs,1.2418,,1.449,,0.2072,,Tests/Macro/unit-pos/case-lambda-join.hs,1.4636,,1.5574,,0.0938
Tests/Macro/unit-pos/forloop.hs,1.7324,,1.9697,,0.2373,,Tests/Micro/import-cli/T1180.hs,1.1983,,1.2919,,0.0936
Tests/Macro/unit-pos/for.hs,1.8662,,1.7975,,-0.0687,,Tests/Macro/unit-neg/T1126.hs,1.2341,,1.3255,,0.0914
Tests/Macro/unit-pos/Foo.hs,1.1804,,1.2517,,0.0713,,Tests/Macro/unit-neg/ListElem.hs,1.4296,,1.5205,,0.0909
Tests/Macro/unit-pos/foldr.hs,1.3065,,1.6539,,0.3474,,Tests/Macro/unit-pos/idNat.hs,1.2261,,1.3165,,0.0904
Tests/Macro/unit-pos/foldN.hs,1.2854,,1.9201,,0.6347,,Tests/Micro/datacon-pos/AdtPeano2.hs,1.2425,,1.3322,,0.0897
Tests/Macro/unit-pos/Foldl.hs,12.4761,,15.8681,,3.392,,Tests/Macro/unit-pos/polyfun.hs,1.2373,,1.3264,,0.0891
Tests/Macro/unit-pos/FingerTree.hs,8.4078,,17.7345,,9.3267,,Tests/Macro/unit-neg/partial.hs,1.319,,1.408,,0.089
Tests/Macro/unit-pos/filterAbs.hs,1.5489,,1.705,,0.1561,,Tests/Macro/unit-pos/TopLevel.hs,1.2111,,1.2998,,0.0887
Tests/Macro/unit-pos/FibEq.hs,1.4233,,2.3472,,0.9239,,Tests/Macro/unit-pos/GhcSort2.hs,1.8872,,1.9759,,0.0887
Tests/Macro/unit-pos/Fib0.hs,1.3242,,1.7787,,0.4545,,Tests/Macro/unit-neg/revshape.hs,1.3153,,1.4024,,0.0871
Tests/Macro/unit-pos/FFI.hs,1.6362,,1.9472,,0.311,,Tests/Macro/unit-pos/tagBinder.hs,1.2473,,1.3337,,0.0864
Tests/Macro/unit-pos/failName.hs,1.5652,,1.7291,,0.1639,,Tests/Macro/unit-pos/recursion0.hs,1.2658,,1.3518,,0.086
Tests/Macro/unit-pos/extype.hs,1.1395,,1.6659,,0.5264,,Tests/Micro/absref-neg/ListISort-LType.hs,1.6273,,1.7131,,0.0858
Tests/Macro/unit-pos/exp0.hs,1.214,,2.1534,,0.9394,,Tests/Macro/unit-neg/ListConcat.hs,1.3765,,1.462,,0.0855
Tests/Macro/unit-pos/ExactGADT6.hs,1.8308,,2.7379,,0.9071,,Tests/Macro/unit-pos/grty1.hs,1.3325,,1.4177,,0.0852
Tests/Macro/unit-pos/ExactGADT2.hs,1.4882,,2.3625,,0.8743,,Tests/Macro/unit-pos/datacon1.hs,1.194,,1.2784,,0.0844
Tests/Macro/unit-pos/ExactGADT1.hs,1.5212,,1.8414,,0.3202,,Tests/Macro/unit-pos/CompareConstraints.hs,1.7385,,1.8229,,0.0844
Tests/Macro/unit-pos/ExactGADT0.hs,2.1106,,2.6986,,0.588,,Tests/Micro/ple-neg/T1424.hs,1.17,,1.2539,,0.0839
Tests/Macro/unit-pos/ExactGADT.hs,1.2225,,1.4519,,0.2294,,Tests/Macro/unit-pos/hole-app.hs,1.2095,,1.2933,,0.0838
Tests/Macro/unit-pos/ExactADT6.hs,1.7398,,3.4091,,1.6693,,Tests/Macro/unit-pos/Even.hs,1.236,,1.3197,,0.0837
Tests/Macro/unit-pos/ex1.hs,1.5693,,1.8829,,0.3136,,Tests/Macro/unit-neg/test1.hs,1.3205,,1.4041,,0.0836
Tests/Macro/unit-pos/ex01.hs,2.0512,,1.3491,,-0.7021,,Tests/Micro/import-cli/T1118.hs,1.3539,,1.4373,,0.0834
Tests/Macro/unit-pos/ex0.hs,1.5599,,1.5684,,0.0085,,Tests/Macro/unit-neg/NoMethodBindingError.hs,0.8423,,0.925,,0.0827
Tests/Macro/unit-pos/Even0.hs,1.2593,,1.4148,,0.1555,,Tests/Macro/unit-neg/concat.hs,1.9052,,1.9878,,0.0826
Tests/Macro/unit-pos/Even.hs,1.236,,1.3197,,0.0837,,Tests/Macro/unit-pos/alias00.hs,1.2955,,1.3772,,0.0817
Tests/Macro/unit-pos/EvalQuery.hs,1.445,,1.8413,,0.3963,,Tests/Macro/unit-pos/comprehensionTerm.hs,1.9205,,2.0015,,0.081
Tests/Macro/unit-pos/Eval.hs,1.6038,,1.9363,,0.3325,,Tests/Macro/unit-neg/Constraints.hs,1.3909,,1.4719,,0.081
Tests/Macro/unit-pos/eqelems.hs,1.359,,2.0179,,0.6589,,Tests/Macro/unit-pos/T1577.hs,1.2413,,1.3222,,0.0809
Tests/Macro/unit-pos/eq-poly-measure.hs,1.7613,,1.801,,0.0397,,Tests/Macro/unit-pos/ConstraintsAppend.hs,2.5131,,2.5936,,0.0805
Tests/Macro/unit-pos/elim01.hs,1.5589,,1.5626,,0.0037,,Tests/Macro/unit-pos/test00.hs,1.2987,,1.3785,,0.0798
Tests/Macro/unit-pos/elim00.hs,1.2172,,1.5197,,0.3025,,Tests/Macro/unit-pos/grty0.hs,1.2282,,1.3076,,0.0794
Tests/Macro/unit-pos/elim-ex-map-3.hs,1.6413,,2.5697,,0.9284,,Tests/Macro/unit-neg/truespec.hs,1.2619,,1.3411,,0.0792
Tests/Macro/unit-pos/elim-ex-map-2.hs,1.4092,,1.8306,,0.4214,,Tests/Error-Messages/BadPragma2.hs,0.793,,0.8721,,0.0791
Tests/Macro/unit-pos/elim-ex-map-1.hs,1.4972,,3.0542,,1.557,,Tests/Macro/unit-pos/spec0.hs,1.2658,,1.3442,,0.0784
Tests/Macro/unit-pos/elim-ex-list.hs,1.242,,2.5674,,1.3254,,Tests/Macro/unit-neg/sumPoly.hs,1.26,,1.3382,,0.0782
Tests/Macro/unit-pos/elim-ex-let.hs,1.5141,,1.8278,,0.3137,,Tests/Macro/unit-neg/AdtPeano0.hs,1.2852,,1.3623,,0.0771
Tests/Macro/unit-pos/elim-ex-compose.hs,2.4533,,2.3017,,-0.1516,,Tests/Macro/unit-pos/PointDist.hs,1.4138,,1.4875,,0.0737
Tests/Macro/unit-pos/elems.hs,1.3214,,1.8995,,0.5781,,Tests/Macro/unit-neg/nestedRecursion.hs,1.4062,,1.4797,,0.0735
Tests/Macro/unit-pos/elements.hs,1.5785,,4.0614,,2.4829,,Tests/Macro/unit-pos/Solver.hs,1.8665,,1.9398,,0.0733
Tests/Macro/unit-pos/duplicate-bind.hs,1.3909,,2.0712,,0.6803,,Tests/Macro/unit-pos/hello.hs,1.2105,,1.2831,,0.0726
Tests/Macro/unit-pos/dropwhile.hs,1.64,,1.75,,0.11,,Tests/Micro/measure-pos/RecordAccessors.hs,1.1392,,1.2115,,0.0723
Tests/Macro/unit-pos/div000.hs,1.3154,,1.434,,0.1186,,Tests/Macro/unit-pos/IcfpDemo.hs,1.5377,,1.6092,,0.0715
Tests/Macro/unit-pos/deptupW.hs,1.5826,,1.4777,,-0.1049,,Tests/Macro/unit-pos/Foo.hs,1.1804,,1.2517,,0.0713
Tests/Macro/unit-pos/deptup3.hs,1.2467,,1.9252,,0.6785,,Tests/Prover/with_ple/Euclide.hs,1.471,,1.5423,,0.0713
Tests/Macro/unit-pos/deptup1.hs,1.3891,,1.6704,,0.2813,,Tests/Macro/unit-neg/VerifiedNum.hs,1.2651,,1.3356,,0.0705
Tests/Macro/unit-pos/deptup.hs,1.6929,,2.0506,,0.3577,,Tests/Macro/unit-neg/concat2.hs,1.8608,,1.9313,,0.0705
Tests/Macro/unit-pos/DepTriples.hs,1.2448,,1.3743,,0.1295,,Tests/Macro/unit-neg/CompareConstraints.hs,1.8631,,1.9334,,0.0703
Tests/Macro/unit-pos/DependentPairsFun.hs,1.0866,,1.2739,,0.1873,,Tests/Micro/measure-neg/GList00Lib.hs,1.2383,,1.306,,0.0677
Tests/Macro/unit-pos/DependentPairs.hs,1.1476,,1.2896,,0.142,,Tests/Macro/unit-pos/FractionalInstance.hs,1.3634,,1.4302,,0.0668
Tests/Macro/unit-pos/DepData.hs,1.3778,,1.2568,,-0.121,,Tests/Macro/unit-pos/anfbug.hs,1.4152,,1.4819,,0.0667
Tests/Macro/unit-pos/deepmeas0.hs,1.8426,,1.7546,,-0.088,,Tests/Macro/unit-neg/meas5.hs,3.026,,3.0923,,0.0663
Tests/Macro/unit-pos/DB00.hs,1.4015,,1.5347,,0.1332,,Tests/Macro/unit-neg/RG.hs,1.8407,,1.9069,,0.0662
Tests/Macro/unit-pos/dataConQuals.hs,1.5268,,1.4347,,-0.0921,,Tests/Macro/unit-neg/TypeLitNat.hs,1.2414,,1.3073,,0.0659
Tests/Macro/unit-pos/datacon1.hs,1.194,,1.2784,,0.0844,,Tests/Macro/unit-pos/T1095A.hs,2.1931,,2.2581,,0.065
Tests/Macro/unit-pos/datacon0.hs,1.5194,,1.951,,0.4316,,Tests/Macro/unit-pos/Constraints.hs,1.3427,,1.4077,,0.065
Tests/Macro/unit-pos/datacon-inv.hs,1.5357,,1.4155,,-0.1202,,Tests/Macro/unit-pos/maybe4.hs,1.4044,,1.4691,,0.0647
Tests/Macro/unit-pos/DataBase.hs,1.4805,,1.5857,,0.1052,,Tests/Micro/class-neg/Class00.hs,1.1544,,1.2183,,0.0639
Tests/Macro/unit-pos/data2.hs,2.0389,,2.3972,,0.3583,,Tests/Macro/unit-pos/AutoTerm.hs,1.335,,1.3983,,0.0633
Tests/Macro/unit-pos/cut00.hs,1.6267,,1.4052,,-0.2215,,Tests/Micro/measure-pos/fst02.hs,1.3092,,1.3724,,0.0632
Tests/Macro/unit-pos/csgordon_issue_296.hs,1.6312,,3.5266,,1.8954,,Tests/Prover/without_ple_neg/FunctorMaybe.hs,2.4177,,2.4789,,0.0612
Tests/Macro/unit-pos/CountMonad.hs,1.8232,,1.7551,,-0.0681,,Tests/Macro/unit-neg/Ast.hs,1.3789,,1.4396,,0.0607
Tests/Macro/unit-pos/coretologic.hs,2.4217,,1.4771,,-0.9446,,Tests/Macro/unit-pos/RBTree-col-height.hs,5.3679,,5.427,,0.0591
Tests/Macro/unit-pos/ConstraintsAppend.hs,2.5131,,2.5936,,0.0805,,Tests/Micro/class-laws-pos/Labels.hs,1.4042,,1.4631,,0.0589
Tests/Macro/unit-pos/Constraints.hs,1.3427,,1.4077,,0.065,,Tests/Macro/unit-neg/vector00.hs,1.5177,,1.5762,,0.0585
Tests/Macro/unit-pos/comprehensionTerm.hs,1.9205,,2.0015,,0.081,,Tests/Micro/parser-pos/Parens.hs,1.8421,,1.8977,,0.0556
Tests/Macro/unit-pos/comprehension.hs,1.2611,,1.2715,,0.0104,,Tests/Micro/measure-pos/Len01.hs,1.254,,1.3092,,0.0552
Tests/Macro/unit-pos/CompareConstraints.hs,1.7385,,1.8229,,0.0844,,Tests/Macro/unit-pos/Hex00.hs,1.2107,,1.2649,,0.0542
Tests/Macro/unit-pos/compare2.hs,1.3417,,1.4913,,0.1496,,Tests/Macro/unit-neg/T1613.hs,1.2724,,1.3258,,0.0534
Tests/Macro/unit-pos/compare1.hs,1.3996,,1.4483,,0.0487,,Tests/Prover/without_ple_pos/MonoidMaybe.hs,1.8947,,1.9469,,0.0522
Tests/Macro/unit-pos/compare.hs,1.3415,,1.3722,,0.0307,,Tests/Macro/unit-neg/Class1.hs,1.7452,,1.7973,,0.0521
Tests/Macro/unit-pos/CommentedOut.hs,1.2677,,1.317,,0.0493,,Tests/Macro/unit-pos/ListReverse-LType.hs,1.3661,,1.417,,0.0509
Tests/Macro/unit-pos/comma.hs,1.1646,,1.3356,,0.171,,Tests/Macro/unit-pos/poly0.hs,1.4076,,1.4574,,0.0498
Tests/Macro/unit-pos/Coercion.hs,1.3249,,1.3437,,0.0188,,Tests/Macro/unit-pos/CommentedOut.hs,1.2677,,1.317,,0.0493
Tests/Macro/unit-pos/cmptag0.hs,1.3092,,1.303,,-0.0062,,Tests/Micro/rankN-pos/Test.hs,1.3837,,1.4328,,0.0491
Tests/Macro/unit-pos/ClojurVector.hs,1.7545,,1.7666,,0.0121,,Tests/Macro/unit-pos/T1555.hs,1.1315,,1.1806,,0.0491
Tests/Macro/unit-pos/Client521.hs,1.2442,,1.2643,,0.0201,,Tests/Macro/unit-pos/compare1.hs,1.3996,,1.4483,,0.0487
Tests/Macro/unit-pos/ClassReg.hs,1.2905,,1.2715,,-0.019,,Tests/Macro/unit-neg/list00.hs,1.4163,,1.4649,,0.0486
Tests/Macro/unit-pos/Class2.hs,1.6599,,1.9877,,0.3278,,Tests/Macro/unit-pos/stacks0.hs,1.5548,,1.6027,,0.0479
Tests/Macro/unit-pos/Class.hs,1.6727,,2.0904,,0.4177,,Tests/Error-Messages/T1140.hs,1.1301,,1.1765,,0.0464
Tests/Macro/unit-pos/Chunks.hs,1.3552,,1.8186,,0.4634,,Tests/Macro/unit-neg/ass0.hs,1.2542,,1.2988,,0.0446
Tests/Macro/unit-pos/CheckedNum.hs,1.2511,,1.5093,,0.2582,,Tests/Error-Messages/TerminationExprUnb.hs,1.2256,,1.2695,,0.0439
Tests/Macro/unit-pos/CharLiterals.hs,1.2272,,1.3226,,0.0954,,Tests/Macro/unit-neg/meas2.hs,1.424,,1.4667,,0.0427
Tests/Macro/unit-pos/Cat.hs,1.2327,,1.3355,,0.1028,,Tests/Macro/unit-neg/T1095C.hs,0.8283,,0.8702,,0.0419
Tests/Macro/unit-pos/CasesToLogic.hs,1.3089,,1.2632,,-0.0457,,Tests/Micro/terminate-neg/T1404.0.hs,1.3349,,1.3764,,0.0415
Tests/Macro/unit-pos/case-lambda-join.hs,1.4636,,1.5574,,0.0938,,Tests/Macro/unit-pos/eq-poly-measure.hs,1.7613,,1.801,,0.0397
Tests/Macro/unit-pos/BST000.hs,1.7342,,1.9725,,0.2383,,Tests/Macro/unit-neg/record0.hs,1.4015,,1.4411,,0.0396
Tests/Macro/unit-pos/BST.hs,9.0707,,15.6432,,6.5725,,Tests/Macro/unit-neg/LazyWhere.hs,1.39,,1.4294,,0.0394
Tests/Macro/unit-pos/bounds1.hs,1.1855,,1.3408,,0.1553,,Tests/Macro/unit-neg/pargs1.hs,1.3171,,1.3559,,0.0388
Tests/Macro/unit-pos/bool2.hs,1.173,,1.4672,,0.2942,,Tests/Prover/with_ple/ApplicativeMaybe.hs,1.8168,,1.851,,0.0342
Tests/Macro/unit-pos/bool1.hs,1.2258,,1.9775,,0.7517,,Tests/Macro/unit-pos/zipW.hs,1.4239,,1.4579,,0.034
Tests/Macro/unit-pos/bool0.hs,1.1996,,1.3974,,0.1978,,Tests/Macro/unit-neg/FunSoundness.hs,1.3066,,1.3398,,0.0332
Tests/Macro/unit-pos/Books.hs,1.3594,,1.5164,,0.157,,Tests/Error-Messages/BadSyn2.hs,1.193,,1.2262,,0.0332
Tests/Macro/unit-pos/BinarySearchOverflow.hs,1.5336,,1.8366,,0.303,,Tests/Macro/unit-pos/poly2.hs,1.2304,,1.2624,,0.032
Tests/Macro/unit-pos/BinarySearch.hs,1.504,,1.5001,,-0.0039,,Tests/Macro/unit-pos/T1100.hs,1.4382,,1.4701,,0.0319
Tests/Macro/unit-pos/bangPatterns.hs,1.3251,,1.4562,,0.1311,,Tests/Macro/unit-pos/compare.hs,1.3415,,1.3722,,0.0307
Tests/Macro/unit-pos/bag1.hs,1.3528,,1.5429,,0.1901,,Tests/Error-Messages/LocalHole.hs,1.2998,,1.3295,,0.0297
Tests/Macro/unit-pos/AVLRJ.hs,4.0383,,2.8005,,-1.2378,,Tests/Prover/prover_ple_lib/Helper.hs,2.7649,,2.7941,,0.0292
Tests/Macro/unit-pos/AVL.hs,2.6923,,2.3104,,-0.3819,,Tests/Macro/unit-pos/lit.hs,1.3378,,1.3663,,0.0285
Tests/Macro/unit-pos/Avg.hs,1.2787,,1.2956,,0.0169,,Tests/Macro/unit-neg/T1604.hs,1.3955,,1.4237,,0.0282
Tests/Macro/unit-pos/AutoTerm1.hs,1.2006,,1.3107,,0.1101,,Tests/Macro/unit-pos/partialmeasure.hs,1.2861,,1.3131,,0.027
Tests/Macro/unit-pos/AutoTerm.hs,1.335,,1.3983,,0.0633,,Tests/Macro/unit-neg/RecQSort.hs,1.5614,,1.5872,,0.0258
Tests/Macro/unit-pos/AutoSize.hs,1.2386,,1.362,,0.1234,,Tests/Micro/pattern-pos/ReturnStrata00.hs,1.2686,,1.2939,,0.0253
Tests/Macro/unit-pos/Automate.hs,1.4418,,1.6868,,0.245,,Tests/Prover/without_ple_pos/Overview.hs,2.8178,,2.8428,,0.025
Tests/Macro/unit-pos/AssumedRecursive.hs,1.1809,,1.3236,,0.1427,,Tests/Error-Messages/ElabLocation.hs,1.1282,,1.153,,0.0248
Tests/Macro/unit-pos/Assume.hs,1.2731,,1.2629,,-0.0102,,Tests/Micro/measure-pos/List02.hs,1.2058,,1.2305,,0.0247
Tests/Macro/unit-pos/anish1.hs,1.2774,,1.2029,,-0.0745,,Tests/Macro/unit-pos/ResolveB.hs,1.4472,,1.4704,,0.0232
Tests/Macro/unit-pos/anftest.hs,1.3209,,1.3111,,-0.0098,,Tests/Macro/unit-neg/AbsApp.hs,1.2807,,1.3034,,0.0227
Tests/Macro/unit-pos/anfbug.hs,1.4152,,1.4819,,0.0667,,Tests/Macro/unit-pos/go.hs,1.3529,,1.3755,,0.0226
Tests/Macro/unit-pos/AmortizedQueue.hs,1.6008,,2.5788,,0.978,,Tests/Prover/prover_ple_lib/Proves.hs,1.7745,,1.7971,,0.0226
Tests/Macro/unit-pos/alphaconvert-Set.hs,1.5451,,1.8737,,0.3286,,Tests/Macro/unit-pos/nats.hs,1.3508,,1.3729,,0.0221
Tests/Macro/unit-pos/alphaconvert-List.hs,1.8575,,2.0202,,0.1627,,Tests/Micro/basic-pos/Inc03Lib.hs,1.8791,,1.8999,,0.0208
Tests/Macro/unit-pos/alias01.hs,1.1921,,1.4189,,0.2268,,Tests/Macro/unit-pos/Client521.hs,1.2442,,1.2643,,0.0201
Tests/Macro/unit-pos/alias00.hs,1.2955,,1.3772,,0.0817,,Tests/Prover/with_ple/MonoidMaybe.hs,1.4458,,1.4654,,0.0196
Tests/Macro/unit-pos/AdtPeano1.hs,1.2271,,1.3607,,0.1336,,Tests/Macro/unit-pos/Graph.hs,1.5044,,1.5236,,0.0192
Tests/Macro/unit-pos/AdtPeano0.hs,1.2382,,1.3983,,0.1601,,Tests/Macro/unit-neg/monad7.hs,1.8083,,1.8273,,0.019
Tests/Macro/unit-pos/AdtList5.hs,1.1662,,1.3877,,0.2215,,Tests/Macro/unit-pos/Coercion.hs,1.3249,,1.3437,,0.0188
Tests/Macro/unit-pos/AdtList4.hs,1.3348,,1.4622,,0.1274,,Tests/Macro/unit-neg/elim000.hs,1.3448,,1.363,,0.0182
Tests/Macro/unit-pos/AdtList3.hs,1.311,,1.4554,,0.1444,,Tests/Micro/import-cli/ReflectClient7.hs,1.3613,,1.3791,,0.0178
Tests/Macro/unit-pos/AdtList2.hs,1.2379,,1.5089,,0.271,,Tests/Macro/unit-pos/Avg.hs,1.2787,,1.2956,,0.0169
Tests/Macro/unit-pos/AdtList1.hs,1.3125,,1.4402,,0.1277,,Tests/Macro/unit-neg/LetRecStack.hs,1.3787,,1.395,,0.0163
Tests/Macro/unit-pos/AdtList0.hs,1.2513,,1.47,,0.2187,,Tests/Macro/unit-neg/AdtPeano1.hs,1.3679,,1.3841,,0.0162
Tests/Macro/unit-pos/adt0.hs,1.2888,,1.6389,,0.3501,,Tests/Macro/unit-neg/poly2-degenerate.hs,1.4338,,1.4492,,0.0154
Tests/Macro/unit-pos/Ackermann.hs,1.2855,,1.4577,,0.1722,,Tests/Macro/unit-neg/pargs.hs,1.3014,,1.3168,,0.0154
Tests/Macro/unit-pos/absref-crash0.hs,1.4839,,1.7756,,0.2917,,Tests/Macro/unit-pos/Reduction.hs,1.3231,,1.3381,,0.015
Tests/Macro/unit-pos/absref-crash.hs,1.2251,,1.4435,,0.2184,,Tests/Macro/unit-pos/listSet.hs,1.5503,,1.5648,,0.0145
Tests/Macro/unit-pos/Abs.hs,1.1991,,1.8281,,0.629,,Tests/Micro/measure-pos/Len02.hs,1.6089,,1.6232,,0.0143
Tests/Macro/unit-neg/wrap1.hs,1.532,,1.8517,,0.3197,,Tests/Macro/unit-pos/range.hs,1.5229,,1.5371,,0.0142
Tests/Macro/unit-neg/wrap0.hs,1.5645,,1.5081,,-0.0564,,Tests/Macro/unit-pos/Merge1.hs,1.6418,,1.6559,,0.0141
Tests/Macro/unit-neg/VerifiedNum.hs,1.2651,,1.3356,,0.0705,,Tests/Macro/unit-neg/listne.hs,1.2746,,1.288,,0.0134
Tests/Macro/unit-neg/vector2.hs,2.1412,,2.4781,,0.3369,,Tests/Macro/unit-pos/modTest.hs,1.4155,,1.4287,,0.0132
Tests/Macro/unit-neg/vector1a.hs,1.9026,,2.1386,,0.236,,Tests/Macro/unit-neg/Automate.hs,0.9552,,0.9683,,0.0131
Tests/Macro/unit-neg/vector0a.hs,1.5023,,1.7993,,0.297,,Tests/Micro/ple-pos/BinahUpdate.hs,1.3251,,1.3372,,0.0121
Tests/Macro/unit-neg/vector00.hs,1.5177,,1.5762,,0.0585,,Tests/Macro/unit-pos/ClojurVector.hs,1.7545,,1.7666,,0.0121
Tests/Macro/unit-neg/Variance1.hs,1.2565,,1.4816,,0.2251,,Tests/Macro/unit-pos/T1286.hs,1.2786,,1.2894,,0.0108
Tests/Macro/unit-neg/Variance.hs,1.2481,,1.35,,0.1019,,Tests/Macro/unit-pos/comprehension.hs,1.2611,,1.2715,,0.0104
Tests/Macro/unit-neg/TypeLitNat.hs,1.2414,,1.3073,,0.0659,,Tests/Macro/unit-pos/vector1b.hs,2.2605,,2.2703,,0.0098
Tests/Macro/unit-neg/tyclass0-unsafe.hs,1.2264,,1.3708,,0.1444,,Tests/Macro/unit-pos/MergeSort-bag.hs,2.7074,,2.7161,,0.0087
Tests/Macro/unit-neg/truespec.hs,1.2619,,1.3411,,0.0792,,Tests/Macro/unit-pos/ex0.hs,1.5599,,1.5684,,0.0085
Tests/Macro/unit-neg/trans.hs,2.5565,,2.87,,0.3135,,Tests/Macro/unit-neg/ListKeys.hs,1.3968,,1.4029,,0.0061
Tests/Macro/unit-neg/TotalHaskell.hs,1.1902,,1.3602,,0.17,,Tests/Macro/unit-neg/errorloc.hs,1.3563,,1.3614,,0.0051
Tests/Macro/unit-neg/TopLevel.hs,1.2224,,1.443,,0.2206,,Tests/Macro/unit-neg/QQTySyn2.hs,1.7637,,1.7678,,0.0041
Tests/Macro/unit-neg/test2.hs,1.2556,,1.443,,0.1874,,Tests/Macro/unit-pos/elim01.hs,1.5589,,1.5626,,0.0037
Tests/Macro/unit-neg/test1.hs,1.3205,,1.4041,,0.0836,,Tests/Micro/import-cli/ReflectClient0.hs,1.231,,1.2338,,0.0028
Tests/Macro/unit-neg/test00c.hs,1.1634,,1.3119,,0.1485,,Tests/Macro/unit-neg/meas9.hs,1.359,,1.3607,,0.0017
Tests/Macro/unit-neg/test00b.hs,1.3653,,1.535,,0.1697,,Tests/Prover/without_ple_neg/MonadMaybe.hs,1.8809,,1.8823,,0.0014
Tests/Macro/unit-neg/test00a.hs,1.2356,,1.5311,,0.2955,,Tests/Micro/terminate-pos/list02.hs,1.3151,,1.3159,,0.0008
Tests/Macro/unit-neg/test00.hs,1.306,,2.5278,,1.2218,,Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs,1.3661,,1.3667,,0.0006
Tests/Macro/unit-neg/TermReal.hs,1.1769,,2.213,,1.0361,,Tests/Macro/unit-pos/ite1.hs,1.2816,,1.2815,,-0.0001
Tests/Macro/unit-neg/TerminationNum0.hs,1.2038,,4.9798,,3.776,,Tests/Error-Messages/ErrLocation.hs,1.3101,,1.3092,,-0.0009
Tests/Macro/unit-neg/TerminationNum.hs,1.1863,,2.77,,1.5837,,Tests/Macro/unit-neg/contra0.hs,1.4131,,1.4107,,-0.0024
Tests/Macro/unit-neg/T743.hs,1.3356,,1.6646,,0.329,,Tests/Macro/unit-neg/QQTySig.hs,1.4492,,1.4467,,-0.0025
Tests/Macro/unit-neg/T743-mini.hs,1.2574,,1.9466,,0.6892,,Tests/Micro/terminate-neg/Sum.hs,1.4512,,1.4478,,-0.0034
Tests/Macro/unit-neg/T602.hs,1.2659,,1.3828,,0.1169,,Tests/Macro/unit-neg/CharLiterals.hs,1.306,,1.3024,,-0.0036
Tests/Macro/unit-neg/T1613.hs,1.2724,,1.3258,,0.0534,,Tests/Macro/unit-pos/BinarySearch.hs,1.504,,1.5001,,-0.0039
Tests/Macro/unit-neg/T1604.hs,1.3955,,1.4237,,0.0282,,Tests/Prover/without_ple_pos/NaturalDeduction.hs,1.7563,,1.752,,-0.0043
Tests/Macro/unit-neg/T1577.hs,1.3367,,1.3183,,-0.0184,,Tests/Micro/basic-pos/poly00.hs,1.9046,,1.9001,,-0.0045
Tests/Macro/unit-neg/T1555.hs,1.2435,,1.4992,,0.2557,,Tests/Prover/without_ple_pos/FunctorList.hs,4.8369,,4.832,,-0.0049
Tests/Macro/unit-neg/T1553A.hs,1.2517,,2.4367,,1.185,,Tests/Macro/unit-pos/maybe.hs,2.451,,2.4453,,-0.0057
Tests/Macro/unit-neg/T1553.hs,1.2174,,2.553,,1.3356,,Tests/Prover/with_ple/Lists.hs,1.7438,,1.7377,,-0.0061
Tests/Macro/unit-neg/T1546.hs,1.2616,,1.3639,,0.1023,,Tests/Macro/unit-pos/cmptag0.hs,1.3092,,1.303,,-0.0062
Tests/Macro/unit-neg/T1498A.hs,1.2096,,1.4323,,0.2227,,Tests/Macro/unit-neg/Propability0.hs,1.4319,,1.4253,,-0.0066
Tests/Macro/unit-neg/T1498.hs,1.2033,,1.3868,,0.1835,,Tests/Macro/unit-pos/WBL.hs,2.5063,,2.4995,,-0.0068
Tests/Macro/unit-neg/T1490A.hs,1.2486,,1.4931,,0.2445,,Tests/Macro/unit-pos/lit00.hs,1.5398,,1.5322,,-0.0076
Tests/Macro/unit-neg/T1490.hs,1.2242,,1.4959,,0.2717,,Tests/Macro/unit-pos/poly1.hs,1.4011,,1.3932,,-0.0079
Tests/Macro/unit-neg/T1440.hs,1.39,,1.5052,,0.1152,,Tests/Macro/unit-pos/grty3.hs,1.2639,,1.2555,,-0.0084
Tests/Macro/unit-neg/T1288.hs,1.175,,1.3587,,0.1837,,Tests/Micro/basic-pos/inc04.hs,1.8558,,1.8461,,-0.0097
Tests/Macro/unit-neg/T1286.hs,1.2248,,1.3408,,0.116,,Tests/Macro/unit-pos/anftest.hs,1.3209,,1.3111,,-0.0098
Tests/Macro/unit-neg/T1267.hs,0.8668,,1.023,,0.1562,,Tests/Macro/unit-pos/Assume.hs,1.2731,,1.2629,,-0.0102
Tests/Macro/unit-neg/T1198.3.hs,1.2161,,1.322,,0.1059,,Tests/Macro/unit-pos/meas2.hs,1.9762,,1.9651,,-0.0111
Tests/Macro/unit-neg/T1126.hs,1.2341,,1.3255,,0.0914,,Tests/Error-Messages/UnboundAbsRef.hs,1.283,,1.2681,,-0.0149
Tests/Macro/unit-neg/T1095C.hs,0.8283,,0.8702,,0.0419,,Tests/Macro/unit-neg/Strings.hs,1.1912,,1.1737,,-0.0175
Tests/Macro/unit-neg/sumPoly.hs,1.26,,1.3382,,0.0782,,Tests/Prover/with_ple/Compose.hs,1.4036,,1.3858,,-0.0178
Tests/Macro/unit-neg/sumk.hs,1.4606,,1.5872,,0.1266,,Tests/Macro/unit-neg/T1577.hs,1.3367,,1.3183,,-0.0184
Tests/Macro/unit-neg/Strings.hs,1.1912,,1.1737,,-0.0175,,Tests/Macro/unit-pos/ClassReg.hs,1.2905,,1.2715,,-0.019
Tests/Macro/unit-neg/string00.hs,1.3883,,1.3564,,-0.0319,,Tests/Micro/terminate-pos/T1245.hs,1.3661,,1.3466,,-0.0195
Tests/Macro/unit-neg/StrictPair1.hs,1.295,,1.491,,0.196,,Tests/Macro/unit-pos/Variance.hs,1.3622,,1.3412,,-0.021
Tests/Macro/unit-neg/StrictPair0.hs,1.2124,,1.428,,0.2156,,Tests/Error-Messages/InlineSubExp0.hs,1.2324,,1.2077,,-0.0247
Tests/Macro/unit-neg/StateConstraints00.hs,1.2675,,1.4974,,0.2299,,Tests/Error-Messages/BadDataCon2.hs,1.0938,,1.068,,-0.0258
Tests/Macro/unit-neg/StateConstraints0.hs,39.375,,45.6724,,6.2974,,Tests/Macro/unit-pos/primInt0.hs,2.6908,,2.6646,,-0.0262
Tests/Macro/unit-neg/StateConstraints.hs,2.6884,,3.607,,0.9186,,Tests/Macro/unit-neg/FunctionRef.hs,0.9053,,0.8784,,-0.0269
Tests/Macro/unit-neg/state00.hs,1.3075,,2.0686,,0.7611,,Tests/Macro/unit-pos/poly2-degenerate.hs,1.3624,,1.3333,,-0.0291
Tests/Macro/unit-neg/state0.hs,1.3114,,1.888,,0.5766,,Tests/Macro/unit-neg/string00.hs,1.3883,,1.3564,,-0.0319
Tests/Macro/unit-neg/stacks.hs,1.413,,2.2176,,0.8046,,Tests/Macro/unit-pos/RecordSelectorError.hs,1.3336,,1.3013,,-0.0323
Tests/Macro/unit-neg/Solver.hs,1.9936,,3.2742,,1.2806,,Tests/Macro/unit-pos/GeneralizedTermination.hs,1.3311,,1.2973,,-0.0338
Tests/Macro/unit-neg/SafePartialFunctions.hs,1.3411,,1.4587,,0.1176,,Tests/Micro/import-cli/ListClient0.hs,1.5336,,1.4988,,-0.0348
Tests/Macro/unit-neg/risers.hs,1.3014,,1.4896,,0.1882,,Tests/Micro/reflect-pos/ReflString0.hs,1.4027,,1.3671,,-0.0356
Tests/Macro/unit-neg/RG.hs,1.8407,,1.9069,,0.0662,,Tests/Macro/unit-neg/pred.hs,1.3042,,1.2682,,-0.036
Tests/Macro/unit-neg/revshape.hs,1.3153,,1.4024,,0.0871,,Tests/Macro/unit-neg/foldN1.hs,1.3632,,1.3252,,-0.038
Tests/Macro/unit-neg/RecSelector.hs,1.4642,,1.4195,,-0.0447,,Tests/Micro/import-cli/ReflectClient3.hs,1.5885,,1.5489,,-0.0396
Tests/Macro/unit-neg/RecQSort.hs,1.5614,,1.5872,,0.0258,,Tests/Macro/unit-neg/CheckedNum.hs,1.4271,,1.3858,,-0.0413
Tests/Macro/unit-neg/record0.hs,1.4015,,1.4411,,0.0396,,Tests/Micro/measure-pos/fst00.hs,1.3064,,1.265,,-0.0414
Tests/Macro/unit-neg/Rebind.hs,1.4158,,1.2273,,-0.1885,,Tests/Macro/unit-pos/Rebind.hs,1.2816,,1.2401,,-0.0415
Tests/Macro/unit-neg/range.hs,1.9877,,1.8763,,-0.1114,,Tests/Macro/unit-pos/range1.hs,1.4049,,1.3628,,-0.0421
Tests/Macro/unit-neg/QQTySyn2.hs,1.7637,,1.7678,,0.0041,,Tests/Error-Messages/LiftMeasureCase.hs,1.2834,,1.2408,,-0.0426
Tests/Macro/unit-neg/QQTySyn1.hs,1.6328,,1.4922,,-0.1406,,Tests/Macro/unit-pos/T1278.3.hs,1.3777,,1.3344,,-0.0433
Tests/Macro/unit-neg/QQTySig.hs,1.4492,,1.4467,,-0.0025,,Tests/Macro/unit-neg/poly2.hs,1.4514,,1.408,,-0.0434
Tests/Macro/unit-neg/prune0.hs,1.5223,,1.4541,,-0.0682,,Tests/Macro/unit-neg/RecSelector.hs,1.4642,,1.4195,,-0.0447
Tests/Macro/unit-neg/Propability0.hs,1.4319,,1.4253,,-0.0066,,Tests/Macro/unit-neg/elim-ex-map-3.hs,1.5666,,1.5219,,-0.0447
Tests/Macro/unit-neg/Propability.hs,1.6093,,1.4833,,-0.126,,Tests/Macro/unit-pos/T1289a.hs,1.3275,,1.2819,,-0.0456
Tests/Macro/unit-neg/pred.hs,1.3042,,1.2682,,-0.036,,Tests/Macro/unit-pos/CasesToLogic.hs,1.3089,,1.2632,,-0.0457
Tests/Macro/unit-neg/poslist.hs,1.5881,,1.7705,,0.1824,,Tests/Micro/terminate-neg/AutoTerm.hs,1.373,,1.3259,,-0.0471
Tests/Macro/unit-neg/polypred.hs,1.5025,,1.3995,,-0.103,,Tests/Prover/with_ple/MapFusion.hs,1.4872,,1.4357,,-0.0515
Tests/Macro/unit-neg/poly2.hs,1.4514,,1.408,,-0.0434,,Tests/Macro/unit-pos/StateConstraints.hs,11.7495,,11.6966,,-0.0529
Tests/Macro/unit-neg/poly2-degenerate.hs,1.4338,,1.4492,,0.0154,,Tests/Macro/unit-pos/unusedtyvars.hs,1.3547,,1.301,,-0.0537
Tests/Macro/unit-neg/poly1.hs,1.4439,,2.4745,,1.0306,,Tests/Micro/import-cli/Client0.hs,1.4117,,1.3557,,-0.056
Tests/Macro/unit-neg/poly0.hs,1.3803,,1.5139,,0.1336,,Tests/Macro/unit-neg/wrap0.hs,1.5645,,1.5081,,-0.0564
Tests/Macro/unit-neg/partial.hs,1.319,,1.408,,0.089,,Tests/Prover/with_ple/NatInduction.hs,1.4882,,1.429,,-0.0592
Tests/Macro/unit-neg/pargs1.hs,1.3171,,1.3559,,0.0388,,Tests/Error-Messages/CyclicExprAlias2.hs,1.2051,,1.1401,,-0.065
Tests/Macro/unit-neg/pargs.hs,1.3014,,1.3168,,0.0154,,Tests/Macro/unit-pos/CountMonad.hs,1.8232,,1.7551,,-0.0681
Tests/Macro/unit-neg/PairMeasure.hs,1.3513,,2.2375,,0.8862,,Tests/Macro/unit-neg/prune0.hs,1.5223,,1.4541,,-0.0682
Tests/Macro/unit-neg/pair0.hs,2.8693,,2.7512,,-0.1181,,Tests/Macro/unit-pos/for.hs,1.8662,,1.7975,,-0.0687
Tests/Macro/unit-neg/pair.hs,2.8852,,3.934,,1.0488,,Tests/Macro/unit-pos/StateF00.hs,1.4267,,1.3574,,-0.0693
Tests/Macro/unit-neg/NoMethodBindingError.hs,0.8423,,0.925,,0.0827,,Tests/Error-Messages/HoleCrash1.hs,1.3107,,1.2389,,-0.0718
Tests/Macro/unit-neg/NoExhaustiveGuardsError.hs,1.3661,,1.3667,,0.0006,,Tests/Micro/terminate-pos/AutoTerm.hs,1.3841,,1.3122,,-0.0719
Tests/Macro/unit-neg/nestedRecursion.hs,1.4062,,1.4797,,0.0735,,Tests/Micro/terminate-pos/T1396.0.hs,1.3708,,1.2978,,-0.073
Tests/Macro/unit-neg/NameResolution.hs,1.2968,,1.4905,,0.1937,,Tests/Macro/unit-pos/anish1.hs,1.2774,,1.2029,,-0.0745
Tests/Macro/unit-neg/MultipleInvariants.hs,1.2857,,1.4146,,0.1289,,Tests/Macro/unit-pos/ple1.hs,1.7215,,1.6459,,-0.0756
Tests/Macro/unit-neg/MultiParamTypeClasses.hs,1.344,,1.8532,,0.5092,,Tests/Macro/unit-pos/multi-pred-app-00.hs,1.448,,1.3721,,-0.0759
Tests/Macro/unit-neg/multi-pred-app-00.hs,1.2841,,2.2299,,0.9458,,Tests/Micro/import-cli/ReflectClient6.hs,1.4668,,1.3831,,-0.0837
Tests/Macro/unit-neg/mr00.hs,1.7493,,2.8509,,1.1016,,Tests/Macro/unit-pos/Variance2.hs,1.4484,,1.3627,,-0.0857
Tests/Macro/unit-neg/monad7.hs,1.8083,,1.8273,,0.019,,Tests/Micro/terminate-neg/total00.hs,1.3339,,1.2474,,-0.0865
Tests/Macro/unit-neg/monad6.hs,1.4241,,3.2581,,1.834,,Tests/Prover/without_ple_pos/MonoidList.hs,2.1096,,2.0228,,-0.0868
Tests/Macro/unit-neg/monad5.hs,1.4676,,1.738,,0.2704,,Tests/Error-Messages/BadDataConType1.hs,1.2631,,1.1761,,-0.087
Tests/Macro/unit-neg/monad4.hs,1.508,,1.8232,,0.3152,,Tests/Macro/unit-pos/deepmeas0.hs,1.8426,,1.7546,,-0.088
Tests/Macro/unit-neg/monad3.hs,1.6081,,2.0132,,0.4051,,Tests/Macro/unit-neg/Eval.hs,1.7023,,1.6129,,-0.0894
Tests/Macro/unit-neg/MergeSort.hs,1.9544,,2.1306,,0.1762,,Tests/Macro/unit-pos/dataConQuals.hs,1.5268,,1.4347,,-0.0921
Tests/Macro/unit-neg/MeasureDups.hs,1.4458,,1.5541,,0.1083,,Tests/Micro/terminate-neg/T1404.3.hs,1.3447,,1.2513,,-0.0934
Tests/Macro/unit-neg/MeasureContains.hs,1.425,,1.5279,,0.1029,,Tests/Macro/unit-pos/zipW1.hs,1.4368,,1.3392,,-0.0976
Tests/Macro/unit-neg/meas9.hs,1.359,,1.3607,,0.0017,,Tests/Micro/terminate-neg/testRec.hs,1.3544,,1.2564,,-0.098
Tests/Macro/unit-neg/meas7.hs,1.3145,,1.4166,,0.1021,,Tests/Micro/terminate-neg/T1404.1.hs,1.4034,,1.3035,,-0.0999
Tests/Macro/unit-neg/meas5.hs,3.026,,3.0923,,0.0663,,Tests/Micro/absref-pos/deptup0.hs,1.7691,,1.6683,,-0.1008
Tests/Macro/unit-neg/meas3.hs,1.4811,,1.604,,0.1229,,Tests/Macro/unit-neg/polypred.hs,1.5025,,1.3995,,-0.103
Tests/Macro/unit-neg/meas2.hs,1.424,,1.4667,,0.0427,,Tests/Macro/unit-pos/deptupW.hs,1.5826,,1.4777,,-0.1049
Tests/Macro/unit-neg/meas0.hs,1.5146,,1.7033,,0.1887,,Tests/Prover/with_ple/MonadId.hs,1.5096,,1.403,,-0.1066
Tests/Macro/unit-neg/MaybeMonad.hs,1.4114,,2.0923,,0.6809,,Tests/Macro/unit-neg/BinarySearchOverflow.hs,1.7847,,1.6774,,-0.1073
Tests/Macro/unit-neg/maps.hs,1.6513,,2.0141,,0.3628,,Tests/Golden tests/--json output,1.9139,,1.8063,,-0.1076
Tests/Macro/unit-neg/mapreduce.hs,3.8121,,5.5318,,1.7197,,Tests/Error-Messages/HoleCrash2.hs,1.3175,,1.2091,,-0.1084
Tests/Macro/unit-neg/mapreduce-tiny.hs,1.4812,,1.6831,,0.2019,,Tests/Macro/unit-neg/range.hs,1.9877,,1.8763,,-0.1114
Tests/Macro/unit-neg/LocalSpec.hs,1.4446,,2.3976,,0.953,,Tests/Micro/ple-pos/T1302b.hs,1.8491,,1.7354,,-0.1137
Tests/Macro/unit-neg/lit.hs,1.2662,,1.4918,,0.2256,,Tests/Micro/terminate-pos/Sum.hs,1.3101,,1.1948,,-0.1153
Tests/Macro/unit-neg/ListRange.hs,1.4879,,1.6084,,0.1205,,Tests/Error-Messages/BadSyn1.hs,1.3166,,1.2,,-0.1166
Tests/Macro/unit-neg/listne.hs,1.2746,,1.288,,0.0134,,Tests/Macro/unit-pos/lit02.hs,1.6653,,1.5473,,-0.118
Tests/Macro/unit-neg/ListMSort.hs,2.8415,,2.9847,,0.1432,,Tests/Macro/unit-neg/pair0.hs,2.8693,,2.7512,,-0.1181
Tests/Macro/unit-neg/ListKeys.hs,1.3968,,1.4029,,0.0061,,Tests/Macro/unit-pos/datacon-inv.hs,1.5357,,1.4155,,-0.1202
Tests/Macro/unit-neg/ListElem.hs,1.4296,,1.5205,,0.0909,,Tests/Macro/unit-pos/DepData.hs,1.3778,,1.2568,,-0.121
Tests/Macro/unit-neg/ListConcat.hs,1.3765,,1.462,,0.0855,,Tests/Error-Messages/BadDataConType.hs,1.5115,,1.3902,,-0.1213
Tests/Macro/unit-neg/list00.hs,1.4163,,1.4649,,0.0486,,Tests/Macro/unit-pos/mapTvCrash.hs,1.5189,,1.3957,,-0.1232
Tests/Macro/unit-neg/LetRecStack.hs,1.3787,,1.395,,0.0163,,Tests/Macro/unit-neg/Propability.hs,1.6093,,1.4833,,-0.126
Tests/Macro/unit-neg/LazyWhere1.hs,1.444,,1.9166,,0.4726,,Tests/Micro/pattern-pos/TemplateHaskell.hs,1.6844,,1.5555,,-0.1289
Tests/Macro/unit-neg/LazyWhere.hs,1.39,,1.4294,,0.0394,,Tests/Prover/with_ple/FunctorMaybe.hs,1.4808,,1.3509,,-0.1299
Tests/Macro/unit-neg/IntAbsRef.hs,1.3804,,2.3797,,0.9993,,Tests/Micro/terminate-pos/list03.hs,1.407,,1.2687,,-0.1383
Tests/Macro/unit-neg/inc2.hs,1.3478,,1.4619,,0.1141,,Tests/Macro/unit-neg/QQTySyn1.hs,1.6328,,1.4922,,-0.1406
Tests/Macro/unit-neg/HolesTop.hs,1.3731,,2.2467,,0.8736,,Tests/Micro/absref-neg/ListISort.hs,2.6515,,2.5102,,-0.1413
Tests/Macro/unit-neg/HigherOrder.hs,1.3015,,2.2444,,0.9429,,Tests/Prover/without_ple_pos/BasicLambdas.hs,1.4604,,1.3189,,-0.1415
Tests/Macro/unit-neg/Hex00.hs,1.3987,,1.6848,,0.2861,,Tests/Macro/unit-pos/LocalHole.hs,1.4705,,1.3277,,-0.1428
Tests/Macro/unit-neg/HasElem.hs,1.4029,,2.2286,,0.8257,,Tests/Macro/unit-pos/elim-ex-compose.hs,2.4533,,2.3017,,-0.1516
Tests/Macro/unit-neg/grty3.hs,1.3746,,1.7934,,0.4188,,Tests/Error-Messages/ParseClass.hs,1.0572,,0.9046,,-0.1526
Tests/Macro/unit-neg/grty2.hs,1.3937,,1.5803,,0.1866,,Tests/Micro/datacon-neg/Data02.hs,1.4476,,1.2925,,-0.1551
Tests/Macro/unit-neg/grty1.hs,1.3974,,2.2495,,0.8521,,Tests/Micro/absref-pos/deptupW.hs,1.6996,,1.5437,,-0.1559
Tests/Macro/unit-neg/grty0.hs,1.2855,,1.4292,,0.1437,,Tests/Error-Messages/HoleCrash3.hs,1.5122,,1.3456,,-0.1666
Tests/Macro/unit-neg/GeneralizedTermination.hs,1.32,,1.4563,,0.1363,,Tests/Micro/import-cli/NameClashClient.hs,1.4893,,1.3217,,-0.1676
Tests/Macro/unit-neg/FunSoundness.hs,1.3066,,1.3398,,0.0332,,Tests/Macro/unit-pos/vector1.hs,2.185,,2.0135,,-0.1715
Tests/Macro/unit-neg/FunctionRef.hs,0.9053,,0.8784,,-0.0269,,Tests/Prover/with_ple/Maybe.hs,1.4074,,1.2349,,-0.1725
Tests/Macro/unit-neg/foldN1.hs,1.3632,,1.3252,,-0.038,,Tests/Error-Messages/BadPredApp.hs,1.541,,1.3602,,-0.1808
Tests/Macro/unit-neg/foldN.hs,1.3549,,2.0528,,0.6979,,Tests/Macro/unit-pos/maybe2.hs,2.7754,,2.5922,,-0.1832
Tests/Macro/unit-neg/filterAbs.hs,1.5892,,3.152,,1.5628,,Tests/Macro/unit-pos/vector00.hs,1.7566,,1.5683,,-0.1883
Tests/Macro/unit-neg/ExactGADT7.hs,1.469,,2.1522,,0.6832,,Tests/Macro/unit-neg/Rebind.hs,1.4158,,1.2273,,-0.1885
Tests/Macro/unit-neg/ExactGADT6.hs,1.4029,,2.0807,,0.6778,,Tests/Error-Messages/BadSyn3.hs,1.4054,,1.2147,,-0.1907
Tests/Macro/unit-neg/ExactADT6.hs,1.3544,,2.0794,,0.725,,Tests/Macro/unit-pos/ResolvePred.hs,1.5715,,1.3778,,-0.1937
Tests/Macro/unit-neg/ex1-unsafe.hs,1.5292,,1.7842,,0.255,,Tests/Micro/import-cli/ReflectClient4a.hs,1.6628,,1.469,,-0.1938
Tests/Macro/unit-neg/ex0-unsafe.hs,1.4506,,1.5773,,0.1267,,Tests/Macro/unit-pos/ListRange-LType.hs,1.7853,,1.5899,,-0.1954
Tests/Macro/unit-neg/EvalQuery.hs,1.6422,,1.7816,,0.1394,,Tests/Macro/unit-pos/RBTree-color.hs,4.6339,,4.4361,,-0.1978
Tests/Macro/unit-neg/Eval.hs,1.7023,,1.6129,,-0.0894,,Tests/Macro/unit-pos/T1556.hs,1.4351,,1.2359,,-0.1992
Tests/Macro/unit-neg/errorloc.hs,1.3563,,1.3614,,0.0051,,Tests/Micro/terminate-neg/T1404.2.hs,1.4035,,1.2025,,-0.201
Tests/Macro/unit-neg/errmsg.hs,1.3351,,1.4315,,0.0964,,Tests/Micro/terminate-pos/list00.hs,1.4765,,1.2743,,-0.2022
Tests/Macro/unit-neg/elim000.hs,1.3448,,1.363,,0.0182,,Tests/Macro/unit-pos/T1126.hs,1.5652,,1.3589,,-0.2063
Tests/Macro/unit-neg/elim-ex-map-3.hs,1.5666,,1.5219,,-0.0447,,Tests/Macro/unit-pos/maybe1.hs,1.7368,,1.5298,,-0.207
Tests/Macro/unit-neg/elim-ex-map-2.hs,1.4665,,2.2266,,0.7601,,Tests/Micro/class-pos/TypeEquality01.hs,1.7755,,1.5674,,-0.2081
Tests/Macro/unit-neg/elim-ex-map-1.hs,1.5283,,2.075,,0.5467,,Tests/Macro/unit-pos/T1198.2.hs,1.5373,,1.3275,,-0.2098
Tests/Macro/unit-neg/elim-ex-list.hs,1.5278,,2.312,,0.7842,,Tests/Macro/unit-pos/T1126a.hs,1.4728,,1.2607,,-0.2121
Tests/Macro/unit-neg/elim-ex-let.hs,1.542,,1.7488,,0.2068,,Tests/Micro/basic-pos/inc01q.hs,1.9012,,1.6855,,-0.2157
Tests/Macro/unit-neg/elim-ex-compose.hs,1.425,,1.7441,,0.3191,,Tests/Macro/unit-pos/cut00.hs,1.6267,,1.4052,,-0.2215
Tests/Macro/unit-neg/DependentTypes.hs,1.4242,,1.5862,,0.162,,Tests/Macro/unit-pos/vector1a.hs,2.5139,,2.2909,,-0.223
Tests/Macro/unit-neg/datacon-eq.hs,1.3486,,1.6132,,0.2646,,Tests/Micro/terminate-pos/list00-str.hs,1.5678,,1.3434,,-0.2244
Tests/Macro/unit-neg/csv.hs,2.2301,,2.4921,,0.262,,Tests/Macro/unit-pos/zipW2.hs,1.4724,,1.2448,,-0.2276
Tests/Macro/unit-neg/coretologic.hs,1.3479,,1.5344,,0.1865,,Tests/Micro/terminate-neg/Rename.hs,1.5621,,1.3313,,-0.2308
Tests/Macro/unit-neg/contra0.hs,1.4131,,1.4107,,-0.0024,,Tests/Macro/unit-pos/T1198.1.hs,1.5542,,1.3233,,-0.2309
Tests/Macro/unit-neg/ConstraintsAppend.hs,2.2942,,2.5266,,0.2324,,Tests/Macro/unit-pos/RecQSort.hs,1.7232,,1.4877,,-0.2355
Tests/Macro/unit-neg/Constraints.hs,1.3909,,1.4719,,0.081,,Tests/Macro/unit-pos/T1198.4.hs,1.6172,,1.3813,,-0.2359
Tests/Macro/unit-neg/concat2.hs,1.8608,,1.9313,,0.0705,,Tests/Macro/unit-pos/QQTySyn.hs,1.7373,,1.4921,,-0.2452
Tests/Macro/unit-neg/concat1.hs,1.7918,,1.9459,,0.1541,,Tests/Macro/unit-pos/monad2.hs,1.6528,,1.4063,,-0.2465
Tests/Macro/unit-neg/concat.hs,1.9052,,1.9878,,0.0826,,Tests/Macro/unit-pos/T1567.hs,1.4976,,1.2508,,-0.2468
Tests/Macro/unit-neg/CompareConstraints.hs,1.8631,,1.9334,,0.0703,,Tests/Micro/basic-pos/SkipDerived00.hs,1.9973,,1.75,,-0.2473
Tests/Macro/unit-neg/Class4.hs,1.3882,,1.5059,,0.1177,,Tests/Macro/unit-pos/repeatHigherOrder.hs,2.7488,,2.4959,,-0.2529
Tests/Macro/unit-neg/Class3.hs,1.4542,,1.6655,,0.2113,,Tests/Macro/unit-pos/RefinedADTs.hs,1.649,,1.396,,-0.253
Tests/Macro/unit-neg/Class2.hs,1.4048,,1.6865,,0.2817,,Tests/Micro/parser-pos/TokensAsPrefixes.hs,1.7808,,1.5108,,-0.27
Tests/Macro/unit-neg/Class1.hs,1.7452,,1.7973,,0.0521,,Tests/Micro/terminate-pos/list00-local.hs,1.5635,,1.2918,,-0.2717
Tests/Macro/unit-neg/CheckedNum.hs,1.4271,,1.3858,,-0.0413,,Tests/Macro/unit-pos/RealProps.hs,1.6584,,1.3848,,-0.2736
Tests/Macro/unit-neg/CharLiterals.hs,1.306,,1.3024,,-0.0036,,Tests/Error-Messages/BadDataConType2.hs,1.4329,,1.1557,,-0.2772
Tests/Macro/unit-neg/CastedTotality.hs,0.9473,,2.0625,,1.1152,,Tests/Micro/pattern-pos/monad0.hs,1.5191,,1.2411,,-0.278
Tests/Macro/unit-neg/Books.hs,1.4428,,2.4821,,1.0393,,Tests/Macro/unit-pos/maybe0.hs,1.745,,1.4497,,-0.2953
Tests/Macro/unit-neg/BinarySearchOverflow.hs,1.7847,,1.6774,,-0.1073,,Tests/Macro/unit-pos/listSetDemo.hs,1.8495,,1.554,,-0.2955
Tests/Macro/unit-neg/BigNum.hs,1.2746,,1.5209,,0.2463,,Tests/Macro/unit-pos/mutrec.hs,1.837,,1.536,,-0.301
Tests/Macro/unit-neg/Baz.hs,1.3654,,1.9381,,0.5727,,Tests/Micro/import-cli/ReflectClient1.hs,1.5548,,1.2524,,-0.3024
Tests/Macro/unit-neg/bag1.hs,1.4369,,2.1642,,0.7273,,Tests/Micro/terminate-pos/Lexicographic.hs,1.9852,,1.677,,-0.3082
Tests/Macro/unit-neg/BadNats.hs,1.3422,,2.5413,,1.1991,,Tests/Micro/terminate-pos/Ackermann.hs,1.5925,,1.2794,,-0.3131
Tests/Macro/unit-neg/AutoTerm1.hs,1.372,,2.1666,,0.7946,,Tests/Macro/unit-pos/maps1.hs,1.8178,,1.4495,,-0.3683
Tests/Macro/unit-neg/AutoSize.hs,2.7338,,3.0091,,0.2753,,Tests/Macro/unit-pos/AVL.hs,2.6923,,2.3104,,-0.3819
Tests/Macro/unit-neg/Automate.hs,0.9552,,0.9683,,0.0131,,Tests/Micro/import-cli/CliAliasGen00.hs,1.7876,,1.4046,,-0.383
Tests/Macro/unit-neg/Ast.hs,1.3789,,1.4396,,0.0607,,Tests/Macro/unit-pos/meas10.hs,2.3483,,1.9398,,-0.4085
Tests/Macro/unit-neg/ass0.hs,1.2542,,1.2988,,0.0446,,Tests/Macro/unit-pos/MaskError.hs,1.8687,,1.4573,,-0.4114
Tests/Macro/unit-neg/alias00.hs,1.2929,,1.4091,,0.1162,,Tests/Micro/ple-neg/ple0.hs,1.7164,,1.2996,,-0.4168
Tests/Macro/unit-neg/AdtPeano1.hs,1.3679,,1.3841,,0.0162,,Tests/Micro/terminate-neg/Even.hs,1.6863,,1.2666,,-0.4197
Tests/Macro/unit-neg/AdtPeano0.hs,1.2852,,1.3623,,0.0771,,Tests/Micro/terminate-pos/list01.hs,1.7255,,1.3039,,-0.4216
Tests/Macro/unit-neg/AbsApp.hs,1.2807,,1.3034,,0.0227,,Tests/Micro/rankN-pos/Test00.hs,1.7932,,1.3644,,-0.4288
Tests/Prover/foundations/Lists.hs,49.3137,,58.2883,,8.9746,,Tests/Macro/unit-pos/ListQSort-LType.hs,3.5855,,3.1501,,-0.4354
Tests/Prover/foundations/InductionRJ.hs,2.3987,,2.9387,,0.54,,Tests/Macro/unit-pos/ReflectAlias.hs,1.7497,,1.3137,,-0.436
Tests/Prover/foundations/Induction.hs,2.6825,,3.2179,,0.5354,,Tests/Micro/parser-pos/NestedTuples.hs,2.003,,1.5578,,-0.4452
Tests/Prover/foundations/Basics.hs,24.464,,9.4343,,-15.0297,,Tests/Micro/measure-pos/GList000.hs,1.747,,1.3006,,-0.4464
Tests/Prover/prover_ple_lib/Proves.hs,1.7745,,1.7971,,0.0226,,Tests/Micro/terminate-pos/list04-local.hs,1.8042,,1.3564,,-0.4478
Tests/Prover/prover_ple_lib/Helper.hs,2.7649,,2.7941,,0.0292,,Tests/Micro/measure-pos/GList00Lib.hs,1.7352,,1.2762,,-0.459
Tests/Prover/without_ple_pos/Unification.hs,12.2269,,14.4696,,2.2427,,Tests/Macro/unit-pos/maybe000.hs,1.9012,,1.4224,,-0.4788
Tests/Prover/without_ple_pos/Solver.hs,2.227,,2.8083,,0.5813,,Tests/Macro/unit-pos/Loo.hs,1.8924,,1.4125,,-0.4799
Tests/Prover/without_ple_pos/Peano.hs,2.3454,,2.4455,,0.1001,,Tests/Macro/unit-pos/MeasureDups.hs,2.1056,,1.6241,,-0.4815
Tests/Prover/without_ple_pos/Overview.hs,2.8178,,2.8428,,0.025,,Tests/Macro/unit-pos/RecQSort0.hs,2.1014,,1.6092,,-0.4922
Tests/Prover/without_ple_pos/NaturalDeduction.hs,1.7563,,1.752,,-0.0043,,Tests/Macro/unit-pos/LooLibLib.hs,1.7482,,1.253,,-0.4952
Tests/Prover/without_ple_pos/NatInduction.hs,1.4503,,1.5748,,0.1245,,Tests/Micro/import-cli/RC1015.hs,1.749,,1.2463,,-0.5027
Tests/Prover/without_ple_pos/MonoidMaybe.hs,1.8947,,1.9469,,0.0522,,Tests/Macro/unit-pos/T1550.hs,1.7221,,1.2186,,-0.5035
Tests/Prover/without_ple_pos/MonoidList.hs,2.1096,,2.0228,,-0.0868,,Tests/Micro/rankN-pos/Test0.hs,2.0089,,1.4967,,-0.5122
Tests/Prover/without_ple_pos/MonadMaybe.hs,1.7715,,1.9497,,0.1782,,Tests/Micro/terminate-pos/T1396.1.hs,1.81,,1.2975,,-0.5125
Tests/Prover/without_ple_pos/MonadList.hs,5.4659,,5.9583,,0.4924,,Tests/Micro/measure-pos/HiddenData.hs,1.7267,,1.2101,,-0.5166
Tests/Prover/without_ple_pos/MonadId.hs,1.8371,,1.9579,,0.1208,,Tests/Micro/terminate-pos/list04.hs,1.8966,,1.3723,,-0.5243
Tests/Prover/without_ple_pos/MapFusion.hs,3.8517,,5.4694,,1.6177,,Tests/Macro/unit-pos/T1267.hs,1.9619,,1.4358,,-0.5261
Tests/Prover/without_ple_pos/FunctorMaybe.hs,2.2281,,2.4631,,0.235,,Tests/Micro/pattern-pos/monad1.hs,1.9212,,1.3863,,-0.5349
Tests/Prover/without_ple_pos/FunctorList.hs,4.8369,,4.832,,-0.0049,,Tests/Macro/unit-pos/LocalSpecLib.hs,1.7996,,1.2627,,-0.5369
Tests/Prover/without_ple_pos/FunctorId.hs,1.8933,,2.0661,,0.1728,,Tests/Macro/unit-pos/ListRange.hs,2.1728,,1.6336,,-0.5392
Tests/Prover/without_ple_pos/FoldrUniversal.hs,4.3502,,5.5434,,1.1932,,Tests/Micro/parser-pos/ReflectedInfix.hs,2.0866,,1.534,,-0.5526
Tests/Prover/without_ple_pos/Fibonacci.hs,3.3054,,3.5314,,0.226,,Tests/Error-Messages/DupAlias.hs,1.9909,,1.4076,,-0.5833
Tests/Prover/without_ple_pos/Euclide.hs,2.3203,,1.5117,,-0.8086,,Tests/Macro/unit-pos/LogicCurry1.hs,2.0195,,1.4296,,-0.5899
Tests/Prover/without_ple_pos/Compose.hs,1.3873,,1.5455,,0.1582,,Tests/Macro/unit-pos/record0.hs,2.0931,,1.4967,,-0.5964
Tests/Prover/without_ple_pos/BasicLambdas.hs,1.4604,,1.3189,,-0.1415,,Tests/Micro/import-cli/ListClient.hs,2.0093,,1.4108,,-0.5985
Tests/Prover/without_ple_pos/ApplicativeMaybe.hs,5.0549,,5.2589,,0.204,,Tests/Macro/unit-pos/MergeSort.hs,2.5994,,1.9646,,-0.6348
Tests/Prover/without_ple_pos/ApplicativeId.hs,2.6931,,3.0956,,0.4025,,Tests/Macro/unit-pos/T1560B.hs,1.9769,,1.3339,,-0.643
Tests/Prover/without_ple_pos/Append.hs,3.3671,,3.5516,,0.1845,,Tests/Macro/unit-pos/meas7.hs,2.1681,,1.523,,-0.6451
Tests/Prover/without_ple_neg/MonadMaybe.hs,1.8809,,1.8823,,0.0014,,Tests/Macro/unit-pos/reflect0.hs,2.1039,,1.4575,,-0.6464
Tests/Prover/without_ple_neg/MonadList.hs,13.4759,,13.9265,,0.4506,,Tests/Micro/pattern-pos/Invariants.hs,1.9826,,1.329,,-0.6536
Tests/Prover/without_ple_neg/MapFusion.hs,6.5901,,8.2236,,1.6335,,Tests/Micro/absref-neg/FlipArgs.hs,2.1684,,1.4902,,-0.6782
Tests/Prover/without_ple_neg/FunctorMaybe.hs,2.4177,,2.4789,,0.0612,,Tests/Macro/unit-pos/MutuallyDependentADT.hs,2.2568,,1.5735,,-0.6833
Tests/Prover/without_ple_neg/FunctorList.hs,5.3157,,5.6856,,0.3699,,Tests/Macro/unit-pos/LocalSpec.hs,1.8867,,1.1934,,-0.6933
Tests/Prover/without_ple_neg/Fibonacci.hs,3.3188,,4.4529,,1.1341,,Tests/Macro/unit-pos/ex01.hs,2.0512,,1.3491,,-0.7021
Tests/Prover/without_ple_neg/BasicLambdas.hs,1.0329,,1.3721,,0.3392,,Tests/Micro/ple-neg/BinahQuery.hs,3.0337,,2.3229,,-0.7108
Tests/Prover/without_ple_neg/ApplicativeMaybe.hs,6.5817,,8.3226,,1.7409,,Tests/Macro/unit-pos/T1120A.hs,2.3478,,1.6357,,-0.7121
Tests/Prover/without_ple_neg/Append.hs,3.6127,,4.7495,,1.1368,,Tests/Macro/unit-pos/monad5.hs,2.5435,,1.7525,,-0.791
Tests/Prover/with_ple/Unification.hs,4.6323,,5.6951,,1.0628,,Tests/Prover/without_ple_pos/Euclide.hs,2.3203,,1.5117,,-0.8086
Tests/Prover/with_ple/Solver.hs,2.1912,,2.9049,,0.7137,,Tests/Macro/unit-pos/T1560.hs,2.1091,,1.2977,,-0.8114
Tests/Prover/with_ple/Peano.hs,1.5901,,2.0678,,0.4777,,Tests/Macro/unit-pos/VerifiedNum.hs,2.1579,,1.3415,,-0.8164
Tests/Prover/with_ple/Overview.hs,1.8617,,2.5569,,0.6952,,Tests/Macro/unit-pos/listqual.hs,2.2335,,1.3974,,-0.8361
Tests/Prover/with_ple/NaturalDeduction.hs,1.6417,,1.7367,,0.095,,Tests/Error-Messages/ErrLocation2.hs,2.1535,,1.284,,-0.8695
Tests/Prover/with_ple/NatInduction.hs,1.4882,,1.429,,-0.0592,,Tests/Micro/ple-pos/RosePLEDiv.hs,3.7185,,2.8451,,-0.8734
Tests/Prover/with_ple/MonoidMaybe.hs,1.4458,,1.4654,,0.0196,,Tests/Micro/ple-neg/ExactGADT5.hs,2.8153,,1.9149,,-0.9004
Tests/Prover/with_ple/MonoidList.hs,1.5445,,1.7971,,0.2526,,Tests/Macro/unit-pos/trans.hs,2.346,,1.4451,,-0.9009
Tests/Prover/with_ple/MonadMaybe.hs,1.37,,1.8389,,0.4689,,Tests/Micro/terminate-neg/term00.hs,2.2519,,1.3317,,-0.9202
Tests/Prover/with_ple/MonadList.hs,1.724,,2.6781,,0.9541,,Tests/Macro/unit-pos/coretologic.hs,2.4217,,1.4771,,-0.9446
Tests/Prover/with_ple/MonadId.hs,1.5096,,1.403,,-0.1066,,Tests/Macro/unit-pos/malformed0.hs,2.6734,,1.703,,-0.9704
Tests/Prover/with_ple/Maybe.hs,1.4074,,1.2349,,-0.1725,,Tests/Micro/terminate-pos/list05-local.hs,2.3739,,1.3615,,-1.0124
Tests/Prover/with_ple/MapFusion.hs,1.4872,,1.4357,,-0.0515,,Tests/Macro/unit-pos/LocalLazy.hs,2.3885,,1.3646,,-1.0239
Tests/Prover/with_ple/Lists.hs,1.7438,,1.7377,,-0.0061,,Tests/Macro/unit-pos/vector2.hs,4.0758,,2.9791,,-1.0967
Tests/Prover/with_ple/FunctorMaybe.hs,1.4808,,1.3509,,-0.1299,,Tests/Macro/unit-pos/ListSort.hs,4.6794,,3.4513,,-1.2281
Tests/Prover/with_ple/FunctorList.hs,1.5612,,2.0781,,0.5169,,Tests/Macro/unit-pos/AVLRJ.hs,4.0383,,2.8005,,-1.2378
Tests/Prover/with_ple/FunctorId.hs,1.4092,,1.7245,,0.3153,,Tests/Macro/unit-pos/LooLib.hs,2.6299,,1.3137,,-1.3162
Tests/Prover/with_ple/FoldrUniversal.hs,1.784,,2.1914,,0.4074,,Tests/Macro/unit-pos/meas5.hs,4.1375,,2.7918,,-1.3457
Tests/Prover/with_ple/Fibonacci.hs,12.1659,,198.1947,,186.0288,,Tests/Micro/parser-pos/Tuples.hs,2.8569,,1.509,,-1.3479
Tests/Prover/with_ple/Euclide.hs,1.471,,1.5423,,0.0713,,Tests/Macro/unit-pos/RBTree-height.hs,5.0779,,3.7008,,-1.3771
Tests/Prover/with_ple/Compose.hs,1.4036,,1.3858,,-0.0178,,Tests/Macro/unit-pos/mapreduce-bare.hs,9.3803,,7.8865,,-1.4938
Tests/Prover/with_ple/BasicLambdas.hs,1.3183,,1.5317,,0.2134,,Tests/Macro/unit-pos/meas6.hs,3.2787,,1.5822,,-1.6965
Tests/Prover/with_ple/ApplicativeMaybe.hs,1.8168,,1.851,,0.0342,,Tests/Macro/unit-pos/ReflectBooleanFunctions.hs,3.7432,,2.0014,,-1.7418
Tests/Prover/with_ple/ApplicativeList.hs,3.8094,,5.1688,,1.3594,,Tests/Macro/unit-pos/maps.hs,3.3788,,1.6051,,-1.7737
Tests/Prover/with_ple/ApplicativeId.hs,1.5065,,1.6833,,0.1768,,Tests/Macro/unit-pos/MapReduceVerified.hs,24.5724,,20.0364,,-4.536
Tests/Prover/with_ple/Append.hs,1.7888,,2.0483,,0.2595,,Tests/Macro/unit-pos/Map.hs,29.0961,,23.7351,,-5.361
Tests/Golden tests/--json output,1.9139,,1.8063,,-0.1076,,Tests/Prover/foundations/Basics.hs,24.464,,9.4343,,-15.0297
,,,,,,,,,,,,
,2098.7222,,2605.6311,,506.9089,,,2098.7222,,2605.6311,,506.9089