liquidhaskell-0.8.10.7: tests/logs/compare-develop-gradual.csv

"test"," time-1489506886"," time-1489507460"," time-1489591458","range"
"test", "Gradual-With-No-Bool-Comparison", "develop", "Current-Gradual"
"Tests/Benchmarks/esop/Base.hs"," 141.5282"," 304.5258"," 87.3835","217"
"Tests/Benchmarks/instances/Ackermann.hs"," 172.3253"," 162.0299"," 66.3033","106"
"Tests/Benchmarks/icfp_neg/TwiceM.hs"," 83.7511"," 101.9301"," 48.7031","53"
"Tests/Benchmarks/bytestring/Data/ByteString.T.hs"," 65.7790"," 88.4421"," 41.3430","47"
"Tests/Benchmarks/text/Data/Text/Lazy.hs"," 75.4685"," 91.1294"," 50.9776","40"
"Tests/Benchmarks/bytestring/Data/ByteString.hs"," 58.5702"," 68.8244"," 33.1925","35"
"Tests/Benchmarks/text/Data/Text.hs"," 52.7201"," 64.6375"," 31.5655","33"
"Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs"," 57.2405"," 66.9541"," 35.1063","31"
"Tests/Benchmarks/text/Data/Text/Lazy/Search.hs"," 53.6841"," 69.4315"," 43.3083","26"
"Tests/Benchmarks/esop/Splay.hs"," 31.6518"," 13.8861"," 7.1131","24"
"Tests/Benchmarks/text/Data/Text/Encoding.hs"," 69.5342"," 78.2475"," 55.7631","22"
"Tests/Benchmarks/icfp_pos/RIO2.hs"," 36.7248"," 45.8139"," 25.6964","20"
"Tests/Unit/pos/StateConstraints0.hs"," 30.0105"," 32.7620"," 12.5917","20"
"Tests/Unit/neg/StateConstraints0.hs"," 43.0903"," 51.2648"," 35.0486","16"
"Tests/Unit/pos/OrdList.hs"," 26.0181"," 32.6042"," 17.3304","15"
"Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs"," 33.2900"," 36.4227"," 24.0446","12"
"Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs"," 31.1630"," 32.6841"," 20.9154","11"
"Tests/Benchmarks/esop/GhcListSort.hs"," 19.4294"," 14.7055"," 8.2037","11"
"Tests/Unit/pos/RBTree.hs"," 19.0179"," 22.7508"," 11.6961","11"
"Tests/Unit/pos/StateConstraints.hs"," 19.0457"," 16.5619"," 7.1116","11"
"Tests/Benchmarks/icfp_neg/IfM.hs"," 12.1735"," 18.5553"," 7.6498","10"
"Tests/Benchmarks/icfp_pos/CopyRec.hs"," 27.1435"," 34.0088"," 23.2001","10"
"Tests/Unit/pos/Map.hs"," 16.1368"," 24.9463"," 14.7178","10"
"Tests/Unit/pos/Map0.hs"," 16.3724"," 23.8584"," 13.1864","10"
"Tests/Unit/pos/Map2.hs"," 16.8642"," 24.7155"," 13.8574","10"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs"," 44.1468"," 51.4523"," 42.0234","9"
"Tests/Benchmarks/icfp_pos/FindRec.hs"," 12.7626"," 17.8210"," 9.6687","8"
"Tests/Benchmarks/icfp_pos/Overview.lhs"," 13.3824"," 16.2336"," 9.1081","7"
"Tests/Benchmarks/icfp_pos/FoldAbs.hs"," 11.8751"," 15.5205"," 8.9589","6"
"Tests/Benchmarks/pldi17_neg/ApplicativeList.hs"," 11.7479"," 13.6342"," 7.3715","6"
"Tests/Benchmarks/pldi17_pos/ApplicativeList.hs"," 10.8106"," 14.4530"," 7.7162","6"
"Tests/Benchmarks/text/Data/Text/Fusion.hs"," 28.3704"," 31.2316"," 24.3270","6"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs"," 15.7743"," 19.2848"," 12.8072","6"
"Tests/Unit/pos/Foldl.hs"," 12.9224"," 15.4643"," 9.2386","6"
"Tests/Benchmarks/icfp_pos/TwiceM.hs"," 14.1662"," 17.4329"," 11.7534","5"
"Tests/Benchmarks/text/Data/Text/Search.hs"," 17.9624"," 19.5460"," 14.5422","5"
"Tests/Unit/pos/BST.hs"," 10.3971"," 14.1157"," 8.7131","5"
"Tests/Unit/pos/GhcListSort.hs"," 9.8285"," 12.8002"," 7.4518","5"
"Tests/Benchmarks/pldi17_pos/Ackermann.hs"," 8.0395"," 9.0664"," 4.6644","4"
"Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs"," 13.1842"," 15.8640"," 11.4423","4"
"Tests/Unit/pos/RBTree-ord.hs"," 9.0255"," 11.7872"," 7.4938","4"
"Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs"," 12.3488"," 11.7708"," 9.1928","3"
"Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs"," 10.2612"," 12.3553"," 9.2003","3"
"Tests/Benchmarks/esop/Fib.hs"," 4.5859"," 1.7138"," 1.3542","3"
"Tests/Benchmarks/icfp_pos/IfM.hs"," 9.7213"," 11.9857"," 8.9475","3"
"Tests/Benchmarks/pldi17_neg/Ackermann.hs"," 7.1327"," 8.2276"," 5.0317","3"
"Tests/Benchmarks/pldi17_pos/Unification.hs"," 6.9175"," 7.9685"," 4.4311","3"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs"," 10.7722"," 12.8532"," 9.8287","3"
"Tests/Unit/neg/BinarySearchOverflow.hs"," 4.2721"," 1.2366"," 1.0484","3"
"Tests/Unit/neg/deptupW.hs"," 0.9686"," 4.7880"," 0.9334","3"
"Tests/Unit/pos/kmpIO.hs"," 1.0429"," 4.2879"," 1.0063","3"
"Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs"," 7.8289"," 8.6806"," 6.1020","2"
"Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs"," 12.1374"," 12.6104"," 9.9880","2"
"Tests/Benchmarks/esop/ListSort.hs"," 5.2352"," 4.2345"," 2.5368","2"
"Tests/Benchmarks/icfp_neg/DBMovies.hs"," 3.6403"," 5.6056"," 3.2657","2"
"Tests/Benchmarks/instances/ApplicativeList.hs"," 6.8054"," 7.0231"," 4.5888","2"
"Tests/Benchmarks/instances/Unification.hs"," 5.5596"," 6.0277"," 3.6578","2"
"Tests/Benchmarks/text/Data/Text/Foreign.hs"," 5.0872"," 5.5614"," 3.4815","2"
"Tests/Benchmarks/text/Data/Text/Internal.hs"," 7.5469"," 7.5355"," 5.2771","2"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs"," 6.7958"," 7.5979"," 5.3978","2"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs"," 9.0543"," 10.1352"," 7.4235","2"
"Tests/Unit/neg/CompareConstraints.hs"," 1.4696"," 3.1936"," 1.1713","2"
"Tests/Unit/neg/ConstraintsAppend.hs"," 1.7763"," 3.6456"," 1.4546","2"
"Tests/Unit/neg/ListMSort.hs"," 2.2236"," 4.9167"," 2.0517","2"
"Tests/Unit/neg/csv.hs"," 1.7706"," 3.8096"," 1.6499","2"
"Tests/Unit/neg/mapreduce.hs"," 2.7444"," 4.6550"," 2.6069","2"
"Tests/Unit/neg/monad6.hs"," 0.9411"," 3.1123"," 1.4307","2"
"Tests/Unit/neg/poly2.hs"," 0.9733"," 3.7851"," 0.9146","2"
"Tests/Unit/pos/LambdaEval.hs"," 25.4532"," 27.4799"," 25.0477","2"
"Tests/Unit/pos/ListMSort-LType.hs"," 4.8291"," 6.0376"," 3.9029","2"
"Tests/Unit/pos/RBTree-col-height.hs"," 5.8972"," 6.7960"," 4.5488","2"
"Tests/Unit/pos/RBTree-color.hs"," 4.4866"," 5.5428"," 3.3387","2"
"Tests/Unit/pos/mapreduce-bare.hs"," 5.4752"," 7.6412"," 5.5267","2"
"Tests/Unit/pos/pair.hs"," 1.7449"," 3.6463"," 1.6184","2"
"Tests/Benchmarks/esop/Toy.hs"," 2.9001"," 2.5128"," 1.5132","1"
"Tests/Benchmarks/icfp_pos/DBMovies.hs"," 3.7729"," 5.3473"," 3.5593","1"
"Tests/Benchmarks/icfp_pos/IfM2.hs"," 4.5216"," 5.5823"," 4.8987","1"
"Tests/Benchmarks/pldi17_neg/MonadList.hs"," 2.7281"," 3.9637"," 2.0909","1"
"Tests/Benchmarks/pldi17_pos/MapFusion.hs"," 1.7038"," 3.1587"," 1.4350","1"
"Tests/Benchmarks/text/Data/Text/Array.hs"," 3.2674"," 3.6072"," 2.2143","1"
"Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs"," 14.5743"," 16.4543"," 14.7365","1"
"Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs"," 9.7722"," 10.9239"," 9.1468","1"
"Tests/Benchmarks/text/Data/Text/UnsafeChar.hs"," 3.6723"," 3.4850"," 2.3897","1"
"Tests/Benchmarks/text/Setup.lhs"," 2.0889"," 3.0364"," 1.6279","1"
"Tests/Unit/crash/Assume.hs"," 0.7766"," 1.8533"," 0.8047","1"
"Tests/Unit/neg/ListISort.hs"," 1.5962"," 3.4639"," 1.6796","1"
"Tests/Unit/neg/concat2.hs"," 1.3249"," 2.8144"," 1.1636","1"
"Tests/Unit/neg/elim-ex-map-3.hs"," 3.2590"," 4.5383"," 3.2305","1"
"Tests/Unit/neg/meas5.hs"," 1.7634"," 2.7032"," 1.5548","1"
"Tests/Unit/neg/monad3.hs"," 1.0159"," 2.4366"," 0.9737","1"
"Tests/Unit/neg/monad5.hs"," 1.0214"," 2.1173"," 1.2400","1"
"Tests/Unit/neg/pair.hs"," 1.8021"," 2.7868"," 1.6383","1"
"Tests/Unit/neg/pair0.hs"," 1.6507"," 3.2950"," 1.6194","1"
"Tests/Unit/pos/AVLRJ.hs"," 2.9187"," 3.3621"," 2.1393","1"
"Tests/Unit/pos/GhcSort1.hs"," 3.8741"," 4.9755"," 3.2128","1"
"Tests/Unit/pos/GhcSort3.hs"," 4.8801"," 5.8772"," 4.3517","1"
"Tests/Unit/pos/ListSort.hs"," 2.6508"," 3.4986"," 2.1990","1"
"Tests/Unit/pos/MapReduceVerified.hs"," 4.1287"," 5.6093"," 4.0285","1"
"Tests/Unit/pos/MutualRec.hs"," 3.1616"," 4.6298"," 2.7243","1"
"Tests/Unit/pos/Permutation.hs"," 2.0939"," 2.7395"," 1.6931","1"
"Tests/Unit/pos/RBTree-height.hs"," 3.7464"," 4.3298"," 3.1470","1"
"Tests/Unit/pos/elim-ex-map-3.hs"," 3.2216"," 3.8463"," 4.2289","1"
"Tests/Unit/pos/nullterm.hs"," 1.2739"," 2.5152"," 1.1344","1"
"Tests/Unit/pos/pair0.hs"," 1.6718"," 2.6918"," 1.5024","1"
"Tests/Unit/pos/polyqual.hs"," 1.2276"," 2.7247"," 1.1055","1"
"Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs"," 1.9745"," 2.1935"," 1.8020","0"
"Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs"," 3.0607"," 2.5409"," 2.8438","0"
"Tests/Benchmarks/esop/Array.hs"," 2.9963"," 3.5594"," 2.8654","0"
"Tests/Benchmarks/icfp_neg/Composition.hs"," 1.0492"," 1.3071"," 0.9130","0"
"Tests/Benchmarks/icfp_neg/Records.hs"," 1.1207"," 1.2837"," 1.0808","0"
"Tests/Benchmarks/icfp_neg/TestM.hs"," 1.4598"," 1.5237"," 1.3324","0"
"Tests/Benchmarks/icfp_neg/WhileM.hs"," 1.7856"," 1.9951"," 1.4680","0"
"Tests/Benchmarks/icfp_pos/Append.hs"," 1.3574"," 1.6945"," 1.6710","0"
"Tests/Benchmarks/icfp_pos/CompareConstraints.hs"," 1.2604"," 1.3412"," 1.1426","0"
"Tests/Benchmarks/icfp_pos/Composition.hs"," 0.9486"," 1.1804"," 0.9121","0"
"Tests/Benchmarks/icfp_pos/Filter.lhs"," 1.2757"," 1.7400"," 1.1297","0"
"Tests/Benchmarks/icfp_pos/ICFP15.lhs"," 2.0053"," 2.3789"," 2.1874","0"
"Tests/Benchmarks/icfp_pos/Incr-elim.hs"," 1.1945"," 1.3702"," 1.7661","0"
"Tests/Benchmarks/icfp_pos/Incr.hs"," 1.9864"," 2.2151"," 2.5741","0"
"Tests/Benchmarks/icfp_pos/Privileges.hs"," 0.9411"," 1.3088"," 1.1939","0"
"Tests/Benchmarks/icfp_pos/TestM.hs"," 0.9277"," 0.9544"," 1.1832","0"
"Tests/Benchmarks/icfp_pos/WhileM.hs"," 1.6566"," 1.8673"," 1.9985","0"
"Tests/Benchmarks/icfp_pos/WhileTest.hs"," 1.2158"," 1.4421"," 1.7636","0"
"Tests/Benchmarks/icfp_pos/dropwhile.hs"," 1.1053"," 1.3533"," 1.0225","0"
"Tests/Benchmarks/instances/AlphaEquivalence.hs"," 1.0926"," 1.1035"," 0.9949","0"
"Tests/Benchmarks/instances/Append.hs"," 1.8023"," 1.6902"," 1.2908","0"
"Tests/Benchmarks/instances/ApplicativeId.hs"," 1.3058"," 1.1598"," 0.9778","0"
"Tests/Benchmarks/instances/ApplicativeMaybe.hs"," 1.2460"," 1.2807"," 1.0986","0"
"Tests/Benchmarks/instances/BasicLambdas.hs"," 1.0178"," 1.2023"," 0.9943","0"
"Tests/Benchmarks/instances/Compose.hs"," 0.9138"," 1.2827"," 0.9749","0"
"Tests/Benchmarks/instances/Euclide.hs"," 1.0250"," 1.1714"," 0.9660","0"
"Tests/Benchmarks/instances/Fibonacci.hs"," 2.0307"," 2.6068"," 1.7823","0"
"Tests/Benchmarks/instances/FoldrUniversal.hs"," 1.3616"," 1.5785"," 1.2289","0"
"Tests/Benchmarks/instances/FunctionEquality101.hs"," 1.0635"," 1.1190"," 1.0252","0"
"Tests/Benchmarks/instances/FunctorId.hs"," 1.0896"," 1.3801"," 0.9500","0"
"Tests/Benchmarks/instances/FunctorList.hs"," 1.2945"," 1.5215"," 1.1259","0"
"Tests/Benchmarks/instances/FunctorMaybe.hs"," 1.0882"," 1.1816"," 0.9826","0"
"Tests/Benchmarks/instances/Lists.hs"," 1.4296"," 1.2777"," 1.0901","0"
"Tests/Benchmarks/instances/MapFusion.hs"," 1.4968"," 1.3038"," 1.0583","0"
"Tests/Benchmarks/instances/Maybe.hs"," 0.8594"," 0.9612"," 0.8609","0"
"Tests/Benchmarks/instances/MonadList.hs"," 1.6655"," 1.8913"," 1.4513","0"
"Tests/Benchmarks/instances/MonoidList.hs"," 1.1527"," 1.3471"," 1.0853","0"
"Tests/Benchmarks/instances/MonoidMaybe.hs"," 1.0042"," 1.1231"," 0.9603","0"
"Tests/Benchmarks/instances/NormalForm.hs"," 0.9728"," 0.9879"," 0.9244","0"
"Tests/Benchmarks/instances/Overview.hs"," 1.1285"," 1.3853"," 1.0602","0"
"Tests/Benchmarks/instances/Peano.hs"," 1.1830"," 1.3851"," 1.1372","0"
"Tests/Benchmarks/instances/ProofCombinators.hs"," 0.9837"," 1.0684"," 1.1673","0"
"Tests/Benchmarks/instances/Solver.hs"," 1.7662"," 2.0990"," 1.6197","0"
"Tests/Benchmarks/pldi17_neg/Append.hs"," 2.3373"," 2.4766"," 1.7542","0"
"Tests/Benchmarks/pldi17_neg/ApplicativeMaybe.hs"," 2.7652"," 3.3481"," 2.4463","0"
"Tests/Benchmarks/pldi17_neg/BasicLambdas.hs"," 0.9197"," 1.0023"," 0.9221","0"
"Tests/Benchmarks/pldi17_neg/Fibonacci.hs"," 2.7352"," 3.1351"," 2.4057","0"
"Tests/Benchmarks/pldi17_neg/FunctorList.hs"," 1.8629"," 2.4636"," 1.6908","0"
"Tests/Benchmarks/pldi17_neg/FunctorMaybe.hs"," 1.4086"," 1.7631"," 1.3460","0"
"Tests/Benchmarks/pldi17_neg/MapFusion.hs"," 1.8042"," 2.4425"," 1.5517","0"
"Tests/Benchmarks/pldi17_neg/MonadMaybe.hs"," 1.4565"," 2.0619"," 1.1776","0"
"Tests/Benchmarks/pldi17_pos/AlphaEquivalence.hs"," 1.0360"," 1.2314"," 0.9771","0"
"Tests/Benchmarks/pldi17_pos/Append.hs"," 1.9314"," 2.5246"," 1.5981","0"
"Tests/Benchmarks/pldi17_pos/ApplicativeId.hs"," 1.3906"," 1.6537"," 1.2583","0"
"Tests/Benchmarks/pldi17_pos/ApplicativeMaybe.hs"," 2.9928"," 3.2634"," 2.3464","0"
"Tests/Benchmarks/pldi17_pos/BasicLambdas.hs"," 1.1307"," 1.0161"," 0.9018","0"
"Tests/Benchmarks/pldi17_pos/BasicLambdas0.hs"," 1.0181"," 1.0515"," 0.9189","0"
"Tests/Benchmarks/pldi17_pos/Compose.hs"," 0.9722"," 1.0325"," 0.9381","0"
"Tests/Benchmarks/pldi17_pos/Euclide.hs"," 1.0111"," 1.0415"," 0.9533","0"
"Tests/Benchmarks/pldi17_pos/Fibonacci.hs"," 3.4268"," 3.1773"," 2.5557","0"
"Tests/Benchmarks/pldi17_pos/FoldrUniversal.hs"," 2.2835"," 2.4242"," 1.8063","0"
"Tests/Benchmarks/pldi17_pos/FunctionEquality101.hs"," 1.1480"," 1.1474"," 1.3469","0"
"Tests/Benchmarks/pldi17_pos/FunctorId.hs"," 1.3286"," 1.3692"," 1.1302","0"
"Tests/Benchmarks/pldi17_pos/FunctorList.hs"," 2.4032"," 2.2516"," 1.7934","0"
"Tests/Benchmarks/pldi17_pos/FunctorMaybe.hs"," 1.3926"," 1.4001"," 1.1742","0"
"Tests/Benchmarks/pldi17_pos/MonadId.hs"," 1.2597"," 1.3999"," 1.0922","0"
"Tests/Benchmarks/pldi17_pos/MonadList.hs"," 2.2370"," 2.8071"," 2.0062","0"
"Tests/Benchmarks/pldi17_pos/MonadMaybe.hs"," 1.3066"," 1.4212"," 1.2716","0"
"Tests/Benchmarks/pldi17_pos/MonoidList.hs"," 1.2659"," 1.4167"," 1.1472","0"
"Tests/Benchmarks/pldi17_pos/MonoidMaybe.hs"," 1.1846"," 1.4491"," 1.1322","0"
"Tests/Benchmarks/pldi17_pos/NormalForm.hs"," 1.1279"," 1.2248"," 0.9114","0"
"Tests/Benchmarks/pldi17_pos/Overview.hs"," 1.3679"," 1.5384"," 1.3570","0"
"Tests/Benchmarks/pldi17_pos/Peano.hs"," 1.5377"," 1.5477"," 1.2914","0"
"Tests/Benchmarks/pldi17_pos/ProofCombinators.hs"," 1.0558"," 1.1897"," 1.1562","0"
"Tests/Benchmarks/pldi17_pos/Solver.hs"," 2.3259"," 2.1614"," 1.5848","0"
"Tests/Benchmarks/text/Data/Text/Fusion/Size.hs"," 2.9236"," 2.7823"," 2.2309","0"
"Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs"," 6.5661"," 7.5057"," 6.5409","0"
"Tests/Benchmarks/text/Data/Text/Private.hs"," 2.8090"," 3.0107"," 2.7150","0"
"Tests/Benchmarks/text/Data/Text/Unsafe.hs"," 3.1117"," 3.4263"," 2.6103","0"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs"," 0.8942"," 1.0912"," 0.8447","0"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs"," 1.2509"," 1.3419"," 1.1950","0"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs"," 1.7227"," 2.2719"," 1.6198","0"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs"," 3.2949"," 4.1243"," 3.4364","0"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs"," 3.5743"," 4.3253"," 3.6054","0"
"Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs"," 1.3478"," 1.4866"," 1.2832","0"
"Tests/Benchmarks/vect-algs/Setup.lhs"," 1.3354"," 1.3297"," 1.4215","0"
"Tests/Unit/crash/AbsRef.hs"," 0.4306"," 0.7102"," 0.5469","0"
"Tests/Unit/crash/Assume1.hs"," 0.7729"," 1.2571"," 0.8365","0"
"Tests/Unit/crash/Ast.hs"," 0.3915"," 0.5137"," 0.4402","0"
"Tests/Unit/crash/BadExprArg.hs"," 0.7444"," 0.8811"," 0.7698","0"
"Tests/Unit/crash/BadPragma0.hs"," 0.4079"," 0.3840"," 0.4105","0"
"Tests/Unit/crash/BadPragma1.hs"," 0.3867"," 0.3996"," 0.4126","0"
"Tests/Unit/crash/BadPragma2.hs"," 0.3773"," 0.3833"," 0.3913","0"
"Tests/Unit/crash/BadSyn1.hs"," 0.7261"," 0.8276"," 0.7368","0"
"Tests/Unit/crash/BadSyn2.hs"," 0.7303"," 1.0274"," 0.7327","0"
"Tests/Unit/crash/BadSyn3.hs"," 0.7774"," 0.8167"," 0.7576","0"
"Tests/Unit/crash/BadSyn4.hs"," 0.7718"," 0.8024"," 0.8063","0"
"Tests/Unit/crash/CyclicExprAlias0.hs"," 0.7383"," 0.7712"," 0.7183","0"
"Tests/Unit/crash/CyclicExprAlias1.hs"," 0.7304"," 0.7729"," 0.7266","0"
"Tests/Unit/crash/CyclicExprAlias2.hs"," 0.7776"," 0.7552"," 0.7205","0"
"Tests/Unit/crash/CyclicExprAlias3.hs"," 0.7806"," 0.9091"," 0.7515","0"
"Tests/Unit/crash/CyclicPredAlias0.hs"," 0.7242"," 0.7721"," 0.7418","0"
"Tests/Unit/crash/CyclicPredAlias1.hs"," 0.7530"," 0.7737"," 0.7364","0"
"Tests/Unit/crash/CyclicPredAlias2.hs"," 0.8185"," 0.8761"," 0.7459","0"
"Tests/Unit/crash/CyclicPredAlias3.hs"," 0.7207"," 0.9671"," 0.7110","0"
"Tests/Unit/crash/CyclicTypeAlias0.hs"," 0.7309"," 1.4204"," 0.7404","0"
"Tests/Unit/crash/CyclicTypeAlias1.hs"," 0.7273"," 1.2262"," 0.7372","0"
"Tests/Unit/crash/CyclicTypeAlias2.hs"," 0.7950"," 1.0964"," 0.7175","0"
"Tests/Unit/crash/CyclicTypeAlias3.hs"," 0.7383"," 1.0658"," 0.8204","0"
"Tests/Unit/crash/FunRef1.hs"," 0.7666"," 0.8915"," 0.7643","0"
"Tests/Unit/crash/FunRef2.hs"," 0.8043"," 0.9601"," 0.7608","0"
"Tests/Unit/crash/HaskellMeasure.hs"," 0.7986"," 0.9276"," 0.7017","0"
"Tests/Unit/crash/HigherOrder.hs"," 0.7968"," 0.8858"," 0.7499","0"
"Tests/Unit/crash/LocalHole.hs"," 0.8052"," 1.0175"," 0.7918","0"
"Tests/Unit/crash/LocalTermExpr.hs"," 0.7782"," 0.8568"," 0.7777","0"
"Tests/Unit/crash/Mismatch.hs"," 0.7763"," 0.8025"," 0.7773","0"
"Tests/Unit/crash/MultipleRecordSelectors.hs"," 0.8103"," 0.9342"," 0.7763","0"
"Tests/Unit/crash/Qualif.hs"," 0.7701"," 0.7979"," 0.7682","0"
"Tests/Unit/crash/RClass.hs"," 0.4245"," 0.4446"," 0.4443","0"
"Tests/Unit/crash/SizeFunMissing.hs"," 0.7719"," 0.8068"," 0.8128","0"
"Tests/Unit/crash/T649.hs"," 0.8780"," 1.0325"," 0.8252","0"
"Tests/Unit/crash/T691.hs"," 0.4391"," 0.5716"," 0.3992","0"
"Tests/Unit/crash/T773.hs"," 0.7895"," 0.7851"," 0.7726","0"
"Tests/Unit/crash/T774.hs"," 0.8287"," 0.7716"," 0.7772","0"
"Tests/Unit/crash/Unbound.hs"," 0.4074"," 0.4181"," 0.4080","0"
"Tests/Unit/crash/errmsg-dc-num.hs"," 0.8170"," 1.6143"," 0.7795","0"
"Tests/Unit/crash/errmsg-dc-type.hs"," 0.7820"," 0.9193"," 0.7731","0"
"Tests/Unit/crash/errmsg-mismatch.hs"," 0.8238"," 1.0998"," 0.8077","0"
"Tests/Unit/crash/funref.hs"," 0.7822"," 1.1798"," 0.7496","0"
"Tests/Unit/crash/hole-crash1.hs"," 0.7730"," 0.9096"," 0.7616","0"
"Tests/Unit/crash/hole-crash2.hs"," 0.7853"," 0.9916"," 0.7292","0"
"Tests/Unit/crash/hole-crash3.hs"," 0.7749"," 0.9846"," 0.7462","0"
"Tests/Unit/crash/issue594.hs"," 0.3908"," 0.4988"," 0.4016","0"
"Tests/Unit/crash/num-float-error.hs"," 0.7743"," 0.9747"," 0.7830","0"
"Tests/Unit/crash/num-float-error1.hs"," 0.8010"," 0.8797"," 0.7673","0"
"Tests/Unit/crash/predparams.hs"," 0.7482"," 0.7807"," 0.7261","0"
"Tests/Unit/crash/typeAliasDup.hs"," 0.8581"," 0.8762"," 0.8006","0"
"Tests/Unit/error/crash/TerminationExpr.hs"," 0.8317"," 1.0961"," 0.7623","0"
"Tests/Unit/error/crash/TerminationExpr1.hs"," 0.7702"," 1.1720"," 0.7602","0"
"Tests/Unit/neg/AbsApp.hs"," 0.9426"," 1.0929"," 0.8320","0"
"Tests/Unit/neg/Ast.hs"," 1.0671"," 1.1764"," 0.8670","0"
"Tests/Unit/neg/AutoSize.hs"," 1.1708"," 0.9433"," 0.8544","0"
"Tests/Unit/neg/AutoTerm.hs"," 1.1182"," 0.9398"," 0.8404","0"
"Tests/Unit/neg/AutoTerm1.hs"," 1.2083"," 0.9969"," 0.8379","0"
"Tests/Unit/neg/Automate.hs"," 1.2206"," 1.1523"," 0.9615","0"
"Tests/Unit/neg/BadHMeas.hs"," 1.5050"," 1.2804"," 0.8687","0"
"Tests/Unit/neg/BadNats.hs"," 1.3185"," 1.1271"," 0.8262","0"
"Tests/Unit/neg/Baz.hs"," 1.2864"," 1.1483"," 0.8045","0"
"Tests/Unit/neg/BigNum.hs"," 1.3857"," 0.9673"," 0.8103","0"
"Tests/Unit/neg/Books.hs"," 1.3410"," 1.0966"," 0.8577","0"
"Tests/Unit/neg/CastedTotality.hs"," 1.0397"," 1.0792"," 0.8869","0"
"Tests/Unit/neg/CheckedNum.hs"," 0.8901"," 0.8957"," 0.8166","0"
"Tests/Unit/neg/Class1.hs"," 1.1519"," 1.1526"," 1.0129","0"
"Tests/Unit/neg/Class2.hs"," 1.0736"," 0.9678"," 0.8854","0"
"Tests/Unit/neg/Class3.hs"," 0.9604"," 0.9349"," 0.8865","0"
"Tests/Unit/neg/Class4.hs"," 1.2675"," 0.9756"," 0.8468","0"
"Tests/Unit/neg/Class5.hs"," 0.9306"," 1.0173"," 0.8103","0"
"Tests/Unit/neg/Client.hs"," 0.9030"," 1.0288"," 0.8041","0"
"Tests/Unit/neg/Constraints.hs"," 0.9246"," 1.5618"," 0.8663","0"
"Tests/Unit/neg/DependentTypes.hs"," 0.9172"," 1.0764"," 0.8825","0"
"Tests/Unit/neg/Eval.hs"," 1.0628"," 1.1333"," 0.9859","0"
"Tests/Unit/neg/Even.hs"," 0.8539"," 0.9251"," 0.8361","0"
"Tests/Unit/neg/FunSoundness.hs"," 0.8766"," 0.8349"," 0.8319","0"
"Tests/Unit/neg/FunctionRef.hs"," 0.8784"," 0.9236"," 0.8342","0"
"Tests/Unit/neg/GADTs.hs"," 0.8369"," 0.8970"," 0.8372","0"
"Tests/Unit/neg/GeneralizedTermination.hs"," 0.9079"," 1.0595"," 0.8898","0"
"Tests/Unit/neg/HasElem.hs"," 0.8640"," 1.1229"," 0.8403","0"
"Tests/Unit/neg/HigherOrder.hs"," 0.8732"," 0.8601"," 0.7965","0"
"Tests/Unit/neg/HolesTop.hs"," 0.9019"," 0.9315"," 0.8580","0"
"Tests/Unit/neg/IntAbsRef.hs"," 0.8455"," 0.8748"," 0.7953","0"
"Tests/Unit/neg/LazyWhere.hs"," 0.8999"," 0.9956"," 0.8605","0"
"Tests/Unit/neg/LazyWhere1.hs"," 0.9151"," 1.2796"," 0.8690","0"
"Tests/Unit/neg/LiquidClass.hs"," 0.8982"," 0.9580"," 0.8245","0"
"Tests/Unit/neg/LiquidClass1.hs"," 0.8519"," 0.9444"," 0.8390","0"
"Tests/Unit/neg/ListConcat.hs"," 0.9354"," 0.9703"," 0.9391","0"
"Tests/Unit/neg/ListElem.hs"," 0.8723"," 1.0201"," 0.8667","0"
"Tests/Unit/neg/ListISort-LType.hs"," 1.1050"," 1.5722"," 1.1949","0"
"Tests/Unit/neg/ListKeys.hs"," 0.9166"," 1.3370"," 0.9648","0"
"Tests/Unit/neg/ListQSort.hs"," 1.5337"," 1.8413"," 1.3018","0"
"Tests/Unit/neg/ListRange.hs"," 0.9839"," 1.2483"," 0.9842","0"
"Tests/Unit/neg/LocalSpec.hs"," 0.9500"," 1.1146"," 0.8764","0"
"Tests/Unit/neg/MaybeMonad.hs"," 1.0128"," 1.4759"," 0.9307","0"
"Tests/Unit/neg/MeasureContains.hs"," 0.9972"," 1.0526"," 0.9129","0"
"Tests/Unit/neg/MeasureDups.hs"," 0.9624"," 1.0653"," 1.0347","0"
"Tests/Unit/neg/MergeSort.hs"," 1.5751"," 2.1412"," 1.4427","0"
"Tests/Unit/neg/MultiParamTypeClasses.hs"," 0.8531"," 0.9888"," 0.8792","0"
"Tests/Unit/neg/MultipleInvariants.hs"," 0.8671"," 0.9759"," 0.8907","0"
"Tests/Unit/neg/NewTypes.hs"," 0.8510"," 1.0534"," 0.8075","0"
"Tests/Unit/neg/NewTypes0.hs"," 0.8655"," 1.1490"," 0.8131","0"
"Tests/Unit/neg/NoExhaustiveGuardsError.hs"," 0.8611"," 1.2123"," 0.8439","0"
"Tests/Unit/neg/NoMethodBindingError.hs"," 0.8368"," 1.0879"," 0.8007","0"
"Tests/Unit/neg/PairMeasure.hs"," 0.9063"," 1.0446"," 0.9143","0"
"Tests/Unit/neg/Propability.hs"," 1.0522"," 1.1559"," 1.4078","0"
"Tests/Unit/neg/Propability0.hs"," 0.9752"," 0.9382"," 1.0914","0"
"Tests/Unit/neg/QQTySig.hs"," 3.1043"," 3.2210"," 3.2455","0"
"Tests/Unit/neg/QQTySyn1.hs"," 3.0726"," 3.2188"," 3.5168","0"
"Tests/Unit/neg/QQTySyn2.hs"," 3.4950"," 4.0654"," 3.3847","0"
"Tests/Unit/neg/RG.hs"," 1.2288"," 1.3199"," 1.3107","0"
"Tests/Unit/neg/RecQSort.hs"," 1.1993"," 1.2624"," 1.4429","0"
"Tests/Unit/neg/RecSelector.hs"," 0.8483"," 0.8778"," 1.1091","0"
"Tests/Unit/neg/SafePartialFunctions.hs"," 0.9100"," 0.9389"," 0.8376","0"
"Tests/Unit/neg/Solver.hs"," 1.5531"," 1.7637"," 2.0770","0"
"Tests/Unit/neg/StateConstraints.hs"," 2.3839"," 2.6608"," 2.5661","0"
"Tests/Unit/neg/StateConstraints00.hs"," 0.9013"," 0.9110"," 1.0400","0"
"Tests/Unit/neg/Strata.hs"," 0.8820"," 0.9028"," 1.2383","0"
"Tests/Unit/neg/StreamInvariants.hs"," 0.9805"," 0.8831"," 1.0332","0"
"Tests/Unit/neg/StrictPair0.hs"," 0.8851"," 0.8888"," 0.9423","0"
"Tests/Unit/neg/StrictPair1.hs"," 1.2343"," 1.2670"," 1.1976","0"
"Tests/Unit/neg/Strings.hs"," 0.8600"," 0.8548"," 0.8727","0"
"Tests/Unit/neg/Sum.hs"," 0.9771"," 1.0627"," 0.9460","0"
"Tests/Unit/neg/T602.hs"," 0.8332"," 0.9005"," 0.8856","0"
"Tests/Unit/neg/T743-mini.hs"," 0.9058"," 0.9537"," 0.9086","0"
"Tests/Unit/neg/T743.hs"," 0.9549"," 0.9825"," 0.9575","0"
"Tests/Unit/neg/T745.hs"," 1.0138"," 0.8835"," 0.8460","0"
"Tests/Unit/neg/TermReal.hs"," 0.8479"," 0.8601"," 0.8271","0"
"Tests/Unit/neg/TerminationNum.hs"," 0.9048"," 0.9215"," 0.8692","0"
"Tests/Unit/neg/TerminationNum0.hs"," 0.8759"," 0.9135"," 0.8613","0"
"Tests/Unit/neg/TopLevel.hs"," 0.9341"," 0.9245"," 0.8522","0"
"Tests/Unit/neg/TotalHaskell.hs"," 0.9156"," 0.9038"," 0.9014","0"
"Tests/Unit/neg/Variance.hs"," 0.8778"," 0.8696"," 0.8166","0"
"Tests/Unit/neg/Variance1.hs"," 0.8357"," 0.8897"," 1.0174","0"
"Tests/Unit/neg/VerifiedMonoid.hs"," 1.3382"," 1.2919"," 1.1383","0"
"Tests/Unit/neg/VerifiedNum.hs"," 0.8796"," 0.8755"," 1.2387","0"
"Tests/Unit/neg/alias00.hs"," 1.1184"," 0.9885"," 0.9900","0"
"Tests/Unit/neg/ass0.hs"," 0.8939"," 1.0178"," 0.7840","0"
"Tests/Unit/neg/concat.hs"," 1.2706"," 1.7538"," 1.0823","0"
"Tests/Unit/neg/concat1.hs"," 1.3644"," 2.0867"," 1.1544","0"
"Tests/Unit/neg/contra0.hs"," 0.9317"," 1.6768"," 0.8878","0"
"Tests/Unit/neg/coretologic.hs"," 0.9390"," 1.3306"," 0.8572","0"
"Tests/Unit/neg/datacon-eq.hs"," 0.8115"," 1.1807"," 0.8183","0"
"Tests/Unit/neg/deppair0.hs"," 0.9492"," 1.5154"," 0.9257","0"
"Tests/Unit/neg/elim-ex-compose.hs"," 0.9869"," 1.1678"," 0.9280","0"
"Tests/Unit/neg/elim-ex-let.hs"," 2.9476"," 3.3504"," 3.0785","0"
"Tests/Unit/neg/elim-ex-list.hs"," 3.0015"," 3.3029"," 3.1006","0"
"Tests/Unit/neg/elim-ex-map-1.hs"," 3.0572"," 3.3264"," 3.1124","0"
"Tests/Unit/neg/elim-ex-map-2.hs"," 3.1425"," 3.5952"," 3.1760","0"
"Tests/Unit/neg/elim000.hs"," 0.8975"," 0.9012"," 0.9664","0"
"Tests/Unit/neg/errmsg.hs"," 0.9519"," 0.9439"," 0.9789","0"
"Tests/Unit/neg/errorloc.hs"," 1.0148"," 0.9563"," 0.9548","0"
"Tests/Unit/neg/ex0-unsafe.hs"," 0.9856"," 1.0373"," 0.9526","0"
"Tests/Unit/neg/ex1-unsafe.hs"," 0.9872"," 1.0266"," 0.9137","0"
"Tests/Unit/neg/filterAbs.hs"," 1.1117"," 1.3355"," 1.0437","0"
"Tests/Unit/neg/foldN.hs"," 0.9397"," 0.9292"," 0.9004","0"
"Tests/Unit/neg/foldN1.hs"," 0.8898"," 0.9670"," 0.8679","0"
"Tests/Unit/neg/grty0.hs"," 0.8527"," 0.8308"," 0.8134","0"
"Tests/Unit/neg/grty1.hs"," 1.0008"," 1.1262"," 0.9198","0"
"Tests/Unit/neg/grty2.hs"," 0.9578"," 1.0009"," 0.9061","0"
"Tests/Unit/neg/grty3.hs"," 0.8689"," 0.9101"," 0.8063","0"
"Tests/Unit/neg/inc2.hs"," 0.9028"," 0.9218"," 0.8046","0"
"Tests/Unit/neg/list00.hs"," 0.9148"," 1.0125"," 0.8804","0"
"Tests/Unit/neg/listne.hs"," 0.8334"," 0.8857"," 1.1910","0"
"Tests/Unit/neg/lit.hs"," 0.8564"," 1.1246"," 0.8291","0"
"Tests/Unit/neg/mapreduce-tiny.hs"," 0.9421"," 1.0268"," 0.9738","0"
"Tests/Unit/neg/maps.hs"," 0.9808"," 1.2406"," 0.9115","0"
"Tests/Unit/neg/meas0.hs"," 0.9455"," 1.5241"," 0.9256","0"
"Tests/Unit/neg/meas2.hs"," 0.9447"," 1.1051"," 0.9162","0"
"Tests/Unit/neg/meas3.hs"," 0.9575"," 1.0518"," 0.8891","0"
"Tests/Unit/neg/meas7.hs"," 0.8593"," 1.0480"," 0.9347","0"
"Tests/Unit/neg/meas9.hs"," 0.9347"," 0.9618"," 0.8476","0"
"Tests/Unit/neg/monad4.hs"," 1.0573"," 1.1859"," 0.9617","0"
"Tests/Unit/neg/monad7.hs"," 1.2016"," 2.0972"," 1.9297","0"
"Tests/Unit/neg/mr00.hs"," 1.0286"," 1.6201"," 1.1354","0"
"Tests/Unit/neg/multi-pred-app-00.hs"," 0.8146"," 1.0305"," 0.8364","0"
"Tests/Unit/neg/nestedRecursion.hs"," 0.9210"," 1.1235"," 0.8511","0"
"Tests/Unit/neg/pargs.hs"," 0.8185"," 0.9982"," 0.8317","0"
"Tests/Unit/neg/pargs1.hs"," 0.8446"," 0.9859"," 0.8833","0"
"Tests/Unit/neg/partial.hs"," 0.8662"," 1.2662"," 0.9316","0"
"Tests/Unit/neg/poly0.hs"," 1.0097"," 1.0539"," 1.0574","0"
"Tests/Unit/neg/poly1.hs"," 0.9654"," 1.2716"," 1.0940","0"
"Tests/Unit/neg/poly2-degenerate.hs"," 0.9627"," 1.7618"," 0.8847","0"
"Tests/Unit/neg/polypred.hs"," 0.9063"," 0.9618"," 1.2670","0"
"Tests/Unit/neg/poslist.hs"," 1.1038"," 1.3412"," 0.9948","0"
"Tests/Unit/neg/pragma0-unsafe.hs"," 0.8491"," 0.8506"," 0.7750","0"
"Tests/Unit/neg/pred.hs"," 0.7485"," 0.8052"," 0.7545","0"
"Tests/Unit/neg/prune0.hs"," 0.9337"," 0.9905"," 0.8618","0"
"Tests/Unit/neg/qsloop.hs"," 1.1589"," 1.2707"," 1.1241","0"
"Tests/Unit/neg/range.hs"," 1.3489"," 1.5906"," 1.2482","0"
"Tests/Unit/neg/record0.hs"," 0.8520"," 0.8862"," 0.8796","0"
"Tests/Unit/neg/revshape.hs"," 0.8831"," 0.8910"," 1.4135","0"
"Tests/Unit/neg/risers.hs"," 0.9435"," 0.9983"," 1.0450","0"
"Tests/Unit/neg/stacks.hs"," 1.1721"," 1.3695"," 1.6620","0"
"Tests/Unit/neg/state0.hs"," 0.8836"," 0.9116"," 1.1408","0"
"Tests/Unit/neg/state00.hs"," 0.8897"," 0.9220"," 1.0364","0"
"Tests/Unit/neg/string00.hs"," 0.9185"," 0.9554"," 0.9453","0"
"Tests/Unit/neg/sumPoly.hs"," 0.8738"," 0.9096"," 0.9418","0"
"Tests/Unit/neg/sumk.hs"," 0.8544"," 0.8855"," 0.9306","0"
"Tests/Unit/neg/test00.hs"," 0.9575"," 1.0016"," 1.2032","0"
"Tests/Unit/neg/test00a.hs"," 0.9099"," 0.9569"," 1.0435","0"
"Tests/Unit/neg/test00b.hs"," 0.9015"," 0.9737"," 0.8788","0"
"Tests/Unit/neg/test00c.hs"," 0.8896"," 0.9492"," 0.9584","0"
"Tests/Unit/neg/test1.hs"," 0.9392"," 0.9548"," 1.3320","0"
"Tests/Unit/neg/test2.hs"," 0.9297"," 0.9890"," 0.9922","0"
"Tests/Unit/neg/testRec.hs"," 1.0272"," 1.0824"," 0.9169","0"
"Tests/Unit/neg/trans.hs"," 2.3098"," 2.6136"," 1.9490","0"
"Tests/Unit/neg/truespec.hs"," 0.9081"," 0.9164"," 0.8779","0"
"Tests/Unit/neg/tyclass0-unsafe.hs"," 0.8196"," 0.8894"," 0.8794","0"
"Tests/Unit/neg/vector0.hs"," 1.0945"," 1.1626"," 1.2155","0"
"Tests/Unit/neg/vector00.hs"," 1.0466"," 1.0135"," 0.9931","0"
"Tests/Unit/neg/vector0a.hs"," 1.0478"," 1.0196"," 0.9632","0"
"Tests/Unit/neg/vector1a.hs"," 1.3326"," 1.4056"," 1.4722","0"
"Tests/Unit/neg/vector2.hs"," 2.0571"," 2.0108"," 1.5648","0"
"Tests/Unit/neg/wrap0.hs"," 0.9633"," 1.0622"," 1.2701","0"
"Tests/Unit/neg/wrap1.hs"," 1.2401"," 1.3596"," 1.1125","0"
"Tests/Unit/parser/pos/Parens.hs"," 0.8751"," 1.4161"," 0.7932","0"
"Tests/Unit/parser/pos/TokensAsPrefixes.hs"," 0.8117"," 1.3178"," 0.8117","0"
"Tests/Unit/pos/ANF.hs"," 3.5752"," 4.2631"," 3.3218","0"
"Tests/Unit/pos/AVL.hs"," 2.8337"," 2.9598"," 2.3620","0"
"Tests/Unit/pos/Abs.hs"," 0.8627"," 0.8849"," 0.7992","0"
"Tests/Unit/pos/Ackermann.hs"," 0.9431"," 0.9981"," 0.9316","0"
"Tests/Unit/pos/AmortizedQueue.hs"," 1.1426"," 1.1118"," 1.0679","0"
"Tests/Unit/pos/Assume.hs"," 1.0555"," 0.9412"," 0.8764","0"
"Tests/Unit/pos/AssumedRecursive.hs"," 0.8902"," 0.8529"," 0.8076","0"
"Tests/Unit/pos/AutoSize.hs"," 1.0834"," 0.9014"," 0.8473","0"
"Tests/Unit/pos/AutoTerm.hs"," 0.9681"," 0.9581"," 0.9619","0"
"Tests/Unit/pos/AutoTerm1.hs"," 0.9758"," 0.9172"," 0.9166","0"
"Tests/Unit/pos/Automate.hs"," 1.0047"," 1.0028"," 0.9453","0"
"Tests/Unit/pos/Avg.hs"," 1.0666"," 0.9162"," 0.9425","0"
"Tests/Unit/pos/BST000.hs"," 1.5838"," 1.9589"," 1.4020","0"
"Tests/Unit/pos/BinarySearch.hs"," 1.3192"," 1.0599"," 0.9872","0"
"Tests/Unit/pos/BinarySearchOverflow.hs"," 1.4509"," 1.1708"," 1.0663","0"
"Tests/Unit/pos/Books.hs"," 0.9178"," 0.9581"," 0.8539","0"
"Tests/Unit/pos/CasesToLogic.hs"," 0.8727"," 0.9342"," 0.9028","0"
"Tests/Unit/pos/Cat.hs"," 0.8843"," 0.8916"," 0.8671","0"
"Tests/Unit/pos/CheckedNum.hs"," 0.8538"," 0.9220"," 0.8185","0"
"Tests/Unit/pos/Chunks.hs"," 0.9646"," 1.0732"," 0.9378","0"
"Tests/Unit/pos/Class.hs"," 1.2094"," 1.2776"," 1.0913","0"
"Tests/Unit/pos/Class2.hs"," 1.1196"," 1.3428"," 1.0643","0"
"Tests/Unit/pos/ClassKind.hs"," 0.8247"," 0.8554"," 0.8170","0"
"Tests/Unit/pos/ClassReg.hs"," 0.8866"," 0.8940"," 1.2322","0"
"Tests/Unit/pos/ClojurVector.hs"," 1.1213"," 1.2389"," 1.0695","0"
"Tests/Unit/pos/Coercion.hs"," 0.8869"," 0.9155"," 0.8606","0"
"Tests/Unit/pos/CommentedOut.hs"," 0.9070"," 0.8916"," 0.9141","0"
"Tests/Unit/pos/CompareConstraints.hs"," 1.2137"," 1.3191"," 1.2161","0"
"Tests/Unit/pos/Constraints.hs"," 0.9242"," 0.9938"," 0.8657","0"
"Tests/Unit/pos/ConstraintsAppend.hs"," 1.7059"," 1.9425"," 1.5717","0"
"Tests/Unit/pos/CountMonad.hs"," 1.0898"," 1.0386"," 0.9467","0"
"Tests/Unit/pos/DB00.hs"," 0.8665"," 0.9054"," 0.8376","0"
"Tests/Unit/pos/DataBase.hs"," 0.9706"," 0.9378"," 0.8493","0"
"Tests/Unit/pos/DataKinds.hs"," 0.8727"," 0.8470"," 0.7983","0"
"Tests/Unit/pos/DependentTypes.hs"," 0.9347"," 0.9370"," 0.8701","0"
"Tests/Unit/pos/Eval.hs"," 1.0310"," 1.0712"," 1.4247","0"
"Tests/Unit/pos/Even.hs"," 0.8222"," 0.8607"," 0.8727","0"
"Tests/Unit/pos/Even0.hs"," 0.8565"," 0.9229"," 0.8945","0"
"Tests/Unit/pos/ExactFunApp.hs"," 0.8679"," 0.9453"," 0.8424","0"
"Tests/Unit/pos/FFI.hs"," 1.3244"," 1.4449"," 1.1584","0"
"Tests/Unit/pos/Foo.hs"," 0.8280"," 0.8465"," 0.8642","0"
"Tests/Unit/pos/Fractional.hs"," 0.8403"," 0.8524"," 0.8878","0"
"Tests/Unit/pos/FractionalInstance.hs"," 1.1103"," 1.8034"," 1.7615","0"
"Tests/Unit/pos/GADTs.hs"," 0.8797"," 0.9169"," 1.0222","0"
"Tests/Unit/pos/GCD.hs"," 1.0508"," 1.1252"," 1.5239","0"
"Tests/Unit/pos/GeneralizedTermination.hs"," 0.9723"," 1.2771"," 0.8974","0"
"Tests/Unit/pos/GhcSort2.hs"," 1.7848"," 2.1047"," 1.6196","0"
"Tests/Unit/pos/GhcSort3.T.hs"," 1.7772"," 2.0788"," 1.5335","0"
"Tests/Unit/pos/Goo.hs"," 0.8342"," 0.8582"," 0.8270","0"
"Tests/Unit/pos/GoodHMeas.hs"," 0.8821"," 0.8894"," 1.3797","0"
"Tests/Unit/pos/Graph.hs"," 1.2989"," 1.4324"," 1.4560","0"
"Tests/Unit/pos/HasElem.hs"," 0.9597"," 0.9157"," 0.8703","0"
"Tests/Unit/pos/HaskellMeasure.hs"," 0.8536"," 0.9247"," 0.8502","0"
"Tests/Unit/pos/HedgeUnion.hs"," 1.0683"," 1.0657"," 0.9782","0"
"Tests/Unit/pos/HigherOrderRecFun.hs"," 0.8434"," 0.8799"," 0.8340","0"
"Tests/Unit/pos/Holes.hs"," 0.9409"," 1.0026"," 0.9360","0"
"Tests/Unit/pos/IcfpDemo.hs"," 1.1398"," 1.1868"," 1.0825","0"
"Tests/Unit/pos/Infinity.hs"," 0.9641"," 0.9995"," 0.9672","0"
"Tests/Unit/pos/Invariants.hs"," 1.0119"," 1.0387"," 0.9435","0"
"Tests/Unit/pos/Keys.hs"," 0.8980"," 0.9484"," 0.8849","0"
"Tests/Unit/pos/LambdaDeBruijn.hs"," 1.6927"," 2.3216"," 1.7504","0"
"Tests/Unit/pos/LambdaEvalMini.hs"," 3.0646"," 3.5908"," 2.7903","0"
"Tests/Unit/pos/LambdaEvalSuperTiny.hs"," 1.1787"," 1.2926"," 1.1532","0"
"Tests/Unit/pos/LambdaEvalTiny.hs"," 1.3427"," 1.5936"," 1.2498","0"
"Tests/Unit/pos/LazyWhere.hs"," 0.8825"," 0.9249"," 0.9092","0"
"Tests/Unit/pos/LazyWhere1.hs"," 0.8864"," 0.9574"," 0.9473","0"
"Tests/Unit/pos/LiquidArray.hs"," 0.9275"," 0.9046"," 0.8348","0"
"Tests/Unit/pos/LiquidAutomate.hs"," 1.2341"," 1.4702"," 1.0500","0"
"Tests/Unit/pos/LiquidClass.hs"," 0.8464"," 1.0517"," 0.8634","0"
"Tests/Unit/pos/ListConcat.hs"," 0.8829"," 1.1851"," 0.8648","0"
"Tests/Unit/pos/ListElem.hs"," 0.8821"," 1.2273"," 0.8722","0"
"Tests/Unit/pos/ListISort-LType.hs"," 1.5413"," 1.9515"," 1.3882","0"
"Tests/Unit/pos/ListISort.hs"," 0.9592"," 1.0585"," 0.9331","0"
"Tests/Unit/pos/ListKeys.hs"," 0.8908"," 1.0275"," 0.8649","0"
"Tests/Unit/pos/ListLen-LType.hs"," 1.5999"," 1.8906"," 1.3267","0"
"Tests/Unit/pos/ListLen.hs"," 1.9322"," 2.0168"," 1.4698","0"
"Tests/Unit/pos/ListMSort.hs"," 1.6637"," 1.9596"," 1.5780","0"
"Tests/Unit/pos/ListQSort-LType.hs"," 1.8653"," 2.2800"," 1.6358","0"
"Tests/Unit/pos/ListQSort.hs"," 1.9915"," 2.4210"," 1.6744","0"
"Tests/Unit/pos/ListRange-LType.hs"," 1.1180"," 1.1771"," 1.0076","0"
"Tests/Unit/pos/ListRange.hs"," 1.0566"," 1.1385"," 1.0086","0"
"Tests/Unit/pos/ListReverse-LType.hs"," 0.9309"," 1.0035"," 0.8975","0"
"Tests/Unit/pos/LocalHole.hs"," 0.9214"," 0.9905"," 0.9003","0"
"Tests/Unit/pos/LocalLazy.hs"," 0.9086"," 0.9799"," 0.9525","0"
"Tests/Unit/pos/LocalSpec.hs"," 0.9569"," 0.9536"," 1.0279","0"
"Tests/Unit/pos/LocalSpec0.hs"," 0.8424"," 1.0227"," 0.8539","0"
"Tests/Unit/pos/LocalSpecImp.hs"," 0.8480"," 0.8982"," 0.8279","0"
"Tests/Unit/pos/LocalTermExpr.hs"," 1.0192"," 1.2645"," 0.8898","0"
"Tests/Unit/pos/LogicCurry1.hs"," 0.8606"," 0.9244"," 0.8303","0"
"Tests/Unit/pos/Loo.hs"," 0.8676"," 0.8976"," 0.8502","0"
"Tests/Unit/pos/MapFusion.hs"," 1.1379"," 1.1946"," 1.0493","0"
"Tests/Unit/pos/MeasureContains.hs"," 0.9404"," 1.0139"," 0.9482","0"
"Tests/Unit/pos/MeasureDups.hs"," 0.9234"," 1.0998"," 0.9504","0"
"Tests/Unit/pos/MeasureSets.hs"," 0.8686"," 1.0268"," 0.8834","0"
"Tests/Unit/pos/Measures.hs"," 0.8519"," 0.8794"," 0.8057","0"
"Tests/Unit/pos/Measures1.hs"," 0.8161"," 0.8975"," 0.8208","0"
"Tests/Unit/pos/Merge1.hs"," 0.9290"," 1.5331"," 0.8753","0"
"Tests/Unit/pos/MergeSort.hs"," 1.5200"," 1.9809"," 1.3516","0"
"Tests/Unit/pos/Mod1.hs"," 0.8679"," 0.9589"," 0.8348","0"
"Tests/Unit/pos/Mod2.hs"," 0.8826"," 0.8746"," 0.8451","0"
"Tests/Unit/pos/Moo.hs"," 0.8324"," 0.8780"," 0.8108","0"
"Tests/Unit/pos/MultipleInvariants.hs"," 0.8544"," 0.8929"," 0.8160","0"
"Tests/Unit/pos/NatClass.hs"," 1.0676"," 1.1471"," 0.9820","0"
"Tests/Unit/pos/NewType.hs"," 0.8548"," 1.1282"," 0.8576","0"
"Tests/Unit/pos/NoCaseExpand.hs"," 1.5764"," 2.1435"," 1.2574","0"
"Tests/Unit/pos/NoExhaustiveGuardsError.hs"," 0.8592"," 1.3937"," 0.8408","0"
"Tests/Unit/pos/ORM.hs"," 1.5362"," 1.7254"," 1.2990","0"
"Tests/Unit/pos/Overwrite.hs"," 0.8633"," 0.8807"," 0.8447","0"
"Tests/Unit/pos/PairMeasure.hs"," 0.8846"," 1.1322"," 0.8790","0"
"Tests/Unit/pos/PairMeasure0.hs"," 0.8587"," 1.0734"," 0.8572","0"
"Tests/Unit/pos/PersistentVector.hs"," 0.9794"," 1.0897"," 0.9099","0"
"Tests/Unit/pos/PlugHoles.hs"," 0.8468"," 0.8351"," 0.7780","0"
"Tests/Unit/pos/PointDist.hs"," 0.9113"," 1.0163"," 0.8561","0"
"Tests/Unit/pos/Product.hs"," 1.4300"," 1.2276"," 1.0649","0"
"Tests/Unit/pos/PromotedDataCons.hs"," 0.8121"," 0.8313"," 0.8369","0"
"Tests/Unit/pos/Propability.hs"," 0.9358"," 0.9760"," 0.8772","0"
"Tests/Unit/pos/QQTySig.hs"," 3.0734"," 3.3036"," 3.3921","0"
"Tests/Unit/pos/QQTySigTyVars.hs"," 3.2236"," 3.1842"," 3.2643","0"
"Tests/Unit/pos/QQTySyn.hs"," 3.8325"," 3.7195"," 3.6575","0"
"Tests/Unit/pos/RealProps.hs"," 0.9195"," 0.9479"," 0.8510","0"
"Tests/Unit/pos/RealProps1.hs"," 0.8798"," 0.9761"," 0.8949","0"
"Tests/Unit/pos/RecQSort.hs"," 1.1338"," 1.6429"," 1.0048","0"
"Tests/Unit/pos/RecQSort0.hs"," 1.1392"," 1.3094"," 1.0068","0"
"Tests/Unit/pos/RecSelector.hs"," 0.8382"," 0.8848"," 0.8455","0"
"Tests/Unit/pos/RecordSelectorError.hs"," 0.8607"," 0.9811"," 0.8113","0"
"Tests/Unit/pos/Reduction.hs"," 0.8236"," 0.8972"," 0.8292","0"
"Tests/Unit/pos/RefinedADTs.hs"," 0.8568"," 0.8981"," 0.8928","0"
"Tests/Unit/pos/ReflectBolleanFunctions.hs"," 0.8779"," 0.9537"," 0.8730","0"
"Tests/Unit/pos/ReflectClient0.hs"," 0.9809"," 1.0651"," 0.8422","0"
"Tests/Unit/pos/ReflectClient1.hs"," 0.8520"," 0.9178"," 0.9070","0"
"Tests/Unit/pos/ReflectClient2.hs"," 0.9526"," 0.9411"," 1.0524","0"
"Tests/Unit/pos/ReflectLib0.hs"," 0.9735"," 0.8562"," 0.8171","0"
"Tests/Unit/pos/ReflectLib1.hs"," 1.0448"," 0.8500"," 0.8039","0"
"Tests/Unit/pos/ReflectLib2.hs"," 1.0555"," 0.9546"," 0.8642","0"
"Tests/Unit/pos/RelativeComplete.hs"," 0.9717"," 0.9402"," 0.8616","0"
"Tests/Unit/pos/Repeat.hs"," 0.9060"," 0.9353"," 0.8798","0"
"Tests/Unit/pos/Resolve.hs"," 0.8576"," 0.8798"," 0.8382","0"
"Tests/Unit/pos/ResolveA.hs"," 0.9089"," 0.8589"," 0.8289","0"
"Tests/Unit/pos/ResolveB.hs"," 0.8388"," 0.8564"," 0.8114","0"
"Tests/Unit/pos/ResolvePred.hs"," 1.0023"," 0.9253"," 0.8718","0"
"Tests/Unit/pos/SafePartialFunctions.hs"," 1.7739"," 0.9167"," 0.9819","0"
"Tests/Unit/pos/SimplerNotation.hs"," 1.1308"," 0.8521"," 0.8465","0"
"Tests/Unit/pos/SimplifyTup00.hs"," 1.1026"," 0.9057"," 0.8468","0"
"Tests/Unit/pos/Solver.hs"," 1.6699"," 2.0713"," 1.5363","0"
"Tests/Unit/pos/StackClass.hs"," 1.1259"," 1.1583"," 0.8699","0"
"Tests/Unit/pos/StackMachine.hs"," 1.2550"," 1.0347"," 0.9434","0"
"Tests/Unit/pos/State.hs"," 1.5455"," 1.1552"," 0.9622","0"
"Tests/Unit/pos/State1.hs"," 1.0753"," 1.1115"," 0.9686","0"
"Tests/Unit/pos/StateConstraints00.hs"," 0.9744"," 0.9498"," 0.8364","0"
"Tests/Unit/pos/StateF00.hs"," 1.1434"," 0.9328"," 0.8475","0"
"Tests/Unit/pos/StreamInvariants.hs"," 0.9501"," 0.8876"," 0.8277","0"
"Tests/Unit/pos/StrictPair0.hs"," 0.9732"," 0.9580"," 0.8684","0"
"Tests/Unit/pos/StrictPair1.hs"," 1.4190"," 1.2957"," 1.1303","0"
"Tests/Unit/pos/StringLit.hs"," 0.9289"," 0.9127"," 0.7990","0"
"Tests/Unit/pos/Strings.hs"," 1.0455"," 0.8995"," 0.8412","0"
"Tests/Unit/pos/StructRec.hs"," 0.9533"," 0.9479"," 0.8496","0"
"Tests/Unit/pos/Sum.hs"," 1.1828"," 0.9948"," 0.8608","0"
"Tests/Unit/pos/T531.hs"," 1.2045"," 0.8617"," 0.8115","0"
"Tests/Unit/pos/T595.hs"," 1.0138"," 0.9362"," 0.9247","0"
"Tests/Unit/pos/T595a.hs"," 0.9749"," 0.8626"," 0.8242","0"
"Tests/Unit/pos/T598.hs"," 1.2680"," 1.0269"," 0.9639","0"
"Tests/Unit/pos/T675.hs"," 1.3482"," 1.1441"," 1.0203","0"
"Tests/Unit/pos/T716.hs"," 1.1178"," 1.0266"," 0.8916","0"
"Tests/Unit/pos/T819.hs"," 1.1725"," 1.0187"," 0.9363","0"
"Tests/Unit/pos/T819A.hs"," 1.3836"," 1.2228"," 1.0933","0"
"Tests/Unit/pos/T820.hs"," 1.4098"," 0.9795"," 0.9632","0"
"Tests/Unit/pos/T866.hs"," 0.9569"," 0.8408"," 0.8694","0"
"Tests/Unit/pos/T914.hs"," 1.0862"," 0.9276"," 0.9309","0"
"Tests/Unit/pos/TemplateHaskell.hs"," 2.4245"," 1.8960"," 1.9466","0"
"Tests/Unit/pos/TemplateHaskellImp.hs"," 1.4548"," 1.1643"," 1.1254","0"
"Tests/Unit/pos/Term.hs"," 1.1570"," 1.1464"," 0.9328","0"
"Tests/Unit/pos/Termination.lhs"," 1.6059"," 1.5092"," 1.5826","0"
"Tests/Unit/pos/TerminationNum.hs"," 1.0828"," 0.9444"," 1.0804","0"
"Tests/Unit/pos/TerminationNum0.hs"," 1.2932"," 0.9216"," 1.1259","0"
"Tests/Unit/pos/Test761.hs"," 0.9219"," 1.1499"," 0.9001","0"
"Tests/Unit/pos/TokenType.hs"," 0.9391"," 0.8629"," 0.8298","0"
"Tests/Unit/pos/TopLevel.hs"," 0.9401"," 0.9428"," 0.9113","0"
"Tests/Unit/pos/ToyMVar.hs"," 1.3210"," 1.2657"," 1.0783","0"
"Tests/Unit/pos/TypeAlias.hs"," 1.1651"," 0.8654"," 1.0846","0"
"Tests/Unit/pos/TypeFamilies.hs"," 0.9837"," 1.0312"," 1.0308","0"
"Tests/Unit/pos/UnboxedTuples.hs"," 0.8661"," 0.9929"," 0.8423","0"
"Tests/Unit/pos/UnboxedTuplesAndTH.hs"," 1.3108"," 1.7322"," 1.3469","0"
"Tests/Unit/pos/Variance.hs"," 1.0171"," 1.0266"," 0.8499","0"
"Tests/Unit/pos/Variance2.hs"," 0.8753"," 0.8624"," 0.8429","0"
"Tests/Unit/pos/VerifiedMonoid.hs"," 1.4250"," 1.2745"," 1.2461","0"
"Tests/Unit/pos/VerifiedNum.hs"," 0.9005"," 0.8755"," 0.8834","0"
"Tests/Unit/pos/WBL.hs"," 2.5877"," 2.4966"," 2.0322","0"
"Tests/Unit/pos/WBL0.hs"," 2.3127"," 2.7579"," 1.8788","0"
"Tests/Unit/pos/Words.hs"," 0.8562"," 0.8576"," 0.8565","0"
"Tests/Unit/pos/Words1.hs"," 0.9879"," 0.9998"," 0.9406","0"
"Tests/Unit/pos/WrapUnWrap.hs"," 0.9705"," 1.0011"," 1.0189","0"
"Tests/Unit/pos/absref-crash.hs"," 0.8559"," 0.9104"," 0.8472","0"
"Tests/Unit/pos/absref-crash0.hs"," 0.9642"," 0.8926"," 0.9077","0"
"Tests/Unit/pos/adt0.hs"," 0.9054"," 0.9897"," 0.8819","0"
"Tests/Unit/pos/alias00.hs"," 0.8750"," 0.9037"," 0.8330","0"
"Tests/Unit/pos/alias01.hs"," 0.8559"," 0.8797"," 0.8152","0"
"Tests/Unit/pos/alphaconvert-List.hs"," 1.4348"," 1.5871"," 1.2343","0"
"Tests/Unit/pos/alphaconvert-Set.hs"," 1.1437"," 1.1395"," 1.0108","0"
"Tests/Unit/pos/anfbug.hs"," 1.0388"," 1.0469"," 0.9225","0"
"Tests/Unit/pos/anftest.hs"," 0.9933"," 0.9746"," 0.8485","0"
"Tests/Unit/pos/anish1.hs"," 0.9791"," 0.9200"," 0.8600","0"
"Tests/Unit/pos/bangPatterns.hs"," 0.9259"," 0.9428"," 0.8626","0"
"Tests/Unit/pos/bar.hs"," 0.9834"," 0.8598"," 0.8028","0"
"Tests/Unit/pos/bool0.hs"," 0.8364"," 0.8792"," 0.8195","0"
"Tests/Unit/pos/bool1.hs"," 0.8430"," 0.8631"," 0.8037","0"
"Tests/Unit/pos/bool2.hs"," 0.9093"," 0.9169"," 0.8337","0"
"Tests/Unit/pos/bounds1.hs"," 0.8517"," 0.8556"," 0.8739","0"
"Tests/Unit/pos/case-lambda-join.hs"," 1.0337"," 1.1112"," 1.1239","0"
"Tests/Unit/pos/cmptag0.hs"," 0.9653"," 1.0275"," 0.9227","0"
"Tests/Unit/pos/compare.hs"," 0.9099"," 0.9710"," 0.9062","0"
"Tests/Unit/pos/compare1.hs"," 0.9799"," 1.0022"," 1.0089","0"
"Tests/Unit/pos/compare2.hs"," 0.8946"," 0.9527"," 0.9502","0"
"Tests/Unit/pos/comprehension.hs"," 0.8471"," 0.9216"," 0.8421","0"
"Tests/Unit/pos/comprehensionTerm.hs"," 1.4326"," 1.6290"," 1.2549","0"
"Tests/Unit/pos/contra0.hs"," 0.9413"," 0.9648"," 0.9759","0"
"Tests/Unit/pos/coretologic.hs"," 0.9370"," 0.9724"," 0.8572","0"
"Tests/Unit/pos/csgordon_issue_296.hs"," 0.8240"," 0.8536"," 1.0037","0"
"Tests/Unit/pos/cut00.hs"," 0.9488"," 1.0156"," 0.8697","0"
"Tests/Unit/pos/data2.hs"," 1.0238"," 1.0704"," 1.2860","0"
"Tests/Unit/pos/dataConQuals.hs"," 0.8386"," 0.9117"," 0.8594","0"
"Tests/Unit/pos/datacon-inv.hs"," 0.8134"," 0.9768"," 0.7944","0"
"Tests/Unit/pos/datacon0.hs"," 1.0687"," 1.0776"," 0.9597","0"
"Tests/Unit/pos/datacon1.hs"," 0.8219"," 0.8919"," 1.0768","0"
"Tests/Unit/pos/deepmeas0.hs"," 0.9713"," 1.0968"," 0.9247","0"
"Tests/Unit/pos/deppair0.hs"," 0.9593"," 1.0212"," 0.9129","0"
"Tests/Unit/pos/deppair1.hs"," 0.9054"," 1.0169"," 0.9548","0"
"Tests/Unit/pos/deptup.hs"," 1.4028"," 1.5853"," 1.2301","0"
"Tests/Unit/pos/deptup0.hs"," 1.0463"," 1.0648"," 1.0512","0"
"Tests/Unit/pos/deptup1.hs"," 1.0817"," 1.2945"," 1.0108","0"
"Tests/Unit/pos/deptup3.hs"," 0.9686"," 1.0292"," 0.9259","0"
"Tests/Unit/pos/deptupW.hs"," 0.9859"," 1.0822"," 0.8996","0"
"Tests/Unit/pos/div000.hs"," 0.8173"," 0.9485"," 0.9090","0"
"Tests/Unit/pos/dropwhile.hs"," 1.2568"," 1.5540"," 1.1093","0"
"Tests/Unit/pos/duplicate-bind.hs"," 0.9108"," 0.9565"," 0.9259","0"
"Tests/Unit/pos/elements.hs"," 1.3749"," 1.5105"," 1.2000","0"
"Tests/Unit/pos/elems.hs"," 0.8982"," 0.9749"," 0.8852","0"
"Tests/Unit/pos/elim-ex-compose.hs"," 1.4228"," 1.3898"," 1.5342","0"
"Tests/Unit/pos/elim-ex-let.hs"," 3.0668"," 2.9380"," 3.4501","0"
"Tests/Unit/pos/elim-ex-list.hs"," 3.0771"," 2.9809"," 3.2342","0"
"Tests/Unit/pos/elim-ex-map-1.hs"," 3.1220"," 3.0759"," 3.1327","0"
"Tests/Unit/pos/elim-ex-map-2.hs"," 3.1494"," 3.0960"," 3.4781","0"
"Tests/Unit/pos/elim00.hs"," 0.8510"," 0.9264"," 0.9750","0"
"Tests/Unit/pos/elim01.hs"," 0.9404"," 0.9870"," 0.9459","0"
"Tests/Unit/pos/eq-poly-measure.hs"," 0.9125"," 0.9497"," 0.9752","0"
"Tests/Unit/pos/eqelems.hs"," 0.8979"," 0.9643"," 0.8847","0"
"Tests/Unit/pos/ex0.hs"," 0.9314"," 1.0432"," 0.9001","0"
"Tests/Unit/pos/ex01.hs"," 0.8930"," 0.9048"," 0.8619","0"
"Tests/Unit/pos/ex1.hs"," 1.0438"," 1.1421"," 1.0561","0"
"Tests/Unit/pos/exp0.hs"," 0.9461"," 1.0078"," 0.8984","0"
"Tests/Unit/pos/extype.hs"," 0.8614"," 0.8897"," 0.8577","0"
"Tests/Unit/pos/failName.hs"," 0.8531"," 0.8648"," 0.8269","0"
"Tests/Unit/pos/filterAbs.hs"," 1.2088"," 1.2415"," 1.2453","0"
"Tests/Unit/pos/foldN.hs"," 0.9463"," 0.9794"," 0.9901","0"
"Tests/Unit/pos/foldr.hs"," 0.9118"," 0.9319"," 0.9777","0"
"Tests/Unit/pos/for.hs"," 1.1507"," 1.3440"," 1.1102","0"
"Tests/Unit/pos/forloop.hs"," 1.1059"," 1.2196"," 1.0385","0"
"Tests/Unit/pos/gadtEval.hs"," 1.5635"," 1.7580"," 2.0285","0"
"Tests/Unit/pos/gimme.hs"," 0.9152"," 0.9115"," 0.8306","0"
"Tests/Unit/pos/go.hs"," 0.9328"," 0.9808"," 0.8804","0"
"Tests/Unit/pos/go_ugly_type.hs"," 0.9880"," 1.0082"," 0.9533","0"
"Tests/Unit/pos/grty0.hs"," 0.8866"," 0.8608"," 0.9527","0"
"Tests/Unit/pos/grty1.hs"," 0.8361"," 0.8709"," 0.8438","0"
"Tests/Unit/pos/grty2.hs"," 0.8678"," 0.8877"," 0.8310","0"
"Tests/Unit/pos/grty3.hs"," 0.9066"," 0.8917"," 0.8343","0"
"Tests/Unit/pos/hello.hs"," 0.8673"," 0.8943"," 0.8723","0"
"Tests/Unit/pos/hole-app.hs"," 0.8801"," 0.8998"," 0.8576","0"
"Tests/Unit/pos/hole-fun.hs"," 0.8457"," 0.8885"," 0.8490","0"
"Tests/Unit/pos/idNat.hs"," 0.8414"," 0.8926"," 0.8228","0"
"Tests/Unit/pos/idNat0.hs"," 0.8179"," 0.8798"," 0.8209","0"
"Tests/Unit/pos/imp0.hs"," 0.9248"," 0.9455"," 0.9363","0"
"Tests/Unit/pos/implies.hs"," 0.8803"," 0.8695"," 0.8359","0"
"Tests/Unit/pos/infix.hs"," 0.9126"," 0.9980"," 0.9726","0"
"Tests/Unit/pos/initarray.hs"," 1.2298"," 1.2858"," 1.1550","0"
"Tests/Unit/pos/inline.hs"," 0.9136"," 0.9687"," 0.8929","0"
"Tests/Unit/pos/inline1.hs"," 0.8307"," 0.8808"," 0.8199","0"
"Tests/Unit/pos/invlhs.hs"," 0.8164"," 0.8946"," 0.8374","0"
"Tests/Unit/pos/ite.hs"," 0.8747"," 0.9453"," 0.8646","0"
"Tests/Unit/pos/ite1.hs"," 0.8549"," 0.8781"," 0.8339","0"
"Tests/Unit/pos/jeff.hs"," 4.2772"," 5.2112"," 4.2200","0"
"Tests/Unit/pos/kmp.hs"," 2.4021"," 3.0251"," 2.2087","0"
"Tests/Unit/pos/kmpVec.hs"," 2.1899"," 2.3701"," 2.2017","0"
"Tests/Unit/pos/lets.hs"," 1.0309"," 1.1392"," 1.3594","0"
"Tests/Unit/pos/lex.hs"," 0.8869"," 0.9209"," 0.8521","0"
"Tests/Unit/pos/listAnf.hs"," 0.9677"," 1.2761"," 0.9263","0"
"Tests/Unit/pos/listSet.hs"," 1.1265"," 1.1843"," 1.0420","0"
"Tests/Unit/pos/listSetDemo.hs"," 1.0765"," 1.1775"," 1.0438","0"
"Tests/Unit/pos/listqual.hs"," 0.9203"," 0.9943"," 0.8723","0"
"Tests/Unit/pos/lit.hs"," 0.8493"," 0.9086"," 0.8387","0"
"Tests/Unit/pos/lit00.hs"," 0.9250"," 0.9654"," 0.9349","0"
"Tests/Unit/pos/lit02.hs"," 0.8960"," 0.9423"," 0.8583","0"
"Tests/Unit/pos/malformed0.hs"," 1.8265"," 2.2567"," 1.4799","0"
"Tests/Unit/pos/mapTvCrash.hs"," 0.8891"," 0.9741"," 0.8273","0"
"Tests/Unit/pos/maps.hs"," 1.0283"," 1.2685"," 0.9185","0"
"Tests/Unit/pos/maps1.hs"," 0.8970"," 1.1569"," 0.8914","0"
"Tests/Unit/pos/maybe.hs"," 1.4228"," 1.9883"," 1.2570","0"
"Tests/Unit/pos/maybe0.hs"," 0.9015"," 0.9759"," 0.8781","0"
"Tests/Unit/pos/maybe00.hs"," 0.8398"," 0.9209"," 0.8642","0"
"Tests/Unit/pos/maybe000.hs"," 0.8911"," 0.9754"," 1.1060","0"
"Tests/Unit/pos/maybe1.hs"," 1.0833"," 1.1912"," 1.1049","0"
"Tests/Unit/pos/maybe2.hs"," 1.4970"," 1.9956"," 1.4674","0"
"Tests/Unit/pos/maybe3.hs"," 0.8692"," 0.9198"," 0.9933","0"
"Tests/Unit/pos/maybe4.hs"," 0.8854"," 0.9674"," 0.9863","0"
"Tests/Unit/pos/meas0.hs"," 0.9705"," 1.0433"," 0.9218","0"
"Tests/Unit/pos/meas00.hs"," 0.9555"," 1.0539"," 0.9141","0"
"Tests/Unit/pos/meas00a.hs"," 0.8924"," 0.9377"," 0.8685","0"
"Tests/Unit/pos/meas0a.hs"," 0.9409"," 1.0032"," 0.8957","0"
"Tests/Unit/pos/meas1.hs"," 0.9442"," 1.0343"," 0.9281","0"
"Tests/Unit/pos/meas10.hs"," 1.0225"," 1.2019"," 0.9548","0"
"Tests/Unit/pos/meas11.hs"," 0.9487"," 1.1045"," 0.8820","0"
"Tests/Unit/pos/meas2.hs"," 0.9153"," 1.1480"," 0.8984","0"
"Tests/Unit/pos/meas3.hs"," 1.0167"," 1.2803"," 0.9637","0"
"Tests/Unit/pos/meas4.hs"," 1.0971"," 1.1835"," 0.9932","0"
"Tests/Unit/pos/meas5.hs"," 1.7106"," 2.2166"," 1.4860","0"
"Tests/Unit/pos/meas6.hs"," 1.0993"," 1.4312"," 1.0354","0"
"Tests/Unit/pos/meas7.hs"," 0.9552"," 1.0401"," 0.9113","0"
"Tests/Unit/pos/meas8.hs"," 0.9552"," 0.9935"," 0.9543","0"
"Tests/Unit/pos/meas9.hs"," 1.0562"," 1.1250"," 0.9759","0"
"Tests/Unit/pos/modTest.hs"," 0.9910"," 0.9585"," 0.8739","0"
"Tests/Unit/pos/monad1.hs"," 0.8329"," 0.9097"," 0.8088","0"
"Tests/Unit/pos/monad2.hs"," 0.8768"," 0.8731"," 0.8094","0"
"Tests/Unit/pos/monad5.hs"," 1.1685"," 1.2771"," 1.0668","0"
"Tests/Unit/pos/monad6.hs"," 0.9767"," 1.0848"," 0.9008","0"
"Tests/Unit/pos/monad7.hs"," 1.1760"," 1.2942"," 1.0373","0"
"Tests/Unit/pos/multi-pred-app-00.hs"," 0.8267"," 0.9363"," 0.8094","0"
"Tests/Unit/pos/mutrec.hs"," 0.8853"," 0.8814"," 0.8177","0"
"Tests/Unit/pos/nats.hs"," 0.9762"," 1.2497"," 0.9128","0"
"Tests/Unit/pos/niki.hs"," 0.9405"," 1.0510"," 0.9100","0"
"Tests/Unit/pos/niki1.hs"," 0.9502"," 1.1226"," 0.9252","0"
"Tests/Unit/pos/pair00.hs"," 1.4957"," 2.0682"," 1.3135","0"
"Tests/Unit/pos/pargs.hs"," 0.8816"," 1.0439"," 0.7894","0"
"Tests/Unit/pos/pargs1.hs"," 0.8304"," 1.4598"," 0.8115","0"
"Tests/Unit/pos/partial-tycon.hs"," 0.8272"," 1.2456"," 0.7907","0"
"Tests/Unit/pos/partialmeasure.hs"," 0.8534"," 1.4887"," 0.8284","0"
"Tests/Unit/pos/poly0.hs"," 0.9707"," 1.1294"," 0.9309","0"
"Tests/Unit/pos/poly1.hs"," 0.9623"," 1.1538"," 0.8933","0"
"Tests/Unit/pos/poly2-degenerate.hs"," 0.9185"," 1.0430"," 0.8832","0"
"Tests/Unit/pos/poly2.hs"," 0.9685"," 1.7093"," 0.8874","0"
"Tests/Unit/pos/poly3.hs"," 1.0371"," 1.6735"," 0.8489","0"
"Tests/Unit/pos/poly3a.hs"," 0.9694"," 1.3673"," 0.8457","0"
"Tests/Unit/pos/poly4.hs"," 0.9924"," 1.2619"," 0.8757","0"
"Tests/Unit/pos/polyfun.hs"," 0.9980"," 1.1605"," 0.8807","0"
"Tests/Unit/pos/poslist.hs"," 1.1936"," 1.6351"," 1.0148","0"
"Tests/Unit/pos/poslist_dc.hs"," 1.4261"," 1.0946"," 0.9193","0"
"Tests/Unit/pos/pragma0.hs"," 0.9195"," 0.8841"," 0.8017","0"
"Tests/Unit/pos/pred.hs"," 1.0001"," 0.9076"," 0.8161","0"
"Tests/Unit/pos/primInt0.hs"," 1.6310"," 1.0300"," 0.9136","0"
"Tests/Unit/pos/profcrasher.hs"," 0.9505"," 0.9553"," 0.8499","0"
"Tests/Unit/pos/propmeasure.hs"," 1.0652"," 1.1152"," 0.9314","0"
"Tests/Unit/pos/propmeasure1.hs"," 0.8202"," 1.1225"," 0.8172","0"
"Tests/Unit/pos/qualTest.hs"," 0.9398"," 0.9529"," 0.8585","0"
"Tests/Unit/pos/range.hs"," 1.2162"," 1.4314"," 1.1271","0"
"Tests/Unit/pos/range1.hs"," 0.9919"," 1.0433"," 0.8902","0"
"Tests/Unit/pos/rangeAdt.hs"," 2.8049"," 3.5255"," 2.5418","0"
"Tests/Unit/pos/rec_annot_go.hs"," 1.0524"," 1.1660"," 1.0920","0"
"Tests/Unit/pos/record0.hs"," 0.9927"," 1.1391"," 1.0573","0"
"Tests/Unit/pos/record1.hs"," 0.8199"," 0.9861"," 0.9332","0"
"Tests/Unit/pos/recursion0.hs"," 0.9013"," 1.0504"," 0.8309","0"
"Tests/Unit/pos/reflect0.hs"," 0.9370"," 1.0688"," 0.9058","0"
"Tests/Unit/pos/repeatHigherOrder.hs"," 1.7032"," 1.9880"," 1.2915","0"
"Tests/Unit/pos/risers.hs"," 1.0842"," 1.0075"," 0.9073","0"
"Tests/Unit/pos/rta.hs"," 1.2387"," 0.8827"," 0.8411","0"
"Tests/Unit/pos/scanr.hs"," 1.1113"," 1.1102"," 0.9385","0"
"Tests/Unit/pos/selfList.hs"," 1.2279"," 1.1553"," 0.9465","0"
"Tests/Unit/pos/spec0.hs"," 1.1581"," 1.0801"," 0.9639","0"
"Tests/Unit/pos/stacks0.hs"," 1.1178"," 1.0744"," 0.9183","0"
"Tests/Unit/pos/state00.hs"," 1.1008"," 0.9612"," 0.8544","0"
"Tests/Unit/pos/stateInvarint.hs"," 1.3923"," 1.4120"," 1.0305","0"
"Tests/Unit/pos/string00.hs"," 1.0572"," 0.9766"," 0.8899","0"
"Tests/Unit/pos/tagBinder.hs"," 0.9940"," 0.9225"," 0.8087","0"
"Tests/Unit/pos/take.hs"," 1.3371"," 1.4356"," 1.1799","0"
"Tests/Unit/pos/term0.hs"," 1.1783"," 1.0431"," 1.0045","0"
"Tests/Unit/pos/test0.hs"," 1.1668"," 0.9551"," 1.3348","0"
"Tests/Unit/pos/test00-int.hs"," 1.0474"," 1.0042"," 1.3492","0"
"Tests/Unit/pos/test00.hs"," 1.2026"," 0.9496"," 1.1891","0"
"Tests/Unit/pos/test00.old.hs"," 1.1112"," 0.9480"," 1.0901","0"
"Tests/Unit/pos/test000.hs"," 1.1609"," 1.0609"," 1.1711","0"
"Tests/Unit/pos/test00b.hs"," 1.1260"," 0.9962"," 1.2190","0"
"Tests/Unit/pos/test00c.hs"," 1.3549"," 1.2510"," 1.1318","0"
"Tests/Unit/pos/test1.hs"," 1.4081"," 1.3296"," 0.8729","0"
"Tests/Unit/pos/test2.hs"," 0.9968"," 1.2955"," 0.8901","0"
"Tests/Unit/pos/testRec.hs"," 1.0290"," 0.9640"," 0.8796","0"
"Tests/Unit/pos/top0.hs"," 1.3278"," 1.1120"," 0.9565","0"
"Tests/Unit/pos/trans.hs"," 1.5212"," 1.1840"," 1.0037","0"
"Tests/Unit/pos/transTAG.hs"," 2.7120"," 2.8339"," 2.0858","0"
"Tests/Unit/pos/transpose.hs"," 1.8098"," 1.6892"," 1.7120","0"
"Tests/Unit/pos/tup0.hs"," 1.4911"," 0.9099"," 0.8843","0"
"Tests/Unit/pos/tupparse.hs"," 0.9788"," 0.9981"," 1.0777","0"
"Tests/Unit/pos/tyExpr.hs"," 1.1088"," 0.9324"," 0.9713","0"
"Tests/Unit/pos/tyclass0.hs"," 1.0270"," 0.8847"," 1.1379","0"
"Tests/Unit/pos/tyfam0.hs"," 1.0924"," 0.9653"," 1.1729","0"
"Tests/Unit/pos/tyvar.hs"," 0.9066"," 0.9595"," 0.8347","0"
"Tests/Unit/pos/unusedtyvars.hs"," 0.9105"," 0.8751"," 0.8401","0"
"Tests/Unit/pos/vecloop.hs"," 1.2321"," 1.2942"," 1.0968","0"
"Tests/Unit/pos/vector0.hs"," 1.3331"," 1.6226"," 1.2833","0"
"Tests/Unit/pos/vector00.hs"," 1.0685"," 1.0884"," 0.9847","0"
"Tests/Unit/pos/vector1.hs"," 1.5297"," 2.0508"," 1.3116","0"
"Tests/Unit/pos/vector1a.hs"," 1.5190"," 1.6428"," 1.3808","0"
"Tests/Unit/pos/vector1b.hs"," 1.5457"," 1.6728"," 1.3776","0"
"Tests/Unit/pos/vector2.hs"," 1.8941"," 2.3656"," 1.6723","0"
"Tests/Unit/pos/wrap0.hs"," 1.1120"," 1.0590"," 1.0857","0"
"Tests/Unit/pos/wrap1.hs"," 1.2458"," 1.2924"," 1.2187","0"
"Tests/Unit/pos/zipSO.hs"," 1.1050"," 1.3621"," 1.4683","0"
"Tests/Unit/pos/zipW.hs"," 1.0489"," 1.0739"," 1.3013","0"
"Tests/Unit/pos/zipW1.hs"," 0.9430"," 0.9498"," 1.8078","0"
"Tests/Unit/pos/zipW2.hs"," 1.0846"," 1.0576"," 1.1298","0"
"Tests/Unit/pos/zipper.hs"," 2.0013"," 2.2146"," 2.0950","0"
"Tests/Unit/pos/zipper0.hs"," 1.4383"," 1.4381"," 1.4880","0"
"Tests/Unit/pos/zipper000.hs"," 1.2066"," 1.2798"," 1.2264","0"