liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_Sun_Jan_13_171109_2013
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