packages feed

liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_Mon_Feb__4_082521_2013

test, time(s), result 
pos/test00.old.hs, 1.048764, True 
pos/adt0.hs, 1.041609, True 
pos/ite1.hs, 1.075553, True 
pos/string00.hs, 1.070258, True 
pos/Abs.hs, 1.089905, True 
pos/grty3.hs, 1.091911, True 
pos/LiquidArray.hs, 1.160562, True 
pos/niki1.hs, 1.165012, True 
pos/bar.hs, 1.293056, True 
pos/meas0.hs, 1.305261, True 
pos/monad2.hs, 1.313791, True 
pos/poly3a.hs, 1.326693, True 
pos/meas3.hs, 1.617320, True 
pos/meas9.hs, 1.629050, True 
pos/lets.hs, 1.703476, True 
pos/deptup1.hs, 1.729634, True 
pos/stacks0.hs, 1.823330, True 
pos/ListISort.hs, 1.834384, True 
pos/zipw.hs, 0.802716, True 
pos/modTest.hs, 0.834655, True 
pos/selfList.hs, 1.939864, True 
pos/monad7.hs, 1.954060, True 
pos/Loo.hs, 0.707438, True 
pos/data2.hs, 0.978318, True 
pos/meas2.hs, 0.449259, True 
pos/deppair0.hs, 0.863223, True 
pos/ex01.hs, 0.387335, True 
pos/fixme.hs, 0.988181, True 
pos/test00b.hs, 0.644062, True 
pos/maybe3.hs, 0.794340, True 
pos/compare1.hs, 1.305774, True 
pos/take.hs, 2.487910, True 
pos/trans.hs, 2.524430, True 
pos/profcrasher.hs, 0.676423, True 
pos/alias01.hs, 0.642513, True 
pos/range.hs, 1.676164, True 
pos/maybe2.hs, 2.887958, True 
pos/deptup3.hs, 0.585047, True 
pos/poly1.hs, 1.070501, True 
pos/pair.hs, 3.044433, True 
pos/meas11.hs, 0.517680, True 
pos/test2.hs, 0.585260, True 
pos/ex1.hs, 0.893550, True 
pos/for.hs, 2.010289, True 
pos/meas8.hs, 0.899236, True 
pos/meas7.hs, 0.677647, True 
pos/testMRec.hs, 0.864537, True 
pos/Goo.hs, 0.343920, True 
pos/tupparse.hs, 1.293400, True 
pos/maybe.hs, 1.714602, True 
pos/ListRange.hs, 1.326293, True 
pos/ListQSort-LType.hs, 3.574544, True 
pos/poly3.hs, 0.569424, True 
pos/zipW.hs, 0.649478, True 
pos/monad1.hs, 0.446669, True 
pos/initarray.hs, 2.766480, True 
pos/test000.hs, 0.803118, True 
pos/listSet.hs, 1.849381, True 
pos/meas6.hs, 0.991207, True 
pos/grty2.hs, 0.992102, True 
pos/pair0.hs, 1.901568, True 
pos/monad6.hs, 0.712135, True 
pos/poly4.hs, 0.476848, True 
pos/wrap0.hs, 0.819381, True 
pos/range1.hs, 0.779286, True 
pos/monad5.hs, 1.155494, True 
pos/maybe0.hs, 0.619711, True 
pos/test1.hs, 0.637519, True 
pos/anftest.hs, 0.882062, True 
pos/scanr.hs, 1.266765, True 
pos/maybe1.hs, 0.828470, True 
pos/grty0.hs, 0.637471, True 
pos/foldr.hs, 0.650728, True 
pos/vector0.hs, 3.919568, True 
pos/maybe4.hs, 0.719523, True 
pos/deptupW.hs, 0.884202, True 
pos/vector1b.hs, 2.599021, True 
pos/gadtEval.hs, 5.385918, True 
pos/alias00.hs, 0.806242, True 
pos/ite.hs, 0.811784, True 
pos/meas10.hs, 1.495366, True 
pos/pargs.hs, 0.422655, True 
pos/poly0.hs, 1.141466, True 
pos/vector1.hs, 2.271201, True 
pos/niki.hs, 0.601280, True 
pos/GhcSort2.hs, 4.021454, True 
pos/fixme0.hs, 1.183939, True 
pos/primInt0.hs, 1.635638, True 
pos/record1.hs, 0.516163, True 
pos/listAnf.hs, 0.869820, True 
pos/meas0a.hs, 0.749023, True 
pos/deptup.hs, 1.760848, True 
pos/wrap1.hs, 3.197919, True 
pos/foldN.hs, 1.124209, True 
pos/datacon0.hs, 0.792267, True 
pos/mapreduce.hs, 5.101338, True 
pos/spec0.hs, 0.714192, True 
pos/grty1.hs, 0.630182, True 
pos/deptup0.hs, 0.618189, True 
pos/ListLen.hs, 4.975465, True 
pos/ListISort-LType.hs, 2.537213, True 
pos/meas4.hs, 1.137762, True 
pos/meas1.hs, 0.713613, True 
pos/vector00.hs, 0.847417, True 
pos/rangeAdt.hs, 2.271414, True 
pos/test00c.hs, 1.669572, True 
pos/maybe000.hs, 0.373866, True 
pos/ex001.hs, 0.626154, True 
pos/ListRange-LType.hs, 1.137005, True 
pos/nullterm.hs, 1.936868, True 
pos/maybe00.hs, 0.345406, True 
pos/ListMSort-LType.hs, 4.932411, True 
pos/meas00a.hs, 0.672809, True 
pos/ex0.hs, 1.941394, True 
pos/polyfun.hs, 0.782336, True 
pos/pred.hs, 0.566690, True 
pos/risers.hs, 4.599599, True 
pos/test00.hs, 0.570382, True 
pos/LambdaEvalSuperTiny.hs, 2.004654, True 
pos/test0.hs, 0.691727, True 
pos/zipW1.hs, 0.560954, True 
pos/record0.hs, 0.725299, True 
pos/GhcSort1.hs, 8.154007, True 
pos/tclosure.hs, 5.325668, True 
pos/BST000.hs, 2.260523, True 
pos/poslist.hs, 2.151694, True 
pos/poly2-degenerate.hs, 0.511117, True 
pos/pargs1.hs, 0.762349, True 
pos/compare2.hs, 0.957403, True 
pos/poslist_dc.hs, 0.778376, True 
pos/Moo.hs, 0.573601, True 
pos/testRec.hs, 1.233581, True 
pos/listSetDemo.hs, 3.007678, True 
pos/transTAG.hs, 5.099113, True 
pos/LambdaEvalMini.hs, 8.667665, True 
pos/monad.hs, 0.669161, True 
pos/rec_annot_go.hs, 1.191743, True 
pos/poly2.hs, 0.741012, True 
pos/cmptag0.hs, 0.719659, True 
pos/ListMSort.hs, 5.041363, True 
pos/compare.hs, 0.804792, True 
pos/monad3.hs, 1.072531, True 
neg/meas3.hs, 0.648229, True 
pos/duplicate-bind.hs, 0.716905, True 
pos/vector1a.hs, 1.572416, True 
neg/truespec.hs, 0.717735, True 
neg/meas9.hs, 0.818498, True 
pos/forloop.hs, 1.315807, True 
neg/polypred.hs, 0.836309, True 
neg/grty3.hs, 0.583480, True 
pos/ListSort.hs, 7.691637, True 
neg/meas0.hs, 0.900402, True 
pos/LambdaEvalTiny.hs, 4.345266, True 
neg/string00.hs, 0.628079, True 
pos/monad4.hs, 1.544663, True 
neg/test00b.hs, 0.868293, True 
neg/stacks.hs, 0.706812, True 
neg/meas2.hs, 0.957628, True 
neg/poly1.hs, 0.970679, True 
neg/deppair0.hs, 1.177112, True 
neg/monad7.hs, 1.589213, True 
neg/test2.hs, 0.877013, True 
neg/ListRange.hs, 1.200126, True 
pos/ListQSort.hs, 4.741988, True 
pos/pair00.hs, 2.480526, True 
neg/sumPoly.hs, 0.821787, True 
pos/meas5.hs, 2.636730, True 
neg/ListISort.hs, 2.623673, True 
neg/meas7.hs, 0.928046, True 
neg/test1.hs, 0.474940, True 
neg/mapreduce-tiny.hs, 0.742989, True 
neg/concat2.hs, 1.915805, True 
neg/foldN1.hs, 1.133038, True 
neg/monad6.hs, 0.616272, True 
neg/grty0.hs, 0.398661, True 
neg/pair.hs, 2.687127, True 
neg/wrap0.hs, 0.920626, True 
neg/monad5.hs, 1.209936, True 
pos/vector2.hs, 4.067436, True 
neg/pair0.hs, 2.084197, True 
neg/ass0.hs, 0.625838, True 
neg/vector0.hs, 2.695721, True 
neg/alias00.hs, 0.566897, True 
neg/partial.hs, 0.840855, True 
neg/pargs.hs, 0.365636, True 
neg/deptupW.hs, 0.885422, True 
neg/poly0.hs, 0.830474, True 
neg/range.hs, 2.957517, True 
pos/ListLen-LType.hs, 4.788959, True 
neg/grty2.hs, 1.866130, True 
neg/pred.hs, 0.299330, True 
pos/anfbug.hs, 4.270685, True 
neg/vector0a.hs, 0.746987, True 
neg/test00a.hs, 0.717164, True 
neg/record0.hs, 0.569774, True 
neg/sumk.hs, 1.329470, True 
neg/test00.hs, 0.732679, True 
neg/pargs1.hs, 0.530083, True 
neg/vector00.hs, 0.866008, True 
neg/foldN.hs, 1.463187, True 
neg/poly2-degenerate.hs, 0.696888, True 
neg/ListISort-LType.hs, 1.632191, True 
neg/concat.hs, 1.291943, True 
neg/poly2.hs, 0.584482, True 
neg/ex1-unsafe.hs, 0.765423, True 
neg/grty1.hs, 1.378917, True 
neg/monad3.hs, 0.633827, True 
pos/mapreduce-bare.hs, 8.670919, True 
pos/GhcSort3.hs, 5.529816, True 
neg/list00.hs, 0.554020, True 
neg/wrap1.hs, 2.946370, True 
neg/poslist.hs, 1.560875, True 
neg/monad4.hs, 0.837797, True 
neg/mr00.hs, 1.248375, True 
../web/demos/blank.hs, 0.563741, True 
neg/ex0-unsafe.hs, 2.044915, True 
neg/concat1.hs, 2.576519, True 
neg/mapreduce.hs, 5.115898, True 
neg/ListQSort.hs, 2.917316, True 
neg/ListMSort.hs, 3.915515, True 
../web/demos/Foldr.hs, 0.926013, True 
../web/demos/test000.hs, 0.742055, True 
../web/demos/refinements101reax.hs, 1.272129, False 
neg/meas5.hs, 2.541329, True 
../web/demos/ListElts.hs, 2.055336, True 
../benchmarks/esop2013-submission/Base0.hs, 2.788298, True 
neg/trans.hs, 7.159300, True 
../web/demos/refinements101.hs, 2.921955, True 
../web/demos/absref101.hs, 2.123214, True 
../web/demos/ListLength.hs, 2.195832, True 
neg/vector2.hs, 4.705397, True 
../benchmarks/esop2013-submission/Toy.hs, 4.061048, True 
pos/BST.hs, 11.806431, True 
../web/demos/MapReduce.hs, 3.946357, True 
../web/demos/vectorbounds.hs, 2.868501, True 
../benchmarks/esop2013-submission/Fib.hs, 5.132447, True 
../benchmarks/esop2013-submission/ListSort.hs, 5.990486, True 
../web/demos/ListSort.hs, 6.471141, True 
pos/GhcListSort.hs, 13.100057, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 11.434909, True 
../web/demos/Map.hs, 11.060221, True 
pos/LambdaEval.hs, 26.343781, True 
pos/datacon1.hs, 26.342547, True 
../web/demos/lenMapReduce.hs, 13.433359, True 
../web/demos/KMeans.hs, 12.780422, True 
pos/Map0.hs, 21.004372, True 
pos/Map.hs, 19.800188, True 
../benchmarks/esop2013-submission/Array.hs, 16.537071, True 
../benchmarks/esop2013-submission/Splay.hs, 18.069603, True 
../web/demos/LambdaEval.hs, 18.372670, True 
../benchmarks/esop2013-submission/Base.hs, 201.247619, True