Termination Competition 2019: Integer Transition Systems33456

Job info CSV
benchmark irankfinder competition VeryMax-termCOMP17 termcomp2019_ITS Ctrl Transition
From_AProVE_2014/Factorial.jar-obl-8.smt2 5153793 YES 1.29/1.29 YES 0.02/0.02 YES 0.09/0.09
From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 5153794 YES 1.60/1.60 YES 0.02/0.02 YES 0.51/0.50
From_AProVE_2014/Fractale1.jar-obl-8.smt2 5153795 YES 10.36/10.36 YES 0.57/0.57 YES 24.84/24.48
From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 5153796 YES 15.29/15.29 MAYBE 163.78/163.97 YES 89.92/88.83
From_AProVE_2014/AckR.jar-obl-8.smt2 5153797 YES 2.20/2.20 YES 0.03/0.03 YES 0.60/0.59
From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 5153798 YES 3.65/3.79 YES 0.20/0.20 YES 2.44/2.73
From_AProVE_2014/Overflow.jar-obl-8.smt2 5153799 YES 1.28/1.28 YES 0.02/0.02 YES 0.29/0.38
From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2 5153800 YES 4.24/4.23 YES 0.10/0.10 YES 4.19/4.13
From_AProVE_2014/sum_rec.jar-obl-8.smt2 5153801 MAYBE 3.33/3.37 NO 23.21/23.21 MAYBE 0.29/0.28
From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 5153802 YES 2.09/2.08 YES 0.04/0.04 YES 0.50/0.49
From_AProVE_2014/Exc3.jar-obl-8.smt2 5153803 YES 1.49/1.48 YES 0.03/0.03 YES 0.39/0.39
From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 5153804 MAYBE 16.61/16.62 MAYBE 10.77/10.78 MAYBE 13.85/14.01
From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 5153805 YES 3.89/3.89 YES 0.21/0.21 YES 2.48/2.75
From_AProVE_2014/EvenOdd.jar-obl-8.smt2 5153806 MAYBE 5.64/5.64 NO 25.23/25.39 MAYBE 4.95/5.07
From_AProVE_2014/Double3.jar-obl-8.smt2 5153807 YES 1.29/1.29 YES 0.02/0.02 YES 0.09/0.09
From_AProVE_2014/PastaA9.jar-obl-8.smt2 5153808 YES 1.38/1.44 YES 0.02/0.02 YES 0.39/0.38
From_AProVE_2014/PastaA8.jar-obl-8.smt2 5153809 YES 1.31/1.50 YES 0.02/0.02 YES 0.31/0.30
From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 5153810 YES 93.36/93.36 YES 2.79/2.79 timeout (wallclock) [out]
From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 5153811 YES 3.88/3.87 YES 0.20/0.20 YES 2.45/2.43
From_AProVE_2014/NO_22.jar-obl-8.smt2 5153812 MAYBE 5.05/5.04 NO 7.00/7.00 MAYBE 0.35/0.34
From_AProVE_2014/BinarySearch.jar-obl-9.smt2 5153813 YES 146.20/146.44 YES 0.94/0.94 timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 5153814 MAYBE 4.14/4.17 NO 27.29/27.31 MAYBE 0.43/0.42
From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 5153815 MAYBE 3.24/3.25 NO 18.17/18.17 MAYBE 0.33/0.33
From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2 5153816 YES 190.33/190.33 YES 3.66/3.67 timeout (wallclock) [out]
From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 5153817 YES 1.38/1.38 YES 0.02/0.02 YES 0.41/0.41
From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 5153818 MAYBE 9.28/9.30 NO 5.11/5.11 MAYBE 2.40/2.60
From_AProVE_2014/IntRTA.jar-obl-8.smt2 5153819 YES 1.48/1.48 YES 0.03/0.03 YES 0.67/0.66
From_AProVE_2014/Test10.jar-obl-9.smt2 5153820 YES 2.28/2.28 YES 0.04/0.04 YES 1.72/1.69
From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 5153821 YES 1.88/1.87 YES 0.04/0.04 YES 0.40/0.39
From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 5153822 MAYBE 11.31/11.31 NO 71.21/71.21 MAYBE 0.98/1.20
From_AProVE_2014/PastaB15.jar-obl-8.smt2 5153823 YES 1.99/2.08 YES 0.02/0.02 YES 0.49/0.48
From_AProVE_2014/NO_12.jar-obl-8.smt2 5153824 MAYBE 4.74/4.75 NO 54.64/54.81 MAYBE 0.64/0.62
From_AProVE_2014/ex06_rec.jar-obl-8.smt2 5153825 MAYBE 2.82/2.84 NO 0.03/0.03 MAYBE 0.29/0.28
From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 5153826 MAYBE 49.23/49.23 MAYBE 13.51/13.53 MAYBE 8.03/8.27
From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 5153827 YES 18.60/18.60 YES 0.56/0.56 YES 15.85/15.64
From_AProVE_2014/SharingPair.jar-obl-8.smt2 5153828 MAYBE 6.99/7.04 NO 5.81/5.81 MAYBE 0.61/0.60
From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 5153829 timeout (wallclock) [out] MAYBE 20.68/20.72 timeout (wallclock) [out]
From_AProVE_2014/Break.jar-obl-8.smt2 5153830 YES 1.28/1.28 YES 0.02/0.02 YES 0.19/0.18
From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 5153831 YES 17.07/17.06 YES 0.27/0.27 YES 69.90/68.99
From_AProVE_2014/PastaA4.jar-obl-8.smt2 5153832 YES 1.32/1.32 YES 0.02/0.02 YES 0.28/0.27
From_AProVE_2014/Gopher.jar-obl-10.smt2 5153833 YES 5.60/5.60 YES 0.12/0.12 YES 4.71/4.64
From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 5153834 MAYBE 6.65/6.64 MAYBE 37.42/37.49 MAYBE 0.98/0.97
From_AProVE_2014/PastaB7.jar-obl-8.smt2 5153835 YES 1.37/1.37 YES 0.02/0.02 YES 0.36/0.36
From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 5153836 MAYBE 3.82/3.82 NO 18.34/18.37 MAYBE 0.42/0.41
From_AProVE_2014/RandomHard.jar-obl-10.smt2 5153837 MAYBE 126.25/126.27 MAYBE 32.43/32.47 MAYBE 113.33/112.87
From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 5153838 YES 16.86/16.86 MAYBE 64.56/64.63 YES 273.99/269.55
From_AProVE_2014/Duplicate.jar-obl-8.smt2 5153839 YES 1.31/1.31 YES 0.02/0.02 YES 0.33/0.34
From_AProVE_2014/even_rec.jar-obl-8.smt2 5153840 MAYBE 3.25/3.26 NO 18.18/18.20 MAYBE 0.41/0.40
From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 5153841 YES 5.39/5.39 YES 0.25/0.25 YES 11.01/10.87
From_AProVE_2014/Exc5.jar-obl-8.smt2 5153842 YES 1.49/1.49 YES 0.03/0.03 YES 0.41/0.40
From_AProVE_2014/RetValRec.jar-obl-8.smt2 5153843 YES 2.74/2.75 YES 5.13/5.13 MAYBE 0.43/0.43
From_AProVE_2014/Collatz.jar-obl-8.smt2 5153844 MAYBE 20.73/20.73 MAYBE 5.48/5.48 MAYBE 3.69/3.63
From_AProVE_2014/NO_13.jar-obl-8.smt2 5153845 MAYBE 6.09/6.08 NO 26.67/26.67 MAYBE 0.54/0.53
From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 5153846 MAYBE 7.64/7.67 NO 90.58/90.71 MAYBE 1.08/1.07
From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 5153847 YES 1.92/1.92 YES 0.04/0.04 YES 0.68/0.91
From_AProVE_2014/Test1.jar-obl-8.smt2 5153848 YES 3.39/3.39 YES 30.21/30.22 MAYBE 1.78/1.78
From_AProVE_2014/Et5.jar-obl-8.smt2 5153849 YES 4.10/4.10 YES 0.19/0.19 YES 1.65/1.64
From_AProVE_2014/Virtual.jar-obl-9.smt2 5153850 YES 1.68/1.68 YES 0.06/0.06 MAYBE 0.75/0.74
From_AProVE_2014/ChooseLife.jar-obl-8.smt2 5153851 MAYBE 3.65/3.65 NO 6.39/6.39 MAYBE 0.39/0.38
From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 5153852 YES 2.67/2.67 YES 0.14/0.14 YES 1.65/1.64
From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 5153853 MAYBE 185.63/185.66 MAYBE 159.52/159.70 MAYBE 18.08/17.91
From_AProVE_2014/Nested.jar-obl-8.smt2 5153854 YES 1.79/1.79 YES 0.41/0.41 YES 2.03/1.99
From_AProVE_2014/Et4-rec.jar-obl-8.smt2 5153855 YES 2.96/2.96 YES 30.55/30.57 MAYBE 0.91/0.89
From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 5153856 MAYBE 6.65/6.65 NO 46.54/23.30 MAYBE 0.81/0.79
From_AProVE_2014/PastaB12.jar-obl-8.smt2 5153857 YES 1.52/1.51 YES 0.03/0.03 YES 0.24/0.23
From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 5153858 MAYBE 4.04/4.04 NO 5.73/5.73 MAYBE 0.45/0.44
From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2 5153859 YES 15.25/15.25 YES 0.60/0.60 YES 89.78/88.46
From_AProVE_2014/Norm.jar-obl-9.smt2 5153860 MAYBE 182.48/182.49 MAYBE 45.41/45.43 MAYBE 34.87/34.27
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 5153861 MAYBE 20.84/20.84 MAYBE 5.35/5.35 MAYBE 3.71/3.64
From_AProVE_2014/Double.jar-obl-8.smt2 5153862 YES 1.63/1.63 YES 0.03/0.03 YES 0.59/0.58
From_AProVE_2014/Matrix.jar-obl-16.smt2 5153863 MAYBE 160.82/160.83 MAYBE 191.81/191.94 MAYBE 250.56/246.79
From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 5153864 YES 148.63/148.64 YES 3.15/3.17 timeout (wallclock) [out]
From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 5153865 MAYBE 6.77/6.78 MAYBE 27.08/27.13 MAYBE 0.68/0.66
From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 5153866 YES 6.31/6.31 YES 0.13/0.13 YES 3.13/3.08
From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 5153867 MAYBE 3.86/3.86 NO 5.10/5.10 MAYBE 0.47/0.46
From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 5153868 YES 21.58/21.58 MAYBE 64.21/64.31 YES 287.49/285.06
From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 5153869 YES 6.40/6.41 YES 0.13/0.13 YES 3.09/3.05
From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 5153870 YES 3.68/3.68 YES 0.08/0.08 YES 4.63/5.01
From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 5153871 YES 2.62/2.61 YES 0.14/0.14 YES 1.62/1.94
From_AProVE_2014/Test13Loops.jar-obl-10.smt2 5153872 MAYBE 9.61/9.60 NO 72.65/72.74 MAYBE 1.39/1.37
From_AProVE_2014/TwoWay.jar-obl-8.smt2 5153873 YES 1.28/1.28 YES 0.02/0.02 YES 0.17/0.17
From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 5153874 YES 1.96/1.96 YES 0.04/0.04 YES 0.71/0.70
From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 5153875 MAYBE 5.35/5.35 NO 12.24/12.26 MAYBE 0.44/0.43
From_AProVE_2014/Test6.jar-obl-13.smt2 5153876 timeout (wallclock) [out] MAYBE 121.05/121.09 timeout (wallclock) [out]
From_AProVE_2014/Flatten.jar-obl-10.smt2 5153877 MAYBE 16.11/16.11 MAYBE 61.92/62.06 MAYBE 4.88/4.80
From_AProVE_2014/TestJulia6.jar-obl-8.smt2 5153878 MAYBE 1.30/1.30 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 5153879 MAYBE 17.68/17.68 NO 69.56/69.61 MAYBE 1.34/1.32
From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 5153880 MAYBE 9.64/9.65 MAYBE 79.65/79.78 MAYBE 0.88/1.38
From_AProVE_2014/Et2-rec.jar-obl-8.smt2 5153881 YES 2.61/2.63 YES 0.23/0.23 MAYBE 0.70/0.69
From_AProVE_2014/ConvertRec.jar-obl-9.smt2 5153882 MAYBE 20.11/20.13 NO 36.39/36.46 MAYBE 3.02/2.98
From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 5153883 MAYBE 45.30/45.30 NO 17.08/17.10 MAYBE 1.85/1.82
From_AProVE_2014/Test9.jar-obl-20.smt2 5153884 YES 6.96/6.96 YES 0.10/0.10 YES 3.42/3.36
From_AProVE_2014/Exc2.jar-obl-8.smt2 5153885 MAYBE 4.19/4.24 NO 1.06/1.08 MAYBE 0.30/0.30
From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 5153886 YES 25.54/25.54 MAYBE 189.04/189.20 YES 120.71/119.21
From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 5153887 MAYBE 262.16/262.16 MAYBE 26.26/26.27 MAYBE 25.70/25.76
From_AProVE_2014/AProVEMath.jar-obl-8.smt2 5153888 YES 2.36/2.35 YES 0.03/0.03 YES 1.22/1.20
From_AProVE_2014/MainCopy.jar-obl-10.smt2 5153889 MAYBE 19.57/19.66 NO 7.14/7.15 MAYBE 2.52/2.82
From_AProVE_2014/Convert.jar-obl-9.smt2 5153890 MAYBE 7.28/7.29 NO 11.81/11.82 MAYBE 1.09/1.07
From_AProVE_2014/List.jar-obl-12.smt2 5153891 MAYBE 8.69/8.69 NO 37.32/37.37 MAYBE 1.37/1.34
From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 5153892 MAYBE 5.34/5.34 NO 29.59/29.59 MAYBE 0.43/0.42
From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 5153893 YES 1.46/1.46 YES 0.02/0.02 YES 0.53/0.52
From_AProVE_2014/PastaC1.jar-obl-8.smt2 5153894 YES 1.71/1.71 YES 0.04/0.04 YES 2.84/2.79
From_AProVE_2014/PastaA1.jar-obl-8.smt2 5153895 YES 1.70/1.70 YES 0.03/0.03 YES 1.86/1.82
From_AProVE_2014/MainFind.jar-obl-10.smt2 5153896 MAYBE 20.86/20.88 MAYBE 41.13/41.14 MAYBE 3.05/3.00
From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 5153897 YES 1.42/1.46 YES 0.02/0.02 YES 0.20/0.19
From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 5153898 YES 28.84/28.84 YES 0.88/0.88 YES 27.11/26.85
From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 5153899 MAYBE 15.55/15.54 NO 42.87/42.94 MAYBE 1.11/1.09
From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 5153900 MAYBE 11.92/11.92 NO 3.39/3.39 MAYBE 38.7/38.23
From_AProVE_2014/PastaC9.jar-obl-8.smt2 5153901 YES 2.14/2.14 YES 0.03/0.03 YES 0.56/0.63
From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 5153902 YES 2.88/2.88 YES 0.07/0.07 YES 1.11/1.11
From_AProVE_2014/PastaB11.jar-obl-8.smt2 5153903 YES 2.14/2.13 YES 0.49/0.49 MAYBE 0.82/0.81
From_AProVE_2014/Kernel95.jar-obl-9.smt2 5153904 YES 5.29/5.37 YES 0.11/0.11 YES 3.78/3.72
From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 5153905 MAYBE 4.17/4.17 NO 5.11/5.11 MAYBE 0.56/0.55
From_AProVE_2014/MultiLasso.jar-obl-8.smt2 5153906 MAYBE 9.84/9.84 NO 19.57/19.59 MAYBE 2.51/2.87
From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 5153907 MAYBE 56.33/56.55 NO 27.29/27.33 MAYBE 186.27/183.51
From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 5153908 MAYBE 14.60/14.59 MAYBE 10.28/10.28 MAYBE 12.51/12.52
From_AProVE_2014/Test2.jar-obl-8.smt2 5153909 YES 4.92/5.00 YES 12.51/12.51 MAYBE 1.71/1.68
From_AProVE_2014/Iterations.jar-obl-8.smt2 5153910 YES 11.65/11.66 YES 33.26/33.27 timeout (wallclock) [out]
From_AProVE_2014/PastaB1.jar-obl-8.smt2 5153911 YES 1.32/1.32 YES 0.02/0.02 YES 0.26/0.26
From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 5153912 MAYBE 3.63/3.63 NO 18.29/18.30 MAYBE 0.39/0.38
From_AProVE_2014/PastaC3.jar-obl-8.smt2 5153913 YES 1.67/1.67 YES 0.03/0.03 YES 1.05/1.31
From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 5153914 YES 2.61/2.61 YES 0.14/0.14 YES 1.62/1.60
From_AProVE_2014/NO_20.jar-obl-8.smt2 5153915 MAYBE 1.29/1.29 NO 0.02/0.02 MAYBE 0.06/0.06
From_AProVE_2014/MinusMin.jar-obl-8.smt2 5153916 YES 1.95/1.95 YES 0.05/0.05 MAYBE 2.24/2.19
From_AProVE_2014/sunset_rec.jar-obl-8.smt2 5153917 MAYBE 7.44/7.70 NO 58.10/58.13 MAYBE 0.67/0.65
From_AProVE_2014/Test7.jar-obl-11.smt2 5153918 MAYBE 9.99/10.00 MAYBE 82.37/82.49 MAYBE 1.23/1.21
From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 5153919 YES 21.91/21.91 MAYBE 187.0/187.12 YES 190.17/188.56
From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 5153920 timeout (wallclock) [out] NO 47.50/47.50 MAYBE 3.61/4.00
From_AProVE_2014/ex07_rec.jar-obl-8.smt2 5153921 MAYBE 2.81/2.82 NO 0.03/0.03 MAYBE 0.28/0.28
From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 5153922 MAYBE 5.53/5.77 NO 5.66/5.66 MAYBE 0.69/0.70
From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 5153923 MAYBE 32.66/32.66 NO 25.56/25.61 MAYBE 1.60/1.58
From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 5153924 YES 5.46/5.46 YES 0.36/0.36 YES 4.61/4.58
From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 5153925 MAYBE 5.56/5.55 NO 10.96/10.98 MAYBE 0.69/0.68
From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 5153926 MAYBE 6.49/6.49 NO 9.17/9.18 MAYBE 0.69/0.68
From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 5153927 YES 3.64/3.64 YES 0.08/0.08 YES 2.05/2.01
From_AProVE_2014/BTreeR.jar-obl-9.smt2 5153928 YES 3.54/3.75 YES 0.06/0.06 YES 3.09/3.04
From_AProVE_2014/Et5-rec.jar-obl-8.smt2 5153929 YES 3.78/3.78 YES 0.07/0.07 YES 1.50/1.49
From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 5153930 YES 83.41/83.41 YES 3.40/3.40 timeout (wallclock) [out]
From_AProVE_2014/Log.jar-obl-8.smt2 5153931 YES 3.64/3.63 YES 0.17/0.17 MAYBE 1.51/1.48
From_AProVE_2014/Exc.jar-obl-8.smt2 5153932 YES 1.50/1.52 YES 0.08/0.08 YES 0.38/0.37
From_AProVE_2014/Kernel68.jar-obl-9.smt2 5153933 YES 23.25/23.25 YES 1.07/1.07 YES 38.01/37.60
From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 5153934 YES 3.09/3.09 YES 0.17/0.17 YES 2.02/2.02
From_AProVE_2014/Mod.jar-obl-8.smt2 5153935 YES 4.59/4.59 YES 0.06/0.06 YES 4.91/4.83
From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 5153936 YES 1.32/1.32 YES 0.02/0.02 YES 0.12/0.12
From_AProVE_2014/Continue1.jar-obl-8.smt2 5153937 YES 1.48/1.49 YES 0.03/0.03 YES 0.38/0.38
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 5153938 MAYBE 4.51/4.78 NO 18.23/18.25 MAYBE 0.37/0.36
From_AProVE_2014/TriTas.jar-obl-12.smt2 5153939 MAYBE 22.22/22.22 NO 64.04/64.20 MAYBE 16.56/16.44
From_AProVE_2014/Power.jar-obl-10.smt2 5153940 YES 6.21/6.20 YES 15.28/15.30 YES 27.09/26.86
From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 5153941 MAYBE 18.45/18.44 NO 12.83/12.83 MAYBE 2.24/2.21
From_AProVE_2014/BTree.jar-obl-9.smt2 5153942 YES 3.36/3.36 YES 0.10/0.10 YES 2.12/2.10
From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 5153943 MAYBE 20.60/20.59 NO 38.74/38.77 MAYBE 1.71/1.69
From_AProVE_2014/FactSumList.jar-obl-8.smt2 5153944 YES 2.35/2.35 YES 0.09/0.09 YES 5.29/5.21
From_AProVE_2014/DivMinus.jar-obl-8.smt2 5153945 YES 1.42/1.54 YES 0.02/0.02 YES 0.24/0.23
From_AProVE_2014/FactSum.jar-obl-9.smt2 5153946 YES 1.56/1.56 YES 0.02/0.02 YES 0.21/0.20
From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 5153947 MAYBE 6.85/3.47 NO 18.17/18.19 MAYBE 0.52/0.51
From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 5153948 MAYBE 4.27/5.07 NO 37.29/37.30 MAYBE 0.46/0.46
From_AProVE_2014/CountMetaList.jar-obl-9.smt2 5153949 MAYBE 7.42/7.41 NO 20.67/20.70 MAYBE 1.74/1.72
From_AProVE_2014/NO_00.jar-obl-8.smt2 5153950 MAYBE 1.29/1.29 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/NO_03.jar-obl-8.smt2 5153951 MAYBE 3.48/3.47 NO 0.20/0.20 MAYBE 0.27/0.27
From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 5153952 YES 2.19/2.19 YES 0.07/0.07 YES 3.14/1.59
From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 5153953 YES 3.87/3.87 YES 0.20/0.20 YES 2.54/2.83
From_AProVE_2014/Queen.jar-obl-10.smt2 5153954 MAYBE 41.48/41.48 MAYBE 23.66/23.68 MAYBE 3.67/3.94
From_AProVE_2014/Test8.jar-obl-12.smt2 5153955 YES 2.94/2.94 YES 0.13/0.13 MAYBE 1.42/1.65
From_AProVE_2014/PastaB3.jar-obl-8.smt2 5153956 YES 1.33/1.33 YES 0.02/0.02 YES 0.07/0.07
From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 5153957 YES 2.65/2.65 YES 0.13/0.13 YES 1.64/1.62
From_AProVE_2014/PastaC5.jar-obl-8.smt2 5153958 YES 1.57/1.57 YES 0.03/0.03 YES 0.43/0.42
From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 5153959 MAYBE 5.60/5.59 NO 54.89/55.02 MAYBE 0.53/0.52
From_AProVE_2014/Et6.jar-obl-8.smt2 5153960 YES 4.09/4.09 YES 0.31/0.31 YES 1.56/1.59
From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 5153961 YES 3.07/3.07 YES 0.16/0.16 YES 1.99/1.98
From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 5153962 MAYBE 4.82/4.82 NO 16.39/16.39 MAYBE 0.56/0.55
From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 5153963 MAYBE 3.33/3.32 MAYBE 18.41/18.41 MAYBE 0.39/0.50
From_AProVE_2014/PastaB13.jar-obl-8.smt2 5153964 YES 9.13/9.13 YES 0.03/0.03 YES 4.52/4.45
From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 5153965 MAYBE 5.46/5.46 NO 5.73/5.73 MAYBE 0.64/0.63
From_AProVE_2014/MergeSort.jar-obl-12.smt2 5153966 YES 15.13/15.13 YES 0.56/0.56 YES 56.74/56.51
From_AProVE_2014/Kernel93.jar-obl-9.smt2 5153967 MAYBE 14.71/15.47 NO 9.38/9.38 MAYBE 4.21/4.15
From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 5153968 MAYBE 3.86/3.85 NO 5.09/5.11 MAYBE 0.46/0.45
From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 5153969 YES 6.77/6.77 YES 0.16/0.16 YES 18.43/18.37
From_AProVE_2014/LessLeaves.jar-obl-10.smt2 5153970 MAYBE 42.32/42.32 MAYBE 49.62/49.63 MAYBE 10.69/10.55
From_AProVE_2014/LogIterative.jar-obl-8.smt2 5153971 YES 1.53/1.53 YES 0.02/0.02 YES 0.53/0.52
From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 5153972 MAYBE 5.62/5.61 NO 68.83/68.94 MAYBE 0.40/0.41
From_AProVE_2014/Distances.jar-obl-19.smt2 5153973 YES 121.92/121.93 MAYBE 40.83/40.84 timeout (wallclock) [out]
From_AProVE_2014/Avg.jar-obl-8.smt2 5153974 YES 1.53/1.54 YES 0.03/0.03 MAYBE 0.61/0.62
From_AProVE_2014/ListContent.jar-obl-9.smt2 5153975 MAYBE 3.62/3.61 NO 5.23/5.23 MAYBE 0.47/0.46
From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 5153976 YES 21.70/21.69 MAYBE 186.53/186.67 YES 183.54/181.32
From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 5153977 YES 4.31/4.31 YES 0.09/0.09 MAYBE 1.13/1.11
From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 5153978 MAYBE 4.16/4.15 NO 26.09/26.11 MAYBE 0.46/0.45
From_AProVE_2014/RSA.jar-obl-17.smt2 5153979 MAYBE 119.00/119.00 MAYBE 32.18/32.22 timeout (wallclock) [out]
From_AProVE_2014/PastaB6.jar-obl-8.smt2 5153980 YES 1.31/1.31 YES 0.02/0.02 YES 0.12/0.12
From_AProVE_2014/PartitionList.jar-obl-16.smt2 5153981 YES 40.04/40.05 YES 1.48/1.49 YES 78.36/77.39
From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 5153982 YES 1.44/1.44 YES 0.21/0.21 YES 0.24/0.24
From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 5153983 YES 1.98/1.99 YES 0.03/0.03 YES 1.48/1.47
From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 5153984 YES 1.29/1.29 YES 0.02/0.02 YES 0.22/0.21
From_AProVE_2014/PastaA6.jar-obl-8.smt2 5153985 YES 1.44/1.44 YES 0.07/0.07 MAYBE 0.58/0.56
From_AProVE_2014/ListContentTail.jar-obl-10.smt2 5153986 YES 3.30/3.30 YES 0.06/0.06 YES 2.86/2.81
From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 5153987 MAYBE 3.75/3.75 NO 6.69/6.69 MAYBE 1.16/1.14
From_AProVE_2014/ListInt.jar-obl-12.smt2 5153988 MAYBE 27.26/27.25 NO 6.57/6.57 MAYBE 3.99/3.94
From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 5153989 YES 2.65/2.64 YES 0.13/0.13 MAYBE 0.86/1.18
From_AProVE_2014/Et4.jar-obl-8.smt2 5153990 YES 3.55/3.54 YES 65.06/65.16 MAYBE 1.18/1.16
From_AProVE_2014/Samefringe.jar-obl-10.smt2 5153991 MAYBE 12.59/12.58 NO 6.11/6.23 MAYBE 3.40/3.34
From_AProVE_2014/Kernel88.jar-obl-9.smt2 5153992 YES 2.63/2.63 YES 0.11/0.11 YES 10.02/10.17
From_AProVE_2014/LogRecursive.jar-obl-8.smt2 5153993 YES 2.38/2.38 YES 0.04/0.04 YES 1.20/1.20
From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 5153994 MAYBE 4.18/4.17 NO 30.34/30.42 MAYBE 0.47/0.46
From_AProVE_2014/DivTernary2.jar-obl-9.smt2 5153995 MAYBE 15.44/15.44 NO 11.30/11.31 MAYBE 2.28/2.56
From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 5153996 MAYBE 4.20/4.20 NO 24.26/24.27 MAYBE 0.52/0.51
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 5153997 MAYBE 4.14/4.13 NO 27.28/27.28 MAYBE 0.41/0.40
From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 5153998 MAYBE 15.58/15.59 NO 5.33/5.33 MAYBE 2.39/2.35
From_AProVE_2014/MirrorTree.jar-obl-9.smt2 5153999 YES 4.48/4.48 YES 0.08/0.08 YES 2.37/2.34
From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 5154000 YES 5.52/5.51 YES 0.36/0.36 YES 4.64/4.63
From_AProVE_2014/PastaB5.jar-obl-8.smt2 5154001 YES 1.46/1.47 YES 0.02/0.02 YES 0.13/0.13
From_AProVE_2014/MainGet.jar-obl-10.smt2 5154002 MAYBE 10.73/10.72 NO 7.23/7.23 MAYBE 2.07/2.04
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 5154003 YES 2.29/2.34 YES 0.04/0.04 YES 0.88/0.86
From_AProVE_2014/Et6-rec.jar-obl-8.smt2 5154004 YES 3.74/3.74 YES 0.08/0.08 YES 1.42/1.41
From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 5154005 MAYBE 10.61/11.20 NO 18.80/18.80 MAYBE 0.65/0.64
From_AProVE_2014/Test3.jar-obl-10.smt2 5154006 YES 10.93/10.93 YES 0.49/0.49 MAYBE 4.13/4.12
From_AProVE_2014/Et2.jar-obl-8.smt2 5154007 YES 3.32/3.32 YES 1.27/1.27 MAYBE 0.92/0.91
From_AProVE_2014/FlattenTree.jar-obl-9.smt2 5154008 MAYBE 19.93/19.96 MAYBE 39.56/39.59 MAYBE 2.66/2.62
From_AProVE_2014/CAppE.jar-obl-9.smt2 5154009 YES 1.68/1.67 YES 0.02/0.03 YES 0.36/0.35
From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 5154010 MAYBE 9.38/9.38 NO 2.09/2.09 MAYBE 2.00/1.97
From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 5154011 YES 2.63/2.62 YES 0.13/0.13 YES 1.62/1.62
From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 5154012 YES 1.50/1.50 YES 0.02/0.02 YES 0.18/0.18
From_AProVE_2014/PastaB17.jar-obl-8.smt2 5154013 YES 1.84/1.84 YES 0.03/0.03 YES 3.61/3.88
From_AProVE_2014/Exc1.jar-obl-8.smt2 5154014 MAYBE 4.11/4.11 NO 0.05/0.05 MAYBE 0.26/0.31
From_AProVE_2014/Sequence.jar-obl-9.smt2 5154015 YES 1.54/1.53 YES 0.05/0.05 YES 0.38/0.37
From_AProVE_2014/PastaB18.jar-obl-8.smt2 5154016 YES 2.49/2.49 YES 0.03/0.03 YES 0.37/0.36
From_AProVE_2014/GCD2.jar-obl-8.smt2 5154017 YES 2.38/2.38 YES 0.04/0.04 YES 0.74/0.72
From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 5154018 MAYBE 4.49/4.49 NO 18.21/18.23 MAYBE 0.45/0.44
From_AProVE_2014/Round3.jar-obl-8.smt2 5154019 MAYBE 4.54/4.54 MAYBE 36.68/36.72 MAYBE 0.90/1.19
From_AProVE_2014/AppE.jar-obl-9.smt2 5154020 YES 2.22/2.24 YES 0.04/0.04 YES 0.78/0.76
From_AProVE_2014/Main.jar-obl-11.smt2 5154021 YES 110.93/110.93 MAYBE 123.74/123.78 timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 5154022 MAYBE 3.39/3.39 NO 5.13/5.13 MAYBE 0.34/0.33
From_AProVE_2014/Binomial.jar-obl-9.smt2 5154023 YES 17.39/17.39 YES 0.71/0.71 timeout (wallclock) [out]
From_AProVE_2014/NO_11.jar-obl-8.smt2 5154024 MAYBE 5.00/5.00 NO 66.61/66.75 MAYBE 0.39/0.38
From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 5154025 YES 2.59/2.59 YES 0.13/0.13 YES 1.66/1.66
From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 5154026 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 174.95/174.72
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 5154027 YES 1.99/1.98 YES 0.03/0.03 YES 1.50/1.48
From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 5154028 YES 5.13/5.13 YES 0.09/0.09 YES 2.69/2.65
From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 5154029 MAYBE 3.87/3.89 NO 5.09/5.09 MAYBE 0.44/0.43
From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 5154030 YES 1.33/1.33 YES 0.02/0.02 YES 0.12/0.12
From_AProVE_2014/Test12.jar-obl-8.smt2 5154031 YES 3.30/3.31 YES 0.13/0.13 MAYBE 1.02/1.02
From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 5154032 MAYBE 13.20/13.28 NO 71.17/71.25 MAYBE 1.01/0.98
From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 5154033 MAYBE 5.01/5.00 NO 7.35/7.35 MAYBE 0.62/0.61
From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 5154034 YES 2.60/2.60 YES 0.14/0.13 YES 1.64/1.63
From_AProVE_2014/ex02_rec.jar-obl-8.smt2 5154035 MAYBE 5.30/5.29 NO 12.24/12.25 MAYBE 0.40/0.40
From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 5154036 YES 4.37/4.37 YES 0.06/0.06 YES 6.24/6.15
From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 5154037 YES 6.28/6.29 YES 0.13/0.13 YES 36.85/36.29
From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 5154038 MAYBE 16.68/16.70 MAYBE 56.59/56.64 MAYBE 4.54/4.48
From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 5154039 YES 4.48/4.49 YES 0.20/0.20 YES 5.00/4.94
From_AProVE_2014/Test4.jar-obl-10.smt2 5154040 timeout (wallclock) [out] MAYBE 62.60/62.64 timeout (wallclock) [out]
From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 5154041 YES 16.04/16.05 MAYBE 185.56/185.67 YES 88.73/87.98
From_AProVE_2014/PastaB2.jar-obl-8.smt2 5154042 YES 1.32/1.33 YES 0.02/0.02 YES 0.29/0.29
From_AProVE_2014/StupidArray.jar-obl-8.smt2 5154043 YES 1.30/1.29 YES 0.02/0.02 YES 0.05/0.05
From_AProVE_2014/cousot_rec.jar-obl-8.smt2 5154044 MAYBE 5.50/5.50 NO 225.57/225.84 MAYBE 20.62/20.28
From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 5154045 MAYBE 3.87/3.86 NO 5.10/5.10 MAYBE 0.44/0.45
From_AProVE_2014/LogMult.jar-obl-8.smt2 5154046 MAYBE 3.45/3.45 MAYBE 5.16/5.17 YES 0.35/0.35
From_AProVE_2014/NO_10.jar-obl-8.smt2 5154047 MAYBE 3.59/3.59 NO 63.62/63.74 MAYBE 0.31/0.30
From_AProVE_2014/Recursions.jar-obl-13.smt2 5154048 YES 3.99/3.98 YES 0.07/0.07 YES 3.07/3.01
From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 5154049 MAYBE 24.10/24.12 NO 27.35/27.38 MAYBE 23.74/23.82
From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 5154050 MAYBE 3.63/3.62 NO 18.28/18.33 MAYBE 0.36/0.37
From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2 5154051 YES 82.95/82.96 YES 3.30/3.31 timeout (wallclock) [out]
From_AProVE_2014/LogAG.jar-obl-8.smt2 5154052 YES 1.70/1.70 YES 0.14/0.14 MAYBE 2.31/2.26
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 5154053 YES 2.78/2.78 YES 0.04/0.03 YES 1.37/1.34
From_AProVE_2014/Loop1.jar-obl-8.smt2 5154054 YES 1.43/1.43 YES 0.02/0.02 YES 0.44/0.43
From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 5154055 MAYBE 1.30/1.30 NO 0.02/0.02 MAYBE 0.07/0.06
From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 5154056 MAYBE 22.31/22.33 MAYBE 66.84/66.92 MAYBE 5.01/4.94
From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 5154057 MAYBE 5.86/5.87 NO 13.27/13.27 MAYBE 0.50/0.49
From_AProVE_2014/Et1.jar-obl-8.smt2 5154058 YES 1.43/1.43 YES 11.14/11.16 MAYBE 0.34/0.34
From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 5154059 MAYBE 3.48/3.62 NO 18.17/18.19 MAYBE 0.37/0.36
From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 5154060 YES 1.59/1.59 YES 0.03/0.03 YES 0.39/0.38
From_AProVE_2014/FactSLR.jar-obl-8.smt2 5154061 YES 2.02/2.01 YES 0.07/0.07 MAYBE 0.67/0.95
From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 5154062 MAYBE 3.83/3.82 NO 15.37/15.37 MAYBE 0.56/0.57
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 5154063 timeout (wallclock) [out] MAYBE 52.85/52.87 MAYBE 96.02/95.05
From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 5154064 YES 1.28/1.28 YES 0.02/0.02 YES 0.17/0.17
From_AProVE_2014/Ackermann.jar-obl-8.smt2 5154065 YES 2.09/2.08 YES 0.03/0.03 YES 0.46/0.45
From_AProVE_2014/convLower_rec.jar-obl-8.smt2 5154066 MAYBE 5.29/5.29 NO 29.53/29.54 MAYBE 0.41/0.41
From_AProVE_2014/Et1-rec.jar-obl-8.smt2 5154067 YES 1.76/1.76 YES 11.21/11.21 MAYBE 0.57/0.56
From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 5154068 MAYBE 3.64/3.64 NO 54.68/54.75 MAYBE 0.46/0.45
From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 5154069 YES 16.27/16.27 MAYBE 189.04/189.46 YES 92.39/91.68
From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 5154070 YES 4.92/4.92 YES 0.12/0.12 YES 4.48/4.77
From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 5154071 YES 3.05/3.05 YES 0.17/0.19 YES 1.93/1.91
From_AProVE_2014/GCD.jar-obl-8.smt2 5154072 YES 2.69/2.71 YES 0.05/0.05 YES 0.78/0.78
From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 5154073 MAYBE 3.85/3.84 NO 15.36/15.37 MAYBE 0.50/0.49
From_AProVE_2014/HanR.jar-obl-8.smt2 5154074 YES 1.67/1.67 YES 0.02/0.02 YES 0.29/0.29
From_AProVE_2014/Fibonacci.jar-obl-8.smt2 5154075 YES 2.07/2.07 YES 0.03/0.03 YES 0.84/0.82
From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 5154076 YES 7.80/7.84 YES 0.15/0.15 YES 6.74/6.95
From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 5154077 MAYBE 3.47/3.49 NO 5.19/5.19 MAYBE 0.36/0.36
From_AProVE_2014/ex04_rec.jar-obl-8.smt2 5154078 MAYBE 3.51/3.51 NO 63.46/63.52 MAYBE 0.36/0.37
From_AProVE_2014/PastaC7.jar-obl-8.smt2 5154079 YES 1.39/1.39 YES 0.02/0.02 YES 0.25/0.25
From_AProVE_2014/Exc4.jar-obl-8.smt2 5154080 MAYBE 4.16/4.18 NO 1.03/1.03 MAYBE 0.31/0.31
From_AProVE_2014/NO_21.jar-obl-8.smt2 5154081 MAYBE 1.29/1.28 NO 0.02/0.02 MAYBE 0.06/0.06
From_AProVE_2014/Init.jar-obl-8.smt2 5154082 MAYBE 1.30/1.29 NO 0.03/0.02 MAYBE 0.06/0.06
From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 5154083 YES 21.91/22.46 MAYBE 187.27/187.32 YES 172.72/171.06
From_AProVE_2014/PastaA5.jar-obl-8.smt2 5154084 YES 1.39/1.92 YES 0.06/0.06 MAYBE 0.43/0.76
From_AProVE_2014/BubbleSort.jar-obl-8.smt2 5154085 YES 2.56/2.56 YES 4.05/4.05 YES 7.79/7.66
From_AProVE_2014/PastaC2.jar-obl-8.smt2 5154086 YES 3.33/1.80 YES 0.03/0.03 YES 2.68/2.69
From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 5154087 YES 3.07/3.07 YES 0.16/0.16 YES 2.04/2.01
From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 5154088 YES 2.57/2.57 YES 0.13/0.13 MAYBE 1.61/1.59
From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 5154089 YES 20.80/20.80 YES 0.82/0.82 YES 13.48/13.45
From_AProVE_2014/FibSLR.jar-obl-8.smt2 5154090 YES 2.53/2.53 YES 0.46/0.46 MAYBE 0.69/0.68
From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 5154091 YES 4.85/4.85 YES 0.15/0.15 YES 10.54/10.77
From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 5154092 MAYBE 5.94/5.94 MAYBE 37.36/37.44 MAYBE 0.94/0.93
From_AProVE_2014/RotateTree.jar-obl-10.smt2 5154093 YES 6.00/6.04 YES 0.13/0.13 YES 5.04/4.97
From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 5154094 YES 28.54/28.54 YES 0.93/0.93 YES 26.42/26.18
From_AProVE_2014/PastaC10.jar-obl-8.smt2 5154095 YES 1.55/1.55 YES 0.08/0.08 MAYBE 0.64/1.04
From_AProVE_2014/Parts.jar-obl-9.smt2 5154096 YES 6.30/6.29 YES 0.12/0.13 YES 15.75/15.61
From_AProVE_2014/Nest.jar-obl-8.smt2 5154097 YES 1.89/1.91 YES 0.02/0.02 YES 0.35/0.35
From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 5154098 MAYBE 7.39/7.78 NO 49.53/49.57 MAYBE 0.84/0.82
From_AProVE_2014/PastaA10.jar-obl-8.smt2 5154099 YES 2.92/2.92 YES 0.05/0.05 YES 0.49/0.48
From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 5154100 MAYBE 10.20/10.21 NO 5.58/5.60 MAYBE 0.96/0.94
From_AProVE_2014/PastaB4.jar-obl-8.smt2 5154101 YES 1.31/1.31 YES 0.02/0.02 YES 0.07/0.07
From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 5154102 MAYBE 5.82/5.81 NO 64.11/64.16 MAYBE 0.50/0.49
From_AProVE_2014/CountUpRound.jar-obl-8.smt2 5154103 YES 2.37/2.37 YES 0.03/0.03 YES 1.94/2.25
From_AProVE_2014/Count.jar-obl-10.smt2 5154104 MAYBE 17.63/17.62 MAYBE 29.17/29.17 MAYBE 2.89/2.87
From_AProVE_2014/Hanoi.jar-obl-8.smt2 5154105 YES 1.29/1.29 YES 0.02/0.02 YES 0.09/0.09
From_AProVE_2014/Double2.jar-obl-8.smt2 5154106 YES 1.28/1.28 YES 0.02/0.02 YES 0.09/0.09
From_AProVE_2014/CyclicList.jar-obl-9.smt2 5154107 YES 2.39/2.39 YES 0.04/0.04 YES 0.91/0.90
From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 5154108 MAYBE 7.79/7.79 NO 20.78/20.78 MAYBE 1.66/1.64
From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 5154109 MAYBE 6.22/6.51 NO 49.59/49.63 MAYBE 0.92/0.91
From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 5154110 MAYBE 6.84/6.83 MAYBE 23.97/23.97 MAYBE 0.66/0.66
From_AProVE_2014/TestJulia7.jar-obl-8.smt2 5154111 MAYBE 2.98/3.00 NO 5.17/5.17 MAYBE 0.27/0.26
From_AProVE_2014/NO_24.jar-obl-8.smt2 5154112 MAYBE 4.11/4.12 NO 5.21/5.21 MAYBE 0.39/0.38
From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 5154113 YES 5.35/5.35 YES 0.27/0.27 YES 13.60/13.79
From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 5154114 YES 1.29/1.30 YES 0.02/0.02 YES 0.16/0.16
From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 5154115 YES 3.06/3.06 YES 0.17/0.17 YES 1.99/1.98
From_AProVE_2014/Alternate.jar-obl-10.smt2 5154116 YES 28.08/28.09 MAYBE 20.56/20.58 timeout (wallclock) [out]
From_AProVE_2014/Swingers.jar-obl-8.smt2 5154117 MAYBE 3.73/3.72 NO 5.97/6.00 MAYBE 0.42/0.41
From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 5154118 MAYBE 13.49/13.51 MAYBE 35.83/35.85 MAYBE 2.71/2.81
From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 5154119 YES 2.27/2.26 YES 0.05/0.05 YES 0.80/0.78
From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 5154120 YES 20.68/20.67 MAYBE 50.34/50.39 timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 5154121 MAYBE 8.28/8.28 NO 19.15/19.16 MAYBE 5.90/5.87
From_AProVE_2014/Sudoku.jar-obl-14.smt2 5154122 YES 26.80/26.80 YES 2.38/2.38 YES 74.50/73.63
From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 5154123 YES 21.02/21.02 YES 0.82/0.83 YES 13.65/13.54
From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 5154124 YES 16.08/16.10 MAYBE 186.38/186.61 YES 87.82/86.63
From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 5154125 YES 1.65/1.64 YES 0.22/0.22 MAYBE 0.50/0.49
From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 5154126 MAYBE 10.35/10.36 NO 16.98/8.55 MAYBE 0.52/0.62
From_AProVE_2014/Domino.jar-obl-27.smt2 5154127 YES 270.31/270.34 MAYBE 42.19/42.21 timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 5154128 MAYBE 6.22/6.22 MAYBE 9.32/9.32 MAYBE 4.47/4.66
From_AProVE_2014/PastaA7.jar-obl-8.smt2 5154129 YES 1.38/1.38 YES 0.02/0.02 YES 0.35/0.34
From_AProVE_2014/flip2_rec.jar-obl-8.smt2 5154130 MAYBE 6.01/6.47 MAYBE 35.92/35.98 MAYBE 1.00/0.98
From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 5154131 MAYBE 4.33/4.35 NO 27.86/27.88 MAYBE 0.45/0.44
From_AProVE_2014/GCD4.jar-obl-8.smt2 5154132 YES 1.74/1.74 YES 0.03/0.03 YES 2.61/2.55
From_AProVE_2014/PlusSwap.jar-obl-8.smt2 5154133 YES 1.31/1.31 YES 0.04/0.04 MAYBE 0.34/0.34
From_AProVE_2014/NestedLoop.jar-obl-10.smt2 5154134 YES 4.59/4.59 YES 0.26/0.26 MAYBE 1.14/1.49
From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 5154135 YES 2.63/2.63 YES 0.13/0.13 YES 1.66/1.63
From_AProVE_2014/Test5.jar-obl-11.smt2 5154136 YES 12.68/12.69 YES 2.64/2.64 MAYBE 3.39/3.34
From_AProVE_2014/Count.jar-obl-10-2.smt2 5154137 MAYBE 44.94/44.94 MAYBE 50.68/50.70 MAYBE 6.41/6.33
From_AProVE_2014/PastaB16.jar-obl-8.smt2 5154138 YES 1.67/1.67 YES 0.02/0.02 YES 1.34/1.32
From_AProVE_2014/NO_05.jar-obl-9.smt2 5154139 MAYBE 6.45/6.50 NO 52.37/52.77 MAYBE 0.44/0.44
From_AProVE_2014/DivMinus2.jar-obl-8.smt2 5154140 YES 5.62/5.62 YES 0.07/0.07 YES 7.62/7.81
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 5154141 YES 5.67/5.69 YES 0.33/0.33 YES 10.81/10.67
From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 5154142 MAYBE 4.17/4.20 NO 33.30/33.34 MAYBE 0.44/0.43
From_AProVE_2014/Shuffle.jar-obl-10.smt2 5154143 MAYBE 6.26/6.26 MAYBE 36.28/36.28 MAYBE 1.15/1.13
From_AProVE_2014/ex01_rec.jar-obl-8.smt2 5154144 MAYBE 3.27/3.26 NO 18.23/18.24 MAYBE 0.46/0.46
From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 5154145 YES 12.26/12.26 YES 1.12/1.12 YES 30.13/29.70
From_AProVE_2014/Et3-rec.jar-obl-8.smt2 5154146 YES 1.72/1.72 YES 13.41/13.41 MAYBE 0.57/0.58
From_AProVE_2014/NO_23.jar-obl-8.smt2 5154147 MAYBE 3.67/3.68 NO 25.20/25.22 MAYBE 0.28/0.27
From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 5154148 YES 3.76/3.76 YES 0.08/0.08 YES 1.64/1.61
From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 5154149 YES 20.62/20.62 MAYBE 179.68/179.84 YES 112.74/111.39
From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 5154150 YES 2.36/2.35 YES 0.03/0.03 YES 0.89/0.89
From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 5154151 YES 20.63/20.63 MAYBE 182.33/182.51 YES 115.40/113.88
From_AProVE_2014/GCD5.jar-obl-8.smt2 5154152 MAYBE 3.74/3.74 MAYBE 5.14/5.14 YES 0.47/0.47
From_AProVE_2014/PastaB8.jar-obl-8.smt2 5154153 YES 2.14/2.14 YES 0.03/0.03 YES 1.03/1.03
From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 5154154 YES 1.92/1.92 YES 0.09/0.09 MAYBE 1.18/1.17
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 5154155 MAYBE 3.20/3.21 NO 18.24/18.25 MAYBE 0.36/0.36
From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 5154156 YES 5.10/5.11 YES 0.26/0.26 YES 15.59/15.35
From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 5154157 timeout (wallclock) [out] MAYBE 227.72/228.05 MAYBE 71.25/70.95
From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 5154158 YES 3.41/3.40 YES 0.09/0.09 YES 3.95/3.90
From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 5154159 MAYBE 15.53/15.53 NO 43.04/43.05 MAYBE 1.12/1.42
From_AProVE_2014/Graph.jar-obl-17.smt2 5154160 MAYBE 77.18/77.22 MAYBE 66.93/67.03 MAYBE 227.10/223.57
From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 5154161 YES 3.95/3.96 YES 0.09/0.09 MAYBE 1.07/1.05
From_AProVE_2014/Carre.jar-obl-9.smt2 5154162 YES 4.14/4.14 YES 0.10/0.10 YES 14.48/14.33
From_AProVE_2014/GCD3.jar-obl-8.smt2 5154163 YES 1.74/1.74 YES 0.03/0.03 YES 2.82/2.76
From_AProVE_2014/Choose.jar-obl-8.smt2 5154164 MAYBE 4.39/4.38 NO 23.47/23.49 MAYBE 0.28/0.28
From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 5154165 MAYBE 10.47/10.48 NO 8.58/8.58 MAYBE 0.55/0.54
From_AProVE_2014/NO_04.jar-obl-8.smt2 5154166 MAYBE 1.29/1.29 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 5154167 MAYBE 6.77/6.77 NO 12.77/12.78 MAYBE 0.78/0.77
From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 5154168 MAYBE 52.23/52.23 NO 44.67/44.73 MAYBE 281.44/279.04
From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 5154169 MAYBE 101.80/101.86 NO 138.37/138.51 MAYBE 12.85/12.63
From_AProVE_2014/DivTernary.jar-obl-10.smt2 5154170 timeout (wallclock) [out] MAYBE 59.09/59.10 MAYBE 129.61/128.33
From_AProVE_2014/MainMove.jar-obl-11.smt2 5154171 MAYBE 20.33/20.32 NO 6.06/6.06 MAYBE 62.82/61.85
From_AProVE_2014/ex03_rec.jar-obl-8.smt2 5154172 MAYBE 5.38/5.39 NO 11.73/11.74 MAYBE 0.63/0.62
From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 5154173 YES 2.06/2.06 YES 0.03/0.03 YES 0.57/0.56
From_AProVE_2014/LinkedList.jar-obl-10.smt2 5154174 MAYBE 6.03/6.03 NO 22.75/22.77 MAYBE 0.74/0.72
From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 5154175 YES 199.18/199.20 YES 4.34/4.35 timeout (wallclock) [out]
From_AProVE_2014/flip_rec.jar-obl-8.smt2 5154176 MAYBE 3.86/3.86 NO 5.15/5.15 MAYBE 0.35/0.35
From_AProVE_2014/MainDelete.jar-obl-10.smt2 5154177 MAYBE 25.27/25.30 MAYBE 96.78/96.94 MAYBE 5.07/5.00
From_AProVE_2014/Diff.jar-obl-8.smt2 5154178 YES 5.03/5.03 YES 0.49/0.49 YES 13.72/13.48
From_AProVE_2014/NO_02.jar-obl-8.smt2 5154179 MAYBE 1.29/1.43 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/DivMinus.jar-obl-11.smt2 5154180 MAYBE 256.64/256.66 MAYBE 56.53/56.57 MAYBE 28.87/28.87
From_AProVE_2014/ex05_rec.jar-obl-8.smt2 5154181 MAYBE 3.08/3.07 NO 0.03/0.03 MAYBE 0.24/0.23
From_AProVE_2014/Take.jar-obl-8.smt2 5154182 YES 1.61/1.61 YES 0.03/0.03 YES 0.72/0.70
From_AProVE_2014/NO_01.jar-obl-8.smt2 5154183 MAYBE 1.29/1.29 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 5154184 MAYBE 4.90/4.90 NO 18.22/18.22 MAYBE 0.67/0.66
From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 5154185 YES 50.63/50.62 YES 2.55/2.56 timeout (wallclock) [out]
From_AProVE_2014/Sharing.jar-obl-8.smt2 5154186 YES 1.26/1.28 YES 0.02/0.02 YES 0.16/0.17
From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 5154187 YES 33.73/33.73 MAYBE 190.18/190.28 YES 227.83/224.60
From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 5154188 MAYBE 5.00/5.02 NO 18.24/18.25 MAYBE 0.57/0.56
From_AProVE_2014/NO_06.jar-obl-8.smt2 5154189 MAYBE 1.28/1.30 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 5154190 MAYBE 10.72/10.72 NO 123.11/123.26 MAYBE 0.72/0.71
From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 5154191 YES 2.65/2.64 YES 0.15/0.15 YES 1.69/1.69
From_AProVE_2014/Et3.jar-obl-9.smt2 5154192 YES 1.77/1.76 YES 9.45/9.46 MAYBE 0.42/0.42
From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 5154193 YES 1.31/1.32 YES 0.02/0.02 YES 0.26/0.26
From_AProVE_2014/ex08_rec.jar-obl-8.smt2 5154194 MAYBE 49.55/49.57 NO 67.09/67.12 MAYBE 11.20/11.00
From_AProVE_2014/PastaB14.jar-obl-8.smt2 5154195 YES 1.82/1.81 YES 0.02/0.02 YES 0.23/0.22
From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 5154196 YES 190.84/190.86 YES 3.69/3.71 timeout (wallclock) [out]
From_AProVE_2014/PastaC11.jar-obl-8.smt2 5154197 YES 1.93/1.94 YES 0.03/0.03 YES 0.37/0.36
From_AProVE_2014/Loop.jar-obl-8.smt2 5154198 MAYBE 1.31/1.31 NO 0.03/0.03 MAYBE 0.06/0.06
From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 5154199 YES 15.08/15.68 MAYBE 187.08/187.22 YES 82.93/82.34
From_AProVE_2014/RunningPointers.jar-obl-9.smt2 5154200 YES 1.77/1.77 YES 0.03/0.03 YES 0.39/0.39
From_AProVE_2014/PastaB10.jar-obl-8.smt2 5154201 YES 1.77/1.77 YES 0.04/0.04 YES 0.41/0.40
From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 5154202 YES 3.87/3.86 YES 0.20/0.20 YES 2.51/2.86
From_AProVE_2014/AG313.jar-obl-8.smt2 5154203 YES 1.35/1.34 YES 0.02/0.02 YES 0.14/0.14
From_AProVE_2014/Test11.jar-obl-8.smt2 5154204 YES 4.38/4.39 YES 0.57/0.57 MAYBE 2.80/2.76
From_AProVE_2014/Continue.jar-obl-8.smt2 5154205 MAYBE 1.29/1.28 NO 0.03/0.03 MAYBE 0.06/0.08
From_AProVE_2014/SortCount.jar-obl-10.smt2 5154206 MAYBE 50.23/50.25 YES 1.75/1.76 MAYBE 3.77/3.77
From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 5154207 YES 160.97/160.98 timeout (wallclock) [out] timeout (wallclock) [out]
From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 5154208 YES 3.25/3.25 YES 0.17/0.17 YES 3.28/3.23
From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 5152987 timeout (wallclock) [out] MAYBE 273.84/273.95 timeout (wallclock) [out]
From_T2/refine_disj_problem.t2.smt2 5152988 MAYBE 5.03/5.05 NO 5.38/5.38 MAYBE 2.85/2.80
From_T2/e-pgarch-succeed.t2.smt2 5152989 MAYBE 25.55/25.55 NO 0.07/0.07 MAYBE 48.35/47.64
From_T2/ex8.t2.smt2 5152990 MAYBE 26.52/26.52 NO 3.13/3.13 MAYBE 6.93/6.81
From_T2/ex15.t2.smt2 5152991 YES 1.24/1.26 YES 0.02/0.02 YES 0.01/0.02
From_T2/fake-succeed.t2.smt2 5152992 timeout (wallclock) [out] NO 2.52/2.52 timeout (wallclock) [out]
From_T2/rev_nt2.t2_fixed.smt2 5152993 MAYBE 94.85/94.85 NO 8.45/8.45 timeout (wallclock) [out]
From_T2/java_DivWithoutMinus.c.t2.smt2 5152994 YES 60.56/60.56 YES 2.30/2.32 YES 123.47/121.96
From_T2/ex36.t2_fixed.smt2 5152995 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/insertsort.t2_fixed.smt2 5152996 MAYBE 8.91/8.92 NO 18.34/18.37 MAYBE 4.61/4.54
From_T2/create_via_tmps.t2.smt2 5152997 YES 25.84/25.83 YES 0.16/0.16 timeout (wallclock) [out]
From_T2/polyrank4.t2.smt2 5152998 MAYBE 14.19/14.21 YES 34.54/34.60 MAYBE 3.31/3.25
From_T2/n-8.t2_fixed.smt2 5152999 MAYBE 42.96/42.96 MAYBE 0.04/0.04 MAYBE 33.01/33.02
From_T2/simple_pre2.t2.smt2 5153000 YES 2.25/1.18 YES 0.02/0.02 YES 0.01/0.01
From_T2/ex33.t2.smt2 5153001 YES 1.89/1.97 YES 0.02/0.02 YES 0.15/0.15
From_T2/consts3nt.t2.smt2 5153002 MAYBE 3.81/3.87 NO 36.38/36.40 MAYBE 0.89/0.88
From_T2/array4.t2.smt2 5153003 YES 2.50/2.50 YES 0.02/0.02 YES 3.36/3.30
From_T2/java_Double2.c.t2.smt2 5153004 YES 5.07/5.07 YES 0.05/0.05 YES 15.17/15.21
From_T2/two_arrays1.t2.smt2 5153005 YES 16.27/16.27 YES 0.06/0.06 YES 129.33/127.45
From_T2/ex27.t2.smt2 5153006 YES 88.12/88.28 YES 0.36/0.36 timeout (wallclock) [out]
From_T2/small12.t2.smt2 5153007 YES 1.58/1.58 YES 0.02/0.02 YES 1.22/1.21
From_T2/pgarch.t2.smt2 5153008 timeout (wallclock) [out] MAYBE 126.34/126.38 timeout (wallclock) [out]
From_T2/bf12.t2.smt2 5153009 YES 13.71/13.70 YES 0.06/0.06 YES 141.82/139.88
From_T2/bf6.t2.smt2 5153010 YES 13.23/13.23 YES 0.06/0.06 YES 137.31/134.99
From_T2/e-pgarch-succeed.t2_fixed.smt2 5153011 MAYBE 24.02/24.03 NO 0.08/0.08 MAYBE 43.78/43.05
From_T2/slayer-3.t2.smt2 5153012 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 5153013 YES 28.93/28.93 YES 0.47/0.47 timeout (wallclock) [out]
From_T2/constants.t2_fixed.smt2 5153014 YES 3.15/3.15 YES 0.03/0.03 YES 11.09/10.90
From_T2/bakerybug.t2.smt2 5153015 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 171.28/168.91
From_T2/s1-saved.t2_fixed.smt2 5153016 YES 104.33/104.35 YES 0.86/0.86 timeout (wallclock) [out]
From_T2/traverse_twice.t2_fixed.smt2 5153017 YES 180.79/180.81 YES 1.52/1.52 timeout (wallclock) [out]
From_T2/small34.t2.smt2 5153018 YES 1.42/1.43 YES 0.02/0.02 YES 0.15/0.14
From_T2/s1-striped.t2.smt2 5153019 timeout (wallclock) [out] MAYBE 164.58/164.70 timeout (wallclock) [out]
From_T2/p-56.t2_fixed.smt2 5153020 YES 2.64/2.64 YES 0.03/0.02 YES 9.34/9.48
From_T2/small18.t2.smt2 5153021 MAYBE 6.40/6.70 MAYBE 35.34/35.40 MAYBE 0.67/1.08
From_T2/consts1nt.t2.smt2 5153022 MAYBE 4.54/4.55 NO 36.27/36.30 MAYBE 1.87/1.84
From_T2/ex20.t2.smt2 5153023 YES 3.82/3.82 YES 0.03/0.03 YES 6.24/6.13
From_T2/mc91test.t2_fixed.smt2 5153024 YES 5.23/5.22 YES 0.69/0.69 MAYBE 37.93/37.38
From_T2/two_arrays6.t2.smt2 5153025 YES 17.35/17.35 YES 0.06/0.06 YES 108.92/107.94
From_T2/st88b-fail.t2.smt2 5153026 MAYBE 44.79/44.80 NO 18.74/18.78 MAYBE 13.33/13.44
From_T2/smagillc-fail.t2.smt2 5153027 MAYBE 13.95/13.97 NO 12.50/12.50 MAYBE 5.10/5.01
From_T2/ex21.t2.smt2 5153028 YES 3.23/3.23 YES 0.02/0.02 YES 15.64/15.36
From_T2/1394complete-fail.t2_fixed.smt2 5153029 timeout (wallclock) [out] NO 49.14/49.21 timeout (wallclock) [out]
From_T2/simple_pre1.t2.smt2 5153030 YES 1.19/1.19 YES 0.02/0.02 YES 0.01/0.03
From_T2/fun2.t2.smt2 5153031 YES 51.31/51.31 YES 6.25/6.25 timeout (wallclock) [out]
From_T2/p-7.t2.smt2 5153032 YES 2.45/2.45 YES 0.02/0.02 YES 9.18/9.03
From_T2/consts5.t2.smt2 5153033 MAYBE 6.18/6.17 NO 18.85/18.87 MAYBE 6.49/6.74
From_T2/armc-difficult_defect.t2.smt2 5153034 YES 1.68/1.68 YES 0.04/0.04 MAYBE 1.68/1.67
From_T2/n-16a.t2.smt2 5153035 MAYBE 4.05/4.06 NO 5.26/5.26 MAYBE 1.64/1.60
From_T2/huh.t2_fixed.smt2 5153036 YES 9.16/9.16 YES 0.06/0.06 YES 167.42/165.68
From_T2/p-15.t2.smt2 5153037 YES 1.61/1.62 YES 0.02/0.02 YES 0.37/0.36
From_T2/bf10.t2_fixed.smt2 5153038 YES 12.55/12.55 YES 0.06/0.06 YES 105.40/104.48
From_T2/neg-e-popl07-succeed.t2_fixed.smt2 5153039 MAYBE 60.08/60.09 NO 0.51/0.52 MAYBE 89.98/88.66
From_T2/stored.t2.smt2 5153040 MAYBE 23.47/23.46 NO 0.05/0.05 MAYBE 5.81/5.70
From_T2/loop3.t2.smt2 5153041 YES 172.55/172.56 YES 1.55/1.56 timeout (wallclock) [out]
From_T2/n-33.t2.smt2 5153042 MAYBE 26.56/26.66 timeout (wallclock) [out] MAYBE 25.60/25.19
From_T2/array_free2.t2.smt2 5153043 YES 2.42/2.41 YES 0.02/0.02 YES 0.49/0.48
From_T2/consts1nt.t2_fixed.smt2 5153044 MAYBE 3.97/3.96 NO 23.36/23.39 MAYBE 1.08/1.07
From_T2/p-1b.t2.smt2 5153045 YES 1.73/1.73 YES 0.02/0.02 YES 1.72/2.02
From_T2/s1.t2_fixed.smt2 5153046 timeout (wallclock) [out] MAYBE 180.64/180.77 timeout (wallclock) [out]
From_T2/small29.t2.smt2 5153047 MAYBE 3.72/3.73 NO 10.05/5.07 MAYBE 1.27/1.55
From_T2/p-1c.t2.smt2 5153048 MAYBE 4.32/4.33 MAYBE 0.03/0.03 MAYBE 15.09/14.85
From_T2/byron-2.t2.smt2 5153049 YES 5.17/5.17 YES 0.03/0.03 YES 38.05/37.80
From_T2/java_Diff.c.t2.smt2 5153050 YES 162.21/162.24 YES 0.57/0.57 timeout (wallclock) [out]
From_T2/p-43.t2_fixed.smt2 5153051 YES 11.63/11.63 YES 0.95/0.95 MAYBE 11.71/11.52
From_T2/bitcount32.t2_fixed.smt2 5153052 YES 5.73/5.73 YES 0.03/0.03 YES 48.65/48.21
From_T2/reverse_seg_cyclic.t2_fixed.smt2 5153053 YES 134.11/134.12 YES 1.17/1.18 timeout (wallclock) [out]
From_T2/compress.t2.smt2 5153054 timeout (wallclock) [out] NO 154.77/154.86 timeout (wallclock) [out]
From_T2/nakata_withassume.t2.smt2 5153055 timeout (wallclock) [out] YES 4.10/4.10 timeout (wallclock) [out]
From_T2/ex18.t2_fixed.smt2 5153056 YES 9.26/9.29 YES 0.04/0.04 MAYBE 18.14/17.85
From_T2/e-1394complete-fail.t2.smt2 5153057 timeout (wallclock) [out] NO 49.00/49.05 timeout (wallclock) [out]
From_T2/queue_10.t2.smt2 5153058 YES 8.79/8.79 YES 0.07/0.07 YES 27.12/26.66
From_T2/fun7.t2.smt2 5153059 MAYBE 232.24/232.26 MAYBE 43.56/43.56 timeout (wallclock) [out]
From_T2/p-5.t2.smt2 5153060 MAYBE 22.43/22.44 NO 21.41/21.44 timeout (wallclock) [out]
From_T2/java_FibRecursive.c.t2.smt2 5153061 YES 4.54/4.54 YES 0.05/0.05 YES 4.13/4.16
From_T2/queens.t2.smt2 5153062 timeout (wallclock) [out] YES 3.63/3.62 timeout (wallclock) [out]
From_T2/armc-difficult_foo3.t2.smt2 5153063 YES 82.88/82.87 YES 6.96/6.96 timeout (wallclock) [out]
From_T2/simple_test.t2.smt2 5153064 YES 3.45/3.45 YES 0.03/0.03 YES 5.15/5.08
From_T2/heidy7.t2.smt2 5153065 MAYBE 20.46/20.45 NO 3.12/3.12 MAYBE 2.68/2.64
From_T2/destroy_seg.t2.smt2 5153066 YES 36.91/36.92 YES 0.20/0.20 timeout (wallclock) [out]
From_T2/reverse_div4.t2.smt2 5153067 MAYBE 174.33/174.77 NO 11.55/11.55 timeout (wallclock) [out]
From_T2/disj_nightmare_abi.t2.smt2 5153068 YES 3.44/3.43 YES 0.03/0.03 MAYBE 3.60/3.54
From_T2/consts5nt.t2.smt2 5153069 MAYBE 6.18/6.18 NO 18.85/18.85 MAYBE 6.53/6.41
From_T2/mc91.t2.smt2 5153070 MAYBE 19.09/19.09 NO 17.01/17.01 MAYBE 10.97/10.78
From_T2/collatz.t2.smt2 5153071 MAYBE 9.51/9.62 MAYBE 5.27/5.27 MAYBE 12.75/12.58
From_T2/smagillc-fail.t2_fixed.smt2 5153072 MAYBE 14.08/14.08 NO 12.50/12.51 MAYBE 4.82/4.73
From_T2/neg-e-acqrel-fail.t2_fixed.smt2 5153073 MAYBE 25.71/26.14 NO 5.14/5.14 MAYBE 5.53/5.43
From_T2/selectSort.t2.smt2 5153074 YES 9.78/9.78 YES 0.14/0.14 YES 85.85/84.68
From_T2/ex18.t2.smt2 5153075 YES 10.44/10.45 YES 0.04/0.04 MAYBE 26.25/25.88
From_T2/dead.neg-st88b-succeed.t2.smt2 5153076 MAYBE 63.08/63.10 NO 36.60/36.63 MAYBE 19.48/19.14
From_T2/ex29.t2.smt2 5153077 YES 10.24/10.24 YES 0.04/0.04 YES 1.18/1.17
From_T2/ns.t2.smt2 5153078 YES 27.53/27.53 YES 1.12/1.12 YES 154.79/152.99
From_T2/destroy_seg.t2_fixed.smt2 5153079 YES 40.51/40.51 YES 0.34/0.34 timeout (wallclock) [out]
From_T2/p-38.t2.smt2 5153080 YES 5.24/5.41 YES 0.03/0.04 YES 0.34/0.34
From_T2/simple_test2.t2.smt2 5153081 MAYBE 3.50/3.49 NO 0.03/0.03 MAYBE 0.90/0.90
From_T2/bubbleSort.t2.smt2 5153082 YES 5.89/5.90 YES 0.06/0.06 YES 25.08/24.67
From_T2/small10.t2.smt2 5153083 MAYBE 12.10/12.11 NO 13.12/13.12 MAYBE 3.89/4.11
From_T2/apchild-accepted.t2_fixed.smt2 5153084 timeout (wallclock) [out] MAYBE 231.93/232.43 timeout (wallclock) [out]
From_T2/slayer-n1.t2.smt2 5153085 MAYBE 126.21/126.21 NO 12.08/12.08 timeout (wallclock) [out]
From_T2/ex23.t2.smt2 5153086 YES 2.31/2.33 YES 0.02/0.02 YES 4.18/4.12
From_T2/neg-acqrel-succeed.t2.smt2 5153087 MAYBE 38.83/38.83 NO 9.13/9.13 MAYBE 3.90/3.88
From_T2/heidy8.t2_fixed.smt2 5153088 MAYBE 24.75/24.75 NO 3.12/3.12 MAYBE 6.17/6.05
From_T2/neg-acqrel-fail.t2.smt2 5153089 MAYBE 39.09/39.29 NO 9.13/9.13 MAYBE 3.70/3.90
From_T2/n-20.t2.smt2 5153090 MAYBE 8.20/8.21 MAYBE 0.04/0.04 MAYBE 23.06/22.70
From_T2/zlib-crc32-BYFOUR.c.t2.smt2 5153091 MAYBE 104.55/104.55 NO 32.64/32.67 MAYBE 245.56/242.28
From_T2/p-37.t2_fixed.smt2 5153092 YES 3.14/3.14 YES 0.03/0.03 YES 9.55/9.61
From_T2/bf7.t2.smt2 5153093 YES 16.35/16.35 YES 0.06/0.06 YES 140.64/138.38
From_T2/spctrm.t2.smt2 5153094 YES 199.54/199.64 YES 13.13/13.15 timeout (wallclock) [out]
From_T2/small28.t2.smt2 5153095 YES 1.50/1.52 YES 0.02/0.02 YES 1.24/1.22
From_T2/array_init.t2.smt2 5153096 YES 2.07/2.08 YES 0.02/0.02 YES 0.94/1.20
From_T2/bf20.t2.smt2 5153097 YES 14.48/14.48 YES 0.06/0.06 YES 139.62/138.58
From_T2/byron-4.t2.smt2 5153098 MAYBE 9.83/9.82 timeout (wallclock) [out] MAYBE 32.86/32.53
From_T2/ex32.t2_fixed.smt2 5153099 YES 3.50/3.50 YES 0.03/0.02 YES 4.32/4.69
From_T2/ex29.t2_fixed.smt2 5153100 YES 9.55/9.54 YES 0.04/0.04 YES 1.34/1.32
From_T2/n-48.t2.smt2 5153101 MAYBE 6.86/6.86 NO 32.45/32.45 MAYBE 7.93/7.79
From_T2/neg-e-1394-succeed.t2.smt2 5153102 timeout (wallclock) [out] NO 17.11/17.11 timeout (wallclock) [out]
From_T2/fun11.t2_fixed.smt2 5153103 MAYBE 22.18/22.19 NO 18.26/18.26 MAYBE 15.78/15.54
From_T2/seq.t2.smt2 5153104 YES 1.42/1.41 YES 0.02/0.02 YES 0.12/0.12
From_T2/p-4.t2.smt2 5153105 YES 2.46/2.46 YES 0.03/0.03 YES 7.96/7.83
From_T2/neg-1394-succeed.t2.smt2 5153106 timeout (wallclock) [out] NO 17.03/17.06 timeout (wallclock) [out]
From_T2/ndes.t2.smt2 5153107 timeout (wallclock) [out] YES 36.58/36.66 timeout (wallclock) [out]
From_T2/p-7.t2_fixed.smt2 5153108 YES 2.58/2.59 YES 0.02/0.02 YES 9.06/8.89
From_T2/p-21.t2_fixed.smt2 5153109 YES 2.22/2.24 YES 0.03/0.03 YES 3.73/3.66
From_T2/apchild-live.t2_fixed.smt2 5153110 timeout (wallclock) [out] MAYBE 175.54/175.68 timeout (wallclock) [out]
From_T2/traverse2.t2.smt2 5153111 YES 170.12/170.12 YES 0.44/0.77 timeout (wallclock) [out]
From_T2/p-61.t2_fixed.smt2 5153112 YES 2.16/2.19 YES 0.04/0.04 YES 2.45/2.41
From_T2/send-more-money.t2_fixed.smt2 5153113 YES 83.30/83.29 YES 0.79/0.79 YES 72.44/72.35
From_T2/agafp.t2_fixed.smt2 5153114 timeout (wallclock) [out] NO 105.33/105.49 timeout (wallclock) [out]
From_T2/232.t2.smt2 5153115 YES 2.04/2.04 YES 0.03/0.03 YES 2.97/2.93
From_T2/neg-e-1394complete-fail.t2_fixed.smt2 5153116 timeout (wallclock) [out] NO 48.71/48.80 timeout (wallclock) [out]
From_T2/streamserver.bug.t2_fixed.smt2 5153117 timeout (wallclock) [out] NO 20.11/20.14 MAYBE 84.65/83.38
From_T2/bf10.t2.smt2 5153118 YES 14.32/14.32 YES 0.06/0.06 YES 140.25/138.86
From_T2/sas2.t2.smt2 5153119 YES 239.98/239.98 MAYBE 212.40/212.6 timeout (wallclock) [out]
From_T2/hqr.t2.smt2 5153120 timeout (wallclock) [out] MAYBE 271.45/271.59 timeout (wallclock) [out]
From_T2/bs.t2_fixed.smt2 5153121 MAYBE 64.31/64.31 NO 15.57/15.61 MAYBE 25.86/25.42
From_T2/destroy_seg_leak.t2_fixed.smt2 5153122 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/e-1394-succeed.t2.smt2 5153123 timeout (wallclock) [out] NO 17.10/17.13 timeout (wallclock) [out]
From_T2/p-32.t2.smt2 5153124 MAYBE 4.74/4.93 NO 5.40/5.42 MAYBE 3.45/3.41
From_T2/queue_1000.t2_fixed.smt2 5153125 YES 8.22/8.22 YES 0.06/0.06 YES 14.44/14.21
From_T2/byron-3.t2.smt2 5153126 YES 1.96/1.96 YES 0.09/0.10 MAYBE 2.87/2.82
From_T2/send-more-money.t2.smt2 5153127 YES 87.86/87.87 YES 0.83/0.83 YES 77.43/77.32
From_T2/bf13.t2.smt2 5153128 YES 12.98/12.98 YES 0.06/0.06 YES 129.29/128.16
From_T2/java_LeUserDefRec.c.t2.smt2 5153129 YES 3.63/3.63 YES 0.06/0.06 YES 10.13/10.26
From_T2/n-3a.t2_fixed.smt2 5153130 MAYBE 16.77/16.76 NO 15.26/15.26 MAYBE 52.84/52.52
From_T2/bf13.t2_fixed.smt2 5153131 YES 11.81/11.81 YES 0.06/0.06 YES 106.07/105.37
From_T2/neg-1394-fail.t2.smt2 5153132 timeout (wallclock) [out] NO 17.14/17.17 timeout (wallclock) [out]
From_T2/polyrank3.t2.smt2 5153133 MAYBE 12.15/12.35 YES 26.74/26.75 MAYBE 3.43/3.38
From_T2/p-21.t2.smt2 5153134 YES 2.61/2.61 YES 0.03/0.03 YES 16.81/16.51
From_T2/neg-e-1394complete-succeed.t2_fixed.smt2 5153135 timeout (wallclock) [out] NO 49.00/49.05 timeout (wallclock) [out]
From_T2/e-popl07-fail.t2_fixed.smt2 5153136 MAYBE 65.61/65.62 NO 0.62/0.62 MAYBE 89.91/88.62
From_T2/neg-popl07-fail.t2.smt2 5153137 MAYBE 50.20/50.20 NO 0.17/0.17 MAYBE 95.68/94.14
From_T2/apchild-accepted.t2.smt2 5153138 timeout (wallclock) [out] MAYBE 130.44/130.50 timeout (wallclock) [out]
From_T2/fourn.t2.smt2 5153139 timeout (wallclock) [out] MAYBE 134.41/134.53 timeout (wallclock) [out]
From_T2/s2.t2.smt2 5153140 YES 2.15/2.15 YES 0.03/0.03 YES 6.87/6.76
From_T2/1394-succeed.t2.smt2 5153141 timeout (wallclock) [out] NO 17.10/17.11 timeout (wallclock) [out]
From_T2/ex33.t2_fixed.smt2 5153142 YES 1.91/1.91 YES 0.02/0.02 YES 0.16/0.15
From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 5153143 YES 16.72/16.72 YES 1.32/1.32 timeout (wallclock) [out]
From_T2/neg-e-st88b-succeed.t2.smt2 5153144 MAYBE 50.96/50.97 NO 0.03/0.03 MAYBE 1.79/1.76
From_T2/print.t2_fixed.smt2 5153145 YES 114.57/114.58 YES 1.25/1.25 timeout (wallclock) [out]
From_T2/small01.t2.smt2 5153146 MAYBE 3.73/3.73 NO 43.31/43.32 MAYBE 0.83/0.82
From_T2/wrap.c.t2.smt2 5153147 YES 36.30/36.42 YES 0.39/0.39 timeout (wallclock) [out]
From_T2/3.t2.smt2 5153148 MAYBE 3.29/3.56 NO 0.03/0.03 MAYBE 0.22/0.22
From_T2/java_Continue1.c.t2.smt2 5153149 YES 2.73/2.73 YES 0.03/0.03 YES 3.06/3.01
From_T2/walk.t2.smt2 5153150 MAYBE 40.34/40.34 NO 112.63/112.87 MAYBE 79.35/78.23
From_T2/small23.t2.smt2 5153151 MAYBE 19.51/19.54 NO 9.17/9.17 MAYBE 2.97/3.19
From_T2/curious2.t2.smt2 5153152 YES 1.18/1.20 YES 0.02/0.02 YES 0.01/0.01
From_T2/wrong_loop.t2_fixed.smt2 5153153 MAYBE 11.21/11.20 NO 1.10/1.10 MAYBE 4.21/4.13
From_T2/java_Double3.c.t2.smt2 5153154 YES 6.58/6.58 YES 0.05/0.05 YES 21.35/21.45
From_T2/toeplz.t2.smt2 5153155 YES 33.26/33.26 YES 4.10/4.10 timeout (wallclock) [out]
From_T2/p-41.t2.smt2 5153156 YES 1.15/1.15 YES 0.01/0.01 YES 0.01/0.02
From_T2/smagillc-succeed.t2.smt2 5153157 MAYBE 13.89/13.90 NO 12.29/12.31 MAYBE 5.52/5.47
From_T2/bitcount16.t2.smt2 5153158 YES 4.59/4.59 YES 0.03/0.03 MAYBE 56.91/56.77
From_T2/slayer-n3-filtered.t2.smt2 5153159 YES 21.30/21.30 YES 0.10/0.10 timeout (wallclock) [out]
From_T2/ex16.t2.smt2 5153160 MAYBE 50.58/50.58 NO 51.12/51.37 MAYBE 123.50/122.22
From_T2/consts3nt.t2_fixed.smt2 5153161 MAYBE 3.41/3.41 NO 19.78/19.79 MAYBE 0.34/0.33
From_T2/bf15.t2_fixed.smt2 5153162 YES 11.80/11.80 YES 0.06/0.06 YES 97.75/96.01
From_T2/n-9.t2.smt2 5153163 MAYBE 24.42/24.44 NO 5.64/5.64 MAYBE 49.53/49.08
From_T2/apchildlive-succeed.t2.smt2 5153164 timeout (wallclock) [out] MAYBE 103.99/104.05 timeout (wallclock) [out]
From_T2/consts4.t2_fixed.smt2 5153165 YES 1.40/1.40 YES 0.02/0.02 YES 0.11/0.11
From_T2/w2_nt.t2.smt2 5153166 MAYBE 42.25/42.26 NO 10.18/10.18 MAYBE 262.49/260.04
From_T2/fun2.t2_fixed.smt2 5153167 YES 34.97/34.97 YES 1.90/1.90 MAYBE 286.61/283.16
From_T2/st88.t2.smt2 5153168 MAYBE 214.20/214.23 NO 14.95/14.97 MAYBE 14.27/14.34
From_T2/bf14.t2_fixed.smt2 5153169 YES 10.79/10.79 YES 0.06/0.06 YES 104.21/102.84
From_T2/e-1394complete-failA.t2.smt2 5153170 timeout (wallclock) [out] NO 48.94/49.02 timeout (wallclock) [out]
From_T2/fast_poll.t2_fixed.smt2 5153171 timeout (wallclock) [out] NO 6.12/6.13 timeout (wallclock) [out]
From_T2/smagillb-succeed.t2.smt2 5153172 MAYBE 16.54/16.54 NO 18.27/18.32 MAYBE 7.34/7.22
From_T2/java_PlusSwap.c.t2.smt2 5153173 YES 4.35/4.35 YES 1.20/1.21 MAYBE 12.92/12.69
From_T2/neg-st88b-fail.t2.smt2 5153174 MAYBE 62.37/62.38 NO 36.65/36.70 MAYBE 20.96/20.73
From_T2/n_firewire_instrumented-PP.t2.smt2 5153175 timeout (wallclock) [out] MAYBE 111.58/111.71 MAYBE 141.96/139.50
From_T2/fun6.t2.smt2 5153176 timeout (wallclock) [out] NO 15.24/15.25 timeout (wallclock) [out]
From_T2/dsa_test13.t2.smt2 5153177 YES 1.14/1.14 YES 0.01/0.01 YES 0.01/0.01
From_T2/apchild-accepted-fail.t2.smt2 5153178 timeout (wallclock) [out] MAYBE 129.98/130.08 timeout (wallclock) [out]
From_T2/dsa_test6.t2.smt2 5153179 YES 1.79/1.79 YES 0.02/0.02 YES 1.71/1.97
From_T2/small19.t2.smt2 5153180 YES 2.24/2.25 YES 0.03/0.03 MAYBE 3.64/3.58
From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 5153181 MAYBE 128.33/128.09 timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/eric2.t2.smt2 5153182 YES 59.18/59.18 MAYBE 50.81/50.83 timeout (wallclock) [out]
From_T2/n-15a.t2.smt2 5153183 MAYBE 8.41/8.75 MAYBE 15.28/15.28 MAYBE 11.22/11.09
From_T2/walk.t2_fixed.smt2 5153184 MAYBE 40.36/40.36 NO 112.36/112.55 MAYBE 83.64/82.51
From_T2/matmul.t2.smt2 5153185 YES 11.29/11.29 YES 0.18/0.18 YES 34.71/34.28
From_T2/p-34.t2.smt2 5153186 MAYBE 67.20/67.19 MAYBE 0.07/0.07 timeout (wallclock) [out]
From_T2/n-9.t2_fixed.smt2 5153187 MAYBE 40.88/40.88 NO 5.77/5.77 MAYBE 47.09/46.34
From_T2/heidy8.t2.smt2 5153188 MAYBE 24.67/24.67 NO 3.12/3.12 MAYBE 6.38/6.27
From_T2/nested2.t2.smt2 5153189 YES 3.28/3.28 YES 0.04/0.04 YES 26.05/25.65
From_T2/ex3.t2_fixed.smt2 5153190 YES 2.47/2.46 YES 0.02/0.02 YES 1.83/1.80
From_T2/n-6.t2.smt2 5153191 MAYBE 13.31/13.34 NO 130.96/131.12 MAYBE 12.39/12.18
From_T2/dsa_test10.t2.smt2 5153192 YES 2.82/2.81 YES 0.03/0.03 YES 12.14/12.24
From_T2/simple_control_on_input.t2.smt2 5153193 YES 1.92/1.92 YES 0.02/0.02 YES 0.97/0.96
From_T2/neg-1394complete-fail.t2_fixed.smt2 5153194 timeout (wallclock) [out] NO 267.93/268.29 timeout (wallclock) [out]
From_T2/ppblocktermbug.t2.smt2 5153195 MAYBE 45.21/45.23 NO 127.09/127.24 MAYBE 64.53/63.45
From_T2/ax_test_3.t2.smt2 5153196 MAYBE 4.58/4.59 NO 0.03/0.03 MAYBE 0.22/0.21
From_T2/n-1.t2.smt2 5153197 MAYBE 6.03/6.03 NO 5.07/5.07 MAYBE 24.15/23.91
From_T2/p-8.t2.smt2 5153198 MAYBE 5.13/5.14 MAYBE 0.03/0.03 MAYBE 7.63/7.88
From_T2/fun10b.t2_fixed.smt2 5153199 timeout (wallclock) [out] NO 7.08/7.1 timeout (wallclock) [out]
From_T2/flipflop.t2.smt2 5153200 MAYBE 3.62/3.61 NO 0.18/0.18 MAYBE 0.64/0.62
From_T2/p-19a.t2.smt2 5153201 MAYBE 5.81/5.81 MAYBE 0.04/0.04 MAYBE 17.23/17.26
From_T2/fun9.t2.smt2 5153202 MAYBE 87.49/87.49 timeout (wallclock) [out] MAYBE 77.59/76.27
From_T2/subpoly_crash.t2.smt2 5153203 MAYBE 3.91/3.91 NO 54.49/54.59 MAYBE 0.50/0.49
From_T2/fun6.t2_fixed.smt2 5153204 timeout (wallclock) [out] NO 16.19/16.22 timeout (wallclock) [out]
From_T2/queue_100.t2.smt2 5153205 YES 8.77/9.43 YES 0.07/0.07 YES 26.41/25.95
From_T2/n-18.t2.smt2 5153206 MAYBE 3.70/3.74 NO 18.24/18.26 MAYBE 0.88/0.86
From_T2/fun1b.t2.smt2 5153207 timeout (wallclock) [out] NO 112.89/113.02 timeout (wallclock) [out]
From_T2/p-5.t2_fixed.smt2 5153208 MAYBE 22.69/22.69 NO 23.81/23.84 MAYBE 263.93/259.50
From_T2/n-6a.t2.smt2 5153209 MAYBE 7.53/7.52 NO 40.59/20.32 MAYBE 15.90/15.64
From_T2/n-10.t2_fixed.smt2 5153210 MAYBE 63.82/63.82 MAYBE 0.05/0.05 MAYBE 67.08/66.42
From_T2/mc91.t2_fixed.smt2 5153211 YES 2.00/2.00 YES 0.21/0.21 MAYBE 3.03/2.98
From_T2/2.t2.smt2 5153212 MAYBE 58.12/58.12 NO 30.63/30.65 MAYBE 90.92/89.65
From_T2/n-6a.t2_fixed.smt2 5153213 MAYBE 13.95/13.94 NO 40.53/20.31 MAYBE 14.49/14.51
From_T2/java_DivMinus1.c.t2.smt2 5153214 YES 3.93/3.93 YES 0.05/0.05 YES 14.39/14.15
From_T2/polyrank5.t2.smt2 5153215 MAYBE 14.14/14.14 YES 45.98/45.98 MAYBE 5.40/5.31
From_T2/cfg.t2.smt2 5153216 MAYBE 6.74/6.73 NO 5.23/5.23 MAYBE 5.16/5.08
From_T2/matmult.t2.smt2 5153217 YES 22.41/22.41 YES 0.38/0.38 YES 290.53/286.38
From_T2/spiral.t2_fixed.smt2 5153218 YES 13.65/13.65 YES 2.70/2.71 MAYBE 27.06/26.63
From_T2/slayer-4-filtered.t2.smt2 5153219 timeout (wallclock) [out] MAYBE 186.92/186.98 timeout (wallclock) [out]
From_T2/curious4.t2.smt2 5153220 timeout (wallclock) [out] MAYBE 66.22/66.29 timeout (wallclock) [out]
From_T2/disj_nightmare.t2_fixed.smt2 5153221 timeout (wallclock) [out] YES 10.33/10.33 timeout (wallclock) [out]
From_T2/small09.t2.smt2 5153222 YES 4.73/4.73 YES 0.08/0.08 MAYBE 19.47/19.16
From_T2/small24.t2.smt2 5153223 MAYBE 1.71/1.70 NO 0.03/0.03 MAYBE 0.26/0.25
From_T2/hqr.t2_fixed.smt2 5153224 timeout (wallclock) [out] MAYBE 256.11/256.21 timeout (wallclock) [out]
From_T2/fun4.t2_fixed.smt2 5153225 MAYBE 18.93/18.94 YES 13.01/13.02 MAYBE 10.28/10.11
From_T2/n-15a.t2_fixed.smt2 5153226 MAYBE 10.44/10.63 MAYBE 10.20/10.22 MAYBE 3.29/3.24
From_T2/ppblock.t2.smt2 5153227 MAYBE 77.76/77.81 NO 127.28/127.42 MAYBE 15.44/15.46
From_T2/florian_pldi.t2.smt2 5153228 YES 4.65/4.65 YES 0.11/0.11 YES 25.82/25.65
From_T2/neg-e-popl07-fail.t2.smt2 5153229 MAYBE 51.55/51.56 NO 0.17/0.17 MAYBE 103.73/102.54
From_T2/p-42.t2.smt2 5153230 YES 2.23/2.23 YES 0.03/0.03 YES 7.20/7.07
From_T2/weakness.t2.smt2 5153231 YES 1.99/1.99 YES 1.06/1.06 MAYBE 3.09/3.03
From_T2/s3.t2_fixed.smt2 5153232 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/java_FactSum.c.t2.smt2 5153233 YES 6.53/6.53 YES 0.06/0.06 YES 32.96/32.45
From_T2/small35.t2.smt2 5153234 MAYBE 4.17/4.17 NO 160.91/161.09 MAYBE 1.22/1.19
From_T2/mc91test.t2.smt2 5153235 MAYBE 62.60/62.63 NO 180.73/181.24 MAYBE 84.76/83.53
From_T2/bubblesort_inner_loop.t2.smt2 5153236 YES 3.82/3.81 YES 0.02/0.02 YES 5.76/5.65
From_T2/ppblockbug.t2.smt2 5153237 timeout (wallclock) [out] NO 52.96/53.00 MAYBE 14.84/14.58
From_T2/bf19.t2.smt2 5153238 YES 13.09/13.09 YES 0.06/0.06 YES 137.76/136.09
From_T2/n-1c.t2_fixed.smt2 5153239 MAYBE 27.25/27.25 MAYBE 0.04/0.04 MAYBE 44.84/44.19
From_T2/java_Continue1.c.t2_fixed.smt2 5153240 YES 2.50/2.50 YES 0.03/0.09 YES 1.71/1.67
From_T2/n-8a.t2.smt2 5153241 MAYBE 5.52/5.52 NO 5.13/5.13 MAYBE 8.59/8.94
From_T2/p-40.t2_fixed.smt2 5153242 YES 2.53/2.53 YES 0.02/0.02 YES 5.96/6.24
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 5153243 timeout (wallclock) [out] MAYBE 255.64/255.72 timeout (wallclock) [out]
From_T2/java_Break.c.t2.smt2 5153244 YES 2.73/2.73 YES 0.03/0.03 YES 2.87/2.82
From_T2/small13.t2.smt2 5153245 YES 2.01/2.01 YES 0.02/0.02 MAYBE 2.08/2.14
From_T2/zlib-adler32.c.t2_fixed.smt2 5153246 YES 30.62/30.62 YES 65.15/65.26 timeout (wallclock) [out]
From_T2/reverse_seg_cyclic.t2.smt2 5153247 YES 105.84/105.85 YES 0.32/0.32 timeout (wallclock) [out]
From_T2/select.t2_fixed.smt2 5153248 timeout (wallclock) [out] NO 48.92/48.96 timeout (wallclock) [out]
From_T2/bf8.t2.smt2 5153249 YES 14.56/14.56 YES 0.06/0.06 YES 141.33/139.03
From_T2/bf19.t2_fixed.smt2 5153250 YES 11.63/11.63 YES 0.06/0.06 YES 81.72/80.70
From_T2/rewrite.t2.smt2 5153251 MAYBE 3.65/3.66 NO 0.03/0.03 MAYBE 0.71/0.70
From_T2/polling.bug.t2_fixed.smt2 5153252 timeout (wallclock) [out] MAYBE 29.08/29.10 timeout (wallclock) [out]
From_T2/fake-succeed.t2_fixed.smt2 5153253 timeout (wallclock) [out] NO 1.65/1.65 timeout (wallclock) [out]
From_T2/p-62.t2.smt2 5153254 YES 1.25/1.31 YES 0.02/0.02 YES 0.01/0.01
From_T2/fun11.t2.smt2 5153255 MAYBE 10.78/10.78 NO 36.33/36.34 MAYBE 26.09/25.66
From_T2/crc.t2_fixed.smt2 5153256 YES 163.13/163.14 YES 0.19/0.19 timeout (wallclock) [out]
From_T2/db2.t2_fixed.smt2 5153257 timeout (wallclock) [out] MAYBE 237.85/237.95 timeout (wallclock) [out]
From_T2/fibcall.t2_fixed.smt2 5153258 YES 3.24/3.24 YES 0.02/0.02 YES 12.68/12.44
From_T2/n-17.t2.smt2 5153259 MAYBE 4.83/4.84 NO 33.76/33.85 MAYBE 1.48/1.45
From_T2/bio.t2.smt2 5153260 timeout (wallclock) [out] NO 216.30/216.35 timeout (wallclock) [out]
From_T2/huh.t2.smt2 5153261 YES 9.75/9.75 YES 0.06/0.06 YES 181.86/179.15
From_T2/florian.t2.smt2 5153262 YES 1.32/1.32 YES 0.02/0.02 YES 0.11/0.11
From_T2/brp_withassume.t2.smt2 5153263 timeout (wallclock) [out] MAYBE 196.75/196.79 timeout (wallclock) [out]
From_T2/apchildlive-succeed.t2_fixed.smt2 5153264 timeout (wallclock) [out] MAYBE 137.55/137.60 timeout (wallclock) [out]
From_T2/consts1.t2.smt2 5153265 MAYBE 4.55/4.78 NO 36.27/36.34 MAYBE 1.71/1.68
From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 5153266 timeout (wallclock) [out] MAYBE 89.10/89.16 timeout (wallclock) [out]
From_T2/polling.bug.t2.smt2 5153267 timeout (wallclock) [out] MAYBE 27.28/27.29 timeout (wallclock) [out]
From_T2/neg-smagilla-fail.t2.smt2 5153268 MAYBE 13.55/13.54 NO 3.20/3.20 MAYBE 5.14/5.18
From_T2/curious.t2.smt2 5153269 MAYBE 4.16/4.18 NO 5.15/5.15 MAYBE 1.51/1.49
From_T2/p-44.t2.smt2 5153270 YES 1.92/1.91 YES 0.02/0.02 YES 0.77/0.76
From_T2/java_AProVEMath.c.t2.smt2 5153271 YES 10.27/10.27 YES 0.72/0.72 MAYBE 47.52/47.23
From_T2/p-43-terminate.t2.smt2 5153272 YES 63.56/63.79 YES 3.81/3.81 timeout (wallclock) [out]
From_T2/fibcall.t2.smt2 5153273 YES 3.57/3.57 YES 0.03/0.03 YES 16.15/15.91
From_T2/fun7.t2_fixed.smt2 5153274 timeout (wallclock) [out] MAYBE 46.61/46.61 timeout (wallclock) [out]
From_T2/p-3.t2.smt2 5153275 YES 2.54/2.63 YES 0.03/0.03 YES 10.57/10.39
From_T2/java_Duplicate.c.t2.smt2 5153276 YES 3.19/3.19 YES 0.04/0.04 YES 7.56/7.45
From_T2/ex21.t2_fixed.smt2 5153277 YES 2.72/2.71 YES 0.14/0.14 YES 8.38/8.58
From_T2/e-acqrel-succeed.t2_fixed.smt2 5153278 MAYBE 21.38/21.44 NO 5.14/5.14 MAYBE 3.97/4.22
From_T2/ex14.t2.smt2 5153279 YES 1.77/1.79 YES 0.02/0.02 YES 1.84/1.82
From_T2/simple_pre.t2.smt2 5153280 YES 1.17/1.16 YES 0.01/0.01 YES 0.01/0.01
From_T2/slayer-n1.t2_fixed.smt2 5153281 timeout (wallclock) [out] NO 133.04/133.27 timeout (wallclock) [out]
From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 5153282 timeout (wallclock) [out] MAYBE 85.01/85.10 timeout (wallclock) [out]
From_T2/nested.t2.smt2 5153283 YES 3.42/3.42 YES 0.04/0.04 YES 29.19/29.03
From_T2/neg.t2.smt2 5153284 YES 1.07/1.08 YES 0.01/0.04 YES 0.01/0.01
From_T2/loop_on_input.t2_fixed.smt2 5153285 YES 1.86/1.85 YES 0.02/0.02 YES 1.17/1.15
From_T2/neg-popl07-succeed.t2_fixed.smt2 5153286 MAYBE 62.68/62.86 NO 0.45/0.46 MAYBE 104.53/102.87
From_T2/jfdctint.c.t2_fixed.smt2 5153287 YES 5.79/5.78 YES 0.06/0.06 YES 18.37/18.07
From_T2/popl07-fail.t2.smt2 5153288 MAYBE 44.98/44.98 NO 0.14/0.14 MAYBE 82.45/81.30
From_T2/fun2b.t2.smt2 5153289 YES 50.78/50.79 YES 5.82/5.83 timeout (wallclock) [out]
From_T2/n-1d.t2.smt2 5153290 MAYBE 8.76/8.75 NO 20.48/20.51 MAYBE 16.51/16.34
From_T2/traverse_seg2.t2.smt2 5153291 YES 118.06/118.07 YES 0.43/0.43 timeout (wallclock) [out]
From_T2/statemate.t2.smt2 5153292 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/bf12.t2_fixed.smt2 5153293 YES 11.79/11.79 YES 0.06/0.06 YES 104.20/102.59
From_T2/p-63.t2.smt2 5153294 YES 2.61/2.60 YES 0.04/0.04 MAYBE 8.19/8.11
From_T2/fun1b.t2_fixed.smt2 5153295 timeout (wallclock) [out] NO 103.49/103.81 timeout (wallclock) [out]
From_T2/ex17.t2_fixed.smt2 5153296 YES 6.29/6.28 YES 0.02/0.02 MAYBE 33.04/32.50
From_T2/peculiar.t2_fixed.smt2 5153297 MAYBE 17.35/17.37 NO 3.36/3.36 MAYBE 11.16/11.31
From_T2/p-60.t2_fixed.smt2 5153298 YES 2.28/2.28 YES 0.02/0.02 YES 5.20/5.57
From_T2/edn.t2.smt2 5153299 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/traverse2.t2_fixed.smt2 5153300 YES 168.63/168.64 YES 1.25/1.25 timeout (wallclock) [out]
From_T2/bf20.t2_fixed.smt2 5153301 YES 11.90/11.90 YES 0.06/0.06 YES 86.58/85.11
From_T2/acqrel-succeed2.t2.smt2 5153302 MAYBE 9.09/9.10 NO 0.04/0.04 MAYBE 6.40/6.30
From_T2/svdcmp.t2_fixed.smt2 5153303 timeout (wallclock) [out] YES 30.45/30.48 timeout (wallclock) [out]
From_T2/bakery.t2.smt2 5153304 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 162.69/160.13
From_T2/queue_1.t2.smt2 5153305 YES 6.80/6.80 YES 0.06/0.06 YES 14.10/14.35
From_T2/cover.t2_fixed.smt2 5153306 timeout (wallclock) [out] YES 39.21/39.25 timeout (wallclock) [out]
From_T2/p-36.t2.smt2 5153307 MAYBE 15.81/15.81 MAYBE 0.06/0.06 timeout (wallclock) [out]
From_T2/consts2nt.t2.smt2 5153308 MAYBE 3.90/3.90 NO 5.31/5.31 MAYBE 0.99/0.97
From_T2/ex34.t2.smt2 5153309 YES 2.07/2.07 YES 0.03/0.03 YES 0.03/0.03
From_T2/curious2.t2_fixed.smt2 5153310 YES 1.09/1.27 YES 0.01/0.02 YES 0.01/0.01
From_T2/fun1.t2_fixed.smt2 5153311 timeout (wallclock) [out] NO 105.09/105.22 MAYBE 280.42/277.78
From_T2/bf5.t2_fixed.smt2 5153312 YES 10.27/10.27 YES 0.06/0.06 YES 103.88/102.08
From_T2/constants.t2.smt2 5153313 YES 3.57/3.57 YES 0.03/0.03 YES 15.34/15.52
From_T2/simple_fail.t2.smt2 5153314 YES 1.15/1.14 YES 0.01/0.01 YES 0.01/0.02
From_T2/db2.t2.smt2 5153315 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/neg-smagilla-succeed.t2.smt2 5153316 MAYBE 14.04/14.05 NO 12.30/12.46 MAYBE 5.67/5.58
From_T2/ex7.t2_fixed.smt2 5153317 YES 2.09/2.08 YES 0.02/0.05 YES 4.09/4.02
From_T2/polyrank6.t2.smt2 5153318 YES 2.14/2.14 YES 0.29/0.29 MAYBE 4.33/4.69
From_T2/ex30.t2.smt2 5153319 YES 3.38/3.37 YES 0.03/0.03 YES 16.37/16.55
From_T2/heidy5.t2.smt2 5153320 YES 1.94/1.94 YES 0.02/0.02 YES 0.82/0.81
From_T2/neg-pgarch-succeed.t2.smt2 5153321 MAYBE 24.40/24.43 NO 0.07/0.07 MAYBE 37.78/37.54
From_T2/p-50.t2.smt2 5153322 YES 1.25/1.24 YES 0.02/0.02 YES 0.01/0.01
From_T2/n-3a.t2.smt2 5153323 MAYBE 16.78/16.79 NO 15.40/15.41 MAYBE 119.11/117.67
From_T2/armc-difficult_foo2.t2.smt2 5153324 YES 1.04/1.11 YES 0.02/0.01 YES 0.01/0.02
From_T2/n-37.t2.smt2 5153325 MAYBE 6.96/6.96 NO 43.36/43.42 MAYBE 7.14/7.01
From_T2/spiral.t2.smt2 5153326 YES 8.34/8.35 MAYBE 79.21/39.68 MAYBE 15.84/15.58
From_T2/ex1.t2.smt2 5153327 MAYBE 4.36/4.35 NO 63.57/63.69 MAYBE 1.19/1.48
From_T2/test_byron_2.t2.smt2 5153328 MAYBE 5.75/5.76 NO 5.06/5.06 MAYBE 0.70/0.68
From_T2/pgarch.t2_fixed.smt2 5153329 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/e-popl07-succeed.t2.smt2 5153330 MAYBE 51.41/51.40 NO 0.16/0.16 MAYBE 103.50/101.97
From_T2/p-33.t2.smt2 5153331 MAYBE 9.91/9.92 timeout (wallclock) [out] MAYBE 7.24/7.14
From_T2/ex12.t2_fixed.smt2 5153332 YES 1.68/1.68 YES 0.02/0.02 YES 0.93/0.91
From_T2/java_Sequence.c.t2.smt2 5153333 YES 5.36/5.38 YES 0.05/0.05 YES 26.67/26.52
From_T2/small31.t2.smt2 5153334 YES 1.21/1.21 YES 0.01/0.01 YES 0.01/0.02
From_T2/heidy3.t2.smt2 5153335 MAYBE 9.64/4.90 NO 3.09/3.09 MAYBE 0.68/0.67
From_T2/consts1.t2_fixed.smt2 5153336 MAYBE 7.21/7.22 YES 2.14/2.14 MAYBE 1.18/1.58
From_T2/bf18.t2.smt2 5153337 YES 13.52/13.52 YES 0.06/0.06 YES 138.89/136.51
From_T2/dummy.t2.smt2 5153338 MAYBE 4.00/3.99 NO 36.52/36.55 MAYBE 1.20/1.18
From_T2/reverse.t2_fixed.smt2 5153339 YES 217.52/217.54 YES 4.23/2.13 timeout (wallclock) [out]
From_T2/loop3.t2_fixed.smt2 5153340 YES 80.34/80.35 YES 1.20/1.20 MAYBE 144.39/144.26
From_T2/eric1.t2.smt2 5153341 YES 3.38/3.38 YES 8.54/8.54 MAYBE 3.92/3.85
From_T2/neg-e-acqrel-fail.t2.smt2 5153342 MAYBE 25.81/25.82 NO 5.14/5.14 MAYBE 5.29/5.61
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 5153343 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/ex6.t2.smt2 5153344 YES 1.52/1.52 YES 0.02/0.02 YES 0.01/0.05
From_T2/consts3.t2.smt2 5153345 YES 1.48/1.48 YES 0.02/0.02 YES 0.87/1.21
From_T2/fun8.t2_fixed.smt2 5153346 YES 34.60/34.60 YES 0.24/0.24 timeout (wallclock) [out]
From_T2/efegp.t2.smt2 5153347 timeout (wallclock) [out] NO 6.90/6.93 timeout (wallclock) [out]
From_T2/small17.t2.smt2 5153348 MAYBE 5.62/5.61 MAYBE 35.35/35.41 MAYBE 0.55/0.53
From_T2/slayer-5-filtered.t2.smt2 5153349 timeout (wallclock) [out] MAYBE 119.18/119.20 timeout (wallclock) [out]
From_T2/e-1394-succeed.t2_fixed.smt2 5153350 timeout (wallclock) [out] NO 17.09/17.12 timeout (wallclock) [out]
From_T2/array_init_assign.t2.smt2 5153351 YES 2.62/2.67 YES 0.02/0.02 YES 1.81/1.77
From_T2/ax_test_2.t2.smt2 5153352 MAYBE 3.21/3.21 NO 0.03/0.03 MAYBE 0.15/0.15
From_T2/ex16.t2_fixed.smt2 5153353 MAYBE 36.67/36.66 NO 51.23/51.31 MAYBE 114.38/113.34
From_T2/slayer-1-filtered.t2.smt2 5153354 YES 23.73/23.73 YES 0.18/0.18 timeout (wallclock) [out]
From_T2/slayer-3-new.t2.smt2 5153355 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/slayer-3-filtered.t2.smt2 5153356 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/p-1a.t2.smt2 5153357 MAYBE 4.33/4.34 MAYBE 0.03/0.03 MAYBE 15.42/15.21
From_T2/curious.t2_fixed.smt2 5153358 MAYBE 4.11/4.12 NO 5.14/5.14 MAYBE 0.80/0.78
From_T2/dumper.t2.smt2 5153359 timeout (wallclock) [out] MAYBE 60.93/60.94 timeout (wallclock) [out]
From_T2/ud.t2_fixed.smt2 5153360 YES 120.56/120.58 YES 4.55/4.55 timeout (wallclock) [out]
From_T2/consts4.t2.smt2 5153361 MAYBE 4.33/4.33 NO 5.34/5.38 MAYBE 1.76/1.74
From_T2/dsa_test10.t2_fixed.smt2 5153362 YES 2.50/2.50 YES 0.02/0.02 YES 8.85/8.70
From_T2/ctl.t2_fixed.smt2 5153363 MAYBE 18.29/18.31 NO 0.04/0.04 MAYBE 4.14/4.08
From_T2/java_Nested.c.t2_fixed.smt2 5153364 YES 4.76/4.76 YES 0.05/0.04 YES 24.17/24.20
From_T2/n-10.t2.smt2 5153365 MAYBE 30.16/30.17 NO 5.37/5.37 MAYBE 64.33/63.22
From_T2/slayer-n2-filtered.t2.smt2 5153366 MAYBE 6.42/6.42 NO 44.48/44.60 MAYBE 5.90/5.80
From_T2/eric3.t2.smt2 5153367 MAYBE 8.42/8.42 NO 23.23/23.26 MAYBE 22.77/22.40
From_T2/small04.t2.smt2 5153368 MAYBE 4.23/4.24 NO 63.53/63.74 MAYBE 0.57/0.55
From_T2/241.t2.smt2 5153369 YES 2.01/2.01 YES 0.03/0.03 YES 2.79/2.75
From_T2/bf17.t2_fixed.smt2 5153370 YES 11.75/11.75 YES 0.06/0.06 YES 80.03/78.78
From_T2/bf11.t2.smt2 5153371 YES 13.54/13.54 YES 0.06/0.06 YES 143.73/141.38
From_T2/fun4-alt.t2.smt2 5153372 YES 5.65/5.65 YES 8.06/8.06 MAYBE 4.36/4.30
From_T2/sort.t2_fixed.smt2 5153373 YES 64.65/64.65 YES 0.33/0.33 timeout (wallclock) [out]
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 5153374 YES 200.83/200.87 YES 8.15/8.32 timeout (wallclock) [out]
From_T2/p-1.t2.smt2 5153375 MAYBE 4.31/4.33 MAYBE 0.03/0.03 MAYBE 10.11/10.21
From_T2/consts4nt.t2_fixed.smt2 5153376 MAYBE 3.45/3.45 NO 29.31/29.33 MAYBE 0.37/0.38
From_T2/hand7.t2.smt2 5153377 MAYBE 4.08/4.08 NO 33.36/33.42 MAYBE 0.76/0.75
From_T2/dsa_test15.t2_fixed.smt2 5153378 YES 2.49/2.49 YES 0.02/0.02 YES 3.30/3.24
From_T2/java_Sequence.c.t2_fixed.smt2 5153379 YES 4.19/4.19 YES 0.05/0.05 YES 12.28/12.06
From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2 5153380 YES 35.69/35.69 YES 8.28/8.30 timeout (wallclock) [out]
From_T2/Prim_5.t2.smt2 5153381 timeout (wallclock) [out] NO 121.96/122.04 timeout (wallclock) [out]
From_T2/slayer-1-rf.t2.smt2 5153382 YES 36.96/36.97 YES 0.17/0.17 timeout (wallclock) [out]
From_T2/p-22.t2.smt2 5153383 YES 1.84/1.84 YES 0.02/0.02 YES 0.35/0.35
From_T2/jfdctint.c.t2.smt2 5153384 YES 6.97/6.97 YES 0.07/0.07 YES 32.70/32.45
From_T2/consts2.t2_fixed.smt2 5153385 YES 1.41/1.41 YES 0.02/0.02 YES 0.12/0.11
From_T2/heidy9.t2.smt2 5153386 YES 1.57/1.57 YES 0.02/0.02 YES 0.34/0.33
From_T2/n-40.t2.smt2 5153387 MAYBE 23.26/23.26 NO 121.64/121.76 timeout (wallclock) [out]
From_T2/5.t2.smt2 5153388 YES 1.11/1.11 YES 0.01/0.01 YES 0.01/0.01
From_T2/destroy_seg_leak.t2.smt2 5153389 MAYBE 198.2/198.21 NO 11.93/11.93 timeout (wallclock) [out]
From_T2/zeroconf.t2.smt2 5153390 timeout (wallclock) [out] MAYBE 90.06/90.13 timeout (wallclock) [out]
From_T2/dsa_test1.t2.smt2 5153391 YES 1.15/1.15 YES 0.01/0.01 YES 0.01/0.01
From_T2/zlib-crc32.c.t2.smt2 5153392 MAYBE 19.07/19.07 NO 6.37/6.38 MAYBE 52.07/51.21
From_T2/dsa_test6.t2_fixed.smt2 5153393 YES 1.67/1.67 YES 0.02/0.02 YES 0.87/0.85
From_T2/java_NestedLoop.c.t2.smt2 5153394 YES 32.90/32.90 YES 0.18/0.18 YES 217.66/214.42
From_T2/fir.t2.smt2 5153395 YES 18.44/18.44 YES 0.09/0.09 YES 143.17/140.99
From_T2/consts2nt.t2_fixed.smt2 5153396 MAYBE 3.43/3.43 NO 29.79/29.82 MAYBE 0.38/0.38
From_T2/p-58.t2.smt2 5153397 YES 1.88/1.88 YES 0.02/0.02 MAYBE 2.26/2.24
From_T2/neg-1394complete-succeed.t2.smt2 5153398 timeout (wallclock) [out] NO 49.08/49.17 timeout (wallclock) [out]
From_T2/slayer-3.t2_fixed.smt2 5153399 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 5153400 YES 73.22/36.67 YES 0.11/0.11 timeout (wallclock) [out]
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 5153401 YES 191.90/191.92 YES 8.11/8.12 timeout (wallclock) [out]
From_T2/ex3.t2.smt2 5153402 YES 2.74/2.73 YES 0.02/0.02 YES 3.23/3.18
From_T2/s1.t2.smt2 5153403 timeout (wallclock) [out] MAYBE 165.54/165.73 timeout (wallclock) [out]
From_T2/bf16.t2.smt2 5153404 YES 13.29/13.29 YES 0.06/0.06 YES 177.84/175.48
From_T2/create_seg.t2.smt2 5153405 YES 4.57/4.57 YES 0.06/0.06 YES 48.49/47.74
From_T2/small22.t2.smt2 5153406 MAYBE 37.80/37.81 NO 5.17/5.17 MAYBE 2.46/2.69
From_T2/streamserver-succeed.t2.smt2 5153407 timeout (wallclock) [out] MAYBE 57.34/57.35 MAYBE 112.34/110.90
From_T2/e-smagill-fail.t2.smt2 5153408 MAYBE 19.15/19.15 NO 0.05/0.05 MAYBE 8.01/8.28
From_T2/fun5.t2.smt2 5153409 timeout (wallclock) [out] NO 27.18/27.26 MAYBE 124.31/122.25
From_T2/fdct.t2.smt2 5153410 YES 11.08/11.08 YES 0.07/0.07 timeout (wallclock) [out]
From_T2/wtf.t2.smt2 5153411 YES 35.06/35.06 YES 1.90/1.96 MAYBE 275.19/272.5
From_T2/n-12.t2.smt2 5153412 MAYBE 7.36/7.36 NO 40.61/20.33 MAYBE 11.10/10.93
From_T2/array_free.t2.smt2 5153413 YES 2.62/2.61 YES 0.03/0.03 YES 2.01/1.99
From_T2/randomwalk_withassume.t2.smt2 5153414 YES 27.28/27.28 YES 0.12/0.12 MAYBE 51.76/51.09
From_T2/p-40.t2.smt2 5153415 YES 2.69/2.69 YES 0.02/0.02 YES 6.69/6.59
From_T2/acqrel-fail.t2.smt2 5153416 MAYBE 29.38/29.37 NO 9.12/9.12 MAYBE 2.56/2.51
From_T2/p-49.t2.smt2 5153417 YES 1.63/1.63 YES 0.02/0.02 YES 0.38/0.38
From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 5153418 YES 27.20/27.21 YES 1.00/0.99 timeout (wallclock) [out]
From_T2/n-18a.t2.smt2 5153419 MAYBE 4.04/4.06 NO 5.26/5.26 MAYBE 1.65/1.92
From_T2/dropbuf.t2.smt2 5153420 MAYBE 290.94/290.94 NO 3.59/3.59 MAYBE 107.18/106.08
From_T2/iecs.t2.smt2 5153421 YES 1.51/1.51 YES 0.04/0.03 MAYBE 0.98/0.98
From_T2/n-1c.t2.smt2 5153422 MAYBE 13.85/13.86 NO 5.37/5.37 MAYBE 45.07/44.80
From_T2/st88b-succeed.t2.smt2 5153423 MAYBE 42.92/42.93 NO 18.88/18.88 MAYBE 12.61/12.70
From_T2/neg-e-popl07-succeed.t2.smt2 5153424 MAYBE 60.24/60.24 NO 0.51/0.52 MAYBE 90.78/89.25
From_T2/sudoku.t2.smt2 5153425 timeout (wallclock) [out] YES 12.04/12.04 timeout (wallclock) [out]
From_T2/non_term.t2.smt2 5153426 MAYBE 4.41/4.42 NO 32.39/32.44 MAYBE 0.91/0.89
From_T2/minmax.t2_fixed.smt2 5153427 YES 7.90/7.90 YES 0.03/0.03 YES 1.06/1.04
From_T2/neg-pgarch-succeed.t2_fixed.smt2 5153428 MAYBE 23.39/23.40 NO 0.08/0.10 MAYBE 33.91/33.40
From_T2/neg-e-pgarch-fail.t2.smt2 5153429 MAYBE 18.79/18.79 NO 0.06/0.06 MAYBE 27.63/27.63
From_T2/jfdctint.t2_fixed.smt2 5153430 YES 8.24/8.24 YES 0.04/0.04 YES 153.97/151.93
From_T2/java_EqUserDefRec.c.t2.smt2 5153431 YES 3.89/3.89 YES 0.05/0.04 YES 8.97/8.82
From_T2/java_Avg.c.t2.smt2 5153432 MAYBE 25.73/25.75 YES 1.44/1.44 MAYBE 18.60/18.27
From_T2/small08.t2.smt2 5153433 YES 4.69/4.68 YES 0.08/0.08 MAYBE 20.59/20.35
From_T2/fuhs-inflasso.t2.smt2 5153434 YES 2.41/2.40 YES 0.03/0.03 YES 6.56/6.44
From_T2/e-popl07-fail.t2.smt2 5153435 MAYBE 65.80/65.80 NO 0.62/0.62 MAYBE 104.34/102.68
From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2 5153436 timeout (wallclock) [out] MAYBE 267.15/267.37 timeout (wallclock) [out]
From_T2/nested2.t2_fixed.smt2 5153437 YES 2.97/2.97 YES 4.05/4.05 YES 19.46/19.53
From_T2/p-43-terminate.t2_fixed.smt2 5153438 YES 66.81/66.83 YES 6.74/6.78 timeout (wallclock) [out]
From_T2/7.t2.smt2 5153439 MAYBE 4.10/4.10 NO 5.11/5.11 MAYBE 1.48/1.46
From_T2/two_arrays.t2_fixed.smt2 5153440 YES 7.93/7.93 YES 0.04/0.04 YES 48.83/48.01
From_T2/polling.t2_fixed.smt2 5153441 timeout (wallclock) [out] MAYBE 26.60/26.60 timeout (wallclock) [out]
From_T2/l1.t2.smt2 5153442 MAYBE 4.80/4.79 NO 5.28/5.28 MAYBE 2.36/2.32
From_T2/simple_pre3.t2.smt2 5153443 YES 2.11/2.10 YES 0.02/0.02 YES 0.21/0.20
From_T2/java_MinusMin.c.t2.smt2 5153444 YES 3.78/3.78 YES 0.05/0.05 YES 14.90/14.73
From_T2/afagx1.t2.smt2 5153445 MAYBE 8.09/8.09 NO 0.03/0.03 MAYBE 0.68/0.67
From_T2/polyrank7.t2.smt2 5153446 MAYBE 6.82/7.05 NO 27.51/27.53 MAYBE 2.57/2.53
From_T2/neg-pgarch-fail.t2.smt2 5153447 MAYBE 23.96/23.96 NO 0.07/0.07 MAYBE 38.55/37.89
From_T2/two_arrays.t2.smt2 5153448 YES 9.46/9.48 YES 0.05/0.05 YES 61.72/61.07
From_T2/neg-1394complete-fail.t2.smt2 5153449 timeout (wallclock) [out] NO 267.87/268.23 timeout (wallclock) [out]
From_T2/simpleWhile.t2.smt2 5153450 YES 4.78/4.78 YES 0.03/0.03 YES 6.30/6.56
From_T2/e-smagill-succeed.t2.smt2 5153451 MAYBE 11.71/11.71 NO 12.30/12.31 MAYBE 3.84/4.16
From_T2/ex9.t2.smt2 5153452 MAYBE 36.59/36.58 NO 3.13/3.13 MAYBE 10.87/10.70
From_T2/bf6.t2_fixed.smt2 5153453 YES 11.41/11.41 YES 0.06/0.06 YES 105.71/104.17
From_T2/broydn.t2.smt2 5153454 timeout (wallclock) [out] YES 11.30/11.30 timeout (wallclock) [out]
From_T2/java_Recursions.c.t2.smt2 5153455 YES 25.17/25.16 YES 7.70/7.72 timeout (wallclock) [out]
From_T2/small27.t2.smt2 5153456 YES 1.29/1.29 YES 0.02/0.02 YES 0.01/0.01
From_T2/1394complete-succeed.t2.smt2 5153457 timeout (wallclock) [out] NO 266.51/267.09 timeout (wallclock) [out]
From_T2/ex20.t2_fixed.smt2 5153458 YES 3.63/3.63 YES 0.03/0.03 YES 4.86/4.78
From_T2/p-20.t2.smt2 5153459 MAYBE 7.46/7.61 MAYBE 0.04/0.04 MAYBE 19.43/19.08
From_T2/ex10.t2.smt2 5153460 MAYBE 34.84/34.85 NO 18.22/18.24 MAYBE 86.60/85.38
From_T2/firewire.t2.smt2 5153461 YES 246.50/246.52 MAYBE 119.31/119.47 MAYBE 189.03/186.23
From_T2/reverse.t2.smt2 5153462 YES 260.54/260.58 YES 0.60/0.95 timeout (wallclock) [out]
From_T2/java_TimesPlusUserDef.c.t2.smt2 5153463 YES 7.73/7.73 YES 0.07/0.07 YES 36.73/36.49
From_T2/n-38.t2.smt2 5153464 YES 1.25/1.25 YES 0.02/0.02 YES 0.01/0.01
From_T2/ex36.t2.smt2 5153465 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/traverse.t2.smt2 5153466 YES 111.96/111.98 YES 0.36/0.36 timeout (wallclock) [out]
From_T2/p-38.t2_fixed.smt2 5153467 YES 6.12/6.12 YES 0.05/0.05 YES 0.49/0.51
From_T2/elmhes.t2.smt2 5153468 YES 17.57/17.57 YES 1.38/1.38 timeout (wallclock) [out]
From_T2/small26.t2.smt2 5153469 YES 1.51/1.50 YES 0.02/0.02 YES 1.20/1.55
From_T2/p-19.t2.smt2 5153470 MAYBE 5.14/5.14 MAYBE 0.03/0.03 MAYBE 10.17/9.99
From_T2/consts2.t2.smt2 5153471 MAYBE 3.89/3.89 NO 5.31/5.31 MAYBE 0.91/0.90
From_T2/s4.t2_fixed.smt2 5153472 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/p-43.t2.smt2 5153473 YES 8.65/8.65 YES 0.29/0.29 MAYBE 14.05/14.15
From_T2/fun1.t2.smt2 5153474 timeout (wallclock) [out] NO 154.23/154.47 timeout (wallclock) [out]
From_T2/small21.t2.smt2 5153475 YES 2.00/2.00 YES 0.03/0.03 YES 2.83/2.78
From_T2/n-8.t2.smt2 5153476 MAYBE 20.93/20.93 NO 5.38/5.40 MAYBE 37.01/36.42
From_T2/minmax.t2.smt2 5153477 YES 8.29/8.29 YES 0.03/0.03 YES 1.11/1.09
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2 5153478 YES 192.95/192.96 YES 6.34/6.34 timeout (wallclock) [out]
From_T2/e-1394complete-succeed.t2.smt2 5153479 timeout (wallclock) [out] NO 48.77/48.84 timeout (wallclock) [out]
From_T2/java_Hanoi.c.t2.smt2 5153480 YES 7.84/7.84 YES 0.09/0.09 YES 49.26/48.83
From_T2/n-4.t2.smt2 5153481 MAYBE 21.63/21.62 NO 21.67/21.69 MAYBE 161.62/159.61
From_T2/afagp-fail.t2_fixed.smt2 5153482 timeout (wallclock) [out] NO 40.06/40.08 timeout (wallclock) [out]
From_T2/p-52.t2.smt2 5153483 MAYBE 6.32/6.32 MAYBE 0.03/0.03 MAYBE 15.01/14.79
From_T2/p.t2.smt2 5153484 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/matmul.t2_fixed.smt2 5153485 YES 8.72/8.72 YES 0.38/0.38 YES 20.37/20.13
From_T2/magic.t2.smt2 5153486 timeout (wallclock) [out] YES 0.95/0.95 timeout (wallclock) [out]
From_T2/p-55.t2.smt2 5153487 YES 4.83/4.83 YES 0.03/0.03 YES 21.55/21.20
From_T2/n-4.t2_fixed.smt2 5153488 MAYBE 21.40/21.40 NO 21.25/21.27 MAYBE 96.03/94.86
From_T2/two_arrays2.t2.smt2 5153489 YES 16.41/16.43 YES 0.06/0.06 YES 128.97/127.33
From_T2/ex7.t2.smt2 5153490 YES 2.25/2.25 YES 0.02/0.02 YES 6.43/6.32
From_T2/n-6.t2_fixed.smt2 5153491 MAYBE 29.10/29.10 NO 71.60/71.66 MAYBE 9.51/9.35
From_T2/bf11.t2_fixed.smt2 5153492 YES 11.78/11.78 YES 0.06/0.06 YES 107.20/105.77
From_T2/traverse_seg.t2_fixed.smt2 5153493 YES 140.77/140.78 YES 1.25/1.25 timeout (wallclock) [out]
From_T2/zeroconf_withassume.t2.smt2 5153494 timeout (wallclock) [out] YES 4.47/4.47 timeout (wallclock) [out]
From_T2/brockschmidt_1.t2.smt2 5153495 YES 3.79/3.80 YES 0.06/0.06 MAYBE 3.68/3.62
From_T2/ax_test.t2.smt2 5153496 MAYBE 3.28/3.28 NO 0.03/0.03 MAYBE 0.14/0.14
From_T2/fun8.t2.smt2 5153497 YES 30.96/30.97 YES 0.08/0.08 timeout (wallclock) [out]
From_T2/cover.t2.smt2 5153498 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/n-32.t2.smt2 5153499 MAYBE 4.73/4.73 NO 5.37/5.37 MAYBE 3.65/3.70
From_T2/rev_nt3.t2.smt2 5153500 MAYBE 79.37/79.42 NO 8.81/8.81 timeout (wallclock) [out]
From_T2/ase_example.t2.smt2 5153501 YES 4.98/4.97 YES 0.03/0.03 YES 24.67/24.29
From_T2/queue_100.t2_fixed.smt2 5153502 YES 8.23/8.23 YES 0.06/0.06 YES 14.59/14.38
From_T2/p-61.t2.smt2 5153503 YES 2.66/2.65 YES 0.02/0.02 YES 12.18/11.99
From_T2/ex14.t2_fixed.smt2 5153504 YES 1.65/1.65 YES 0.02/0.02 YES 0.98/1.15
From_T2/p-45.t2.smt2 5153505 YES 2.34/2.34 YES 0.03/0.03 YES 5.06/5.30
From_T2/1394-fail.t2.smt2 5153506 timeout (wallclock) [out] NO 17.05/17.10 timeout (wallclock) [out]
From_T2/n-46.t2.smt2 5153507 MAYBE 5.25/5.25 NO 170.68/171.06 MAYBE 2.29/2.25
From_T2/p-60.t2.smt2 5153508 YES 2.48/2.48 YES 0.02/0.02 YES 7.13/7.08
From_T2/heidy1.t2.smt2 5153509 MAYBE 4.02/4.04 NO 23.21/23.23 MAYBE 0.49/0.48
From_T2/neg-e-pgarch-succeed.t2.smt2 5153510 MAYBE 17.42/17.94 NO 0.05/0.05 MAYBE 18.19/18.17
From_T2/neg-e-1394complete-fail.t2.smt2 5153511 timeout (wallclock) [out] NO 48.98/49.07 timeout (wallclock) [out]
From_T2/vmcai_bytes.t2.smt2 5153512 YES 1.14/1.14 YES 0.01/0.01 YES 0.01/0.02
From_T2/polyrank2.t2.smt2 5153513 MAYBE 4.33/4.32 YES 18.88/18.94 MAYBE 1.64/1.62
From_T2/small11.t2.smt2 5153514 MAYBE 1.78/1.81 NO 0.03/0.03 MAYBE 0.07/0.07
From_T2/heidy10.t2.smt2 5153515 YES 2.48/2.65 YES 0.02/0.02 YES 1.00/1.46
From_T2/whatwhat.t2.smt2 5153516 YES 1.49/1.49 YES 0.04/0.04 MAYBE 0.95/0.94
From_T2/bf14.t2.smt2 5153517 YES 13.69/13.69 YES 0.06/0.06 YES 139.19/136.87
From_T2/bsort100.t2.smt2 5153518 YES 17.64/17.64 YES 0.07/0.07 YES 132.68/130.53
From_T2/smagilla-fail.t2.smt2 5153519 MAYBE 11.60/11.60 NO 12.29/12.29 MAYBE 3.80/3.80
From_T2/tqli.t2.smt2 5153520 timeout (wallclock) [out] NO 47.45/47.50 timeout (wallclock) [out]
From_T2/ndes.t2_fixed.smt2 5153521 timeout (wallclock) [out] YES 19.77/19.80 timeout (wallclock) [out]
From_T2/queue_10.t2_fixed.smt2 5153522 YES 8.31/8.30 YES 0.06/0.06 YES 14.07/14.26
From_T2/streamserver-succeed.t2_fixed.smt2 5153523 timeout (wallclock) [out] MAYBE 79.01/79.03 MAYBE 107.59/106.04
From_T2/florian_sas1.t2.smt2 5153524 YES 6.01/6.44 YES 0.06/0.06 MAYBE 19.23/19.36
From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2 5153525 timeout (wallclock) [out] NO 45.74/45.79 timeout (wallclock) [out]
From_T2/sort.t2.smt2 5153526 YES 47.21/47.24 YES 0.31/0.31 timeout (wallclock) [out]
From_T2/array_init.t2_fixed.smt2 5153527 YES 1.82/1.82 YES 0.02/0.02 YES 0.42/0.41
From_T2/small02.t2.smt2 5153528 MAYBE 6.34/6.35 NO 18.12/18.14 MAYBE 3.65/3.60
From_T2/efegp.t2_fixed.smt2 5153529 timeout (wallclock) [out] NO 6.71/6.75 timeout (wallclock) [out]
From_T2/n-48.t2_fixed.smt2 5153530 MAYBE 6.91/6.90 NO 32.45/32.46 MAYBE 8.10/8.22
From_T2/ex26.t2.smt2 5153531 YES 6.07/6.07 YES 0.03/0.03 YES 36.56/35.94
From_T2/p-14.t2.smt2 5153532 YES 1.60/1.60 YES 0.02/0.02 YES 0.37/0.36
From_T2/bf17.t2.smt2 5153533 YES 13.29/13.29 YES 0.06/0.06 YES 135.16/133.44
From_T2/e-1394complete-succeed.t2_fixed.smt2 5153534 timeout (wallclock) [out] NO 49.00/49.05 timeout (wallclock) [out]
From_T2/dropbuf-live.t2.smt2 5153535 YES 1.21/1.21 YES 0.02/0.02 YES 0.01/0.01
From_T2/small33.t2.smt2 5153536 YES 1.27/1.27 YES 0.01/0.01 YES 0.01/0.01
From_T2/afagp-fail.t2.smt2 5153537 timeout (wallclock) [out] NO 103.52/103.68 timeout (wallclock) [out]
From_T2/s3.t2.smt2 5153538 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/reverse_div4.t2_fixed.smt2 5153539 timeout (wallclock) [out] NO 12.40/12.41 timeout (wallclock) [out]
From_T2/prime.t2_fixed.smt2 5153540 MAYBE 197.35/197.33 NO 23.24/23.26 MAYBE 276.95/273.41
From_T2/fermat.t2.smt2 5153541 YES 14.72/14.71 YES 0.04/0.04 YES 245.73/242.20
From_T2/rev_nt4.t2.smt2 5153542 YES 1.36/1.36 YES 0.02/0.02 YES 0.01/0.01
From_T2/destroy.t2_fixed.smt2 5153543 YES 31.99/32.00 YES 0.29/0.29 timeout (wallclock) [out]
From_T2/crc.t2.smt2 5153544 YES 175.53/175.55 YES 0.20/0.20 timeout (wallclock) [out]
From_T2/small15.t2.smt2 5153545 MAYBE 13.28/13.28 MAYBE 84.66/84.74 MAYBE 2.76/2.71
From_T2/simple_array_inversion.t2.smt2 5153546 YES 1.80/1.80 YES 0.02/0.02 YES 0.44/0.43
From_T2/bsort100.t2_fixed.smt2 5153547 YES 15.44/15.44 YES 1.00/1.00 YES 77.66/76.57
From_T2/simple.t2.smt2 5153548 MAYBE 4.94/4.96 NO 33.48/33.51 MAYBE 0.69/0.68
From_T2/small06.t2.smt2 5153549 YES 2.99/2.99 YES 0.03/0.03 YES 2.38/2.33
From_T2/java_Double1.c.t2.smt2 5153550 YES 9.77/9.76 YES 0.19/0.19 MAYBE 14.35/14.12
From_T2/bf9.t2_fixed.smt2 5153551 YES 12.46/12.46 YES 0.05/0.05 YES 105.43/104.23
From_T2/tqli.t2_fixed.smt2 5153552 timeout (wallclock) [out] NO 45.47/45.51 timeout (wallclock) [out]
From_T2/simple_control_on_input.t2_fixed.smt2 5153553 YES 1.79/1.78 YES 0.02/0.02 YES 0.49/0.49
From_T2/ns.t2_fixed.smt2 5153554 YES 20.30/20.30 YES 0.81/0.81 YES 80.10/78.71
From_T2/simple_swap_call.t2.smt2 5153555 YES 1.61/1.60 YES 0.02/0.02 YES 0.07/0.07
From_T2/small32.t2.smt2 5153556 YES 1.29/1.29 YES 0.01/0.02 YES 0.01/0.01
From_T2/p-63.t2_fixed.smt2 5153557 YES 2.61/2.68 YES 0.04/0.04 MAYBE 8.36/8.23
From_T2/ludcmp.t2.smt2 5153558 YES 29.33/29.33 YES 0.87/0.87 timeout (wallclock) [out]
From_T2/n-21.t2.smt2 5153559 MAYBE 8.74/8.74 NO 184.78/185.13 MAYBE 10.89/10.68
From_T2/array2.t2_fixed.smt2 5153560 YES 1.67/1.66 YES 0.02/0.02 YES 0.88/0.86
From_T2/disj_nightmare.t2.smt2 5153561 MAYBE 21.81/21.81 NO 12.51/12.52 timeout (wallclock) [out]
From_T2/slayer-2-filtered.t2.smt2 5153562 YES 2.45/2.45 YES 0.02/0.02 YES 6.42/6.31
From_T2/svdcmp.t2.smt2 5153563 timeout (wallclock) [out] YES 34.41/34.44 timeout (wallclock) [out]
From_T2/janne_complex.t2_fixed.smt2 5153564 timeout (wallclock) [out] NO 33.50/33.51 MAYBE 71.72/70.92
From_T2/smagilla-succeed.t2.smt2 5153565 MAYBE 11.65/11.66 NO 12.30/12.32 MAYBE 4.06/3.99
From_T2/p-6.t2.smt2 5153566 YES 3.16/3.16 YES 0.03/0.03 YES 12.68/12.47
From_T2/n-37.t2_fixed.smt2 5153567 MAYBE 6.98/6.97 NO 43.32/43.39 MAYBE 7.58/7.84
From_T2/p-46.t2.smt2 5153568 MAYBE 26.44/26.43 NO 5.41/5.43 MAYBE 40.47/39.88
From_T2/consts4nt.t2.smt2 5153569 MAYBE 4.32/4.31 NO 5.35/5.35 MAYBE 1.69/1.66
From_T2/db.t2.smt2 5153570 YES 1.69/1.69 YES 0.02/0.03 YES 0.07/0.07
From_T2/create_via_tmps.t2_fixed.smt2 5153571 YES 28.11/28.11 YES 0.28/0.28 timeout (wallclock) [out]
From_T2/example.t2.smt2 5153572 YES 1.68/1.67 YES 0.03/0.03 MAYBE 2.33/2.30
From_T2/p-13.t2.smt2 5153573 YES 1.30/1.30 YES 0.02/0.02 YES 0.01/0.01
From_T2/dsa_test12.t2.smt2 5153574 YES 1.15/1.15 YES 0.01/0.01 YES 0.01/0.01
From_T2/graycode.t2_fixed.smt2 5153575 YES 57.06/57.06 YES 0.55/0.55 timeout (wallclock) [out]
From_T2/slayer-n1-filtered.t2.smt2 5153576 MAYBE 25.93/25.92 NO 8.97/8.97 MAYBE 141.10/138.69
From_T2/s3-work.t2_fixed.smt2 5153577 timeout (wallclock) [out] YES 14.88/14.89 timeout (wallclock) [out]
From_T2/n-36.t2_fixed.smt2 5153578 MAYBE 39.74/39.74 MAYBE 0.14/0.14 timeout (wallclock) [out]
From_T2/s1-striped.t2_fixed.smt2 5153579 timeout (wallclock) [out] MAYBE 180.50/180.76 timeout (wallclock) [out]
From_T2/ex4.t2_fixed.smt2 5153580 YES 7.24/7.54 YES 0.03/0.03 YES 36.46/35.87
From_T2/andrey.t2.smt2 5153581 YES 1.43/1.43 YES 0.02/0.02 YES 0.09/0.09
From_T2/traverse_seg2.t2_fixed.smt2 5153582 YES 122.88/122.91 YES 1.00/1.00 timeout (wallclock) [out]
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2 5153583 timeout (wallclock) [out] MAYBE 269.45/269.62 timeout (wallclock) [out]
From_T2/bf18.t2_fixed.smt2 5153584 YES 11.82/11.82 YES 0.06/0.06 YES 85.00/84.15
From_T2/eric.t2.smt2 5153585 MAYBE 26.18/26.18 MAYBE 9.71/9.85 MAYBE 20.18/20.08
From_T2/cnt.t2_fixed.smt2 5153586 YES 48.59/48.59 YES 0.08/0.08 timeout (wallclock) [out]
From_T2/small01.t2_fixed.smt2 5153587 YES 1.64/1.64 YES 0.02/0.02 MAYBE 1.19/1.18
From_T2/java_MinusBuiltIn.c.t2.smt2 5153588 YES 3.69/3.69 YES 0.04/0.04 YES 14.07/14.32
From_T2/byron-4.t2_fixed.smt2 5153589 YES 3.67/3.67 YES 0.04/0.04 MAYBE 16.42/16.16
From_T2/statemate.t2_fixed.smt2 5153590 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/create.t2.smt2 5153591 YES 4.21/4.20 YES 0.06/0.06 YES 38.45/37.80
From_T2/fast_poll.t2.smt2 5153592 timeout (wallclock) [out] NO 6.26/6.30 timeout (wallclock) [out]
From_T2/java_AG313.c.t2.smt2 5153593 YES 4.19/4.20 YES 0.06/0.06 YES 15.69/15.90
From_T2/p-53.t2.smt2 5153594 YES 1.53/1.53 YES 0.02/0.02 YES 0.07/0.07
From_T2/neg-e-pgarch-fail.t2_fixed.smt2 5153595 MAYBE 17.61/17.61 NO 0.06/0.06 MAYBE 21.23/21.16
From_T2/st88.bug.t2.smt2 5153596 MAYBE 117.45/117.45 NO 20.28/20.29 MAYBE 13.82/13.57
From_T2/ex2.t2.smt2 5153597 MAYBE 7.75/7.81 NO 23.21/23.24 MAYBE 4.02/4.28
From_T2/neg-e-acqrel-succeed.t2_fixed.smt2 5153598 MAYBE 9.62/9.63 NO 5.08/5.08 MAYBE 3.67/3.62
From_T2/Prim_4.t2.smt2 5153599 timeout (wallclock) [out] NO 121.73/121.84 timeout (wallclock) [out]
From_T2/bitcount32.t2.smt2 5153600 YES 4.58/4.61 YES 0.03/0.03 MAYBE 55.52/54.59
From_T2/edn.t2_fixed.smt2 5153601 YES 135.85/135.86 YES 4.29/4.29 timeout (wallclock) [out]
From_T2/java_Factorial.c.t2.smt2 5153602 YES 2.60/2.60 YES 0.03/0.03 YES 2.19/2.15
From_T2/fun10.t2.smt2 5153603 timeout (wallclock) [out] NO 7.15/7.15 timeout (wallclock) [out]
From_T2/java_BubbleSort.c.t2.smt2 5153604 YES 12.67/12.67 YES 0.09/0.09 YES 84.78/83.48
From_T2/ex4.t2.smt2 5153605 YES 7.84/7.84 YES 0.04/0.04 YES 47.28/46.48
From_T2/compress.t2_fixed.smt2 5153606 timeout (wallclock) [out] NO 27.08/27.09 timeout (wallclock) [out]
From_T2/st88.bug.t2_fixed.smt2 5153607 MAYBE 40.43/40.43 NO 9.34/9.37 MAYBE 7.57/7.43
From_T2/bs.t2.smt2 5153608 MAYBE 72.40/72.40 NO 5.76/5.76 MAYBE 39.25/38.57
From_T2/dsa_test15.t2.smt2 5153609 YES 2.62/2.62 YES 0.02/0.02 YES 5.48/5.60
From_T2/fun4.t2.smt2 5153610 MAYBE 18.64/18.65 NO 10.35/10.36 MAYBE 12.40/12.33
From_T2/n-12a.t2.smt2 5153611 MAYBE 3.60/3.59 NO 5.08/5.13 MAYBE 0.94/0.94
From_T2/ex11.t2.smt2 5153612 MAYBE 28.18/28.19 NO 1.71/1.72 MAYBE 5.40/5.30
From_T2/jacobi.t2.smt2 5153613 YES 31.28/31.28 YES 0.11/0.11 timeout (wallclock) [out]
From_T2/p_armc.t2.smt2 5153614 timeout (wallclock) [out] MAYBE 43.95/43.97 MAYBE 61.54/60.90
From_T2/ex40.t2.smt2 5153615 MAYBE 8.91/8.97 NO 23.22/23.22 MAYBE 2.13/1.08
From_T2/peculiar.t2.smt2 5153616 MAYBE 17.48/17.52 NO 3.36/3.36 MAYBE 11.76/11.66
From_T2/d.t2.smt2 5153617 MAYBE 4.57/4.57 NO 16.81/16.83 MAYBE 4.80/4.71
From_T2/ex2.t2_fixed.smt2 5153618 MAYBE 7.08/7.11 NO 23.23/23.25 MAYBE 2.26/2.23
From_T2/java_Nested.c.t2.smt2 5153619 YES 5.76/5.76 YES 0.05/0.05 YES 40.34/39.98
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2 5153620 YES 36.04/36.08 YES 0.10/0.10 timeout (wallclock) [out]
From_T2/slayer-n3-filtered.t2_fixed.smt2 5153621 YES 20.39/20.39 YES 0.10/0.10 timeout (wallclock) [out]
From_T2/slayer-2-filtered.t2_fixed.smt2 5153622 YES 2.28/2.27 YES 0.02/0.02 YES 4.28/4.20
From_T2/n-40.t2_fixed.smt2 5153623 MAYBE 26.32/26.31 NO 36.90/36.96 MAYBE 146.68/144.44
From_T2/ex32.t2.smt2 5153624 YES 3.86/3.86 YES 0.03/0.03 YES 6.91/6.81
From_T2/ex31.t2_fixed.smt2 5153625 MAYBE 10.84/10.84 NO 5.31/5.31 MAYBE 1.57/1.53
From_T2/p-37.t2.smt2 5153626 YES 6.51/3.27 YES 0.03/0.03 YES 12.66/12.82
From_T2/slayer-n5-filtered.t2.smt2 5153627 timeout (wallclock) [out] MAYBE 159.59/159.66 timeout (wallclock) [out]
From_T2/ex19.t2.smt2 5153628 MAYBE 15.12/15.14 NO 54.47/54.53 MAYBE 9.58/9.42
From_T2/fun2b.t2_fixed.smt2 5153629 YES 35.30/35.30 YES 1.84/1.86 MAYBE 287.38/284.15
From_T2/zlib-adler32.c.t2.smt2 5153630 timeout (wallclock) [out] MAYBE 151.35/151.39 MAYBE 271.63/267.18
From_T2/bf16.t2_fixed.smt2 5153631 YES 11.87/11.86 YES 0.06/0.06 YES 107.06/105.27
From_T2/java_Ackermann.c.t2.smt2 5153632 YES 22.36/22.37 YES 0.08/0.08 MAYBE 23.05/23.09
From_T2/p-56.t2.smt2 5153633 YES 2.42/2.62 YES 0.02/0.02 YES 9.08/8.93
From_T2/ex12.t2.smt2 5153634 YES 1.79/1.79 YES 0.02/0.02 YES 1.83/1.81
From_T2/armc-difficult_k.t2.smt2 5153635 YES 3.73/3.74 YES 0.25/0.25 MAYBE 37.88/37.51
From_T2/java_DivMinus2.c.t2.smt2 5153636 YES 98.97/98.97 YES 0.26/0.25 timeout (wallclock) [out]
From_T2/pgarch-fail.t2.smt2 5153637 MAYBE 44.62/22.35 NO 0.07/0.07 MAYBE 33.81/33.43
From_T2/small14.t2.smt2 5153638 timeout (wallclock) [out] NO 42.79/42.84 MAYBE 43.40/42.90
From_T2/st88.t2_fixed.smt2 5153639 MAYBE 69.09/69.31 NO 9.59/9.59 MAYBE 8.56/8.42
From_T2/n-7.t2.smt2 5153640 MAYBE 6.31/6.31 NO 239.40/239.83 MAYBE 9.19/9.15
From_T2/popl07-succeed.t2.smt2 5153641 MAYBE 45.26/45.26 NO 0.15/0.15 MAYBE 81.46/80.13
From_T2/fun3.t2.smt2 5153642 YES 52.09/52.10 YES 6.26/6.26 timeout (wallclock) [out]
From_T2/p-36.t2_fixed.smt2 5153643 MAYBE 14.02/14.01 MAYBE 0.06/0.06 timeout (wallclock) [out]
From_T2/small20.t2.smt2 5153644 YES 2.01/2.01 YES 0.03/0.03 YES 3.09/3.05
From_T2/polyrank1.t2.smt2 5153645 YES 1.61/1.60 YES 0.09/0.09 MAYBE 0.94/0.94
From_T2/w1.t2.smt2 5153646 MAYBE 3.74/3.75 NO 0.03/0.03 MAYBE 0.26/0.25
From_T2/polling.t2.smt2 5153647 timeout (wallclock) [out] MAYBE 27.39/27.40 timeout (wallclock) [out]
From_T2/e-1394-fail.t2.smt2 5153648 timeout (wallclock) [out] NO 17.15/17.16 timeout (wallclock) [out]
From_T2/1394complete-succeed.t2_fixed.smt2 5153649 timeout (wallclock) [out] NO 266.26/266.69 timeout (wallclock) [out]
From_T2/agafp.t2.smt2 5153650 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/neg-popl07-succeed.t2.smt2 5153651 MAYBE 62.71/62.71 NO 0.44/0.45 MAYBE 103.46/102.09
From_T2/java_Break.c.t2_fixed.smt2 5153652 YES 2.52/2.51 YES 0.03/0.03 YES 1.71/1.74
From_T2/defect.t2.smt2 5153653 MAYBE 1.44/1.44 NO 0.02/0.02 MAYBE 0.04/0.04
From_T2/wrong_loop.t2.smt2 5153654 MAYBE 19.63/19.63 NO 19.11/9.60 MAYBE 10.59/10.39
From_T2/ctl.t2.smt2 5153655 MAYBE 20.42/20.42 NO 0.05/0.05 MAYBE 27.24/27.11
From_T2/neg-e-acqrel-succeed.t2.smt2 5153656 MAYBE 9.65/9.64 NO 5.08/5.08 MAYBE 3.54/3.49
From_T2/queue_1000.t2.smt2 5153657 YES 8.85/8.85 YES 0.07/0.07 YES 24.70/24.48
From_T2/1.t2.smt2 5153658 MAYBE 27.15/27.18 NO 9.17/9.17 MAYBE 90.06/88.69
From_T2/array.t2.smt2 5153659 YES 1.15/1.14 YES 0.01/0.01 YES 0.01/0.02
From_T2/fun10b.t2.smt2 5153660 timeout (wallclock) [out] NO 7.07/7.07 timeout (wallclock) [out]
From_T2/insertsort.t2.smt2 5153661 MAYBE 10.67/10.67 NO 10.20/10.20 MAYBE 7.97/7.84
From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2 5153662 YES 34.99/34.99 YES 0.11/0.11 timeout (wallclock) [out]
From_T2/pearl-necklace.t2.smt2 5153663 YES 4.39/4.38 YES 0.03/0.03 YES 12.50/12.55
From_T2/array3.t2.smt2 5153664 YES 2.69/2.69 YES 0.03/0.03 YES 5.41/5.31
From_T2/randomwalk.t2.smt2 5153665 YES 168.39/168.4 timeout (wallclock) [out] MAYBE 47.89/47.34
From_T2/two_arrays1.t2_fixed.smt2 5153666 YES 12.41/12.40 YES 0.05/0.05 YES 105.22/104.27
From_T2/java_AProVEMathRecursive.c.t2.smt2 5153667 YES 45.59/45.59 YES 0.92/0.92 MAYBE 41.23/40.89
From_T2/s2.t2_fixed.smt2 5153668 YES 1.96/1.96 YES 0.03/0.03 YES 4.64/4.56
From_T2/n-3.t2.smt2 5153669 MAYBE 5.42/5.42 NO 36.31/36.36 MAYBE 7.73/7.89
From_T2/ex22.t2.smt2 5153670 YES 58.86/58.87 YES 0.24/0.24 timeout (wallclock) [out]
From_T2/n-12.t2_fixed.smt2 5153671 MAYBE 8.26/8.27 NO 20.20/20.22 MAYBE 7.85/7.72
From_T2/ex22.t2_fixed.smt2 5153672 YES 60.23/60.23 YES 0.14/0.14 timeout (wallclock) [out]
From_T2/refine_disj_problem.t2_fixed.smt2 5153673 MAYBE 9.17/9.18 NO 36.57/36.60 MAYBE 2.38/2.63
From_T2/prime.t2.smt2 5153674 MAYBE 216.70/216.71 NO 23.24/23.24 MAYBE 299.28/294.40
From_T2/cnt.t2.smt2 5153675 YES 65.35/65.35 YES 0.07/0.07 timeout (wallclock) [out]
From_T2/db3.t2.smt2 5153676 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/neg-1394complete-succeed.t2_fixed.smt2 5153677 timeout (wallclock) [out] NO 48.95/49.13 timeout (wallclock) [out]
From_T2/small07.t2.smt2 5153678 YES 4.30/4.54 YES 0.07/0.07 MAYBE 14.59/14.65
From_T2/nakata.t2.smt2 5153679 timeout (wallclock) [out] NO 157.00/157.07 timeout (wallclock) [out]
From_T2/fun5.t2_fixed.smt2 5153680 timeout (wallclock) [out] MAYBE 34.94/34.97 MAYBE 126.69/125.30
From_T2/sequential_swap.t2.smt2 5153681 YES 1.62/1.65 YES 0.02/0.02 YES 0.08/0.07
From_T2/n-13.t2.smt2 5153682 MAYBE 3.66/3.65 NO 18.16/18.16 MAYBE 0.94/0.92
From_T2/select.t2.smt2 5153683 timeout (wallclock) [out] NO 217.62/217.90 timeout (wallclock) [out]
From_T2/graycode.t2.smt2 5153684 YES 53.85/53.85 YES 0.72/0.72 timeout (wallclock) [out]
From_T2/s3-work.t2.smt2 5153685 timeout (wallclock) [out] YES 4.28/4.28 timeout (wallclock) [out]
From_T2/rev_nt2.t2.smt2 5153686 MAYBE 50.14/50.16 NO 10.20/10.20 timeout (wallclock) [out]
From_T2/neg-e-smagill-succeed.t2.smt2 5153687 MAYBE 17.43/17.65 NO 0.05/0.05 MAYBE 5.27/5.17
From_T2/consts5nt.t2_fixed.smt2 5153688 MAYBE 3.93/3.94 NO 29.75/29.76 MAYBE 1.21/1.19
From_T2/ex13.t2.smt2 5153689 YES 1.15/1.15 YES 0.02/0.02 YES 0.01/0.01
From_T2/dsa_test8.t2.smt2 5153690 YES 1.15/1.18 YES 0.01/0.01 YES 0.01/0.01
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 5153691 YES 181.43/181.45 YES 5.94/5.96 timeout (wallclock) [out]
From_T2/bf7.t2_fixed.smt2 5153692 YES 13.61/13.61 YES 0.06/0.06 YES 104.32/102.93
From_T2/n-1.t2_fixed.smt2 5153693 MAYBE 11.33/12.07 NO 5.22/5.22 MAYBE 25.88/25.42
From_T2/heidy6.t2.smt2 5153694 MAYBE 8.47/8.47 NO 23.19/23.23 MAYBE 1.54/1.53
From_T2/fdct.t2_fixed.smt2 5153695 YES 6.39/6.38 YES 0.04/0.04 YES 148.28/146.13
From_T2/e-acqrel-fail.t2.smt2 5153696 MAYBE 8.11/8.11 NO 5.09/5.09 MAYBE 2.48/2.43
From_T2/java_LogBuiltIn.c.t2.smt2 5153697 YES 4.24/4.24 YES 0.04/0.04 MAYBE 17.03/16.97
From_T2/ex17.t2.smt2 5153698 YES 6.82/6.82 YES 23.34/23.36 MAYBE 31.68/31.47
From_T2/opt-tree.c.t2.smt2 5153699 YES 268.54/268.6 YES 22.75/22.80 timeout (wallclock) [out]
From_T2/apchild-accepted-fail.t2_fixed.smt2 5153700 timeout (wallclock) [out] MAYBE 234.68/234.85 timeout (wallclock) [out]
From_T2/ex26.t2_fixed.smt2 5153701 YES 5.57/5.57 YES 0.14/0.14 YES 18.47/18.16
From_T2/ex27.t2_fixed.smt2 5153702 YES 97.38/97.39 YES 0.22/0.22 timeout (wallclock) [out]
From_T2/bf8.t2_fixed.smt2 5153703 YES 12.54/12.54 YES 0.06/0.10 YES 104.10/102.74
From_T2/matrixsqrt.t2.smt2 5153704 YES 12.58/12.58 YES 0.16/0.16 YES 96.97/95.30
From_T2/florian_sas2.t2.smt2 5153705 YES 274.25/274.32 timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/ex23.t2_fixed.smt2 5153706 YES 2.02/2.02 YES 0.02/0.02 YES 1.74/1.70
From_T2/neg-e-1394complete-succeed.t2.smt2 5153707 timeout (wallclock) [out] NO 48.91/48.94 timeout (wallclock) [out]
From_T2/p-3.t2_fixed.smt2 5153708 YES 2.63/2.63 YES 0.03/0.03 YES 7.38/7.49
From_T2/fun10.t2_fixed.smt2 5153709 timeout (wallclock) [out] NO 7.16/7.17 timeout (wallclock) [out]
From_T2/traverse.t2_fixed.smt2 5153710 YES 99.33/99.34 YES 0.87/0.87 timeout (wallclock) [out]
From_T2/sas07.cex.t2.smt2 5153711 YES 32.71/32.71 YES 0.34/0.34 timeout (wallclock) [out]
From_T2/heidy2.t2.smt2 5153712 MAYBE 7.35/7.34 NO 0.99/0.99 MAYBE 1.40/1.38
From_T2/bf5.t2.smt2 5153713 YES 26.47/13.30 YES 0.06/0.06 YES 111.98/110.28
From_T2/florian_sumit.t2.smt2 5153714 MAYBE 138.98/138.99 MAYBE 83.86/84.29 MAYBE 14.39/14.21
From_T2/bitcount16.t2_fixed.smt2 5153715 YES 5.80/5.80 YES 0.03/0.03 YES 48.07/47.31
From_T2/small16.t2.smt2 5153716 MAYBE 6.67/6.66 MAYBE 48.49/48.53 MAYBE 1.44/1.42
From_T2/foo.t2.smt2 5153717 timeout (wallclock) [out] MAYBE 246.50/246.58 timeout (wallclock) [out]
From_T2/slayer-n2.t2.smt2 5153718 MAYBE 5.56/5.57 NO 23.24/23.27 MAYBE 4.22/4.14
From_T2/destroy.t2.smt2 5153719 YES 28.93/28.93 YES 0.17/0.17 timeout (wallclock) [out]
From_T2/n-5.t2.smt2 5153720 MAYBE 22.58/22.58 NO 21.08/21.08 timeout (wallclock) [out]
From_T2/janne_complex.t2.smt2 5153721 timeout (wallclock) [out] MAYBE 240.05/240.29 MAYBE 102.50/101.09
From_T2/ase_example.t2_fixed.smt2 5153722 YES 4.29/4.37 YES 0.03/0.03 YES 16.52/16.69
From_T2/n-5.t2_fixed.smt2 5153723 MAYBE 22.81/22.88 NO 16.78/16.78 MAYBE 270.85/267.46
From_T2/ex31.t2.smt2 5153724 MAYBE 11.67/11.66 NO 5.27/5.27 MAYBE 3.17/3.20
From_T2/traverse_twice.t2.smt2 5153725 YES 226.75/226.77 YES 0.63/0.63 timeout (wallclock) [out]
From_T2/w3_nt.t2.smt2 5153726 MAYBE 79.49/79.55 NO 8.59/8.59 MAYBE 252.73/248.77
From_T2/p-12.t2.smt2 5153727 YES 1.62/1.61 YES 0.02/0.02 YES 0.35/0.34
From_T2/jfdctint.t2.smt2 5153728 YES 9.48/9.48 YES 0.04/0.04 YES 189.04/186.39
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 5153729 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/e-st88b-fail.t2.smt2 5153730 MAYBE 70.97/70.98 NO 0.03/0.03 MAYBE 2.50/2.70
From_T2/qrdcmp.t2.smt2 5153731 YES 38.87/38.88 YES 1.49/1.50 timeout (wallclock) [out]
From_T2/s4.t2.smt2 5153732 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
From_T2/consts5.t2_fixed.smt2 5153733 YES 1.36/1.37 YES 0.02/0.02 MAYBE 1.25/1.25
From_T2/traverse_seg.t2.smt2 5153734 YES 153.11/153.11 YES 0.47/0.47 timeout (wallclock) [out]
From_T2/e-pgarch-fail.t2.smt2 5153735 MAYBE 23.78/23.78 NO 0.07/0.07 MAYBE 39.08/38.45
From_T2/n-36.t2.smt2 5153736 MAYBE 45.05/45.05 MAYBE 0.15/0.15 timeout (wallclock) [out]
From_T2/p-7b.t2.smt2 5153737 YES 2.01/2.00 YES 0.02/0.02 YES 4.81/4.73
From_T2/n-21.t2_fixed.smt2 5153738 MAYBE 7.12/7.11 NO 36.46/36.51 MAYBE 4.87/4.78
From_T2/small03.t2.smt2 5153739 MAYBE 4.21/4.20 NO 35.03/35.03 MAYBE 0.50/0.49
From_T2/p-55.t2_fixed.smt2 5153740 YES 5.11/5.11 YES 0.03/0.03 YES 13.27/13.08
From_T2/s1-saved.t2.smt2 5153741 YES 106.43/106.45 YES 0.35/0.35 timeout (wallclock) [out]
From_T2/byron-2.t2_fixed.smt2 5153742 YES 5.69/5.69 YES 0.03/0.03 YES 33.98/33.46
From_T2/streamserver.bug.t2.smt2 5153743 timeout (wallclock) [out] NO 20.77/20.79 MAYBE 94.94/93.76
From_T2/bf15.t2.smt2 5153744 YES 14.20/14.19 YES 0.06/0.06 YES 188.13/184.92
From_T2/apchild-live.t2.smt2 5153745 timeout (wallclock) [out] MAYBE 177.90/177.99 timeout (wallclock) [out]
From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 5153746 timeout (wallclock) [out] MAYBE 77.25/77.32 timeout (wallclock) [out]
From_T2/oct_vs_subpoly.t2.smt2 5153747 MAYBE 4.20/4.20 NO 35.05/35.08 MAYBE 0.51/0.50
From_T2/p-1d.t2.smt2 5153748 YES 2.92/2.92 YES 0.03/0.03 YES 15.48/15.21
From_T2/p-46.t2_fixed.smt2 5153749 MAYBE 106.7/106.70 NO 5.39/5.39 MAYBE 36.21/35.98
From_T2/consts3.t2_fixed.smt2 5153750 YES 1.40/1.40 YES 0.02/0.02 YES 0.12/0.12
From_T2/slayer-3-new.t2_fixed.smt2 5153751 timeout (wallclock) [out] MAYBE 266.1/266.19 timeout (wallclock) [out]
From_T2/rev_nt4.t2_fixed.smt2 5153752 YES 1.36/1.36 YES 0.02/0.02 YES 0.01/0.01
From_T2/n-1d.t2_fixed.smt2 5153753 MAYBE 9.65/9.73 NO 20.30/20.33 MAYBE 11.59/11.40
From_T2/e-acqrel-succeed.t2.smt2 5153754 MAYBE 21.44/21.43 NO 5.15/5.16 MAYBE 3.85/3.79
From_T2/small05.t2.smt2 5153755 MAYBE 3.79/3.78 NO 54.49/54.52 MAYBE 0.52/0.51
From_T2/n-15.t2.smt2 5153756 MAYBE 5.17/5.17 NO 33.72/33.76 MAYBE 1.49/1.47
From_T2/zlib-crc32.c.t2_fixed.smt2 5153757 YES 7.10/7.10 YES 0.10/0.10 YES 40.05/39.85
From_T2/intSqRoot.t2.smt2 5153758 MAYBE 15.33/15.32 NO 5.29/5.29 MAYBE 4.87/4.78
From_T2/ud.t2.smt2 5153759 YES 136.70/136.69 YES 4.51/4.51 timeout (wallclock) [out]
From_T2/queens.t2_fixed.smt2 5153760 YES 294.51/294.51 YES 4.17/4.17 timeout (wallclock) [out]
From_T2/smagillb-succeed.t2_fixed.smt2 5153761 MAYBE 16.34/16.33 NO 18.27/18.27 MAYBE 6.99/6.88
From_T2/florian_new_ex.t2.smt2 5153762 YES 19.31/19.31 YES 0.43/0.43 MAYBE 54.91/54.21
From_T2/6.t2.smt2 5153763 MAYBE 3.48/3.59 NO 0.03/0.03 MAYBE 0.24/0.24
From_T2/complex_guard.t2.smt2 5153764 YES 2.38/2.39 YES 0.02/0.02 YES 0.64/0.63
From_T2/collatz.t2_fixed.smt2 5153765 MAYBE 42.72/42.72 MAYBE 17.52/17.53 MAYBE 8.66/8.51
From_T2/dsa_test9.t2.smt2 5153766 YES 1.14/1.13 YES 0.01/0.01 YES 0.01/0.01
From_T2/db3.t2_fixed.smt2 5153767 timeout (wallclock) [out] MAYBE 235.03/235.11 timeout (wallclock) [out]
From_T2/fir.t2_fixed.smt2 5153768 YES 12.90/12.90 YES 0.98/0.98 YES 73.26/72.06
From_T2/pentagon.t2.smt2 5153769 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 50.13/49.39
From_T2/broydn.t2_fixed.smt2 5153770 timeout (wallclock) [out] YES 7.58/7.58 timeout (wallclock) [out]
From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 5153771 YES 16.90/16.90 YES 4.10/4.10 timeout (wallclock) [out]
From_T2/arith.t2.smt2 5153772 YES 1.96/1.96 YES 0.02/0.02 YES 2.39/2.35
From_T2/bf9.t2.smt2 5153773 YES 14.30/14.30 YES 0.06/0.06 YES 144.03/141.76
From_T2/p-10.t2.smt2 5153774 MAYBE 6.45/6.44 MAYBE 0.03/0.03 MAYBE 14.96/14.70
From_T2/neg-e-pgarch-succeed.t2_fixed.smt2 5153775 MAYBE 16.58/16.57 NO 0.06/0.06 MAYBE 15.96/15.70
From_T2/matmult.t2_fixed.smt2 5153776 YES 20.26/20.26 YES 0.62/0.62 YES 242.05/237.99
From_T2/byron-1.t2.smt2 5153777 YES 1.92/1.92 YES 0.04/0.04 MAYBE 2.77/2.96
From_T2/n-7.t2_fixed.smt2 5153778 MAYBE 6.43/6.42 NO 145.94/146.17 MAYBE 8.91/8.76
From_T2/rev_nt3.t2_fixed.smt2 5153779 MAYBE 79.18/79.19 NO 8.79/8.79 timeout (wallclock) [out]
From_T2/1394complete-fail.t2.smt2 5153780 timeout (wallclock) [out] NO 49.18/49.24 timeout (wallclock) [out]
From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 5153781 YES 113.56/113.56 YES 16.60/16.62 timeout (wallclock) [out]
From_T2/print.t2.smt2 5153782 YES 122.27/122.28 YES 0.51/0.51 timeout (wallclock) [out]
From_T2/pgarch-succeed.t2.smt2 5153783 MAYBE 22.64/22.63 NO 0.07/0.07 MAYBE 34.16/33.91
From_T2/neg-popl07-fail.t2_fixed.smt2 5153784 MAYBE 49.55/49.55 NO 0.17/0.17 MAYBE 98.58/97.28
From_T2/n-14.t2_fixed.smt2 5153785 MAYBE 8.98/8.98 NO 5.33/5.35 MAYBE 4.73/5.02
From_T2/loop_on_input.t2.smt2 5153786 YES 2.03/2.03 YES 0.02/0.02 YES 2.30/2.27
From_T2/array2.t2.smt2 5153787 YES 1.80/1.80 YES 0.02/0.02 YES 1.56/1.53
From_T2/n-14.t2.smt2 5153788 MAYBE 7.16/7.18 NO 5.13/5.13 MAYBE 11.09/10.90
From_T2/ppblockterm.t2.smt2 5153789 MAYBE 38.09/38.09 NO 127.07/127.31 MAYBE 44.74/43.99
From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 5153790 MAYBE 296.94/296.96 timeout (wallclock) [out] MAYBE 75.07/73.86
From_T2/jacobi.t2_fixed.smt2 5153791 YES 30.37/30.37 YES 0.11/0.11 timeout (wallclock) [out]
From_T2/rlft3.t2.smt2 5153792 MAYBE 114.60/114.60 NO 268.04/268.32 timeout (wallclock) [out]
631 1046 445