test, time(s), result 
pos/ite1.hs, 0.627914, True 
pos/adt0.hs, 0.637023, True 
pos/test00.old.hs, 0.694275, True 
pos/niki1.hs, 0.739076, True 
pos/grty3.hs, 0.790117, True 
pos/Abs.hs, 0.866435, True 
pos/LiquidArray.hs, 0.867736, True 
pos/string00.hs, 0.867290, True 
pos/poly3a.hs, 0.918210, True 
pos/bar.hs, 1.016090, True 
pos/meas0.hs, 1.081651, True 
pos/zipw.hs, 0.447191, True 
pos/data2.hs, 1.209948, True 
pos/datacon1.hs, 1.322558, True 
pos/selfList.hs, 1.324155, True 
pos/meas9.hs, 1.432181, True 
pos/deppair0.hs, 0.554316, True 
pos/deptup1.hs, 1.488960, True 
pos/modTest.hs, 0.765864, True 
pos/lets.hs, 1.547882, True 
pos/meas3.hs, 1.548032, True 
pos/fixme.hs, 0.705088, True 
pos/Loo.hs, 0.740109, True 
pos/ListISort.hs, 1.662321, True 
pos/meas2.hs, 0.617108, True 
pos/maybe3.hs, 0.710664, True 
pos/compare1.hs, 1.168687, True 
pos/take.hs, 2.042537, True 
pos/alias01.hs, 0.510575, True 
pos/profcrasher.hs, 0.595951, True 
pos/test00b.hs, 0.874671, True 
pos/range.hs, 2.174074, True 
pos/ex01.hs, 0.920065, True 
pos/tupparse.hs, 0.894860, True 
pos/trans.hs, 2.509367, True 
pos/poly1.hs, 1.040324, True 
pos/ex1.hs, 0.898182, True 
pos/pair.hs, 2.726699, True 
pos/test2.hs, 0.745651, True 
pos/testMRec.hs, 0.736498, True 
pos/deptup3.hs, 0.862334, True 
pos/meas8.hs, 0.933382, True 
pos/for.hs, 2.239813, True 
pos/meas11.hs, 0.942196, True 
pos/maybe.hs, 1.783593, True 
pos/maybe2.hs, 3.312231, True 
pos/Goo.hs, 0.771717, True 
pos/ListRange.hs, 1.808113, True 
pos/meas7.hs, 1.222699, True 
pos/poly3.hs, 0.809366, True 
pos/zipW.hs, 0.800698, True 
pos/meas6.hs, 0.921561, True 
pos/test000.hs, 1.024467, True 
pos/ListQSort-LType.hs, 3.903690, True 
pos/stacks0.hs, 3.904276, True 
pos/pair0.hs, 2.091387, True 
pos/grty2.hs, 1.097956, True 
pos/listSet.hs, 2.619755, True 
pos/test1.hs, 0.628348, True 
pos/poly4.hs, 0.875979, True 
pos/range1.hs, 1.146257, True 
pos/initarray.hs, 3.928860, True 
pos/deptupW.hs, 0.616209, True 
pos/maybe0.hs, 1.052581, True 
pos/anftest.hs, 1.145985, True 
pos/scanr.hs, 1.751317, True 
pos/wrap0.hs, 1.418159, True 
pos/maybe1.hs, 1.067348, True 
pos/vector1b.hs, 2.654241, True 
pos/maybe4.hs, 0.748064, True 
pos/vector0.hs, 4.132151, True 
pos/primInt0.hs, 1.120665, True 
pos/mapreduce.hs, 4.072537, True 
pos/alias00.hs, 0.497450, True 
pos/meas10.hs, 1.296444, True 
pos/grty0.hs, 1.296395, True 
pos/foldr.hs, 0.844620, True 
pos/GhcSort2.hs, 4.056249, True 
pos/pargs.hs, 0.515322, True 
pos/ite.hs, 0.906621, True 
pos/poly0.hs, 1.175916, True 
pos/meas0a.hs, 0.577918, True 
pos/record1.hs, 0.610788, True 
pos/wrap1.hs, 3.166366, True 
pos/fixme0.hs, 1.101214, True 
pos/vector1.hs, 2.734675, True 
pos/niki.hs, 0.947091, True 
pos/deptup.hs, 1.695522, True 
pos/listAnf.hs, 1.029273, True 
pos/foldN.hs, 1.339596, True 
pos/ListLen.hs, 4.588678, True 
pos/datacon0.hs, 1.190391, True 
pos/grty1.hs, 0.814231, True 
pos/spec0.hs, 1.029239, True 
pos/gadtEval.hs, 6.602015, True 
pos/deptup0.hs, 0.988768, True 
pos/test00c.hs, 1.404892, True 
pos/nullterm.hs, 1.689002, True 
pos/meas1.hs, 0.779176, True 
pos/ex001.hs, 0.593967, True 
pos/meas4.hs, 1.351364, True 
pos/ListISort-LType.hs, 2.564188, True 
pos/meas00a.hs, 0.520205, True 
pos/maybe00.hs, 0.334423, True 
pos/maybe000.hs, 0.727189, True 
pos/test0.hs, 0.484052, True 
pos/poslist.hs, 1.613817, True 
pos/zipW1.hs, 0.337008, True 
pos/polyfun.hs, 0.681244, True 
pos/pred.hs, 0.637040, True 
pos/vector00.hs, 1.425389, True 
pos/listSetDemo.hs, 2.222486, True 
pos/ListRange-LType.hs, 1.715119, True 
pos/ex0.hs, 2.099285, True 
pos/pargs1.hs, 0.383424, True 
pos/test00.hs, 0.841332, True 
pos/record0.hs, 0.858724, True 
pos/compare2.hs, 0.765551, True 
pos/testRec.hs, 1.109779, True 
pos/rangeAdt.hs, 3.350529, True 
pos/Moo.hs, 0.465318, True 
pos/poly2-degenerate.hs, 0.700933, True 
pos/poslist_dc.hs, 0.797958, True 
pos/poly2.hs, 0.575858, True 
pos/GhcSort1.hs, 8.491464, True 
pos/BST000.hs, 2.838192, True 
pos/LambdaEvalSuperTiny.hs, 2.849240, True 
pos/compare.hs, 0.615574, True 
pos/cmptag0.hs, 0.771388, True 
pos/ListMSort.hs, 5.000090, True 
pos/ListSort.hs, 7.382493, True 
pos/duplicate-bind.hs, 0.658824, True 
pos/tclosure.hs, 6.426507, True 
pos/vector1a.hs, 1.446878, True 
neg/meas3.hs, 0.783714, True 
neg/polypred.hs, 0.554556, True 
pos/rec_annot_go.hs, 1.783758, True 
neg/meas9.hs, 0.667786, True 
pos/forloop.hs, 1.351639, True 
neg/truespec.hs, 0.809197, False 
neg/grty3.hs, 0.631813, True 
pos/ListMSort-LType.hs, 6.990203, True 
neg/string00.hs, 0.613048, True 
neg/meas0.hs, 0.874859, True 
pos/LambdaEvalTiny.hs, 4.692618, True 
neg/meas2.hs, 0.598861, True 
pos/transTAG.hs, 6.738222, True 
pos/LambdaEvalMini.hs, 10.156221, True 
neg/test00b.hs, 0.774726, True 
neg/deppair0.hs, 1.061415, True 
neg/test2.hs, 0.531969, True 
neg/stacks.hs, 0.830914, True 
neg/ListRange.hs, 0.909021, True 
pos/pair00.hs, 2.432362, True 
neg/sumPoly.hs, 0.810603, True 
neg/meas7.hs, 0.628970, True 
neg/poly1.hs, 1.340580, True 
pos/meas5.hs, 2.660037, True 
neg/ListISort.hs, 2.378894, True 
neg/test1.hs, 0.541782, True 
pos/ListQSort.hs, 5.077182, True 
neg/foldN1.hs, 1.162750, True 
neg/grty0.hs, 1.033787, True 
neg/fixme.hs, 2.704565, True 
pos/ListLen-LType.hs, 4.514833, True 
neg/grty2.hs, 1.836251, True 
neg/wrap0.hs, 1.615500, True 
neg/partial.hs, 1.293307, True 
neg/mapreduce-tiny.hs, 1.792569, True 
neg/concat2.hs, 2.753876, True 
pos/vector2.hs, 4.643301, True 
neg/range.hs, 3.210699, True 
neg/ass0.hs, 1.149241, True 
neg/pair0.hs, 2.510894, True 
neg/vector0.hs, 3.156029, True 
neg/deptupW.hs, 1.442045, True 
neg/pair.hs, 3.469384, True 
neg/poly0.hs, 1.485467, True 
neg/pargs.hs, 0.586392, True 
neg/pred.hs, 0.269086, True 
neg/alias00.hs, 0.839914, True 
neg/sumk.hs, 1.636313, True 
neg/wrap1.hs, 2.591050, True 
neg/record0.hs, 0.512322, True 
pos/anfbug.hs, 5.021957, True 
neg/pargs1.hs, 0.439380, True 
neg/test00.hs, 0.646291, True 
neg/foldN.hs, 1.115587, True 
neg/test00a.hs, 0.815879, True 
neg/poly2-degenerate.hs, 0.708464, True 
neg/vector0a.hs, 1.098668, True 
neg/vector00.hs, 1.040018, True 
pos/GhcSort3.hs, 5.816336, True 
neg/poly2.hs, 0.728772, True 
neg/list00.hs, 0.666352, True 
neg/concat.hs, 1.541424, True 
neg/grty1.hs, 1.688191, True 
neg/ex0-unsafe.hs, 1.525994, True 
neg/poslist.hs, 1.784824, True 
neg/ListISort-LType.hs, 2.656658, True 
neg/ex1-unsafe.hs, 1.439335, True 
neg/mr00.hs, 1.324078, True 
neg/trans.hs, 5.174120, True 
../web/demos/blank.hs, 0.412517, True 
neg/concat1.hs, 2.269907, True 
neg/mapreduce.hs, 5.585151, True 
../web/demos/test000.hs, 0.641217, True 
../web/demos/Foldr.hs, 1.010845, True 
neg/ListQSort.hs, 3.086294, True 
pos/mapreduce-bare.hs, 10.637844, True 
../web/demos/ListElts.hs, 2.113235, True 
neg/meas5.hs, 3.038577, True 
neg/ListMSort.hs, 5.294476, True 
../web/demos/absref101.hs, 2.183223, True 
../web/demos/ListLength.hs, 2.174919, True 
../web/demos/refinements101.hs, 2.642814, True 
../benchmarks/esop2013-submission/Base0.hs, 3.272484, True 
neg/vector2.hs, 4.835488, True 
../benchmarks/esop2013-submission/Toy.hs, 4.176888, True 
../web/demos/MapReduce.hs, 3.954674, True 
../web/demos/vectorbounds.hs, 3.297018, True 
pos/BST.hs, 12.569200, True 
../benchmarks/esop2013-submission/Fib.hs, 5.296761, True 
../benchmarks/esop2013-submission/ListSort.hs, 5.870430, True 
../web/demos/ListSort.hs, 6.111836, True 
pos/GhcListSort.hs, 12.760606, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 11.021915, True 
../web/demos/Map.hs, 10.361380, True 
pos/LambdaEval.hs, 26.870572, True 
pos/Map0.hs, 20.670790, True 
../web/demos/KMeans.hs, 13.009957, True 
pos/Map.hs, 20.201516, True 
../benchmarks/esop2013-submission/Array.hs, 16.519519, True 
../benchmarks/esop2013-submission/Splay.hs, 18.160223, True 
../web/demos/LambdaEval.hs, 18.951726, True 
../benchmarks/esop2013-submission/Base.hs, 215.907780, True