regrtest_results_goto_smtlib1_Thu_Jul_18_2013

test, time(s), result 
pos/cont.hs, 0.320248, False 
pos/datacon1.hs, 0.747048, True 
pos/Mod1.hs, 0.690511, True 
pos/ptr.hs, 0.817931, False 
pos/ite1.hs, 0.820610, True 
pos/extype.hs, 0.847092, True 
pos/grty3.hs, 0.806062, True 
pos/test00.old.hs, 0.996132, True 
pos/monad2.hs, 1.052867, True 
pos/hello.hs, 1.059560, True 
pos/poly3a.hs, 1.059386, True 
pos/ListConcat.hs, 1.100889, True 
pos/Abs.hs, 1.119371, True 
pos/go.hs, 1.136486, True 
pos/meas9.hs, 1.275888, True 
pos/meas0.hs, 1.270906, True 
pos/bar.hs, 1.253645, True 
pos/niki1.hs, 1.125473, True 
pos/lets.hs, 1.463598, True 
pos/ptr3.hs, 0.134980, False 
pos/meas3.hs, 1.562871, True 
pos/selfList.hs, 1.558901, True 
pos/stacks0.hs, 1.561214, True 
pos/ListISort.hs, 1.623350, True 
pos/LiquidArray.hs, 0.923336, True 
pos/deptup1.hs, 1.787987, True 
pos/adt0.hs, 0.760375, True 
pos/state00.hs, 1.017396, True 
pos/infix.hs, 1.313059, True 
pos/string00.hs, 1.299010, True 
pos/gimme.hs, 1.448992, True 
pos/ptr2.hs, 0.272621, False 
pos/tyvar.hs, 0.723993, True 
pos/state0.hs, 1.266944, True 
pos/modTest.hs, 1.277576, True 
pos/Loo.hs, 1.130330, True 
pos/data2.hs, 1.719366, True 
pos/StrictPair0.hs, 1.145921, True 
pos/monad7.hs, 2.458248, True 
pos/deppair0.hs, 1.502312, True 
pos/deppair1.hs, 1.321539, True 
pos/maybe3.hs, 0.811670, True 
pos/compare1.hs, 1.896411, True 
pos/meas2.hs, 1.144434, True 
pos/range.hs, 2.328455, True 
pos/StrictPair1.hs, 3.622524, True 
pos/ex01.hs, 0.701973, True 
pos/ListQSort-LType.hs, 3.938699, True 
pos/Ackermann.hs, 1.357005, True 
pos/for.hs, 2.556812, True 
pos/test00b.hs, 1.394087, True 
pos/initarray.hs, 2.812260, True 
pos/trans.hs, 3.096406, True 
pos/pair.hs, 3.329260, True 
pos/profcrasher.hs, 0.977138, True 
pos/zipper0.hs, 4.158765, True 
pos/polyqual.hs, 3.082495, True 
pos/alias01.hs, 0.897146, True 
pos/PairMeasure0.hs, 0.716975, True 
pos/DataBase.hs, 1.219396, True 
pos/fixme.hs, 3.118595, True 
pos/ex1.hs, 1.166512, True 
pos/poly1.hs, 1.788972, True 
pos/unusedtyvars.hs, 1.065571, True 
pos/listSet.hs, 1.668179, True 
pos/maybe2.hs, 4.354199, True 
pos/meas11.hs, 1.035690, True 
pos/tupparse.hs, 1.640976, True 
pos/exp0.hs, 1.157876, True 
pos/PairMeasure.hs, 1.179902, True 
pos/test2.hs, 1.250725, True 
pos/testMRec.hs, 1.328288, True 
pos/meas7.hs, 0.871127, True 
pos/deptup3.hs, 1.458650, True 
pos/Goo.hs, 0.857996, True 
pos/meas8.hs, 1.563173, True 
pos/go_ugly_type.hs, 1.378213, True 
pos/maybe.hs, 2.925775, True 
pos/ListRange.hs, 1.988882, True 
pos/HigherOrderRecFun.hs, 0.853321, True 
pos/test000.hs, 1.396113, True 
pos/vector0.hs, 4.911414, True 
pos/monad1.hs, 0.989167, True 
pos/poly3.hs, 1.338386, True 
pos/grty2.hs, 1.280293, True 
pos/zipW.hs, 1.437725, True 
pos/vector1b.hs, 2.558749, True 
pos/meas6.hs, 1.784942, True 
pos/monad6.hs, 1.283828, True 
pos/top0.hs, 1.159067, True 
pos/scanr.hs, 1.675104, True 
pos/range1.hs, 1.476041, True 
pos/tagBinder.hs, 0.857833, True 
pos/wrap0.hs, 1.657400, True 
pos/anftest.hs, 1.215291, True 
pos/gadtEval.hs, 6.591200, True 
pos/poly4.hs, 1.206378, True 
pos/maybe0.hs, 1.158479, True 
pos/mapTvCrash.hs, 0.693901, True 
pos/test1.hs, 1.376280, True 
pos/pair0.hs, 4.016026, True 
pos/grty0.hs, 1.044714, True 
pos/monad5.hs, 2.612414, True 
pos/meas10.hs, 1.102393, True 
pos/maybe1.hs, 1.608832, True 
pos/vector1.hs, 2.558169, True 
pos/maybe4.hs, 1.144304, True 
pos/ListElem.hs, 0.864265, True 
pos/wrap1.hs, 3.691330, True 
pos/alias00.hs, 0.825509, True 
pos/deptupW.hs, 1.564123, True 
pos/poly0.hs, 1.299508, True 
pos/foldr.hs, 1.337573, True 
pos/stateInvarint.hs, 1.868195, True 
pos/primInt0.hs, 1.865102, True 
pos/ite.hs, 1.086567, True 
pos/ListLen.hs, 6.066270, True 
pos/pargs.hs, 0.912151, True 
pos/foldN.hs, 1.502442, True 
pos/record1.hs, 1.038182, True 
pos/niki.hs, 1.528729, True 
pos/mapreduce.hs, 8.568561, True 
pos/meas0a.hs, 1.534444, True 
pos/lex.hs, 2.609653, True 
pos/datacon0.hs, 1.590082, True 
pos/deepmeas0.hs, 2.140515, True 
pos/listAnf.hs, 1.950671, True 
pos/deptup.hs, 3.520165, True 
pos/rangeAdt.hs, 3.028090, True 
pos/spec0.hs, 1.581375, True 
pos/cont1.hs, 0.843622, True 
pos/ex0.hs, 1.521435, True 
pos/grty1.hs, 1.081143, True 
pos/GhcSort2.hs, 9.223909, True 
pos/listSetDemo.hs, 2.463617, True 
pos/nullterm.hs, 2.922683, True 
pos/test00c.hs, 2.363522, True 
pos/ListISort-LType.hs, 4.103846, True 
pos/zipSO.hs, 4.319889, True 
pos/meas4.hs, 2.140211, True 
pos/meas1.hs, 1.181662, True 
pos/deptup0.hs, 1.855886, True 
pos/GhcSort1.hs, 12.837838, True 
pos/maybe00.hs, 0.723500, True 
pos/maybe000.hs, 0.948226, True 
pos/meas00a.hs, 0.995711, True 
pos/funcomposition.hs, 1.425239, True 
pos/pred.hs, 0.855674, True 
pos/ListKeys.hs, 1.057675, True 
pos/polyfun.hs, 1.128524, True 
pos/vector00.hs, 1.883470, True 
pos/ListRange-LType.hs, 2.036950, True 
pos/LambdaEvalSuperTiny.hs, 3.107885, True 
pos/zipW1.hs, 0.727107, True 
pos/poslist.hs, 2.906359, True 
pos/test0.hs, 1.416508, True 
pos/test00.hs, 1.057326, True 
pos/LambdaEvalMini.hs, 13.743657, True 
pos/pargs1.hs, 0.753727, True 
pos/ListMSort-LType.hs, 9.105105, True 
pos/poly2-degenerate.hs, 1.100584, True 
pos/monad.hs, 0.657661, True 
pos/record0.hs, 1.416024, True 
pos/compare2.hs, 1.349735, True 
pos/Moo.hs, 0.782540, True 
pos/poslist_dc.hs, 1.347100, True 
pos/Mod2.hs, 0.835372, True 
pos/testRec.hs, 2.215101, True 
pos/poly2.hs, 1.330912, True 
pos/rec_annot_go.hs, 2.154975, True 
pos/zipW2.hs, 0.984832, True 
pos/cmptag0.hs, 1.466693, True 
pos/vector1a.hs, 2.159100, True 
pos/Test761.hs, 1.145062, True 
pos/qualTest.hs, 1.191696, True 
pos/compare.hs, 1.272222, True 
pos/forloop.hs, 2.154928, True 
pos/risers.hs, 10.600981, True 
pos/term0.hs, 1.507779, True 
pos/transTAG.hs, 10.320478, True 
pos/LambdaEvalTiny.hs, 7.116251, True 
pos/BST000.hs, 5.966642, True 
neg/meas9.hs, 1.101058, True 
neg/meas3.hs, 1.242862, True 
neg/funref.hs, 0.533961, True 
pos/duplicate-bind.hs, 1.275669, True 
neg/polypred.hs, 1.253155, True 
neg/grty3.hs, 0.714501, True 
neg/ListConcat.hs, 0.985613, True 
neg/truespec.hs, 1.459393, True 
pos/vector2.hs, 3.904927, True 
neg/meas0.hs, 1.311703, True 
pos/ListSort.hs, 14.365805, True 
neg/state00.hs, 1.136784, True 
pos/ListMSort.hs, 11.224441, True 
neg/string00.hs, 1.409109, True 
neg/state0.hs, 1.283941, True 
neg/errorloc.hs, 1.120557, True 
pos/pair00.hs, 3.734641, True 
pos/ListLen-LType.hs, 5.360927, True 
neg/StrictPair0.hs, 1.096813, True 
neg/deppair0.hs, 1.782478, True 
neg/stacks.hs, 0.634216, True 
neg/monad7.hs, 2.403236, True 
pos/ListQSort.hs, 7.925902, True 
pos/meas5.hs, 3.797293, True 
neg/meas2.hs, 1.356238, True 
neg/test00b.hs, 1.134132, True 
neg/StrictPair1.hs, 3.703004, True 
neg/fixme2.hs, 0.069563, True 
pos/anfbug.hs, 5.712542, True 
neg/poly1.hs, 1.423088, True 
neg/sumPoly.hs, 0.970095, True 
neg/meas7.hs, 0.903909, True 
neg/ListISort.hs, 4.033273, True 
neg/ListRange.hs, 1.836441, True 
neg/test2.hs, 1.303795, True 
neg/PairMeasure.hs, 1.290644, True 
neg/foldN1.hs, 1.532448, True 
neg/monad6.hs, 1.246920, True 
neg/monad5.hs, 1.688978, True 
neg/partial.hs, 0.781362, True 
neg/wrap0.hs, 1.331770, True 
neg/concat2.hs, 2.861808, True 
neg/grty0.hs, 0.842706, True 
neg/vector0.hs, 4.021505, True 
neg/mapreduce-tiny.hs, 1.803950, True 
neg/test1.hs, 1.353864, True 
neg/pair.hs, 4.581264, True 
neg/grty2.hs, 2.157242, True 
neg/deptupW.hs, 1.257544, True 
neg/ass0.hs, 0.794673, True 
neg/poly0.hs, 1.357127, True 
neg/pargs.hs, 0.783261, True 
neg/ListElem.hs, 1.088325, True 
neg/range.hs, 5.153877, True 
neg/fixme0.hs, 1.106692, True 
neg/sumk.hs, 1.360576, True 
neg/foldN.hs, 1.377227, True 
neg/pair0.hs, 4.290053, True 
neg/pred.hs, 0.512130, True 
neg/ListKeys.hs, 0.956903, True 
neg/vector0a.hs, 1.994719, True 
neg/test00a.hs, 1.405596, True 
neg/wrap1.hs, 4.219286, True 
neg/funcomposition.hs, 1.317686, True 
neg/fixme1.hs, 3.372106, True 
neg/ListISort-LType.hs, 2.582962, True 
neg/alias00.hs, 2.582716, True 
neg/grty1.hs, 2.143613, True 
neg/vector00.hs, 1.881414, True 
neg/record0.hs, 1.068612, True 
neg/test00.hs, 1.128711, True 
neg/pargs1.hs, 0.768555, True 
neg/concat.hs, 2.688834, True 
neg/testRec.hs, 1.613678, True 
neg/concat1.hs, 3.299098, True 
neg/poly2.hs, 1.167116, True 
neg/ex1-unsafe.hs, 1.249369, True 
neg/poslist.hs, 3.066385, True 
neg/ex0-unsafe.hs, 1.785395, True 
neg/poly2-degenerate.hs, 1.896401, True 
neg/list00.hs, 1.394895, True 
neg/monad3.hs, 1.777150, True 
pos/GhcSort3.hs, 11.784226, True 
../web/demos/esop2013-demo.hs, 1.793674, True 
neg/monad4.hs, 2.121445, True 
neg/vector1a.hs, 2.541747, True 
neg/mr00.hs, 2.783869, True 
../web/demos/blank.hs, 0.824172, True 
../web/demos/Composition.hs, 1.505230, False 
neg/ListQSort.hs, 4.961182, True 
../web/demos/Foldr.hs, 1.167490, True 
../web/demos/refinements101reax.hs, 1.352833, False 
../web/demos/Loop.hs, 2.648601, False 
../web/demos/ListElts.hs, 2.794527, True 
neg/mapreduce.hs, 10.353022, True 
neg/trans.hs, 11.314415, True 
../web/demos/test000.hs, 1.279575, True 
neg/vector2.hs, 5.742632, True 
../web/demos/refinements101.hs, 4.316081, True 
../web/demos/treesum.hs, 1.517801, True 
../web/demos/SimpleRefinements.hs, 4.776364, True 
../web/demos/absref101.hs, 3.111058, True 
neg/meas5.hs, 5.893234, True 
pos/mapreduce-bare.hs, 22.674851, True 
neg/ListMSort.hs, 12.757694, True 
../web/demos/ListLength.hs, 5.765576, True 
../web/demos/vectorbounds.hs, 7.036690, True 
../web/demos/MapReduce.hs, 11.862133, True 
pos/zipper.hs, 30.306031, True 
../web/demos/KMeansHelper.hs, 12.407436, True 
../benchmarks/esop2013-submission/Toy.hs, 7.064261, True 
pos/BST.hs, 30.977719, True 
../web/demos/Array.hs, 13.747270, True 
../benchmarks/esop2013-submission/Fib.hs, 12.326853, True 
../web/demos/ListSort.hs, 16.967231, True 
../web/demos/UniqueZipper.hs, 16.816716, True 
../benchmarks/esop2013-submission/ListSort.hs, 17.241864, True 
pos/GhcListSort.hs, 38.212979, True 
../benchmarks/esop2013-submission/Base0.hs, 23.551917, False 
../web/demos/KMeans.hs, 30.264455, True 
../web/demos/index-dependent-maps.hs, 36.781526, True 
../web/demos/IMaps.hs, 39.150327, True 
../web/demos/TalkingAboutSets.hs, 36.284388, False 
../benchmarks/esop2013-submission/GhcListSort.hs, 31.044205, True 
pos/SS.hs, 48.855404, False 
../benchmarks/esop2013-submission/Array.hs, 34.788556, True 
../web/demos/KMeansOrig.hs, 38.017561, True 
pos/LambdaEval.hs, 65.821614, True 
pos/take.hs, 65.827436, True 
../web/demos/Map.hs, 39.817534, True 
../web/demos/lenMapReduce.hs, 48.672504, True 
../web/demos/LambdaEval.hs, 48.849804, True 
../benchmarks/esop2013-submission/Splay.hs, 56.937801, True 
pos/Map.hs, 71.511510, True 
pos/Map0.hs, 75.976222, True 
../benchmarks/esop2013-submission/Base.hs, 425.977664, True