regrtest_results_goto_z3mem_Thu_Jul_18_new_2013

test, time(s), result 
pos/ptr.hs, 0.252980, False 
pos/Mod1.hs, 0.554979, True 
pos/grty3.hs, 0.553950, True 
pos/ite1.hs, 0.666420, True 
pos/datacon1.hs, 0.708115, True 
pos/Abs.hs, 0.745820, True 
pos/monad2.hs, 0.854395, True 
pos/hello.hs, 0.857772, True 
pos/extype.hs, 0.885242, True 
pos/poly3a.hs, 0.972713, True 
pos/go.hs, 0.980225, True 
pos/bar.hs, 1.040180, True 
pos/meas0.hs, 1.107029, True 
pos/ListConcat.hs, 1.169487, True 
pos/niki1.hs, 1.000163, True 
pos/stacks0.hs, 1.426834, True 
pos/LiquidArray.hs, 0.781062, True 
pos/meas3.hs, 1.520653, True 
pos/lets.hs, 1.521245, True 
pos/state00.hs, 0.707104, True 
pos/ListISort.hs, 1.583687, True 
pos/selfList.hs, 1.627289, True 
pos/ptr3.hs, 0.202709, False 
pos/infix.hs, 1.144482, True 
pos/deptup1.hs, 1.797808, True 
pos/string00.hs, 1.036061, True 
pos/adt0.hs, 0.792729, True 
pos/gimme.hs, 1.279850, True 
pos/data2.hs, 1.027660, True 
pos/modTest.hs, 0.738370, True 
pos/Loo.hs, 0.583224, True 
pos/state0.hs, 1.017524, True 
pos/ptr2.hs, 0.177340, False 
pos/tyvar.hs, 0.684248, True 
pos/take.hs, 2.681838, True 
pos/monad7.hs, 2.176921, True 
pos/deppair0.hs, 1.287189, True 
pos/compare1.hs, 1.552038, True 
pos/StrictPair0.hs, 1.074374, True 
pos/meas2.hs, 0.901501, True 
pos/test00.old.hs, 3.217346, True 
pos/zipper0.hs, 3.222631, True 
pos/StrictPair1.hs, 3.391699, True 
pos/deppair1.hs, 1.192990, True 
pos/maybe3.hs, 0.949066, True 
pos/ex01.hs, 0.479704, True 
pos/for.hs, 2.070541, True 
pos/test00b.hs, 0.989243, True 
pos/range.hs, 2.383403, True 
pos/pair.hs, 2.879466, True 
pos/Ackermann.hs, 1.394907, True 
pos/maybe2.hs, 3.301674, True 
pos/PairMeasure0.hs, 0.477975, True 
pos/unusedtyvars.hs, 0.429153, True 
pos/ListQSort-LType.hs, 4.064949, True 
pos/profcrasher.hs, 0.920868, True 
pos/alias01.hs, 0.858350, True 
pos/initarray.hs, 2.669037, True 
pos/trans.hs, 3.054338, True 
pos/polyqual.hs, 3.234946, True 
pos/poly1.hs, 1.200450, True 
pos/DataBase.hs, 1.231814, True 
pos/tupparse.hs, 1.090948, True 
pos/ex1.hs, 1.164992, True 
pos/exp0.hs, 0.809745, True 
pos/deptup3.hs, 0.887814, True 
pos/go_ugly_type.hs, 0.802631, True 
pos/fixme.hs, 3.288414, True 
pos/meas11.hs, 0.898390, True 
pos/PairMeasure.hs, 1.013961, True 
pos/testMRec.hs, 1.020930, True 
pos/Goo.hs, 0.634228, True 
pos/ListRange.hs, 1.592810, True 
pos/test2.hs, 1.188642, True 
pos/meas7.hs, 0.947853, True 
pos/listSet.hs, 1.885635, True 
pos/meas8.hs, 1.524560, True 
pos/maybe.hs, 2.853772, True 
pos/poly3.hs, 0.835052, True 
pos/HigherOrderRecFun.hs, 0.688553, True 
pos/monad1.hs, 0.662527, True 
pos/test000.hs, 1.200753, True 
pos/vector0.hs, 4.371205, True 
pos/meas6.hs, 1.238901, True 
pos/grty2.hs, 1.183409, True 
pos/gadtEval.hs, 5.240805, True 
pos/zipW.hs, 1.333870, True 
pos/pair0.hs, 2.693098, True 
pos/tagBinder.hs, 0.567722, True 
pos/top0.hs, 0.801008, True 
pos/monad6.hs, 1.248852, True 
pos/anftest.hs, 0.791401, True 
pos/poly4.hs, 0.894001, True 
pos/maybe0.hs, 0.841499, True 
pos/scanr.hs, 1.770247, True 
pos/vector1b.hs, 2.841040, True 
pos/range1.hs, 1.307851, True 
pos/test1.hs, 0.974081, True 
pos/vector1.hs, 2.010993, True 
pos/grty0.hs, 0.924850, True 
pos/wrap0.hs, 1.997889, True 
pos/maybe4.hs, 0.646149, True 
pos/mapTvCrash.hs, 0.970308, True 
pos/primInt0.hs, 1.087612, True 
pos/monad5.hs, 2.597806, True 
pos/meas10.hs, 1.373115, True 
pos/foldr.hs, 0.826454, True 
pos/ListElem.hs, 0.682323, True 
pos/maybe1.hs, 1.665462, True 
pos/deptupW.hs, 1.228060, True 
pos/alias00.hs, 0.667080, True 
pos/wrap1.hs, 3.634417, True 
pos/ite.hs, 0.799409, True 
pos/pargs.hs, 0.674320, True 
pos/stateInvarint.hs, 1.989295, True 
pos/poly0.hs, 1.595603, True 
pos/deepmeas0.hs, 1.207402, True 
pos/GhcSort2.hs, 6.371149, True 
pos/niki.hs, 1.339517, True 
pos/record1.hs, 0.840753, True 
pos/ListLen.hs, 5.829590, True 
pos/lex.hs, 1.991006, True 
pos/datacon0.hs, 0.999552, True 
pos/foldN.hs, 1.776637, True 
pos/cont.hs, 9.527227, False 
pos/GhcSort1.hs, 9.532081, True 
pos/listAnf.hs, 1.708951, True 
pos/meas0a.hs, 1.485702, True 
pos/deptup.hs, 2.907748, True 
pos/cont1.hs, 0.751969, True 
pos/spec0.hs, 1.155466, True 
pos/grty1.hs, 0.964691, True 
pos/ex0.hs, 1.605440, True 
pos/ListISort-LType.hs, 3.436023, True 
pos/deptup0.hs, 1.225336, True 
pos/nullterm.hs, 2.525560, True 
pos/rangeAdt.hs, 3.377858, True 
pos/test00c.hs, 2.288686, True 
pos/meas4.hs, 2.155618, True 
pos/meas1.hs, 1.156861, True 
pos/mapreduce.hs, 9.626377, True 
pos/listSetDemo.hs, 2.633050, True 
pos/ListRange-LType.hs, 1.951110, True 
pos/funcomposition.hs, 1.287666, True 
pos/zipSO.hs, 4.584525, True 
pos/ListKeys.hs, 0.816201, True 
pos/maybe00.hs, 0.637378, True 
pos/vector00.hs, 1.782367, True 
pos/meas00a.hs, 1.173321, True 
pos/pred.hs, 0.784039, True 
pos/polyfun.hs, 1.124163, True 
pos/maybe000.hs, 1.385389, True 
pos/LambdaEvalSuperTiny.hs, 2.887697, True 
pos/zipW1.hs, 0.601543, True 
pos/test00.hs, 0.836362, True 
pos/poslist.hs, 3.031577, True 
pos/test0.hs, 1.328785, True 
pos/pargs1.hs, 0.778036, True 
pos/record0.hs, 1.185335, True 
pos/compare2.hs, 1.142437, True 
pos/LambdaEvalMini.hs, 13.064057, True 
pos/Moo.hs, 0.709636, True 
pos/monad.hs, 0.626288, True 
pos/ListMSort-LType.hs, 8.724064, True 
pos/Mod2.hs, 0.703658, True 
pos/poslist_dc.hs, 1.240330, True 
pos/testRec.hs, 1.811651, True 
pos/poly2-degenerate.hs, 1.278015, True 
pos/rec_annot_go.hs, 1.666310, True 
pos/poly2.hs, 1.132685, True 
pos/zipW2.hs, 0.756363, True 
pos/LambdaEvalTiny.hs, 5.798860, True 
pos/Test761.hs, 0.999141, True 
pos/compare.hs, 1.071219, True 
pos/qualTest.hs, 1.145636, True 
pos/cmptag0.hs, 1.459543, True 
pos/vector1a.hs, 2.294854, True 
pos/term0.hs, 1.617442, True 
pos/ListMSort.hs, 8.782990, True 
pos/forloop.hs, 2.282399, True 
pos/duplicate-bind.hs, 1.230113, True 
pos/BST000.hs, 5.679715, True 
neg/meas3.hs, 1.228758, True 
neg/meas9.hs, 1.329724, True 
neg/funref.hs, 0.411905, True 
neg/polypred.hs, 1.280684, True 
neg/truespec.hs, 1.140939, True 
pos/transTAG.hs, 10.374042, True 
neg/ListConcat.hs, 1.173722, True 
pos/risers.hs, 10.897667, True 
neg/grty3.hs, 1.016646, True 
neg/meas0.hs, 1.183603, True 
neg/state00.hs, 0.837056, True 
neg/string00.hs, 1.075235, True 
pos/ListQSort.hs, 6.886236, True 
neg/state0.hs, 1.068898, True 
pos/pair00.hs, 3.590416, True 
neg/deppair0.hs, 1.170505, True 
neg/StrictPair0.hs, 0.988647, True 
neg/monad7.hs, 2.239606, True 
neg/errorloc.hs, 1.267080, True 
neg/meas2.hs, 0.980712, True 
neg/stacks.hs, 0.514041, True 
pos/vector2.hs, 5.458954, True 
neg/StrictPair1.hs, 3.580027, True 
neg/test00b.hs, 1.210833, True 
pos/meas5.hs, 4.151003, True 
neg/sumPoly.hs, 0.671455, True 
neg/test2.hs, 0.775708, True 
neg/fixme2.hs, 0.054106, True 
pos/ListLen-LType.hs, 6.268817, True 
neg/meas7.hs, 0.641586, True 
pos/ListSort.hs, 15.140094, True 
neg/foldN1.hs, 0.778695, True 
neg/poly1.hs, 1.541347, True 
neg/PairMeasure.hs, 0.969605, True 
pos/anfbug.hs, 5.693749, True 
neg/ListRange.hs, 1.528177, True 
neg/ListISort.hs, 3.997516, True 
neg/test1.hs, 0.682174, True 
neg/pair.hs, 3.861201, True 
neg/grty0.hs, 0.480322, True 
neg/concat2.hs, 2.401665, True 
neg/vector0.hs, 3.494147, True 
neg/range.hs, 3.700917, True 
neg/partial.hs, 0.688810, True 
neg/monad6.hs, 1.091656, True 
neg/mapreduce-tiny.hs, 1.387596, True 
neg/ass0.hs, 0.649866, True 
neg/wrap0.hs, 1.417366, True 
neg/monad5.hs, 1.530714, True 
neg/grty2.hs, 1.871555, True 
neg/alias00.hs, 0.719249, True 
neg/ListElem.hs, 0.998949, True 
neg/pargs.hs, 0.693765, True 
neg/deptupW.hs, 1.207576, True 
neg/poly0.hs, 1.146168, True 
neg/fixme0.hs, 1.011396, True 
neg/foldN.hs, 1.160149, True 
neg/fixme1.hs, 2.121783, True 
neg/pred.hs, 0.370918, True 
neg/sumk.hs, 1.718786, True 
neg/pair0.hs, 3.575840, True 
neg/funcomposition.hs, 0.973549, True 
neg/ListKeys.hs, 1.018089, True 
neg/record0.hs, 0.567088, True 
neg/ListISort-LType.hs, 2.181166, True 
neg/pargs1.hs, 0.692758, True 
neg/wrap1.hs, 3.890001, True 
neg/test00a.hs, 1.717164, True 
neg/testRec.hs, 1.488096, True 
neg/vector0a.hs, 2.306017, True 
neg/poly2-degenerate.hs, 1.134902, True 
neg/test00.hs, 1.650895, True 
neg/ex0-unsafe.hs, 1.433687, True 
neg/vector00.hs, 2.247545, True 
neg/grty1.hs, 2.557309, True 
pos/GhcSort3.hs, 9.970539, True 
neg/concat.hs, 2.872213, True 
neg/poslist.hs, 2.777621, True 
neg/concat1.hs, 3.201969, True 
neg/monad4.hs, 1.225910, True 
neg/ex1-unsafe.hs, 1.647683, True 
neg/vector1a.hs, 1.823819, True 
neg/monad3.hs, 1.427042, True 
neg/poly2.hs, 1.801742, True 
neg/list00.hs, 1.494217, True 
neg/mr00.hs, 1.563479, True 
../web/demos/esop2013-demo.hs, 1.405331, True 
neg/ListQSort.hs, 3.944711, True 
../web/demos/blank.hs, 0.516999, True 
../web/demos/Composition.hs, 0.942252, False 
neg/mapreduce.hs, 7.846047, True 
../web/demos/Foldr.hs, 0.924213, True 
../web/demos/ListElts.hs, 1.879313, True 
../web/demos/refinements101reax.hs, 1.716524, False 
../web/demos/test000.hs, 1.386838, True 
../web/demos/refinements101.hs, 3.117903, True 
../web/demos/absref101.hs, 2.569924, True 
neg/trans.hs, 11.750334, True 
../web/demos/treesum.hs, 1.348715, True 
neg/meas5.hs, 5.236741, True 
../web/demos/ListLength.hs, 3.135221, True 
pos/mapreduce-bare.hs, 20.013930, True 
../web/demos/SimpleRefinements.hs, 5.187108, True 
neg/vector2.hs, 6.901171, True 
neg/ListMSort.hs, 10.730293, True 
../web/demos/KMeansHelper.hs, 7.827591, True 
../web/demos/vectorbounds.hs, 4.663210, True 
../web/demos/MapReduce.hs, 10.671502, True 
../web/demos/Array.hs, 9.585720, True 
../benchmarks/esop2013-submission/Toy.hs, 5.932683, True 
../web/demos/ListSort.hs, 14.009128, True 
pos/BST.hs, 28.763790, True 
../benchmarks/esop2013-submission/Fib.hs, 12.896726, True 
pos/zipper.hs, 34.711269, True 
../web/demos/UniqueZipper.hs, 17.630699, True 
../benchmarks/esop2013-submission/ListSort.hs, 15.245977, True 
pos/GhcListSort.hs, 31.070490, True 
../benchmarks/esop2013-submission/Base0.hs, 16.653133, False 
../web/demos/KMeans.hs, 22.881441, True 
../web/demos/Loop.hs, 28.552655, False 
../web/demos/IMaps.hs, 28.553663, True 
../benchmarks/esop2013-submission/GhcListSort.hs, 20.465237, True 
../web/demos/index-dependent-maps.hs, 28.574911, True 
../benchmarks/esop2013-submission/Array.hs, 26.256968, True 
pos/LambdaEval.hs, 55.093995, True 
pos/meas9.hs, 55.091202, True 
../web/demos/Map.hs, 27.915048, True 
pos/SS.hs, 42.254712, False 
../web/demos/KMeansOrig.hs, 33.391052, True 
../web/demos/lenMapReduce.hs, 38.722717, True 
../web/demos/LambdaEval.hs, 40.971588, True 
pos/Map.hs, 54.628238, True 
../web/demos/TalkingAboutSets.hs, 44.118768, False 
pos/Map0.hs, 61.390809, True 
../benchmarks/esop2013-submission/Splay.hs, 46.898521, True 
../benchmarks/esop2013-submission/Base.hs, 286.038034, True