regrtest_results_goto_Sat_Feb_23_183819_2013

test, time(s), result 
pos/datacon1.hs, 0.748141, True 
pos/LiquidArray.hs, 0.761847, True 
pos/Abs.hs, 0.764766, True 
pos/state00.hs, 0.847393, True 
pos/string00.hs, 0.895707, True 
pos/poly3a.hs, 0.970057, True 
pos/bar.hs, 1.019032, True 
pos/monad2.hs, 1.044736, True 
pos/meas9.hs, 1.077689, True 
pos/meas0.hs, 1.089219, True 
pos/ite1.hs, 1.220871, True 
pos/lets.hs, 1.222080, True 
pos/stacks0.hs, 1.265318, True 
pos/selfList.hs, 1.318696, True 
pos/test00.old.hs, 1.352801, True 
pos/meas3.hs, 1.355331, True 
pos/deptup1.hs, 1.359440, True 
pos/adt0.hs, 0.606221, True 
pos/monad7.hs, 1.464029, True 
pos/state0.hs, 0.471541, True 
pos/data2.hs, 0.883370, True 
pos/ListISort.hs, 1.659572, True 
pos/trans.hs, 1.735111, True 
pos/modTest.hs, 0.701258, True 
pos/Loo.hs, 0.525200, True 
pos/ex01.hs, 0.353812, True 
pos/deppair0.hs, 0.624333, True 
pos/meas2.hs, 0.584735, True 
pos/maybe3.hs, 0.601913, True 
pos/take.hs, 1.971599, True 
pos/profcrasher.hs, 0.431473, True 
pos/fixme.hs, 0.883437, True 
pos/compare1.hs, 1.046577, True 
pos/test00b.hs, 0.815212, True 
pos/pair.hs, 2.208121, True 
pos/niki1.hs, 2.208958, True 
pos/alias01.hs, 0.468931, True 
pos/range.hs, 1.499802, True 
pos/for.hs, 1.432789, True 
pos/poly1.hs, 0.832015, True 
pos/polyqual.hs, 1.854979, True 
pos/meas7.hs, 0.432774, True 
pos/deptup3.hs, 0.603605, True 
pos/ListQSort-LType.hs, 2.716129, True 
pos/tupparse.hs, 0.844343, True 
pos/meas11.hs, 0.566530, True 
pos/test2.hs, 0.662562, True 
pos/initarray.hs, 1.909356, True 
pos/ex1.hs, 0.956111, True 
pos/Goo.hs, 0.333646, True 
pos/meas8.hs, 0.847663, True 
pos/ListRange.hs, 1.018032, True 
pos/maybe.hs, 1.583720, True 
pos/maybe2.hs, 3.141662, True 
pos/testMRec.hs, 1.014721, True 
pos/poly3.hs, 0.605203, True 
pos/zipW.hs, 0.591191, True 
pos/monad1.hs, 0.424918, True 
pos/grty2.hs, 0.609280, True 
pos/listSet.hs, 1.573641, True 
pos/test000.hs, 0.845098, True 
pos/meas6.hs, 0.967890, True 
pos/monad6.hs, 0.629772, True 
pos/scanr.hs, 0.789934, True 
pos/gadtEval.hs, 3.787119, True 
pos/pair0.hs, 1.923339, True 
pos/poly4.hs, 0.589491, True 
pos/vector1b.hs, 1.715827, True 
pos/wrap0.hs, 0.863038, True 
pos/monad5.hs, 1.203362, True 
pos/grty0.hs, 0.363467, True 
pos/maybe0.hs, 0.754064, True 
pos/maybe1.hs, 0.675632, True 
pos/vector0.hs, 3.022861, True 
pos/range1.hs, 0.929337, True 
pos/anftest.hs, 0.804121, True 
pos/test1.hs, 0.752621, True 
pos/meas10.hs, 0.804278, True 
pos/foldr.hs, 0.484742, True 
pos/ite.hs, 0.398236, True 
pos/maybe4.hs, 0.611266, True 
pos/wrap1.hs, 1.985903, True 
pos/alias00.hs, 0.523343, True 
pos/vector1.hs, 1.693407, True 
pos/poly0.hs, 0.690957, True 
pos/deptupW.hs, 0.855722, True 
pos/fixme0.hs, 0.657504, True 
pos/pargs.hs, 0.320742, True 
pos/foldN.hs, 0.720675, True 
pos/niki.hs, 0.455421, True 
pos/record1.hs, 0.339254, True 
pos/primInt0.hs, 1.209155, True 
pos/stateInvarint.hs, 1.451431, True 
pos/spec0.hs, 0.456292, True 
pos/meas0a.hs, 0.731279, True 
pos/ListLen.hs, 3.624518, True 
pos/mapreduce.hs, 4.082884, True 
pos/GhcSort2.hs, 4.120469, True 
pos/deptup.hs, 1.654894, True 
pos/listAnf.hs, 1.099069, True 
pos/datacon0.hs, 1.022731, True 
pos/nullterm.hs, 1.066655, True 
pos/grty1.hs, 0.609662, True 
pos/ex0.hs, 1.002692, True 
pos/meas4.hs, 0.998024, True 
pos/test00c.hs, 1.204490, True 
pos/listSetDemo.hs, 1.404737, True 
pos/meas1.hs, 0.557912, True 
pos/rangeAdt.hs, 2.046056, True 
pos/deptup0.hs, 0.846098, True 
pos/maybe00.hs, 0.345735, True 
pos/maybe000.hs, 0.426633, True 
pos/tclosure.hs, 3.992300, True 
pos/vector00.hs, 0.862254, True 
pos/polyfun.hs, 0.530444, True 
pos/meas00a.hs, 0.712795, True 
pos/ListRange-LType.hs, 1.005675, True 
pos/poslist.hs, 1.251628, True 
pos/pred.hs, 0.573638, True 
pos/test00.hs, 0.456274, True 
pos/LambdaEvalSuperTiny.hs, 1.684685, True 
pos/zipW1.hs, 0.394505, True 
pos/test0.hs, 0.642882, True 
pos/transTAG.hs, 3.836532, True 
pos/pargs1.hs, 0.362051, True 
pos/record0.hs, 0.650459, True 
pos/ListSort.hs, 5.327754, True 
pos/poly2-degenerate.hs, 0.503126, True 
pos/ListISort-LType.hs, 2.995128, True 
pos/compare2.hs, 0.702290, True 
pos/risers.hs, 4.371390, True 
pos/LambdaEvalMini.hs, 7.172737, True 
pos/testRec.hs, 1.010075, True 
pos/Moo.hs, 0.500099, True 
pos/grty3.hs, 7.207767, True 
pos/GhcSort1.hs, 7.210982, True 
pos/monad.hs, 0.601936, True 
pos/poslist_dc.hs, 0.818125, True 
pos/rec_annot_go.hs, 1.103318, True 
pos/poly2.hs, 0.708497, True 
pos/zipW2.hs, 0.514772, True 
pos/cmptag0.hs, 0.694413, True 
pos/compare.hs, 0.718205, True 
pos/vector1a.hs, 1.170160, True 
pos/monad3.hs, 1.002724, True 
pos/ListMSort.hs, 4.333784, True 
pos/LambdaEvalTiny.hs, 3.314722, True 
neg/polypred.hs, 0.568931, True 
neg/truespec.hs, 0.419692, True 
pos/BST000.hs, 2.794799, True 
neg/meas0.hs, 0.393502, True 
neg/meas3.hs, 0.760428, True 
pos/monad4.hs, 1.047676, True 
pos/ListMSort-LType.hs, 5.748012, True 
neg/meas9.hs, 0.813478, True 
pos/duplicate-bind.hs, 0.924812, True 
neg/grty3.hs, 0.455023, True 
neg/string00.hs, 0.453321, True 
neg/state0.hs, 0.468197, True 
pos/forloop.hs, 1.599327, True 
neg/state00.hs, 0.678221, True 
neg/deppair0.hs, 0.616582, True 
neg/stacks.hs, 0.440065, True 
neg/meas2.hs, 0.630207, True 
neg/test00b.hs, 0.587295, True 
neg/monad7.hs, 0.997253, True 
neg/foldN1.hs, 0.206745, True 
neg/poly1.hs, 0.663924, True 
neg/test2.hs, 0.468104, True 
neg/ListRange.hs, 0.738598, True 
neg/meas7.hs, 0.527999, True 
neg/sumPoly.hs, 0.696767, True 
neg/monad6.hs, 0.436048, True 
pos/pair00.hs, 2.119288, True 
pos/meas5.hs, 2.142654, True 
neg/ListISort.hs, 1.946865, True 
neg/test1.hs, 0.483859, True 
neg/monad5.hs, 0.791041, True 
pos/vector2.hs, 2.972726, True 
neg/mapreduce-tiny.hs, 0.779364, True 
pos/ListQSort.hs, 4.169455, True 
neg/grty0.hs, 0.421781, True 
neg/partial.hs, 0.394960, True 
neg/wrap0.hs, 0.759871, True 
neg/concat2.hs, 1.682903, True 
neg/ass0.hs, 0.421676, True 
neg/range.hs, 2.028794, True 
neg/deptupW.hs, 0.697338, True 
neg/pair.hs, 2.240703, True 
neg/alias00.hs, 0.520498, True 
neg/pargs.hs, 0.520771, True 
neg/grty2.hs, 1.427777, True 
neg/vector0.hs, 2.190617, True 
neg/poly0.hs, 0.835916, True 
pos/ListLen-LType.hs, 3.843915, True 
neg/foldN.hs, 0.728286, True 
neg/ex0-unsafe.hs, 0.200258, True 
neg/pair0.hs, 1.956877, True 
neg/pred.hs, 0.311127, True 
neg/test00a.hs, 0.481352, True 
neg/sumk.hs, 1.065989, True 
neg/test00.hs, 0.520403, True 
neg/vector0a.hs, 0.984718, True 
neg/ex1-unsafe.hs, 0.301192, True 
neg/pargs1.hs, 0.499271, True 
neg/poly2-degenerate.hs, 0.461599, True 
neg/record0.hs, 0.648714, True 
neg/ListISort-LType.hs, 1.227409, True 
neg/wrap1.hs, 2.115419, True 
pos/anfbug.hs, 3.967539, True 
neg/concat.hs, 1.187999, True 
neg/monad4.hs, 0.629745, True 
neg/poly2.hs, 0.674032, True 
neg/vector00.hs, 1.027895, True 
neg/list00.hs, 0.494567, True 
neg/monad3.hs, 0.757691, True 
neg/grty1.hs, 1.498147, True 
neg/concat1.hs, 1.735601, True 
pos/mapreduce-bare.hs, 7.356021, True 
neg/poslist.hs, 1.682233, True 
neg/mapreduce.hs, 3.672711, True 
neg/mr00.hs, 1.113415, True 
../web/demos/blank.hs, 0.355613, True 
pos/GhcSort3.hs, 5.546267, True 
../web/demos/Foldr.hs, 0.572675, True 
neg/ListQSort.hs, 2.246528, True 
../web/demos/test000.hs, 0.485133, True 
../web/demos/refinements101.hs, 1.675908, True 
../web/demos/refinements101reax.hs, 1.256109, False 
neg/meas5.hs, 2.353640, True 
../web/demos/ListElts.hs, 2.040182, True 
../web/demos/absref101.hs, 1.436172, True 
neg/trans.hs, 5.486050, True 
../benchmarks/esop2013-submission/Base0.hs, 2.996935, True 
neg/ListMSort.hs, 4.672380, True 
neg/vector2.hs, 3.546487, True 
../benchmarks/esop2013-submission/Toy.hs, 3.269783, True 
../web/demos/MapReduce.hs, 3.193644, True 
../web/demos/ListLength.hs, 2.140077, True 
../web/demos/vectorbounds.hs, 1.920314, True 
../web/demos/KMeansHelper.hs, 3.493554, True 
../benchmarks/esop2013-submission/ListSort.hs, 5.374540, True 
../benchmarks/esop2013-submission/Fib.hs, 5.356484, True 
../web/demos/ListSort.hs, 4.922285, True 
../web/demos/KMeans.hs, 6.307215, True 
pos/GhcListSort.hs, 11.985625, True 
pos/BST.hs, 14.397080, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 10.555167, True 
../benchmarks/esop2013-submission/Array.hs, 11.858004, True 
../web/demos/KMeansOrig.hs, 10.989883, True 
../web/demos/lenMapReduce.hs, 14.307811, True 
pos/LambdaEval.hs, 26.507049, True 
../web/demos/Map.hs, 15.005835, True 
../web/demos/LambdaEval.hs, 17.606169, True 
pos/Map.hs, 25.671526, True 
pos/Map0.hs, 27.480427, True 
../benchmarks/esop2013-submission/Splay.hs, 25.161632, True 
../benchmarks/esop2013-submission/Base.hs, 252.908197, True