liquidhaskell-0.8.10.7: tests/logs/regrtest_results_goto_z3mem_Thu_Jul_18_2013

test, time(s), result 
pos/ptr.hs, 0.254651, False 
pos/hello.hs, 0.522579, True 
pos/ite1.hs, 0.617230, True 
pos/Abs.hs, 0.645600, True 
pos/datacon1.hs, 0.725772, True 
pos/poly3a.hs, 0.890294, True 
pos/cont.hs, 0.941858, False 
pos/extype.hs, 0.957804, True 
pos/monad2.hs, 1.154619, True 
pos/go.hs, 1.095497, True 
pos/ListConcat.hs, 1.116975, True 
pos/meas9.hs, 1.259454, True 
pos/meas0.hs, 1.225419, True 
pos/test00.old.hs, 1.290060, True 
pos/Mod1.hs, 1.283853, True 
pos/grty3.hs, 1.283412, True 
pos/bar.hs, 1.293160, True 
pos/stacks0.hs, 1.367199, True 
pos/lets.hs, 1.480177, True 
pos/ptr3.hs, 0.241283, False 
pos/niki1.hs, 1.340761, True 
pos/LiquidArray.hs, 1.077699, True 
pos/infix.hs, 1.364483, True 
pos/string00.hs, 0.961902, True 
pos/meas3.hs, 1.958359, True 
pos/deptup1.hs, 2.086711, True 
pos/state00.hs, 1.105349, True 
pos/data2.hs, 1.272836, True 
pos/adt0.hs, 1.354824, True 
pos/ListISort.hs, 2.671053, True 
pos/gimme.hs, 1.867070, True 
pos/Loo.hs, 1.014300, True 
pos/state0.hs, 1.473345, True 
pos/take.hs, 2.959121, True 
pos/ptr2.hs, 0.341879, False 
pos/modTest.hs, 1.704237, True 
pos/ListQSort-LType.hs, 3.471114, True 
pos/deppair0.hs, 1.645383, True 
pos/tyvar.hs, 1.406628, True 
pos/meas2.hs, 1.382253, True 
pos/selfList.hs, 4.194702, True 
pos/zipper0.hs, 4.199479, True 
pos/for.hs, 2.893957, True 
pos/monad7.hs, 3.664569, True 
pos/StrictPair0.hs, 1.716578, True 
pos/maybe3.hs, 1.408133, True 
pos/deppair1.hs, 1.773735, True 
pos/range.hs, 3.066186, True 
pos/compare1.hs, 2.868319, True 
pos/ex01.hs, 1.126229, True 
pos/test00b.hs, 1.692396, True 
pos/initarray.hs, 3.476149, True 
pos/profcrasher.hs, 1.446545, True 
pos/StrictPair1.hs, 5.166338, True 
pos/alias01.hs, 1.207396, True 
pos/Ackermann.hs, 2.553200, True 
pos/PairMeasure0.hs, 1.313067, True 
pos/unusedtyvars.hs, 1.338799, True 
pos/trans.hs, 5.172165, True 
pos/ex1.hs, 1.984085, True 
pos/pair.hs, 5.714584, True 
pos/tupparse.hs, 2.345812, True 
pos/DataBase.hs, 2.441939, True 
pos/test2.hs, 1.666499, True 
pos/meas11.hs, 1.117183, True 
pos/poly1.hs, 2.742734, True 
pos/meas8.hs, 2.327996, True 
pos/deptup3.hs, 2.154462, True 
pos/polyqual.hs, 5.723237, True 
pos/exp0.hs, 1.871658, True 
pos/PairMeasure.hs, 1.685437, True 
pos/testMRec.hs, 1.700632, True 
pos/maybe.hs, 3.914360, True 
pos/ListRange.hs, 3.241388, True 
pos/Goo.hs, 1.047199, True 
pos/listSet.hs, 3.458579, True 
pos/meas7.hs, 1.384639, True 
pos/go_ugly_type.hs, 1.439049, True 
pos/fixme.hs, 6.005038, True 
pos/maybe2.hs, 7.186600, True 
pos/vector0.hs, 6.716472, True 
pos/HigherOrderRecFun.hs, 1.506059, True 
pos/poly3.hs, 1.805845, True 
pos/test000.hs, 1.994454, True 
pos/monad1.hs, 1.521711, True 
pos/zipW.hs, 2.008075, True 
pos/grty2.hs, 2.015945, True 
pos/tagBinder.hs, 1.308783, True 
pos/range1.hs, 2.131415, True 
pos/monad6.hs, 2.206083, True 
pos/top0.hs, 2.144413, True 
pos/meas6.hs, 3.294993, True 
pos/anftest.hs, 2.132342, True 
pos/poly4.hs, 1.666532, True 
pos/maybe0.hs, 1.556588, True 
pos/scanr.hs, 3.308490, True 
pos/vector1b.hs, 4.890265, True 
pos/test1.hs, 2.147024, True 
pos/wrap0.hs, 3.226259, True 
pos/grty0.hs, 1.170030, True 
pos/maybe1.hs, 2.558990, True 
pos/pair0.hs, 6.785096, True 
pos/monad5.hs, 4.427949, True 
pos/maybe4.hs, 1.412553, True 
pos/mapTvCrash.hs, 1.617997, True 
pos/vector1.hs, 4.450872, True 
pos/meas10.hs, 2.261366, True 
pos/ListElem.hs, 1.326283, True 
pos/foldr.hs, 1.818624, True 
pos/wrap1.hs, 5.654871, True 
pos/deptupW.hs, 2.384046, True 
pos/poly0.hs, 2.090052, True 
pos/alias00.hs, 1.432201, True 
pos/ite.hs, 1.290432, True 
pos/primInt0.hs, 3.043750, True 
pos/pargs.hs, 1.329126, True 
pos/stateInvarint.hs, 3.686089, True 
pos/gadtEval.hs, 12.704917, True 
pos/foldN.hs, 1.851118, True 
pos/record1.hs, 1.128873, True 
pos/ListLen.hs, 10.004318, True 
pos/niki.hs, 2.335871, True 
pos/meas0a.hs, 1.929082, True 
pos/lex.hs, 3.945526, True 
pos/deepmeas0.hs, 2.948338, True 
pos/listAnf.hs, 2.997878, True 
pos/spec0.hs, 1.988905, True 
pos/datacon0.hs, 3.106837, True 
pos/deptup.hs, 5.855192, True 
pos/cont1.hs, 1.247179, True 
pos/grty1.hs, 1.706943, True 
pos/ex0.hs, 3.146230, True 
pos/meas4.hs, 2.926236, True 
pos/rangeAdt.hs, 5.750870, True 
pos/ListISort-LType.hs, 6.452455, True 
pos/test00c.hs, 3.972474, True 
pos/listSetDemo.hs, 4.259110, True 
pos/nullterm.hs, 4.864847, True 
pos/zipSO.hs, 6.982842, True 
pos/deptup0.hs, 2.441605, True 
pos/GhcSort2.hs, 15.391129, True 
pos/meas1.hs, 1.988186, True 
pos/funcomposition.hs, 1.860750, True 
pos/ListRange-LType.hs, 3.087012, True 
pos/maybe00.hs, 1.183413, True 
pos/pred.hs, 1.183218, True 
pos/meas00a.hs, 1.896948, True 
pos/vector00.hs, 3.127108, True 
pos/ListKeys.hs, 1.594674, True 
pos/polyfun.hs, 1.798568, True 
pos/maybe000.hs, 1.966256, True 
pos/poslist.hs, 4.703636, True 
pos/zipW1.hs, 0.990630, True 
pos/mapreduce.hs, 18.060334, True 
pos/test0.hs, 1.828198, True 
pos/pargs1.hs, 0.817033, True 
pos/test00.hs, 1.479923, True 
pos/compare2.hs, 1.760607, True 
pos/LambdaEvalSuperTiny.hs, 6.604797, True 
pos/record0.hs, 2.155584, True 
pos/testRec.hs, 2.713192, True 
pos/poly2-degenerate.hs, 1.674776, True 
pos/monad.hs, 1.185327, True 
pos/Moo.hs, 1.338575, True 
pos/Mod2.hs, 1.373710, True 
pos/poslist_dc.hs, 2.129107, True 
pos/poly2.hs, 1.766036, True 
pos/zipW2.hs, 1.071380, True 
pos/rec_annot_go.hs, 3.623378, True 
pos/qualTest.hs, 1.548927, True 
pos/transTAG.hs, 15.205394, True 
pos/vector1a.hs, 2.968844, True 
pos/ListMSort-LType.hs, 16.507871, True 
pos/cmptag0.hs, 1.984740, True 
pos/compare.hs, 2.009166, True 
pos/Test761.hs, 1.852782, True 
pos/BST000.hs, 9.229224, True 
pos/term0.hs, 1.985459, True 
pos/forloop.hs, 3.288403, True 
pos/LambdaEvalTiny.hs, 11.815823, True 
neg/meas9.hs, 1.536692, True 
neg/polypred.hs, 1.600399, True 
neg/funref.hs, 0.627990, True 
pos/duplicate-bind.hs, 2.020600, True 
neg/meas3.hs, 2.119511, True 
pos/GhcSort1.hs, 25.175691, True 
pos/LambdaEvalMini.hs, 25.183575, True 
neg/truespec.hs, 1.987504, True 
neg/ListConcat.hs, 1.423620, True 
pos/risers.hs, 18.911174, True 
neg/meas0.hs, 1.705876, True 
neg/grty3.hs, 1.287466, True 
pos/ListMSort.hs, 16.978359, True 
neg/state0.hs, 1.256535, True 
pos/vector2.hs, 6.929625, True 
neg/string00.hs, 1.832043, True 
neg/state00.hs, 1.674368, True 
pos/pair00.hs, 5.382145, True 
neg/StrictPair0.hs, 1.303648, True 
pos/ListLen-LType.hs, 8.334808, True 
pos/ListQSort.hs, 11.992984, True 
neg/errorloc.hs, 2.141561, True 
neg/stacks.hs, 1.047529, True 
neg/meas2.hs, 1.745239, True 
neg/deppair0.hs, 2.494594, True 
neg/monad7.hs, 3.565255, True 
pos/ListSort.hs, 24.824800, True 
neg/test00b.hs, 1.851233, True 
neg/fixme2.hs, 0.061683, True 
neg/sumPoly.hs, 0.989111, True 
neg/poly1.hs, 2.281640, True 
pos/meas5.hs, 6.354854, True 
neg/StrictPair1.hs, 6.500192, True 
neg/ListRange.hs, 2.483768, True 
neg/PairMeasure.hs, 1.543924, True 
neg/test2.hs, 1.864266, True 
neg/meas7.hs, 1.546419, True 
pos/anfbug.hs, 8.890433, True 
neg/foldN1.hs, 1.884435, True 
neg/monad6.hs, 1.421277, True 
neg/grty0.hs, 1.068614, True 
neg/grty2.hs, 2.514962, True 
neg/partial.hs, 1.056485, True 
neg/mapreduce-tiny.hs, 1.980084, True 
neg/range.hs, 6.016345, True 
neg/test1.hs, 1.649055, True 
neg/monad5.hs, 2.737432, True 
neg/ListISort.hs, 7.333997, True 
neg/pair.hs, 6.408366, True 
neg/poly0.hs, 1.350940, True 
neg/wrap0.hs, 2.377323, True 
neg/ListElem.hs, 1.177333, True 
neg/concat2.hs, 5.096153, True 
neg/ass0.hs, 1.132716, True 
neg/vector0.hs, 6.731699, True 
neg/alias00.hs, 1.107597, True 
neg/pargs.hs, 1.070991, True 
neg/deptupW.hs, 2.453947, True 
neg/sumk.hs, 1.826555, True 
neg/fixme0.hs, 1.693592, True 
neg/pair0.hs, 5.464047, True 
neg/foldN.hs, 1.799914, True 
neg/pred.hs, 0.931974, True 
neg/ListKeys.hs, 1.181869, True 
neg/test00a.hs, 1.707385, True 
neg/wrap1.hs, 5.312204, True 
neg/funcomposition.hs, 1.764752, True 
neg/fixme1.hs, 4.128902, True 
neg/vector0a.hs, 2.627858, True 
neg/pargs1.hs, 0.885350, True 
neg/record0.hs, 1.399239, True 
neg/vector00.hs, 2.362314, True 
neg/testRec.hs, 1.878448, True 
neg/test00.hs, 2.132708, True 
neg/poly2-degenerate.hs, 1.537085, True 
neg/concat.hs, 4.046617, True 
neg/ListISort-LType.hs, 4.445927, True 
neg/ex0-unsafe.hs, 2.478491, True 
neg/grty1.hs, 4.034231, True 
neg/list00.hs, 1.379863, True 
neg/poly2.hs, 2.074873, True 
neg/poslist.hs, 4.326676, True 
neg/monad3.hs, 2.188428, True 
neg/ex1-unsafe.hs, 2.484929, True 
neg/monad4.hs, 2.341699, True 
neg/concat1.hs, 5.304404, True 
neg/vector1a.hs, 2.927983, True 
../web/demos/esop2013-demo.hs, 2.148859, True 
../web/demos/blank.hs, 0.846319, True 
pos/GhcSort3.hs, 17.352711, True 
neg/mr00.hs, 3.444267, True 
../web/demos/Composition.hs, 1.699776, False 
../web/demos/refinements101reax.hs, 2.419495, False 
../web/demos/Foldr.hs, 1.997967, True 
neg/ListQSort.hs, 7.226463, True 
../web/demos/test000.hs, 2.105592, True 
../web/demos/Loop.hs, 4.878968, False 
../web/demos/ListElts.hs, 4.723024, True 
neg/vector2.hs, 7.810915, True 
../web/demos/refinements101.hs, 5.529297, True 
neg/meas5.hs, 7.782981, True 
neg/mapreduce.hs, 16.529504, True 
../web/demos/SimpleRefinements.hs, 6.845538, True 
neg/trans.hs, 17.710765, True 
../web/demos/treesum.hs, 2.300463, True 
../web/demos/absref101.hs, 5.610976, True 
pos/mapreduce-bare.hs, 35.493953, True 
../web/demos/ListLength.hs, 8.016529, True 
neg/ListMSort.hs, 18.180664, True 
../web/demos/vectorbounds.hs, 8.259574, True 
pos/BST.hs, 39.396086, True 
../web/demos/Array.hs, 14.995968, True 
../web/demos/KMeansHelper.hs, 19.218160, True 
../web/demos/MapReduce.hs, 21.181465, True 
../benchmarks/esop2013-submission/Toy.hs, 9.988027, True 
../web/demos/ListSort.hs, 21.048780, True 
../benchmarks/esop2013-submission/Fib.hs, 16.149510, True 
pos/zipper.hs, 52.607072, True 
../benchmarks/esop2013-submission/ListSort.hs, 19.500981, True 
../web/demos/UniqueZipper.hs, 23.154055, True 
pos/GhcListSort.hs, 51.115807, True 
../benchmarks/esop2013-submission/Base0.hs, 31.751616, False 
../benchmarks/esop2013-submission/GhcListSort.hs, 28.667779, True 
../web/demos/KMeans.hs, 35.838673, True 
../web/demos/index-dependent-maps.hs, 40.661282, True 
../benchmarks/esop2013-submission/Array.hs, 39.745076, True 
../web/demos/IMaps.hs, 48.144942, True 
pos/SS.hs, 60.962190, False 
../web/demos/KMeansOrig.hs, 48.067601, True 
pos/LambdaEval.hs, 86.817388, True 
../web/demos/Map.hs, 45.309376, True 
../web/demos/LambdaEval.hs, 51.840578, True 
../web/demos/lenMapReduce.hs, 56.338424, True 
pos/Map.hs, 74.842786, True 
pos/Map0.hs, 80.789894, True 
../web/demos/TalkingAboutSets.hs, 60.033359, False 
../benchmarks/esop2013-submission/Splay.hs, 58.535906, True 
../benchmarks/esop2013-submission/Base.hs, 299.598188, True