slowdown.csv

test master, time(s), result,test axioms, time(s), result,axiom-master
Tests/Unit/pos/zipW2.hs,1.0837, True,Tests/Unit/pos/zipW2.hs,0.8205, True,0
Tests/Unit/pos/zipW1.hs,0.7612, True,Tests/Unit/pos/zipW1.hs,0.8004, True,0
Tests/Unit/pos/zipW.hs,0.8471, True,Tests/Unit/pos/zipW.hs,0.9864, True,0
Tests/Unit/pos/zipSO.hs,1.0827, True,Tests/Unit/pos/zipSO.hs,0.9938, True,0
Tests/Unit/pos/zipper000.hs,1.4869, True,Tests/Unit/pos/zipper000.hs,1.4988, True,0
Tests/Unit/pos/zipper0.hs,1.5209, True,Tests/Unit/pos/zipper0.hs,1.598, True,0
Tests/Unit/pos/zipper.hs,4.1566, True,Tests/Unit/pos/zipper.hs,3.254, True,0
Tests/Unit/pos/wrap1.hs,1.3167, True,Tests/Unit/pos/wrap1.hs,0.9496, True,0
Tests/Unit/pos/wrap0.hs,1.4838, True,Tests/Unit/pos/wrap0.hs,0.7752, True,0
Tests/Unit/pos/WBL0.hs,3.2925, True,Tests/Unit/pos/WBL0.hs,1.8498, True,0
Tests/Unit/pos/WBL.hs,2.9627, True,Tests/Unit/pos/WBL.hs,2.2118, True,0
Tests/Unit/pos/vector2.hs,2.1187, True,Tests/Unit/pos/vector2.hs,1.4578, True,0
Tests/Unit/pos/vector1b.hs,2.0248, True,Tests/Unit/pos/vector1b.hs,1.1562, True,0
Tests/Unit/pos/vector1a.hs,1.918, True,Tests/Unit/pos/vector1a.hs,1.1308, True,0
Tests/Unit/pos/vector1.hs,0.0658, False,Tests/Unit/pos/vector1.hs,1.0721, True,0
Tests/Unit/pos/vector00.hs,1.3608, True,Tests/Unit/pos/vector00.hs,0.9247, True,0
Tests/Unit/pos/vector0.hs,1.9508, True,Tests/Unit/pos/vector0.hs,1.9011, True,0
Tests/Unit/pos/vecloop.hs,1.5364, True,Tests/Unit/pos/vecloop.hs,1.5424, True,0
Tests/Unit/pos/Variance.hs,1.0116, True,Tests/Unit/pos/Variance.hs,1.0845, True,0
Tests/Unit/pos/unusedtyvars.hs,1.0134, True,Tests/Unit/pos/unusedtyvars.hs,1.0237, True,0
Tests/Unit/pos/tyvar.hs,0.9834, True,Tests/Unit/pos/tyvar.hs,1.5108, True,0
Tests/Unit/pos/TypeAlias.hs,0.9838, True,Tests/Unit/pos/TypeAlias.hs,0.9683, True,0
Tests/Unit/pos/tyfam0.hs,1.1184, True,Tests/Unit/pos/tyfam0.hs,0.7888, True,0
Tests/Unit/pos/tyExpr.hs,1.005, True,Tests/Unit/pos/tyExpr.hs,1.0007, True,0
Tests/Unit/pos/tyclass0.hs,0.988, True,Tests/Unit/pos/tyclass0.hs,0.9699, True,0
Tests/Unit/pos/tupparse.hs,1.2546, True,Tests/Unit/pos/tupparse.hs,0.8568, True,0
Tests/Unit/pos/tup0.hs,1.1106, True,Tests/Unit/pos/tup0.hs,0.6755, True,0
Tests/Unit/pos/transTAG.hs,3.2189, True,Tests/Unit/pos/transTAG.hs,2.0688, True,0
Tests/Unit/pos/transpose.hs,2.0748, True,Tests/Unit/pos/transpose.hs,1.9588, True,0
Tests/Unit/pos/trans.hs,1.0873, True,Tests/Unit/pos/trans.hs,1.09, True,0
Tests/Unit/pos/ToyMVar.hs,0.9523, True,Tests/Unit/pos/ToyMVar.hs,1.0041, True,0
Tests/Unit/pos/TopLevel.hs,0.7419, True,Tests/Unit/pos/TopLevel.hs,0.7561, True,0
Tests/Unit/pos/top0.hs,0.8112, True,Tests/Unit/pos/top0.hs,0.7551, True,0
Tests/Unit/pos/TokenType.hs,0.6963, True,Tests/Unit/pos/TokenType.hs,0.6457, True,0
Tests/Unit/pos/testRec.hs,0.7893, True,Tests/Unit/pos/testRec.hs,0.863, True,0
Tests/Unit/pos/Test761.hs,0.7528, True,Tests/Unit/pos/Test761.hs,0.7255, True,0
Tests/Unit/pos/test2.hs,0.7399, True,Tests/Unit/pos/test2.hs,0.7113, True,0
Tests/Unit/pos/test1.hs,0.7316, True,Tests/Unit/pos/test1.hs,0.7046, True,0
Tests/Unit/pos/test00c.hs,0.9723, True,Tests/Unit/pos/test00c.hs,0.9949, True,0
Tests/Unit/pos/test00b.hs,0.7495, True,Tests/Unit/pos/test00b.hs,0.7344, True,0
Tests/Unit/pos/test000.hs,0.7864, True,Tests/Unit/pos/test000.hs,0.7395, True,0
Tests/Unit/pos/test00.old.hs,0.7304, True,Tests/Unit/pos/test00.old.hs,0.9455, True,0
Tests/Unit/pos/test00.hs,0.7255, True,Tests/Unit/pos/test00.hs,1.0113, True,0
Tests/Unit/pos/test00-int.hs,0.7358, True,Tests/Unit/pos/test00-int.hs,0.853, True,0
Tests/Unit/pos/test0.hs,0.7643, True,Tests/Unit/pos/test0.hs,0.8509, True,0
Tests/Unit/pos/TerminationNum0.hs,0.709, True,Tests/Unit/pos/TerminationNum0.hs,0.6847, True,0
Tests/Unit/pos/TerminationNum.hs,0.6582, True,Tests/Unit/pos/TerminationNum.hs,0.6583, True,0
Tests/Unit/pos/Termination.lhs,1.1831, True,Tests/Unit/pos/Termination.lhs,1.1859, True,0
Tests/Unit/pos/term0.hs,0.7745, True,Tests/Unit/pos/term0.hs,0.8286, True,0
Tests/Unit/pos/Term.hs,0.7166, True,Tests/Unit/pos/Term.hs,0.7802, True,0
Tests/Unit/pos/take.hs,1.0377, True,Tests/Unit/pos/take.hs,1.2205, True,0
Tests/Unit/pos/tagBinder.hs,0.644, True,Tests/Unit/pos/tagBinder.hs,0.7618, True,0
Tests/Unit/pos/T598.hs,0.8107, True,Tests/Unit/pos/T598.hs,0.9139, True,0
Tests/Unit/pos/T531.hs,0.635, True,Tests/Unit/pos/T531.hs,0.767, True,0
Tests/Unit/pos/Sum.hs,0.7085, True,Tests/Unit/pos/Sum.hs,0.7509, True,0
Tests/Unit/pos/StructRec.hs,0.6726, True,Tests/Unit/pos/StructRec.hs,0.7125, True,0
Tests/Unit/pos/Strings.hs,0.6914, True,Tests/Unit/pos/Strings.hs,0.7241, True,0
Tests/Unit/pos/StringLit.hs,0.6395, True,Tests/Unit/pos/StringLit.hs,0.6876, True,0
Tests/Unit/pos/string00.hs,0.6802, True,Tests/Unit/pos/string00.hs,0.7235, True,0
Tests/Unit/pos/StrictPair1.hs,0.9096, True,Tests/Unit/pos/StrictPair1.hs,0.9217, True,0
Tests/Unit/pos/StrictPair0.hs,0.6891, True,Tests/Unit/pos/StrictPair0.hs,0.7289, True,0
Tests/Unit/pos/StreamInvariants.hs,0.6555, True,Tests/Unit/pos/StreamInvariants.hs,0.7041, True,0
Tests/Unit/pos/stateInvarint.hs,0.9685, True,Tests/Unit/pos/stateInvarint.hs,0.9717, True,0
Tests/Unit/pos/StateF00.hs,0.7689, True,Tests/Unit/pos/StateF00.hs,0.8194, True,0
Tests/Unit/pos/StateConstraints00.hs,0.7067, True,Tests/Unit/pos/StateConstraints00.hs,0.7393, True,0
Tests/Unit/pos/StateConstraints0.hs,7.4499, True,Tests/Unit/pos/StateConstraints0.hs,6.9772, True,0
Tests/Unit/pos/StateConstraints.hs,4.4576, True,Tests/Unit/pos/StateConstraints.hs,4.2116, True,0
Tests/Unit/pos/State1.hs,0.725, True,Tests/Unit/pos/State1.hs,0.733, True,0
Tests/Unit/pos/state00.hs,0.7058, True,Tests/Unit/pos/state00.hs,0.7355, True,0
Tests/Unit/pos/State.hs,0.9083, True,Tests/Unit/pos/State.hs,0.9242, True,0
Tests/Unit/pos/stacks0.hs,0.7344, True,Tests/Unit/pos/stacks0.hs,0.7665, True,0
Tests/Unit/pos/StackClass.hs,0.7109, True,Tests/Unit/pos/StackClass.hs,0.7, True,0
Tests/Unit/pos/spec0.hs,0.7124, True,Tests/Unit/pos/spec0.hs,0.7499, True,0
Tests/Unit/pos/Solver.hs,1.1876, True,Tests/Unit/pos/Solver.hs,1.1741, True,0
Tests/Unit/pos/SimplerNotation.hs,0.6504, True,Tests/Unit/pos/SimplerNotation.hs,0.6863, True,0
Tests/Unit/pos/selfList.hs,0.9643, True,Tests/Unit/pos/selfList.hs,0.9697, True,0
Tests/Unit/pos/scanr.hs,0.8306, True,Tests/Unit/pos/scanr.hs,0.8522, True,0
Tests/Unit/pos/SafePartialFunctions.hs,0.6808, True,Tests/Unit/pos/SafePartialFunctions.hs,0.7094, True,0
Tests/Unit/pos/risers.hs,1.2436, True,Tests/Unit/pos/risers.hs,1.2388, True,0
Tests/Unit/pos/ResolvePred.hs,0.6733, True,Tests/Unit/pos/ResolvePred.hs,0.704, True,0
Tests/Unit/pos/ResolveB.hs,0.6527, True,Tests/Unit/pos/ResolveB.hs,0.6645, True,0
Tests/Unit/pos/ResolveA.hs,0.6497, True,Tests/Unit/pos/ResolveA.hs,0.6888, True,0
Tests/Unit/pos/Resolve.hs,0.6429, True,Tests/Unit/pos/Resolve.hs,0.6976, True,0
Tests/Unit/pos/Repeat.hs,0.7446, True,Tests/Unit/pos/Repeat.hs,0.7049, True,0
Tests/Unit/pos/RelativeComplete.hs,0.7432, True,Tests/Unit/pos/RelativeComplete.hs,0.7525, True,0
Tests/Unit/pos/recursion0.hs,0.6671, True,Tests/Unit/pos/recursion0.hs,0.6917, True,0
Tests/Unit/pos/RecSelector.hs,0.6629, True,Tests/Unit/pos/RecSelector.hs,0.6837, True,0
Tests/Unit/pos/RecQSort0.hs,0.9045, True,Tests/Unit/pos/RecQSort0.hs,0.9753, True,0
Tests/Unit/pos/RecQSort.hs,0.8915, True,Tests/Unit/pos/RecQSort.hs,0.9417, True,0
Tests/Unit/pos/RecordSelectorError.hs,0.6735, True,Tests/Unit/pos/RecordSelectorError.hs,0.7368, True,0
Tests/Unit/pos/record1.hs,0.649, True,Tests/Unit/pos/record1.hs,0.7127, True,0
Tests/Unit/pos/record0.hs,0.7695, True,Tests/Unit/pos/record0.hs,0.7881, True,0
Tests/Unit/pos/rec_annot_go.hs,0.8206, True,Tests/Unit/pos/rec_annot_go.hs,0.8209, True,0
Tests/Unit/pos/RBTree.hs,1.0712, True,Tests/Unit/pos/RBTree.hs,1.0618, True,0
Tests/Unit/pos/RBTree-ord.hs,9.0565, True,Tests/Unit/pos/RBTree-ord.hs,8.9199, True,0
Tests/Unit/pos/RBTree-height.hs,3.6011, True,Tests/Unit/pos/RBTree-height.hs,4.1755, True,0
Tests/Unit/pos/RBTree-color.hs,3.9277, True,Tests/Unit/pos/RBTree-color.hs,6.3048, True,0
Tests/Unit/pos/RBTree-col-height.hs,5.6017, True,Tests/Unit/pos/RBTree-col-height.hs,7.7144, True,0
Tests/Unit/pos/rangeAdt.hs,2.1127, True,Tests/Unit/pos/rangeAdt.hs,3.0448, True,0
Tests/Unit/pos/range1.hs,0.7451, True,Tests/Unit/pos/range1.hs,0.7748, True,0
Tests/Unit/pos/range.hs,1.0165, True,Tests/Unit/pos/range.hs,1.4817, True,0
Tests/Unit/pos/qualTest.hs,0.6833, True,Tests/Unit/pos/qualTest.hs,0.7792, True,0
Tests/Unit/pos/propmeasure1.hs,0.647, True,Tests/Unit/pos/propmeasure1.hs,1.1202, True,0
Tests/Unit/pos/propmeasure.hs,0.7364, True,Tests/Unit/pos/propmeasure.hs,1.1659, True,0
Tests/Unit/pos/Propability.hs,0.7557, True,Tests/Unit/pos/Propability.hs,1.2274, True,0
Tests/Unit/pos/profcrasher.hs,0.6696, True,Tests/Unit/pos/profcrasher.hs,0.7429, True,0
Tests/Unit/pos/Product.hs,0.9211, True,Tests/Unit/pos/Product.hs,1.0706, True,0
Tests/Unit/pos/primInt0.hs,0.8443, True,Tests/Unit/pos/primInt0.hs,0.8943, True,0
Tests/Unit/pos/pred.hs,0.6487, True,Tests/Unit/pos/pred.hs,0.6678, True,0
Tests/Unit/pos/pragma0.hs,0.6403, True,Tests/Unit/pos/pragma0.hs,0.6875, True,0
Tests/Unit/pos/poslist_dc.hs,0.7522, True,Tests/Unit/pos/poslist_dc.hs,0.8072, True,0
Tests/Unit/pos/poslist.hs,1.0224, True,Tests/Unit/pos/poslist.hs,1.058, True,0
Tests/Unit/pos/polyqual.hs,0.9657, True,Tests/Unit/pos/polyqual.hs,0.988, True,0
Tests/Unit/pos/polyfun.hs,0.7086, True,Tests/Unit/pos/polyfun.hs,0.7332, True,0
Tests/Unit/pos/poly4.hs,0.6736, True,Tests/Unit/pos/poly4.hs,0.7066, True,0
Tests/Unit/pos/poly3a.hs,0.6905, True,Tests/Unit/pos/poly3a.hs,0.7088, True,0
Tests/Unit/pos/poly3.hs,0.689, True,Tests/Unit/pos/poly3.hs,0.732, True,0
Tests/Unit/pos/poly2.hs,0.7305, True,Tests/Unit/pos/poly2.hs,0.774, True,0
Tests/Unit/pos/poly2-degenerate.hs,0.7137, True,Tests/Unit/pos/poly2-degenerate.hs,0.7572, True,0
Tests/Unit/pos/poly1.hs,0.744, True,Tests/Unit/pos/poly1.hs,1.1262, True,0
Tests/Unit/pos/poly0.hs,0.8119, True,Tests/Unit/pos/poly0.hs,1.466, True,0
Tests/Unit/pos/PointDist.hs,0.7497, True,Tests/Unit/pos/PointDist.hs,1.1554, True,0
Tests/Unit/pos/PlugHoles.hs,0.6392, True,Tests/Unit/pos/PlugHoles.hs,1.0325, True,0
Tests/Unit/pos/Permutation.hs,2.0799, True,Tests/Unit/pos/Permutation.hs,2.5226, True,0
Tests/Unit/pos/partialmeasure.hs,0.6763, True,Tests/Unit/pos/partialmeasure.hs,0.7748, True,0
Tests/Unit/pos/partial-tycon.hs,0.6288, True,Tests/Unit/pos/partial-tycon.hs,0.7111, True,0
Tests/Unit/pos/pargs1.hs,0.6501, True,Tests/Unit/pos/pargs1.hs,0.6837, True,0
Tests/Unit/pos/pargs.hs,0.6571, True,Tests/Unit/pos/pargs.hs,0.692, True,0
Tests/Unit/pos/PairMeasure0.hs,0.6842, True,Tests/Unit/pos/PairMeasure0.hs,0.7189, True,0
Tests/Unit/pos/PairMeasure.hs,0.6753, True,Tests/Unit/pos/PairMeasure.hs,0.7418, True,0
Tests/Unit/pos/pair00.hs,1.346, True,Tests/Unit/pos/pair00.hs,1.3922, True,0
Tests/Unit/pos/pair0.hs,1.6237, True,Tests/Unit/pos/pair0.hs,1.6622, True,0
Tests/Unit/pos/pair.hs,1.7301, True,Tests/Unit/pos/pair.hs,1.762, True,0
Tests/Unit/pos/Overwrite.hs,0.6677, True,Tests/Unit/pos/Overwrite.hs,0.8067, True,0
Tests/Unit/pos/OrdList.hs,25.8954, True,Tests/Unit/pos/OrdList.hs,23.8391, True,0
Tests/Unit/pos/nullterm.hs,1.208, True,Tests/Unit/pos/nullterm.hs,1.191, True,0
Tests/Unit/pos/NoExhaustiveGuardsError.hs,0.7233, True,Tests/Unit/pos/NoExhaustiveGuardsError.hs,0.7481, True,0
Tests/Unit/pos/NoCaseExpand.hs,1.0098, True,Tests/Unit/pos/NoCaseExpand.hs,1.0956, True,0
Tests/Unit/pos/niki1.hs,0.7367, True,Tests/Unit/pos/niki1.hs,0.796, True,0
Tests/Unit/pos/niki.hs,0.7145, True,Tests/Unit/pos/niki.hs,0.7904, True,0
Tests/Unit/pos/nats.hs,1.1707, True,Tests/Unit/pos/nats.hs,1.2592, True,0
Tests/Unit/pos/MutualRec.hs,1.9673, True,Tests/Unit/pos/MutualRec.hs,2.0939, True,0
Tests/Unit/pos/mutrec.hs,0.6543, True,Tests/Unit/pos/mutrec.hs,0.7094, True,0
Tests/Unit/pos/multi-pred-app-00.hs,0.6657, True,Tests/Unit/pos/multi-pred-app-00.hs,0.7272, True,0
Tests/Unit/pos/Moo.hs,0.6711, True,Tests/Unit/pos/Moo.hs,0.6851, True,0
Tests/Unit/pos/monad7.hs,1.0245, True,Tests/Unit/pos/monad7.hs,1.0288, True,0
Tests/Unit/pos/monad6.hs,0.8313, True,Tests/Unit/pos/monad6.hs,0.7818, True,0
Tests/Unit/pos/monad5.hs,0.9958, True,Tests/Unit/pos/monad5.hs,0.998, True,0
Tests/Unit/pos/monad2.hs,0.6892, True,Tests/Unit/pos/monad2.hs,0.7242, True,0
Tests/Unit/pos/monad1.hs,0.6539, True,Tests/Unit/pos/monad1.hs,0.7075, True,0
Tests/Unit/pos/modTest.hs,1.1448, True,Tests/Unit/pos/modTest.hs,0.7791, True,0
Tests/Unit/pos/Mod2.hs,0.6577, True,Tests/Unit/pos/Mod2.hs,0.7177, True,0
Tests/Unit/pos/Mod1.hs,0.6432, True,Tests/Unit/pos/Mod1.hs,0.7708, True,0
Tests/Unit/pos/Merge1.hs,0.8086, True,Tests/Unit/pos/Merge1.hs,0.8175, True,0
Tests/Unit/pos/MeasureSets.hs,0.6898, True,Tests/Unit/pos/MeasureSets.hs,0.7201, True,0
Tests/Unit/pos/Measures1.hs,0.6657, True,Tests/Unit/pos/Measures1.hs,0.682, True,0
Tests/Unit/pos/Measures.hs,0.6375, True,Tests/Unit/pos/Measures.hs,0.7117, True,0
Tests/Unit/pos/MeasureDups.hs,0.6998, True,Tests/Unit/pos/MeasureDups.hs,0.7564, True,0
Tests/Unit/pos/MeasureContains.hs,0.7205, True,Tests/Unit/pos/MeasureContains.hs,0.753, True,0
Tests/Unit/pos/meas9.hs,0.7454, True,Tests/Unit/pos/meas9.hs,0.7978, True,0
Tests/Unit/pos/meas8.hs,0.6819, True,Tests/Unit/pos/meas8.hs,0.7471, True,0
Tests/Unit/pos/meas7.hs,0.6895, True,Tests/Unit/pos/meas7.hs,0.7227, True,0
Tests/Unit/pos/meas6.hs,0.8948, True,Tests/Unit/pos/meas6.hs,0.9442, True,0
Tests/Unit/pos/meas5.hs,1.3007, True,Tests/Unit/pos/meas5.hs,1.3646, True,0
Tests/Unit/pos/meas4.hs,0.8457, True,Tests/Unit/pos/meas4.hs,0.8813, True,0
Tests/Unit/pos/meas3.hs,0.8015, True,Tests/Unit/pos/meas3.hs,0.8922, True,0
Tests/Unit/pos/meas2.hs,0.6932, True,Tests/Unit/pos/meas2.hs,0.7259, True,0
Tests/Unit/pos/meas11.hs,0.6703, True,Tests/Unit/pos/meas11.hs,0.711, True,0
Tests/Unit/pos/meas10.hs,0.7509, True,Tests/Unit/pos/meas10.hs,0.825, True,0
Tests/Unit/pos/meas1.hs,0.7051, True,Tests/Unit/pos/meas1.hs,0.7781, True,0
Tests/Unit/pos/meas0a.hs,0.7216, True,Tests/Unit/pos/meas0a.hs,0.7692, True,0
Tests/Unit/pos/meas00a.hs,0.6746, True,Tests/Unit/pos/meas00a.hs,0.7045, True,0
Tests/Unit/pos/meas00.hs,0.7081, True,Tests/Unit/pos/meas00.hs,0.7459, True,0
Tests/Unit/pos/meas0.hs,0.7223, True,Tests/Unit/pos/meas0.hs,0.7508, True,0
Tests/Unit/pos/maybe4.hs,0.6911, True,Tests/Unit/pos/maybe4.hs,0.7078, True,0
Tests/Unit/pos/maybe3.hs,0.7016, True,Tests/Unit/pos/maybe3.hs,0.7724, True,0
Tests/Unit/pos/maybe2.hs,1.0891, True,Tests/Unit/pos/maybe2.hs,1.1129, True,0
Tests/Unit/pos/maybe1.hs,0.7692, True,Tests/Unit/pos/maybe1.hs,0.8503, True,0
Tests/Unit/pos/maybe000.hs,0.6677, True,Tests/Unit/pos/maybe000.hs,0.7228, True,0
Tests/Unit/pos/maybe00.hs,0.6335, True,Tests/Unit/pos/maybe00.hs,0.6984, True,0
Tests/Unit/pos/maybe0.hs,0.6794, True,Tests/Unit/pos/maybe0.hs,0.7127, True,0
Tests/Unit/pos/maybe.hs,1.1068, True,Tests/Unit/pos/maybe.hs,1.1806, True,0
Tests/Unit/pos/mapTvCrash.hs,0.6773, True,Tests/Unit/pos/mapTvCrash.hs,0.7337, True,0
Tests/Unit/pos/maps1.hs,0.7388, True,Tests/Unit/pos/maps1.hs,0.7984, True,0
Tests/Unit/pos/maps.hs,0.7847, True,Tests/Unit/pos/maps.hs,0.8148, True,0
Tests/Unit/pos/mapreduce.hs,2.0538, True,Tests/Unit/pos/mapreduce.hs,2.0363, True,0
Tests/Unit/pos/mapreduce-bare.hs,3.8605, True,Tests/Unit/pos/mapreduce-bare.hs,3.9541, True,0
Tests/Unit/pos/Map2.hs,17.5913, True,Tests/Unit/pos/Map2.hs,17.7459, True,0
Tests/Unit/pos/Map0.hs,17.0914, True,Tests/Unit/pos/Map0.hs,17.0042, True,0
Tests/Unit/pos/Map.hs,16.9238, True,Tests/Unit/pos/Map.hs,17.123, True,0
Tests/Unit/pos/malformed0.hs,1.0631, True,Tests/Unit/pos/malformed0.hs,1.0801, True,0
Tests/Unit/pos/Loo.hs,0.6546, True,Tests/Unit/pos/Loo.hs,0.6911, True,0
Tests/Unit/pos/LocalTermExpr.hs,0.7313, True,Tests/Unit/pos/LocalTermExpr.hs,0.8013, True,0
Tests/Unit/pos/LocalSpecImp.hs,0.6435, True,Tests/Unit/pos/LocalSpecImp.hs,0.6942, True,0
Tests/Unit/pos/LocalSpec0.hs,0.6399, True,Tests/Unit/pos/LocalSpec0.hs,0.6758, True,0
Tests/Unit/pos/LocalSpec.hs,0.674, True,Tests/Unit/pos/LocalSpec.hs,0.751, True,0
Tests/Unit/pos/LocalLazy.hs,0.6884, True,Tests/Unit/pos/LocalLazy.hs,0.757, True,0
Tests/Unit/pos/LocalHole.hs,0.6887, True,Tests/Unit/pos/LocalHole.hs,0.7698, True,0
Tests/Unit/pos/lit.hs,0.6548, True,Tests/Unit/pos/lit.hs,0.7117, True,0
Tests/Unit/pos/ListSort.hs,3.1832, True,Tests/Unit/pos/ListSort.hs,3.4389, True,0
Tests/Unit/pos/listSetDemo.hs,0.831, True,Tests/Unit/pos/listSetDemo.hs,0.877, True,0
Tests/Unit/pos/listSet.hs,0.8001, True,Tests/Unit/pos/listSet.hs,0.8782, True,0
Tests/Unit/pos/ListReverse-LType.hs,0.7014, True,Tests/Unit/pos/ListReverse-LType.hs,0.7383, True,0
Tests/Unit/pos/ListRange.hs,0.8279, True,Tests/Unit/pos/ListRange.hs,0.8205, True,0
Tests/Unit/pos/ListRange-LType.hs,0.7961, True,Tests/Unit/pos/ListRange-LType.hs,0.8733, True,0
Tests/Unit/pos/listqual.hs,0.6957, True,Tests/Unit/pos/listqual.hs,0.7412, True,0
Tests/Unit/pos/ListQSort.hs,1.384, True,Tests/Unit/pos/ListQSort.hs,1.4225, True,0
Tests/Unit/pos/ListQSort-LType.hs,1.3685, True,Tests/Unit/pos/ListQSort-LType.hs,1.4157, True,0
Tests/Unit/pos/ListMSort.hs,2.4915, True,Tests/Unit/pos/ListMSort.hs,2.5788, True,0
Tests/Unit/pos/ListMSort-LType.hs,4.6924, True,Tests/Unit/pos/ListMSort-LType.hs,4.9095, True,0
Tests/Unit/pos/ListLen.hs,1.3602, True,Tests/Unit/pos/ListLen.hs,1.4157, True,0
Tests/Unit/pos/ListLen-LType.hs,1.2664, True,Tests/Unit/pos/ListLen-LType.hs,1.3872, True,0
Tests/Unit/pos/ListKeys.hs,0.6772, True,Tests/Unit/pos/ListKeys.hs,0.7431, True,0
Tests/Unit/pos/ListISort.hs,0.7812, True,Tests/Unit/pos/ListISort.hs,0.8101, True,0
Tests/Unit/pos/ListISort-LType.hs,1.3654, True,Tests/Unit/pos/ListISort-LType.hs,1.3434, True,0
Tests/Unit/pos/ListElem.hs,0.6819, True,Tests/Unit/pos/ListElem.hs,0.7105, True,0
Tests/Unit/pos/ListConcat.hs,0.6876, True,Tests/Unit/pos/ListConcat.hs,0.7228, True,0
Tests/Unit/pos/listAnf.hs,0.753, True,Tests/Unit/pos/listAnf.hs,0.8562, True,0
Tests/Unit/pos/LiquidClass.hs,0.6574, True,Tests/Unit/pos/LiquidClass.hs,0.7829, True,0
Tests/Unit/pos/LiquidArray.hs,0.6575, True,Tests/Unit/pos/LiquidArray.hs,0.7514, True,0
Tests/Unit/pos/lex.hs,0.6608, True,Tests/Unit/pos/lex.hs,0.7105, True,0
Tests/Unit/pos/lets.hs,0.9747, True,Tests/Unit/pos/lets.hs,0.9847, True,0
Tests/Unit/pos/LazyWhere1.hs,0.7863, True,Tests/Unit/pos/LazyWhere1.hs,0.7249, True,0
Tests/Unit/pos/LazyWhere.hs,0.7583, True,Tests/Unit/pos/LazyWhere.hs,0.716, True,0
Tests/Unit/pos/LambdaEvalTiny.hs,1.5074, True,Tests/Unit/pos/LambdaEvalTiny.hs,1.4688, True,0
Tests/Unit/pos/LambdaEvalSuperTiny.hs,1.3847, True,Tests/Unit/pos/LambdaEvalSuperTiny.hs,1.4447, True,0
Tests/Unit/pos/LambdaEvalMini.hs,3.4666, True,Tests/Unit/pos/LambdaEvalMini.hs,3.5621, True,0
Tests/Unit/pos/LambdaEval.hs,24.0628, True,Tests/Unit/pos/LambdaEval.hs,24.7623, True,0
Tests/Unit/pos/LambdaDeBruijn.hs,1.7641, True,Tests/Unit/pos/LambdaDeBruijn.hs,1.915, True,0
Tests/Unit/pos/kmpVec.hs,1.4244, True,Tests/Unit/pos/kmpVec.hs,1.5292, True,0
Tests/Unit/pos/kmpIO.hs,0.8807, True,Tests/Unit/pos/kmpIO.hs,0.9389, True,0
Tests/Unit/pos/kmp.hs,1.8976, True,Tests/Unit/pos/kmp.hs,1.9072, True,0
Tests/Unit/pos/Keys.hs,0.6895, True,Tests/Unit/pos/Keys.hs,0.7516, True,0
Tests/Unit/pos/ite1.hs,0.6585, True,Tests/Unit/pos/ite1.hs,0.6979, True,0
Tests/Unit/pos/ite.hs,0.6614, True,Tests/Unit/pos/ite.hs,0.7054, True,0
Tests/Unit/pos/invlhs.hs,0.6473, True,Tests/Unit/pos/invlhs.hs,0.694, True,0
Tests/Unit/pos/Invariants.hs,0.7745, True,Tests/Unit/pos/Invariants.hs,0.8173, True,0
Tests/Unit/pos/inline1.hs,0.6332, True,Tests/Unit/pos/inline1.hs,0.7073, True,0
Tests/Unit/pos/inline.hs,0.7419, True,Tests/Unit/pos/inline.hs,0.7795, True,0
Tests/Unit/pos/initarray.hs,1.0544, True,Tests/Unit/pos/initarray.hs,1.1179, True,0
Tests/Unit/pos/infix.hs,0.6844, True,Tests/Unit/pos/infix.hs,0.7394, True,0
Tests/Unit/pos/Infinity.hs,0.7768, True,Tests/Unit/pos/Infinity.hs,0.8214, True,0
Tests/Unit/pos/implies.hs,0.6406, True,Tests/Unit/pos/implies.hs,0.7009, True,0
Tests/Unit/pos/imp0.hs,0.6954, True,Tests/Unit/pos/imp0.hs,0.7609, True,0
Tests/Unit/pos/idNat0.hs,0.6478, True,Tests/Unit/pos/idNat0.hs,0.6956, True,0
Tests/Unit/pos/idNat.hs,0.6303, True,Tests/Unit/pos/idNat.hs,0.7144, True,0
Tests/Unit/pos/IcfpDemo.hs,0.8533, True,Tests/Unit/pos/IcfpDemo.hs,0.9419, True,0
Tests/Unit/pos/Holes.hs,0.7807, True,Tests/Unit/pos/Holes.hs,0.8417, True,0
Tests/Unit/pos/hole-fun.hs,0.6686, True,Tests/Unit/pos/hole-fun.hs,0.7422, True,0
Tests/Unit/pos/hole-app.hs,0.6446, True,Tests/Unit/pos/hole-app.hs,0.7046, True,0
Tests/Unit/pos/HigherOrderRecFun.hs,0.6613, True,Tests/Unit/pos/HigherOrderRecFun.hs,0.6996, True,0
Tests/Unit/pos/hello.hs,0.6743, True,Tests/Unit/pos/hello.hs,0.7392, True,0
Tests/Unit/pos/HedgeUnion.hs,0.7435, True,Tests/Unit/pos/HedgeUnion.hs,0.8066, True,0
Tests/Unit/pos/HaskellMeasure.hs,0.6553, True,Tests/Unit/pos/HaskellMeasure.hs,0.7339, True,0
Tests/Unit/pos/HasElem.hs,0.6755, True,Tests/Unit/pos/HasElem.hs,0.7412, True,0
Tests/Unit/pos/grty3.hs,0.6594, True,Tests/Unit/pos/grty3.hs,0.7124, True,0
Tests/Unit/pos/grty2.hs,0.6644, True,Tests/Unit/pos/grty2.hs,0.7243, True,0
Tests/Unit/pos/grty1.hs,0.6482, True,Tests/Unit/pos/grty1.hs,0.696, True,0
Tests/Unit/pos/grty0.hs,0.6508, True,Tests/Unit/pos/grty0.hs,0.6796, True,0
Tests/Unit/pos/Graph.hs,0.8929, True,Tests/Unit/pos/Graph.hs,0.9228, True,0
Tests/Unit/pos/Gradual.hs,0.6571, True,Tests/Unit/pos/Gradual.hs,0.687, True,0
Tests/Unit/pos/Goo.hs,0.6491, True,Tests/Unit/pos/Goo.hs,0.6768, True,0
Tests/Unit/pos/go_ugly_type.hs,0.6983, True,Tests/Unit/pos/go_ugly_type.hs,0.7198, True,0
Tests/Unit/pos/go.hs,0.7185, True,Tests/Unit/pos/go.hs,0.7495, True,0
Tests/Unit/pos/gimme.hs,0.6988, True,Tests/Unit/pos/gimme.hs,0.7316, True,0
Tests/Unit/pos/GhcSort3.T.hs,1.4795, True,Tests/Unit/pos/GhcSort3.T.hs,1.4757, True,0
Tests/Unit/pos/GhcSort3.hs,3.1418, True,Tests/Unit/pos/GhcSort3.hs,3.1434, True,0
Tests/Unit/pos/GhcSort2.hs,1.6582, True,Tests/Unit/pos/GhcSort2.hs,1.6496, True,0
Tests/Unit/pos/GhcSort1.hs,3.3024, True,Tests/Unit/pos/GhcSort1.hs,3.4403, True,0
Tests/Unit/pos/GhcListSort.hs,7.2666, True,Tests/Unit/pos/GhcListSort.hs,7.3027, True,0
Tests/Unit/pos/GeneralizedTermination.hs,0.7521, True,Tests/Unit/pos/GeneralizedTermination.hs,0.8109, True,0
Tests/Unit/pos/GCD.hs,0.9133, True,Tests/Unit/pos/GCD.hs,0.9648, True,0
Tests/Unit/pos/GADTs.hs,0.6523, True,Tests/Unit/pos/GADTs.hs,0.6896, True,0
Tests/Unit/pos/gadtEval.hs,1.1578, True,Tests/Unit/pos/gadtEval.hs,1.1901, True,0
Tests/Unit/pos/Fractional.hs,0.6493, True,Tests/Unit/pos/Fractional.hs,0.6934, True,0
Tests/Unit/pos/forloop.hs,0.8892, True,Tests/Unit/pos/forloop.hs,0.9451, True,0
Tests/Unit/pos/for.hs,0.9267, True,Tests/Unit/pos/for.hs,0.9488, True,0
Tests/Unit/pos/Foo.hs,0.6485, True,Tests/Unit/pos/Foo.hs,0.6724, True,0
Tests/Unit/pos/foldr.hs,0.6899, True,Tests/Unit/pos/foldr.hs,0.734, True,0
Tests/Unit/pos/foldN.hs,0.6766, True,Tests/Unit/pos/foldN.hs,0.6998, True,0
Tests/Unit/pos/Fixme.hs,0.6442, True,Tests/Unit/pos/Fixme.hs,0.6843, True,0
Tests/Unit/pos/filterAbs.hs,0.8427, True,Tests/Unit/pos/filterAbs.hs,0.8892, True,0
Tests/Unit/pos/FFI.hs,0.7914, True,Tests/Unit/pos/FFI.hs,0.8489, True,0
Tests/Unit/pos/failName.hs,0.6513, True,Tests/Unit/pos/failName.hs,0.7403, True,0
Tests/Unit/pos/extype.hs,0.652, True,Tests/Unit/pos/extype.hs,0.9069, True,0
Tests/Unit/pos/exp0.hs,0.6849, True,Tests/Unit/pos/exp0.hs,0.7855, True,0
Tests/Unit/pos/ex1.hs,0.7664, True,Tests/Unit/pos/ex1.hs,0.9641, True,0
Tests/Unit/pos/ex01.hs,0.6488, True,Tests/Unit/pos/ex01.hs,0.7054, True,0
Tests/Unit/pos/ex0.hs,0.7291, True,Tests/Unit/pos/ex0.hs,0.8415, True,0
Tests/Unit/pos/Even0.hs,0.6832, True,Tests/Unit/pos/Even0.hs,0.9534, True,0
Tests/Unit/pos/Even.hs,0.6481, True,Tests/Unit/pos/Even.hs,0.7009, True,0
Tests/Unit/pos/Eval.hs,0.8089, True,Tests/Unit/pos/Eval.hs,1.4191, True,0
Tests/Unit/pos/eqelems.hs,0.6907, True,Tests/Unit/pos/eqelems.hs,1.0094, True,0
Tests/Unit/pos/elems.hs,0.6742, True,Tests/Unit/pos/elems.hs,0.8623, True,0
Tests/Unit/pos/elements.hs,1.0411, True,Tests/Unit/pos/elements.hs,1.6494, True,0
Tests/Unit/pos/duplicate-bind.hs,0.6904, True,Tests/Unit/pos/duplicate-bind.hs,0.93, True,0
Tests/Unit/pos/div000.hs,0.6518, True,Tests/Unit/pos/div000.hs,0.7499, True,0
Tests/Unit/pos/deptupW.hs,0.7517, True,Tests/Unit/pos/deptupW.hs,0.8919, True,0
Tests/Unit/pos/deptup3.hs,0.727, True,Tests/Unit/pos/deptup3.hs,0.8049, True,0
Tests/Unit/pos/deptup1.hs,0.8782, True,Tests/Unit/pos/deptup1.hs,1.257, True,0
Tests/Unit/pos/deptup0.hs,0.7838, True,Tests/Unit/pos/deptup0.hs,1.4491, True,0
Tests/Unit/pos/deptup.hs,1.203, True,Tests/Unit/pos/deptup.hs,1.9695, True,0
Tests/Unit/pos/deppair1.hs,0.703, True,Tests/Unit/pos/deppair1.hs,0.875, True,0
Tests/Unit/pos/deppair0.hs,0.7594, True,Tests/Unit/pos/deppair0.hs,0.9462, True,0
Tests/Unit/pos/deepmeas0.hs,0.7328, True,Tests/Unit/pos/deepmeas0.hs,1.4676, True,0
Tests/Unit/pos/DB00.hs,0.6756, True,Tests/Unit/pos/DB00.hs,0.7834, True,0
Tests/Unit/pos/dataConQuals.hs,0.659, True,Tests/Unit/pos/dataConQuals.hs,0.7456, True,0
Tests/Unit/pos/datacon1.hs,0.6387, True,Tests/Unit/pos/datacon1.hs,0.7463, True,0
Tests/Unit/pos/datacon0.hs,0.7566, True,Tests/Unit/pos/datacon0.hs,0.877, True,0
Tests/Unit/pos/datacon-inv.hs,0.6413, True,Tests/Unit/pos/datacon-inv.hs,0.675, True,0
Tests/Unit/pos/DataBase.hs,0.688, True,Tests/Unit/pos/DataBase.hs,0.7443, True,0
Tests/Unit/pos/data2.hs,0.7726, True,Tests/Unit/pos/data2.hs,0.9017, True,0
Tests/Unit/pos/csgordon_issue_296.hs,0.6456, True,Tests/Unit/pos/csgordon_issue_296.hs,0.7227, True,0
Tests/Unit/pos/coretologic.hs,0.688, True,Tests/Unit/pos/coretologic.hs,0.6999, True,0
Tests/Unit/pos/contra0.hs,0.7527, True,Tests/Unit/pos/contra0.hs,0.7736, True,0
Tests/Unit/pos/ConstraintsAppend.hs,1.189, True,Tests/Unit/pos/ConstraintsAppend.hs,1.2157, True,0
Tests/Unit/pos/Constraints.hs,0.7287, True,Tests/Unit/pos/Constraints.hs,0.8672, True,0
Tests/Unit/pos/comprehensionTerm.hs,1.0526, True,Tests/Unit/pos/comprehensionTerm.hs,1.2041, True,0
Tests/Unit/pos/CompareConstraints.hs,1.1438, True,Tests/Unit/pos/CompareConstraints.hs,1.5002, True,0
Tests/Unit/pos/compare2.hs,0.7031, True,Tests/Unit/pos/compare2.hs,0.727, True,0
Tests/Unit/pos/compare1.hs,0.7082, True,Tests/Unit/pos/compare1.hs,0.7412, True,0
Tests/Unit/pos/compare.hs,0.6851, True,Tests/Unit/pos/compare.hs,0.7351, True,0
Tests/Unit/pos/Coercion.hs,0.6689, True,Tests/Unit/pos/Coercion.hs,1.1071, True,0
Tests/Unit/pos/cmptag0.hs,0.7214, True,Tests/Unit/pos/cmptag0.hs,2.2511, True,0
Tests/Unit/pos/ClassReg.hs,0.6642, True,Tests/Unit/pos/ClassReg.hs,0.6851, True,0
Tests/Unit/pos/Class2.hs,0.6595, True,Tests/Unit/pos/Class2.hs,0.696, True,0
Tests/Unit/pos/Class.hs,0.9878, True,Tests/Unit/pos/Class.hs,1.0163, True,0
Tests/Unit/pos/case-lambda-join.hs,0.8116, True,Tests/Unit/pos/case-lambda-join.hs,0.8192, True,0
Tests/Unit/pos/BST000.hs,1.6734, True,Tests/Unit/pos/BST000.hs,1.6642, True,0
Tests/Unit/pos/BST.hs,9.2232, True,Tests/Unit/pos/BST.hs,9.2277, True,0
Tests/Unit/pos/bounds1.hs,0.6423, True,Tests/Unit/pos/bounds1.hs,0.6582, True,0
Tests/Unit/pos/Books.hs,0.7033, True,Tests/Unit/pos/Books.hs,0.7344, True,0
Tests/Unit/pos/BinarySearch.hs,0.8138, True,Tests/Unit/pos/BinarySearch.hs,1.0275, True,0
Tests/Unit/pos/bar.hs,0.6446, True,Tests/Unit/pos/bar.hs,0.741, True,0
Tests/Unit/pos/bangPatterns.hs,0.6697, True,Tests/Unit/pos/bangPatterns.hs,0.7347, True,0
Tests/Unit/pos/AVLRJ.hs,2.2812, True,Tests/Unit/pos/AVLRJ.hs,2.6415, True,0
Tests/Unit/pos/AVL.hs,1.9925, True,Tests/Unit/pos/AVL.hs,2.0935, True,0
Tests/Unit/pos/Avg.hs,0.6628, True,Tests/Unit/pos/Avg.hs,0.7062, True,0
Tests/Unit/pos/AutoSize.hs,0.6716, True,Tests/Unit/pos/AutoSize.hs,0.7191, True,0
Tests/Unit/pos/AssumedRecursive.hs,0.6439, True,Tests/Unit/pos/AssumedRecursive.hs,0.6784, True,0
Tests/Unit/pos/Assume.hs,0.6776, True,Tests/Unit/pos/Assume.hs,0.7455, True,0
Tests/Unit/pos/anish1.hs,0.6621, True,Tests/Unit/pos/anish1.hs,0.7086, True,0
Tests/Unit/pos/anftest.hs,0.6662, True,Tests/Unit/pos/anftest.hs,0.7137, True,0
Tests/Unit/pos/anfbug.hs,0.7095, True,Tests/Unit/pos/anfbug.hs,0.7648, True,0
Tests/Unit/pos/AmortizedQueue.hs,0.8434, True,Tests/Unit/pos/AmortizedQueue.hs,0.8895, True,0
Tests/Unit/pos/alphaconvert-Set.hs,1.0256, True,Tests/Unit/pos/alphaconvert-Set.hs,1.0533, True,0
Tests/Unit/pos/alphaconvert-List.hs,1.1854, True,Tests/Unit/pos/alphaconvert-List.hs,1.1996, True,0
Tests/Unit/pos/alias01.hs,0.6591, True,Tests/Unit/pos/alias01.hs,0.7047, True,0
Tests/Unit/pos/alias00.hs,0.646, True,Tests/Unit/pos/alias00.hs,0.6891, True,0
Tests/Unit/pos/adt0.hs,0.6758, True,Tests/Unit/pos/adt0.hs,0.7143, True,0
Tests/Unit/pos/Ackermann.hs,0.7372, True,Tests/Unit/pos/Ackermann.hs,0.7703, True,0
Tests/Unit/pos/absref-crash0.hs,0.655, True,Tests/Unit/pos/absref-crash0.hs,0.6991, True,0
Tests/Unit/pos/absref-crash.hs,0.648, True,Tests/Unit/pos/absref-crash.hs,0.6917, True,0
Tests/Unit/pos/Abs.hs,0.6761, True,Tests/Unit/pos/Abs.hs,0.699, True,0
Tests/Unit/neg/wrap1.hs,0.9324, True,Tests/Unit/neg/wrap1.hs,0.9284, True,0
Tests/Unit/neg/wrap0.hs,0.7668, True,Tests/Unit/neg/wrap0.hs,0.747, True,0
Tests/Unit/neg/vector2.hs,1.4098, True,Tests/Unit/neg/vector2.hs,1.3808, True,0
Tests/Unit/neg/vector1a.hs,1.0324, True,Tests/Unit/neg/vector1a.hs,1.0014, True,0
Tests/Unit/neg/vector0a.hs,0.7722, True,Tests/Unit/neg/vector0a.hs,0.7502, True,0
Tests/Unit/neg/vector00.hs,0.7703, True,Tests/Unit/neg/vector00.hs,0.7529, True,0
Tests/Unit/neg/vector0.hs,0.9758, True,Tests/Unit/neg/vector0.hs,0.9457, True,0
Tests/Unit/neg/Variance.hs,0.6535, True,Tests/Unit/neg/Variance.hs,0.6401, True,0
Tests/Unit/neg/tyclass0-unsafe.hs,0.636, True,Tests/Unit/neg/tyclass0-unsafe.hs,0.6317, True,0
Tests/Unit/neg/truespec.hs,0.6726, True,Tests/Unit/neg/truespec.hs,0.6448, True,0
Tests/Unit/neg/trans.hs,1.4563, True,Tests/Unit/neg/trans.hs,1.4304, True,0
Tests/Unit/neg/TopLevel.hs,0.6618, True,Tests/Unit/neg/TopLevel.hs,0.6476, True,0
Tests/Unit/neg/testRec.hs,0.6936, True,Tests/Unit/neg/testRec.hs,0.6743, True,0
Tests/Unit/neg/test2.hs,0.6736, True,Tests/Unit/neg/test2.hs,0.6658, True,0
Tests/Unit/neg/test1.hs,0.6862, True,Tests/Unit/neg/test1.hs,0.6676, True,0
Tests/Unit/neg/test00b.hs,0.6886, True,Tests/Unit/neg/test00b.hs,0.6774, True,0
Tests/Unit/neg/test00a.hs,0.6787, True,Tests/Unit/neg/test00a.hs,0.6728, True,0
Tests/Unit/neg/test00.hs,0.6739, True,Tests/Unit/neg/test00.hs,0.6608, True,0
Tests/Unit/neg/TermReal.hs,0.6412, True,Tests/Unit/neg/TermReal.hs,0.6164, True,0
Tests/Unit/neg/TerminationNum0.hs,0.6722, True,Tests/Unit/neg/TerminationNum0.hs,0.6562, True,0
Tests/Unit/neg/TerminationNum.hs,0.6491, True,Tests/Unit/neg/TerminationNum.hs,0.6314, True,0
Tests/Unit/neg/sumPoly.hs,0.6639, True,Tests/Unit/neg/sumPoly.hs,0.6652, True,0
Tests/Unit/neg/sumk.hs,0.6507, True,Tests/Unit/neg/sumk.hs,0.6297, True,0
Tests/Unit/neg/Sum.hs,0.7027, True,Tests/Unit/neg/Sum.hs,0.6836, True,0
Tests/Unit/neg/Strings.hs,0.6317, True,Tests/Unit/neg/Strings.hs,0.6132, True,0
Tests/Unit/neg/string00.hs,0.6784, True,Tests/Unit/neg/string00.hs,0.6626, True,0
Tests/Unit/neg/StrictPair1.hs,0.8621, True,Tests/Unit/neg/StrictPair1.hs,0.8406, True,0
Tests/Unit/neg/StrictPair0.hs,0.6503, True,Tests/Unit/neg/StrictPair0.hs,0.642, True,0
Tests/Unit/neg/StreamInvariants.hs,0.641, True,Tests/Unit/neg/StreamInvariants.hs,0.6349, True,0
Tests/Unit/neg/Strata.hs,0.6497, True,Tests/Unit/neg/Strata.hs,0.64, True,0
Tests/Unit/neg/StateConstraints00.hs,0.6779, True,Tests/Unit/neg/StateConstraints00.hs,0.6613, True,0
Tests/Unit/neg/StateConstraints0.hs,12.8504, True,Tests/Unit/neg/StateConstraints0.hs,12.3627, True,0
Tests/Unit/neg/StateConstraints.hs,1.2477, True,Tests/Unit/neg/StateConstraints.hs,1.1814, True,0
Tests/Unit/neg/state00.hs,0.6941, True,Tests/Unit/neg/state00.hs,0.7388, True,0
Tests/Unit/neg/state0.hs,0.6742, True,Tests/Unit/neg/state0.hs,0.7151, True,0
Tests/Unit/neg/stacks.hs,0.9612, True,Tests/Unit/neg/stacks.hs,0.977, True,0
Tests/Unit/neg/Solver.hs,1.1349, True,Tests/Unit/neg/Solver.hs,1.1917, True,0
Tests/Unit/neg/SafePartialFunctions.hs,0.6891, True,Tests/Unit/neg/SafePartialFunctions.hs,0.6954, True,0
Tests/Unit/neg/risers.hs,0.7715, True,Tests/Unit/neg/risers.hs,0.761, True,0
Tests/Unit/neg/RG.hs,0.9869, True,Tests/Unit/neg/RG.hs,0.9724, True,0
Tests/Unit/neg/revshape.hs,0.662, True,Tests/Unit/neg/revshape.hs,0.6411, True,0
Tests/Unit/neg/RecSelector.hs,0.6496, True,Tests/Unit/neg/RecSelector.hs,0.6299, True,0
Tests/Unit/neg/RecQSort.hs,0.9121, True,Tests/Unit/neg/RecQSort.hs,0.87, True,0
Tests/Unit/neg/record0.hs,0.6488, True,Tests/Unit/neg/record0.hs,0.6292, True,0
Tests/Unit/neg/range.hs,1.2383, True,Tests/Unit/neg/range.hs,1.2022, True,0
Tests/Unit/neg/qsloop.hs,0.814, True,Tests/Unit/neg/qsloop.hs,0.7838, True,0
Tests/Unit/neg/prune0.hs,0.6803, True,Tests/Unit/neg/prune0.hs,0.6766, True,0
Tests/Unit/neg/Propability0.hs,0.7051, True,Tests/Unit/neg/Propability0.hs,0.6934, True,0
Tests/Unit/neg/Propability.hs,0.9193, True,Tests/Unit/neg/Propability.hs,0.9012, True,0
Tests/Unit/neg/pred.hs,0.5569, True,Tests/Unit/neg/pred.hs,0.55, True,0
Tests/Unit/neg/pragma0-unsafe.hs,0.6304, True,Tests/Unit/neg/pragma0-unsafe.hs,0.618, True,0
Tests/Unit/neg/poslist.hs,0.9826, True,Tests/Unit/neg/poslist.hs,0.9742, True,0
Tests/Unit/neg/polypred.hs,0.6792, True,Tests/Unit/neg/polypred.hs,0.6639, True,0
Tests/Unit/neg/poly2.hs,0.7039, True,Tests/Unit/neg/poly2.hs,0.6992, True,0
Tests/Unit/neg/poly2-degenerate.hs,0.7051, True,Tests/Unit/neg/poly2-degenerate.hs,0.6806, True,0
Tests/Unit/neg/poly1.hs,0.7191, True,Tests/Unit/neg/poly1.hs,0.6999, True,0
Tests/Unit/neg/poly0.hs,0.7454, True,Tests/Unit/neg/poly0.hs,0.7248, True,0
Tests/Unit/neg/partial.hs,0.644, True,Tests/Unit/neg/partial.hs,0.6409, True,0
Tests/Unit/neg/pargs1.hs,0.6385, True,Tests/Unit/neg/pargs1.hs,0.6222, True,0
Tests/Unit/neg/pargs.hs,0.6505, True,Tests/Unit/neg/pargs.hs,0.6233, True,0
Tests/Unit/neg/PairMeasure.hs,0.6662, True,Tests/Unit/neg/PairMeasure.hs,0.6521, True,0
Tests/Unit/neg/pair0.hs,1.5802, True,Tests/Unit/neg/pair0.hs,1.5064, True,0
Tests/Unit/neg/pair.hs,1.7058, True,Tests/Unit/neg/pair.hs,1.6487, True,0
Tests/Unit/neg/NoMethodBindingError.hs,0.6719, True,Tests/Unit/neg/NoMethodBindingError.hs,0.6394, True,0
Tests/Unit/neg/NoExhaustiveGuardsError.hs,0.7444, True,Tests/Unit/neg/NoExhaustiveGuardsError.hs,0.6443, True,0
Tests/Unit/neg/nestedRecursion.hs,0.8298, True,Tests/Unit/neg/nestedRecursion.hs,0.6532, True,0
Tests/Unit/neg/multi-pred-app-00.hs,0.8373, True,Tests/Unit/neg/multi-pred-app-00.hs,0.6127, True,0
Tests/Unit/neg/mr00.hs,1.1094, True,Tests/Unit/neg/mr00.hs,0.8142, True,0
Tests/Unit/neg/monad7.hs,1.2391, True,Tests/Unit/neg/monad7.hs,0.9365, True,0
Tests/Unit/neg/monad6.hs,0.9429, True,Tests/Unit/neg/monad6.hs,0.6899, True,0
Tests/Unit/neg/monad5.hs,1.0312, True,Tests/Unit/neg/monad5.hs,0.7387, True,0
Tests/Unit/neg/monad4.hs,0.8111, True,Tests/Unit/neg/monad4.hs,0.9026, True,0
Tests/Unit/neg/monad3.hs,1.0757, True,Tests/Unit/neg/monad3.hs,0.8697, True,0
Tests/Unit/neg/MeasureDups.hs,0.8033, True,Tests/Unit/neg/MeasureDups.hs,0.7578, True,0
Tests/Unit/neg/MeasureContains.hs,0.8836, True,Tests/Unit/neg/MeasureContains.hs,0.7304, True,0
Tests/Unit/neg/meas9.hs,0.9331, True,Tests/Unit/neg/meas9.hs,0.8093, True,0
Tests/Unit/neg/meas7.hs,0.6638, True,Tests/Unit/neg/meas7.hs,0.7291, True,0
Tests/Unit/neg/meas5.hs,1.3014, True,Tests/Unit/neg/meas5.hs,1.3448, True,0
Tests/Unit/neg/meas3.hs,0.6954, True,Tests/Unit/neg/meas3.hs,0.7638, True,0
Tests/Unit/neg/meas2.hs,0.6893, True,Tests/Unit/neg/meas2.hs,0.6649, True,0
Tests/Unit/neg/meas0.hs,0.6946, True,Tests/Unit/neg/meas0.hs,0.6756, True,0
Tests/Unit/neg/maps.hs,0.7402, True,Tests/Unit/neg/maps.hs,0.738, True,0
Tests/Unit/neg/mapreduce.hs,2.083, True,Tests/Unit/neg/mapreduce.hs,2.0391, True,0
Tests/Unit/neg/mapreduce-tiny.hs,0.7343, True,Tests/Unit/neg/mapreduce-tiny.hs,0.7566, True,0
Tests/Unit/neg/LocalSpec.hs,0.6817, True,Tests/Unit/neg/LocalSpec.hs,0.6821, True,0
Tests/Unit/neg/lit.hs,0.6361, True,Tests/Unit/neg/lit.hs,0.6243, True,0
Tests/Unit/neg/ListRange.hs,0.7836, True,Tests/Unit/neg/ListRange.hs,0.7363, True,0
Tests/Unit/neg/ListQSort.hs,1.1097, True,Tests/Unit/neg/ListQSort.hs,1.0894, True,0
Tests/Unit/neg/listne.hs,0.6263, True,Tests/Unit/neg/listne.hs,0.6193, True,0
Tests/Unit/neg/ListMSort.hs,2.5216, True,Tests/Unit/neg/ListMSort.hs,2.4842, True,0
Tests/Unit/neg/ListKeys.hs,0.6857, True,Tests/Unit/neg/ListKeys.hs,0.646, True,0
Tests/Unit/neg/ListISort.hs,1.4457, True,Tests/Unit/neg/ListISort.hs,1.3584, True,0
Tests/Unit/neg/ListISort-LType.hs,0.9568, True,Tests/Unit/neg/ListISort-LType.hs,0.8944, True,0
Tests/Unit/neg/ListElem.hs,0.6687, True,Tests/Unit/neg/ListElem.hs,0.6388, True,0
Tests/Unit/neg/ListConcat.hs,0.6719, True,Tests/Unit/neg/ListConcat.hs,0.6537, True,0
Tests/Unit/neg/list00.hs,0.6895, True,Tests/Unit/neg/list00.hs,0.6674, True,0
Tests/Unit/neg/LiquidClass1.hs,0.6508, True,Tests/Unit/neg/LiquidClass1.hs,0.6268, True,0
Tests/Unit/neg/LiquidClass.hs,0.6496, True,Tests/Unit/neg/LiquidClass.hs,0.6434, True,0
Tests/Unit/neg/LazyWhere1.hs,0.6698, True,Tests/Unit/neg/LazyWhere1.hs,0.6686, True,0
Tests/Unit/neg/LazyWhere.hs,0.675, True,Tests/Unit/neg/LazyWhere.hs,0.6726, True,0
Tests/Unit/neg/HolesTop.hs,0.6786, True,Tests/Unit/neg/HolesTop.hs,0.6519, True,0
Tests/Unit/neg/HasElem.hs,0.6634, True,Tests/Unit/neg/HasElem.hs,0.6554, True,0
Tests/Unit/neg/grty3.hs,0.6621, True,Tests/Unit/neg/grty3.hs,0.7552, True,0
Tests/Unit/neg/grty2.hs,0.8205, True,Tests/Unit/neg/grty2.hs,0.8279, True,0
Tests/Unit/neg/grty1.hs,0.8189, True,Tests/Unit/neg/grty1.hs,0.8164, True,0
Tests/Unit/neg/grty0.hs,0.6423, True,Tests/Unit/neg/grty0.hs,0.635, True,0
Tests/Unit/neg/Gradual.hs,0.6509, True,Tests/Unit/neg/Gradual.hs,0.633, True,0
Tests/Unit/neg/GeneralizedTermination.hs,0.7143, True,Tests/Unit/neg/GeneralizedTermination.hs,0.7247, True,0
Tests/Unit/neg/GADTs.hs,0.6442, True,Tests/Unit/neg/GADTs.hs,0.635, True,0
Tests/Unit/neg/FunSoundness.hs,0.64, True,Tests/Unit/neg/FunSoundness.hs,0.6162, True,0
Tests/Unit/neg/foldN1.hs,0.6627, True,Tests/Unit/neg/foldN1.hs,0.6669, True,0
Tests/Unit/neg/foldN.hs,0.6716, True,Tests/Unit/neg/foldN.hs,0.6653, True,0
Tests/Unit/neg/filterAbs.hs,0.8538, True,Tests/Unit/neg/filterAbs.hs,0.8644, True,0
Tests/Unit/neg/ex1-unsafe.hs,0.7453, True,Tests/Unit/neg/ex1-unsafe.hs,0.7256, True,0
Tests/Unit/neg/ex0-unsafe.hs,0.7561, True,Tests/Unit/neg/ex0-unsafe.hs,0.7305, True,0
Tests/Unit/neg/Even.hs,0.6682, True,Tests/Unit/neg/Even.hs,0.6628, True,0
Tests/Unit/neg/Eval.hs,0.8306, True,Tests/Unit/neg/Eval.hs,0.7857, True,0
Tests/Unit/neg/errorloc.hs,0.6916, True,Tests/Unit/neg/errorloc.hs,0.6526, True,0
Tests/Unit/neg/errmsg.hs,0.6858, True,Tests/Unit/neg/errmsg.hs,0.6826, True,0
Tests/Unit/neg/deptupW.hs,0.7514, True,Tests/Unit/neg/deptupW.hs,0.7334, True,0
Tests/Unit/neg/deppair0.hs,0.739, True,Tests/Unit/neg/deppair0.hs,0.7325, True,0
Tests/Unit/neg/datacon-eq.hs,0.6345, True,Tests/Unit/neg/datacon-eq.hs,0.6235, True,0
Tests/Unit/neg/csv.hs,2.7392, True,Tests/Unit/neg/csv.hs,2.6685, True,0
Tests/Unit/neg/coretologic.hs,0.6892, True,Tests/Unit/neg/coretologic.hs,0.6536, True,0
Tests/Unit/neg/contra0.hs,0.7603, True,Tests/Unit/neg/contra0.hs,0.7199, True,0
Tests/Unit/neg/ConstraintsAppend.hs,1.203, True,Tests/Unit/neg/ConstraintsAppend.hs,1.1861, True,0
Tests/Unit/neg/Constraints.hs,0.68, True,Tests/Unit/neg/Constraints.hs,0.6655, True,0
Tests/Unit/neg/concat2.hs,1.0941, True,Tests/Unit/neg/concat2.hs,1.0489, True,0
Tests/Unit/neg/concat1.hs,1.1556, True,Tests/Unit/neg/concat1.hs,1.4027, True,0
Tests/Unit/neg/concat.hs,0.983, True,Tests/Unit/neg/concat.hs,0.9742, True,0
Tests/Unit/neg/CompareConstraints.hs,1.2253, True,Tests/Unit/neg/CompareConstraints.hs,1.1606, True,0
Tests/Unit/neg/Class5.hs,0.6317, True,Tests/Unit/neg/Class5.hs,0.6143, True,0
Tests/Unit/neg/Class4.hs,0.6696, True,Tests/Unit/neg/Class4.hs,0.656, True,0
Tests/Unit/neg/Class3.hs,0.6933, True,Tests/Unit/neg/Class3.hs,0.676, True,0
Tests/Unit/neg/Class2.hs,0.6998, True,Tests/Unit/neg/Class2.hs,0.689, True,0
Tests/Unit/neg/Class1.hs,0.8748, True,Tests/Unit/neg/Class1.hs,0.8769, True,0
Tests/Unit/neg/CastedTotality.hs,0.709, True,Tests/Unit/neg/CastedTotality.hs,0.6741, True,0
Tests/Unit/neg/Books.hs,0.711, True,Tests/Unit/neg/Books.hs,0.7104, True,0
Tests/Unit/neg/BigNum.hs,0.6487, True,Tests/Unit/neg/BigNum.hs,0.6212, True,0
Tests/Unit/neg/Baz.hs,0.6733, True,Tests/Unit/neg/Baz.hs,0.6377, True,0
Tests/Unit/neg/AutoSize.hs,0.6556, True,Tests/Unit/neg/AutoSize.hs,0.6312, True,0
Tests/Unit/neg/Ast.hs,0.6785, True,Tests/Unit/neg/Ast.hs,0.6518, True,0
Tests/Unit/neg/ass0.hs,0.622, True,Tests/Unit/neg/ass0.hs,0.6048, True,0
Tests/Unit/neg/alias00.hs,0.6458, True,Tests/Unit/neg/alias00.hs,0.6291, True,0
Tests/Unit/neg/AbsApp.hs,0.6395, True,Tests/Unit/neg/AbsApp.hs,0.6204, True,0
Tests/Unit/crash/Unbound.hs,0.6159, True,Tests/Unit/crash/Unbound.hs,0.5877, True,0
Tests/Unit/crash/typeAliasDup.hs,0.6339, True,Tests/Unit/crash/typeAliasDup.hs,0.6358, True,0
Tests/Unit/crash/RClass.hs,0.6019, True,Tests/Unit/crash/RClass.hs,0.5991, True,0
Tests/Unit/crash/Qualif.hs,0.5949, True,Tests/Unit/crash/Qualif.hs,0.6064, True,0
Tests/Unit/crash/num-float-error1.hs,0.5933, True,Tests/Unit/crash/num-float-error1.hs,0.5826, True,0
Tests/Unit/crash/num-float-error.hs,0.5875, True,Tests/Unit/crash/num-float-error.hs,0.5812, True,0
Tests/Unit/crash/MultipleRecordSelectors.hs,0.6087, True,Tests/Unit/crash/MultipleRecordSelectors.hs,0.6068, True,0
Tests/Unit/crash/Mismatch.hs,0.5999, True,Tests/Unit/crash/Mismatch.hs,0.6485, True,0
Tests/Unit/crash/LocalTermExpr.hs,0.6062, True,Tests/Unit/crash/LocalTermExpr.hs,3.1117, True,0
Tests/Unit/crash/LocalHole.hs,0.6057, True,Tests/Unit/crash/LocalHole.hs,0.7145, True,0
Tests/Unit/crash/issue594.hs,0.5925, True,Tests/Unit/crash/issue594.hs,0.9168, True,0
Tests/Unit/crash/hole-crash3.hs,0.5878, True,Tests/Unit/crash/hole-crash3.hs,0.7447, True,0
Tests/Unit/crash/hole-crash2.hs,0.5479, True,Tests/Unit/crash/hole-crash2.hs,0.7478, True,0
Tests/Unit/crash/hole-crash1.hs,0.6075, True,Tests/Unit/crash/hole-crash1.hs,1.1092, True,0
Tests/Unit/crash/HaskellMeasure.hs,0.5648, True,Tests/Unit/crash/HaskellMeasure.hs,0.6968, True,0
Tests/Unit/crash/FunRef2.hs,0.5894, True,Tests/Unit/crash/FunRef2.hs,0.7641, True,0
Tests/Unit/crash/FunRef1.hs,0.5849, True,Tests/Unit/crash/FunRef1.hs,0.7549, True,0
Tests/Unit/crash/funref.hs,0.5902, True,Tests/Unit/crash/funref.hs,0.6222, True,0
Tests/Unit/crash/errmsg-mismatch.hs,0.5992, True,Tests/Unit/crash/errmsg-mismatch.hs,0.6082, True,0
Tests/Unit/crash/errmsg-dc-type.hs,0.5809, True,Tests/Unit/crash/errmsg-dc-type.hs,0.6369, True,0
Tests/Unit/crash/errmsg-dc-num.hs,0.5871, True,Tests/Unit/crash/errmsg-dc-num.hs,0.6081, True,0
Tests/Unit/crash/CyclicTypeAlias3.hs,0.507, True,Tests/Unit/crash/CyclicTypeAlias3.hs,0.5086, True,0
Tests/Unit/crash/CyclicTypeAlias2.hs,0.5085, True,Tests/Unit/crash/CyclicTypeAlias2.hs,0.5382, True,0
Tests/Unit/crash/CyclicTypeAlias1.hs,0.5128, True,Tests/Unit/crash/CyclicTypeAlias1.hs,0.5582, True,0
Tests/Unit/crash/CyclicTypeAlias0.hs,0.5235, True,Tests/Unit/crash/CyclicTypeAlias0.hs,0.7789, True,0
Tests/Unit/crash/CyclicPredAlias3.hs,0.5089, True,Tests/Unit/crash/CyclicPredAlias3.hs,0.7349, True,0
Tests/Unit/crash/CyclicPredAlias2.hs,0.5109, True,Tests/Unit/crash/CyclicPredAlias2.hs,0.5542, True,0
Tests/Unit/crash/CyclicPredAlias1.hs,0.5276, True,Tests/Unit/crash/CyclicPredAlias1.hs,0.7503, True,0
Tests/Unit/crash/CyclicPredAlias0.hs,0.513, True,Tests/Unit/crash/CyclicPredAlias0.hs,0.7864, True,0
Tests/Unit/crash/CyclicExprAlias3.hs,0.5131, True,Tests/Unit/crash/CyclicExprAlias3.hs,0.7719, True,0
Tests/Unit/crash/CyclicExprAlias2.hs,0.0525, True,Tests/Unit/crash/CyclicExprAlias2.hs,0.0918, True,0
Tests/Unit/crash/CyclicExprAlias1.hs,0.5117, True,Tests/Unit/crash/CyclicExprAlias1.hs,0.5527, True,0
Tests/Unit/crash/CyclicExprAlias0.hs,0.5052, True,Tests/Unit/crash/CyclicExprAlias0.hs,0.5462, True,0
Tests/Unit/crash/BadSyn4.hs,0.5563, True,Tests/Unit/crash/BadSyn4.hs,0.6381, True,0
Tests/Unit/crash/BadSyn3.hs,0.5603, True,Tests/Unit/crash/BadSyn3.hs,0.8214, True,0
Tests/Unit/crash/BadSyn2.hs,0.5701, True,Tests/Unit/crash/BadSyn2.hs,0.6798, True,0
Tests/Unit/crash/BadSyn1.hs,0.5656, True,Tests/Unit/crash/BadSyn1.hs,0.652, True,0
Tests/Unit/crash/BadExprArg.hs,0.5903, True,Tests/Unit/crash/BadExprArg.hs,0.6508, True,0
Tests/Unit/crash/Ast.hs,0.625, True,Tests/Unit/crash/Ast.hs,0.6979, True,0
Tests/Unit/crash/Assume1.hs,0.5917, True,Tests/Unit/crash/Assume1.hs,0.7069, True,0
Tests/Unit/crash/Assume.hs,0.5905, True,Tests/Unit/crash/Assume.hs,0.7568, True,0
Tests/Unit/crash/AbsRef.hs,0.5893, True,Tests/Unit/crash/AbsRef.hs,0.8383, True,0
Tests/Unit/parser/pos/TokensAsPrefixes.hs,0.6501, True,Tests/Unit/parser/pos/TokensAsPrefixes.hs,0.7896, True,0
Tests/Unit/parser/pos/Parens.hs,0.6374, True,Tests/Unit/parser/pos/Parens.hs,0.6236, True,0
Tests/Unit/error/crash/TerminationExpr1.hs,0.6162, True,Tests/Unit/error/crash/TerminationExpr1.hs,0.7001, True,0
Tests/Unit/error/crash/TerminationExpr.hs,0.5947, True,Tests/Unit/error/crash/TerminationExpr.hs,0.6338, True,0
Tests/Benchmarks/text/Setup.lhs,0.7401, True,Tests/Benchmarks/text/Setup.lhs,0.9805, True,0
Tests/Benchmarks/text/Data/Text.hs,80.4454, True,Tests/Benchmarks/text/Data/Text.hs,87.0613, True,0
Tests/Benchmarks/text/Data/Text/UnsafeChar.hs,3.2785, True,Tests/Benchmarks/text/Data/Text/UnsafeChar.hs,3.2395, True,0
Tests/Benchmarks/text/Data/Text/Unsafe.hs,2.5432, True,Tests/Benchmarks/text/Data/Text/Unsafe.hs,2.5077, True,0
Tests/Benchmarks/text/Data/Text/Search.hs,11.5122, True,Tests/Benchmarks/text/Data/Text/Search.hs,11.1039, True,0
Tests/Benchmarks/text/Data/Text/Private.hs,1.9597, True,Tests/Benchmarks/text/Data/Text/Private.hs,1.9192, True,0
Tests/Benchmarks/text/Data/Text/Lazy.hs,104.4663, True,Tests/Benchmarks/text/Data/Text/Lazy.hs,113.5561, True,0
Tests/Benchmarks/text/Data/Text/Internal.hs,4.6102, True,Tests/Benchmarks/text/Data/Text/Internal.hs,4.7366, True,0
Tests/Benchmarks/text/Data/Text/Fusion.hs,25.5978, True,Tests/Benchmarks/text/Data/Text/Fusion.hs,27.8664, True,0
Tests/Benchmarks/text/Data/Text/Foreign.hs,2.9812, True,Tests/Benchmarks/text/Data/Text/Foreign.hs,3.5701, True,0
Tests/Benchmarks/text/Data/Text/Encoding.hs,82.9687, True,Tests/Benchmarks/text/Data/Text/Encoding.hs,84.3032, True,0
Tests/Benchmarks/text/Data/Text/Array.hs,1.6483, True,Tests/Benchmarks/text/Data/Text/Array.hs,1.6734, True,0
Tests/Benchmarks/text/Data/Text/Lazy/Search.hs,90.8856, True,Tests/Benchmarks/text/Data/Text/Lazy/Search.hs,91.1941, True,0
Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs,3.1918, True,Tests/Benchmarks/text/Data/Text/Lazy/Internal.hs,3.2037, True,0
Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs,7.0593, True,Tests/Benchmarks/text/Data/Text/Lazy/Fusion.hs,7.0883, True,0
Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs,7.178, True,Tests/Benchmarks/text/Data/Text/Lazy/Encoding.hs,7.3147, True,0
Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs,13.6301, True,Tests/Benchmarks/text/Data/Text/Lazy/Builder.hs,13.7379, True,0
Tests/Benchmarks/text/Data/Text/Fusion/Size.hs,1.9163, True,Tests/Benchmarks/text/Data/Text/Fusion/Size.hs,1.9428, True,0
Tests/Benchmarks/bytestring/Data/ByteString.T.hs,72.9378, True,Tests/Benchmarks/bytestring/Data/ByteString.T.hs,73.5247, True,0
Tests/Benchmarks/bytestring/Data/ByteString.hs,65.5174, True,Tests/Benchmarks/bytestring/Data/ByteString.hs,63.396, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs,2.0596, True,Tests/Benchmarks/bytestring/Data/ByteString/Unsafe.hs,2.046, True,0
Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs,114.7735, True,Tests/Benchmarks/bytestring/Data/ByteString/LazyZip.hs,114.1238, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs,117.5102, True,Tests/Benchmarks/bytestring/Data/ByteString/Lazy.hs,116.7224, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs,6.7792, True,Tests/Benchmarks/bytestring/Data/ByteString/Internal.hs,6.7347, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs,21.382, True,Tests/Benchmarks/bytestring/Data/ByteString/Fusion.T.hs,21.9588, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs,18.3373, True,Tests/Benchmarks/bytestring/Data/ByteString/Fusion.hs,18.0747, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs,6.5328, True,Tests/Benchmarks/bytestring/Data/ByteString/Char8.hs,6.4867, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs,1.4675, True,Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Internal.hs,1.419, True,0
Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs,6.8437, True,Tests/Benchmarks/bytestring/Data/ByteString/Lazy/Char8.hs,6.859, True,0
Tests/Benchmarks/esop/Toy.hs,1.3696, True,Tests/Benchmarks/esop/Toy.hs,1.3873, True,0
Tests/Benchmarks/esop/Splay.hs,13.5222, True,Tests/Benchmarks/esop/Splay.hs,13.5261, True,0
Tests/Benchmarks/esop/ListSort.hs,2.9204, True,Tests/Benchmarks/esop/ListSort.hs,2.9728, True,0
Tests/Benchmarks/esop/GhcListSort.hs,6.8612, True,Tests/Benchmarks/esop/GhcListSort.hs,6.8663, True,0
Tests/Benchmarks/esop/Fib.hs,1.8859, True,Tests/Benchmarks/esop/Fib.hs,1.9071, True,0
Tests/Benchmarks/esop/Base.hs,101.5328, True,Tests/Benchmarks/esop/Base.hs,102.6354, True,0
Tests/Benchmarks/esop/Array.hs,4.4426, True,Tests/Benchmarks/esop/Array.hs,4.4844, True,0
Tests/Benchmarks/vect-algs/Setup.lhs,0.7394, True,Tests/Benchmarks/vect-algs/Setup.lhs,0.75, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs,0.9298, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Termination.hs,1.0056, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs,4.1944, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Search.hs,4.375, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs,3.2098, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Radix.hs,4.1755, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs,6.8324, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Optimal.hs,8.0461, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs,4.5176, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Merge.hs,4.5587, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs,6.9319, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Intro.hs,6.9707, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs,1.333, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Insertion.hs,1.3234, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs,27.0418, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Heap.hs,26.159, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs,1.0002, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Common.hs,0.9957, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs,0.6599, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/Combinators.hs,0.69, True,0
Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs,6.6131, True,Tests/Benchmarks/vect-algs/Data/Vector/Algorithms/AmericanFlag.hs,6.7147, True,0
Tests/Benchmarks/hscolour/Setup.hs,0.636, True,Tests/Benchmarks/hscolour/Setup.hs,0.6526, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour.hs,6.4741, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour.hs,6.4966, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/TTY.hs,1.0396, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/TTY.hs,1.0421, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Output.hs,0.8334, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Output.hs,0.8343, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Options.hs,0.7616, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Options.hs,0.7693, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/MIRC.hs,3.0298, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/MIRC.hs,3.0094, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/LaTeX.hs,23.934, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/LaTeX.hs,23.8644, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/InlineCSS.hs,1.4837, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/InlineCSS.hs,1.5234, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/HTML.hs,4.6631, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/HTML.hs,4.6797, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/General.hs,0.6852, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/General.hs,0.6846, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/CSS.hs,1.4262, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/CSS.hs,1.4177, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Colourise.hs,2.9421, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Colourise.hs,2.906, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ColourHighlight.hs,2.5367, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ColourHighlight.hs,2.5137, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Classify.hs,186.038, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Classify.hs,187.9826, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ANSI.hs,1.6651, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ANSI.hs,1.8405, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Anchors.hs,54.709, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/Anchors.hs,55.6738, True,0
Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ACSS.hs,12.4857, True,Tests/Benchmarks/hscolour/Language/Haskell/HsColour/ACSS.hs,14.4632, True,0
Tests/Benchmarks/icfp_pos/WhileTest.hs,1.2474, True,Tests/Benchmarks/icfp_pos/WhileTest.hs,1.3183, True,0
Tests/Benchmarks/icfp_pos/WhileM.hs,0.7543, True,Tests/Benchmarks/icfp_pos/WhileM.hs,0.7639, True,0
Tests/Benchmarks/icfp_pos/TwiceM.hs,4.8057, True,Tests/Benchmarks/icfp_pos/TwiceM.hs,5.0021, True,0
Tests/Benchmarks/icfp_pos/TestM.hs,0.6962, True,Tests/Benchmarks/icfp_pos/TestM.hs,0.7049, True,0
Tests/Benchmarks/icfp_pos/RIO2.hs,12.4105, True,Tests/Benchmarks/icfp_pos/RIO2.hs,12.6654, True,0
Tests/Benchmarks/icfp_pos/RIO.hs,82.0897, True,Tests/Benchmarks/icfp_pos/RIO.hs,88.4493, True,0
Tests/Benchmarks/icfp_pos/Privileges.hs,0.8117, True,Tests/Benchmarks/icfp_pos/Privileges.hs,0.7952, True,0
Tests/Benchmarks/icfp_pos/Overview.lhs,5.4991, True,Tests/Benchmarks/icfp_pos/Overview.lhs,5.3698, True,0
Tests/Benchmarks/icfp_pos/Incr.hs,1.6246, True,Tests/Benchmarks/icfp_pos/Incr.hs,1.6385, True,0
Tests/Benchmarks/icfp_pos/IfM2.hs,5.198, True,Tests/Benchmarks/icfp_pos/IfM2.hs,4.7164, True,0
Tests/Benchmarks/icfp_pos/IfM.hs,6.4675, True,Tests/Benchmarks/icfp_pos/IfM.hs,6.1426, True,0
Tests/Benchmarks/icfp_pos/ICFP15.lhs,1.599, True,Tests/Benchmarks/icfp_pos/ICFP15.lhs,1.6211, True,0
Tests/Benchmarks/icfp_pos/FoldAbs.hs,4.1921, True,Tests/Benchmarks/icfp_pos/FoldAbs.hs,4.3547, True,0
Tests/Benchmarks/icfp_pos/FindRec.hs,13.5435, True,Tests/Benchmarks/icfp_pos/FindRec.hs,13.9989, True,0
Tests/Benchmarks/icfp_pos/Filter.lhs,0.9819, True,Tests/Benchmarks/icfp_pos/Filter.lhs,0.9646, True,0
Tests/Benchmarks/icfp_pos/DBMovies.hs,4.7284, True,Tests/Benchmarks/icfp_pos/DBMovies.hs,4.722, True,0
Tests/Benchmarks/icfp_pos/DataBase.hs,8.9725, True,Tests/Benchmarks/icfp_pos/DataBase.hs,9.6055, True,0
Tests/Benchmarks/icfp_pos/CopyRec.hs,20.754, True,Tests/Benchmarks/icfp_pos/CopyRec.hs,21.2418, True,0
Tests/Benchmarks/icfp_pos/Composition.hs,0.862, True,Tests/Benchmarks/icfp_pos/Composition.hs,0.8901, True,0
Tests/Benchmarks/icfp_pos/CompareConstraints.hs,1.1724, True,Tests/Benchmarks/icfp_pos/CompareConstraints.hs,1.1726, True,0
Tests/Benchmarks/icfp_pos/Append.hs,1.0283, True,Tests/Benchmarks/icfp_pos/Append.hs,1.0248, True,0
Tests/Benchmarks/icfp_neg/WhileM.hs,1.1438, True,Tests/Benchmarks/icfp_neg/WhileM.hs,1.1808, True,0
Tests/Benchmarks/icfp_neg/TwiceM.hs,24.6083, True,Tests/Benchmarks/icfp_neg/TwiceM.hs,25.2567, True,0
Tests/Benchmarks/icfp_neg/TestM.hs,0.7331, True,Tests/Benchmarks/icfp_neg/TestM.hs,0.7753, True,0
Tests/Benchmarks/icfp_neg/Records.hs,0.8386, True,Tests/Benchmarks/icfp_neg/Records.hs,0.8698, True,0
Tests/Benchmarks/icfp_neg/IfM.hs,6.6586, True,Tests/Benchmarks/icfp_neg/IfM.hs,6.4661, True,0
Tests/Benchmarks/icfp_neg/DBMovies.hs,4.6781, True,Tests/Benchmarks/icfp_neg/DBMovies.hs,4.3927, True,0
Tests/Benchmarks/icfp_neg/Composition.hs,0.9351, True,Tests/Benchmarks/icfp_neg/Composition.hs,0.8696, True,0
Sum,2232.4494,0,,2291.3357,,0
,,,,,,0