TermComp 2020: Integer Transition Systems 41496 Job info CSV Showing results.

benchmark Ctrl Transition irankfinder v1.3.2 competition LoAT loat_nonterm_proofout
From_T2/ex2.t2.smt2 11761849 i MAYBE 3.72/3.48 NO 2.63/2.64 NO 0.07/0.11
From_T2/ud.t2.smt2 11761850 is timeout (wallclock) YES 82.62/82.67 ERROR 4.43/4.44
From_T2/java_EqUserDefRec.c.t2.smt2 11761851 YES 10.64/10.06 YES 3.00/3.00 ERROR 0.19/0.22
From_T2/ex33.t2.smt2 11761852 YES 0.17/0.22 YES 1.61/1.62 ERROR 0.01/0.07
From_T2/bubblesort_inner_loop.t2.smt2 11761853 YES 5.97/5.85 YES 2.87/2.92 ERROR 0.14/0.19
From_T2/ex6.t2.smt2 11761854 YES 0.01/0.05 YES 1.26/1.30 ERROR 0.01/0.05
From_T2/neg-1394complete-fail.t2.smt2 11761855 i timeout (wallclock) NO 83.46/83.46 NO 3.25/3.25
From_T2/n-1.t2_fixed.smt2 11761856 i MAYBE 27.01/25.25 NO 3.89/3.89 NO 0.08/0.09
From_T2/pgarch.t2.smt2 11761857 is timeout (wallclock) MAYBE 298.93/299.01 NO 73.31/73.28
From_T2/neg-e-st88b-succeed.t2.smt2 11761858 i MAYBE 2.96/2.81 NO 3.56/3.63 NO 1.71/1.76
From_T2/florian_sas1.t2.smt2 11761859 is MAYBE 20.38/19.10 YES 4.37/4.45 ERROR 0.30/0.34
From_T2/cover.t2_fixed.smt2 11761860 u timeout (wallclock) MAYBE 298.97/299.03 ERROR 6.64/6.56
From_T2/neg-e-1394complete-fail.t2_fixed.smt2 11761861 i timeout (wallclock) NO 74.81/74.83 NO 2.87/2.85
From_T2/test_byron_2.t2.smt2 11761862 i MAYBE 0.73/0.68 NO 1.85/1.85 NO 0.05/0.06
From_T2/neg-acqrel-succeed.t2.smt2 11761863 i MAYBE 4.09/4.03 NO 2.87/2.87 NO 0.30/0.30
From_T2/java_Break.c.t2_fixed.smt2 11761864 YES 1.78/1.66 YES 2.02/2.04 ERROR 0.07/0.07
From_T2/janne_complex.t2_fixed.smt2 11761865 u MAYBE 118.14/110.65 MAYBE 298.89/299.07 ERROR 118.32/118.37
From_T2/ex10.t2.smt2 11761866 i MAYBE 94.23/88.31 NO 11.80/11.80 NO 0.08/0.16
From_T2/p-1b.t2.smt2 11761867 YES 1.77/1.80 YES 1.34/1.42 ERROR 0.06/0.09
From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2 11761868 u timeout (wallclock) MAYBE 298.99/299.01 ERROR 33.48/33.36
From_T2/heidy9.t2.smt2 11761869 YES 0.36/0.39 YES 1.23/1.27 ERROR 0.05/0.11
From_T2/n-6a.t2.smt2 11761870 i MAYBE 18.14/17.42 NO 2.67/2.69 NO 0.13/0.19
From_T2/dsa_test12.t2.smt2 11761871 YES 0.01/0.02 YES 0.90/0.91 ERROR 0.00/0.05
From_T2/jacobi.t2_fixed.smt2 11761872 is timeout (wallclock) YES 15.44/15.49 ERROR 8.75/8.77
From_T2/ex14.t2.smt2 11761873 YES 1.94/1.86 YES 1.33/1.38 ERROR 0.05/0.09
From_T2/java_FactSum.c.t2.smt2 11761874 YES 33.66/31.37 YES 4.75/4.80 ERROR 0.30/0.35
From_T2/ex3.t2_fixed.smt2 11761875 YES 1.89/1.82 YES 1.90/1.98 ERROR 0.06/0.12
From_T2/p-63.t2_fixed.smt2 11761876 is MAYBE 8.41/7.88 YES 1.82/1.83 ERROR 0.10/0.14
From_T2/neg-smagilla-fail.t2.smt2 11761877 i MAYBE 5.31/4.97 NO 3.20/3.20 NO 0.64/1.16
From_T2/select.t2_fixed.smt2 11761878 is timeout (wallclock) MAYBE 298.96/299.03 NO 6.60/6.59
From_T2/p-3.t2_fixed.smt2 11761879 YES 7.08/6.66 YES 2.11/2.11 ERROR 0.10/0.15
From_T2/ex27.t2_fixed.smt2 11761880 is timeout (wallclock) YES 50.69/50.73 ERROR 0.99/1.01
From_T2/heidy5.t2.smt2 11761881 YES 1.36/1.30 YES 1.51/1.54 ERROR 0.05/0.10
From_T2/magic.t2.smt2 11761882 is timeout (wallclock) YES 182.23/182.26 ERROR 3.29/3.32
From_T2/fun10b.t2_fixed.smt2 11761883 i timeout (wallclock) NO 190.08/190.18 NO 4.85/4.87
From_T2/neg-st88b-fail.t2.smt2 11761884 i MAYBE 19.80/18.43 NO 11.69/11.71 NO 1.68/1.71
From_T2/smagillc-fail.t2_fixed.smt2 11761885 is MAYBE 5.59/5.25 MAYBE 60.31/60.95 NO 0.66/0.70
From_T2/array3.t2.smt2 11761886 YES 5.87/5.64 YES 2.03/2.08 ERROR 0.10/0.10
From_T2/apchild-live.t2_fixed.smt2 11761887 is timeout (wallclock) MAYBE 299.01/299.01 NO 9.13/9.11
From_T2/p-20.t2.smt2 11761888 i MAYBE 19.47/18.47 NO 2.91/2.94 NO 0.05/0.11
From_T2/opt-tree.c.t2.smt2 11761889 is timeout (wallclock) YES 165.87/166.01 timeout (wallclock)
From_T2/two_arrays1.t2_fixed.smt2 11761890 YES 111.79/104.29 YES 8.29/8.35 ERROR 0.30/0.34
From_T2/e-pgarch-fail.t2.smt2 11761891 i MAYBE 39.95/38.33 NO 6.75/6.81 NO 0.18/0.22
From_T2/heidy1.t2.smt2 11761892 i MAYBE 0.52/0.54 NO 1.57/1.58 NO 0.02/0.03
From_T2/fun1.t2_fixed.smt2 11761893 is MAYBE 292.34/278.64 MAYBE 299.00/299.05 NO 21.87/21.70
From_T2/ex18.t2.smt2 11761894 is MAYBE 44.95/42.01 YES 28.43/28.51 ERROR 0.19/0.24
From_T2/ex33.t2_fixed.smt2 11761895 YES 0.15/0.18 YES 1.49/1.53 ERROR 0.01/0.05
From_T2/p-41.t2.smt2 11761896 YES 0.01/0.05 YES 0.90/0.93 ERROR 0.01/0.05
From_T2/bf12.t2.smt2 11761897 YES 151.49/142.01 YES 8.57/8.72 ERROR 1.56/1.60
From_T2/n-32.t2.smt2 11761898 i MAYBE 3.63/3.41 NO 2.00/2.05 NO 0.14/0.17
From_T2/afagp-fail.t2.smt2 11761899 is timeout (wallclock) MAYBE 298.97/299.05 NO 7.12/7.14
From_T2/small28.t2.smt2 11761900 YES 1.24/1.20 YES 1.15/1.19 ERROR 0.05/0.06
From_T2/statemate.t2_fixed.smt2 11761901 u timeout (wallclock) MAYBE 299.01/299.05 ERROR 254.67/259.08
From_T2/p-45.t2.smt2 11761902 YES 5.36/5.18 YES 1.71/1.73 ERROR 0.13/0.14
From_T2/bf16.t2.smt2 11761903 YES 304.28/284.86 YES 8.54/8.58 ERROR 1.69/1.70
From_T2/traverse_seg2.t2.smt2 11761904 is timeout (wallclock) YES 51.71/51.78 ERROR 1.88/1.94
From_T2/intSqRoot.t2.smt2 11761905 i MAYBE 5.01/4.69 NO 25.28/25.29 NO 0.14/0.20
From_T2/byron-1.t2.smt2 11761906 is MAYBE 2.83/2.70 YES 1.43/1.47 ERROR 0.14/0.18
From_T2/n-36.t2.smt2 11761907 i timeout (wallclock) NO 21.17/21.22 NO 0.28/0.30
From_T2/dsa_test1.t2.smt2 11761908 YES 0.01/0.07 YES 0.89/0.94 ERROR 0.00/0.08
From_T2/n-18a.t2.smt2 11761909 i MAYBE 1.77/1.71 NO 1.63/1.67 NO 0.10/0.13
From_T2/Prim_4.t2.smt2 11761910 is timeout (wallclock) MAYBE 298.96/299.01 NO 1.83/1.81
From_T2/p-5.t2.smt2 11761911 i timeout (wallclock) NO 6.33/6.39 NO 1.49/1.53
From_T2/small24.t2.smt2 11761912 i MAYBE 0.28/0.32 NO 1.42/1.47 NO 0.02/0.08
From_T2/dsa_test9.t2.smt2 11761913 YES 0.01/0.06 YES 0.89/0.93 ERROR 0.00/0.04
From_T2/non_term.t2.smt2 11761914 i MAYBE 0.99/0.98 NO 1.63/1.67 NO 0.11/0.14
From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 11761915 is timeout (wallclock) YES 63.59/63.65 ERROR 12.33/12.23
From_T2/java_Diff.c.t2.smt2 11761916 is timeout (wallclock) YES 109.42/109.49 ERROR 1.59/1.58
From_T2/p-49.t2.smt2 11761917 YES 0.37/0.38 YES 1.30/1.35 ERROR 0.04/0.07
From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 11761918 is timeout (wallclock) YES 19.09/19.10 ERROR 7.13/7.14
From_T2/p-1.t2.smt2 11761919 i MAYBE 9.71/9.05 NO 1.74/1.74 NO 0.04/0.08
From_T2/small20.t2.smt2 11761920 YES 2.99/2.87 YES 1.57/1.60 ERROR 0.09/0.09
From_T2/n-4.t2_fixed.smt2 11761921 i MAYBE 104.76/97.94 NO 6.56/6.63 NO 0.55/0.76
From_T2/n_firewire_instrumented-PP.t2.smt2 11761922 is MAYBE 145.83/135.89 YES 110.86/111.92 ERROR 18.56/18.30
From_T2/streamserver-succeed.t2_fixed.smt2 11761923 i MAYBE 106.49/99.82 NO 28.24/28.29 NO 8.22/8.25
From_T2/java_LeUserDefRec.c.t2.smt2 11761924 YES 15.17/14.59 YES 2.76/2.79 ERROR 0.12/0.12
From_T2/n-15.t2.smt2 11761925 i MAYBE 1.51/1.42 NO 10.55/10.58 NO 0.18/0.19
From_T2/bf8.t2_fixed.smt2 11761926 YES 111.78/104.87 YES 8.54/8.59 ERROR 1.67/1.69
From_T2/p-62.t2.smt2 11761927 YES 0.02/0.05 YES 0.94/0.97 ERROR 0.00/0.01
From_T2/fun4.t2_fixed.smt2 11761928 is MAYBE 11.73/11.03 YES 11.96/11.96 ERROR 0.15/0.16
From_T2/ex36.t2_fixed.smt2 11761929 is timeout (wallclock) MAYBE 299.00/299.00 NO 16.72/16.64
From_T2/small03.t2.smt2 11761930 i MAYBE 0.48/0.49 NO 1.58/1.62 NO 0.05/0.08
From_T2/ud.t2_fixed.smt2 11761931 is timeout (wallclock) YES 74.99/75.00 ERROR 3.47/3.45
From_T2/reverse_seg_cyclic.t2_fixed.smt2 11761932 is timeout (wallclock) YES 67.51/67.52 ERROR 1.75/1.75
From_T2/neg-e-1394complete-fail.t2.smt2 11761933 i timeout (wallclock) NO 75.05/75.06 NO 2.84/2.82
From_T2/bitcount16.t2_fixed.smt2 11761934 YES 48.93/46.12 YES 3.71/3.72 ERROR 0.12/0.13
From_T2/small07.t2.smt2 11761935 is MAYBE 16.39/15.35 YES 3.18/3.19 ERROR 0.52/0.50
From_T2/ex22.t2_fixed.smt2 11761936 is timeout (wallclock) YES 32.73/32.73 ERROR 0.63/0.63
From_T2/small31.t2.smt2 11761937 YES 0.01/0.02 YES 0.95/0.96 ERROR 0.00/0.01
From_T2/stored.t2.smt2 11761938 i MAYBE 6.09/5.87 NO 4.92/4.93 NO 0.16/0.20
From_T2/sudoku.t2.smt2 11761939 u timeout (wallclock) MAYBE 298.98/299.01 ERROR 7.65/7.56
From_T2/acqrel-fail.t2.smt2 11761940 i MAYBE 2.50/2.33 NO 2.61/3.82 NO 0.35/1.41
From_T2/ndes.t2.smt2 11761941 u timeout (wallclock) MAYBE 298.97/299.01 ERROR 26.14/26.06
From_T2/p-58.t2.smt2 11761942 is MAYBE 2.41/2.29 YES 1.45/1.46 ERROR 0.01/0.05
From_T2/compress.t2_fixed.smt2 11761943 u timeout (wallclock) MAYBE 298.98/299.01 ERROR 3.57/3.59
From_T2/zlib-crc32-BYFOUR.c.t2.smt2 11761944 i MAYBE 263.75/247.47 NO 18.87/18.87 NO 2.56/2.55
From_T2/fun2b.t2_fixed.smt2 11761945 is MAYBE 278.55/264.56 YES 24.26/24.27 ERROR 16.36/16.26
From_T2/eric3.t2.smt2 11761946 i MAYBE 24.67/23.14 NO 3.56/3.58 NO 0.27/0.30
From_T2/queens.t2_fixed.smt2 11761947 u timeout (wallclock) MAYBE 298.92/299.01 ERROR 3.57/3.54
From_T2/st88.t2.smt2 11761948 i MAYBE 15.98/15.37 NO 10.14/10.14 NO 0.94/0.92
From_T2/fun4-alt.t2.smt2 11761949 is MAYBE 7.32/6.84 YES 5.35/5.42 ERROR 0.29/0.43
From_T2/neg-1394-succeed.t2.smt2 11761950 i timeout (wallclock) NO 82.00/82.03 NO 3.61/3.63
From_T2/apchild-accepted-fail.t2_fixed.smt2 11761951 i timeout (wallclock) NO 273.72/273.82 NO 6.37/6.38
From_T2/small35.t2.smt2 11761952 i MAYBE 1.23/1.19 NO 1.60/1.60 NO 0.03/0.03
From_T2/simple_array_inversion.t2.smt2 11761953 YES 0.45/0.43 YES 1.50/1.50 ERROR 0.04/0.05
From_T2/slayer-3.t2_fixed.smt2 11761954 is timeout (wallclock) MAYBE 298.99/299.03 NO 73.51/73.41
From_T2/rev_nt4.t2_fixed.smt2 11761955 YES 0.02/0.04 YES 1.01/1.03 ERROR 0.00/0.03
From_T2/p.t2.smt2 11761956 u timeout (wallclock) MAYBE 298.98/299.04 ERROR 7.87/7.83
From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2 11761957 is timeout (wallclock) YES 22.63/22.64 ERROR 0.84/0.83
From_T2/s1.t2.smt2 11761958 is timeout (wallclock) MAYBE 299.01/299.06 NO 22.63/22.60
From_T2/bf7.t2_fixed.smt2 11761959 YES 106.58/99.13 YES 9.29/9.36 ERROR 1.55/1.57
From_T2/mc91test.t2.smt2 11761960 i MAYBE 84.72/79.11 NO 7.73/7.73 NO 2.65/2.67
From_T2/java_PlusSwap.c.t2.smt2 11761961 is MAYBE 13.93/13.39 YES 3.12/3.12 ERROR 0.19/0.22
From_T2/bsort100.t2.smt2 11761962 YES 134.11/124.96 YES 11.22/11.22 ERROR 336.41/295.85
From_T2/pgarch-succeed.t2.smt2 11761963 i MAYBE 36.16/33.80 NO 6.57/6.62 NO 0.18/0.22
From_T2/p-50.t2.smt2 11761964 YES 0.01/0.06 YES 0.93/1.00 ERROR 0.00/0.05
From_T2/small16.t2.smt2 11761965 is MAYBE 1.45/1.46 MAYBE 28.09/28.35 NO 0.28/0.32
From_T2/fun1.t2.smt2 11761966 is timeout (wallclock) MAYBE 299.04/299.00 NO 254.92/254.23
From_T2/consts3.t2.smt2 11761967 YES 0.96/1.16 YES 1.14/1.20 ERROR 0.05/0.11
From_T2/bf14.t2_fixed.smt2 11761968 YES 105.25/98.92 YES 7.46/7.54 ERROR 1.51/1.56
From_T2/consts3.t2_fixed.smt2 11761969 YES 0.12/0.19 YES 1.11/1.14 ERROR 0.04/0.09
From_T2/neg-e-pgarch-fail.t2_fixed.smt2 11761970 i MAYBE 24.36/23.01 NO 5.02/5.11 NO 0.17/0.21
From_T2/simple_fail.t2.smt2 11761971 YES 0.01/0.06 YES 0.91/0.97 ERROR 0.00/0.03
From_T2/small12.t2.smt2 11761972 YES 1.27/1.32 YES 1.25/1.25 ERROR 0.07/0.11
From_T2/fun5.t2.smt2 11761973 i MAYBE 127.41/119.82 NO 129.92/129.99 NO 13.50/13.45
From_T2/d.t2.smt2 11761974 is MAYBE 4.79/4.52 MAYBE 21.59/21.95 NO 0.06/0.10
From_T2/florian_sumit.t2.smt2 11761975 is MAYBE 13.12/12.23 YES 22.37/22.40 ERROR 1.87/1.90
From_T2/queue_100.t2_fixed.smt2 11761976 YES 15.13/14.21 YES 6.25/6.28 ERROR 0.20/0.31
From_T2/1394complete-fail.t2.smt2 11761977 i timeout (wallclock) NO 85.82/85.91 NO 3.12/3.16
From_T2/apchild-accepted.t2.smt2 11761978 is timeout (wallclock) MAYBE 298.99/299.05 NO 7.42/7.46
From_T2/bf20.t2.smt2 11761979 YES 139.61/130.58 YES 9.22/9.27 ERROR 1.55/1.59
From_T2/sequential_swap.t2.smt2 11761980 YES 0.07/0.11 YES 1.24/1.28 ERROR 0.01/0.06
From_T2/s1.t2_fixed.smt2 11761981 is timeout (wallclock) MAYBE 298.98/299.08 NO 21.08/21.03
From_T2/create_seg.t2.smt2 11761982 YES 53.07/50.03 YES 3.08/3.09 ERROR 0.10/0.10
From_T2/ns.t2.smt2 11761983 YES 167.15/156.59 YES 19.15/19.20 ERROR 0.42/0.41
From_T2/fake-succeed.t2.smt2 11761984 i timeout (wallclock) NO 199.67/199.72 NO 17.28/17.25
From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 11761985 is timeout (wallclock) MAYBE 298.96/299.01 NO 4.67/4.68
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 11761986 u timeout (wallclock) MAYBE 298.97/299.07 ERROR 252.55/252.91
From_T2/fun9.t2.smt2 11761987 u MAYBE 90.37/84.48 MAYBE 299.01/299.01 ERROR 3.70/3.69
From_T2/s1-saved.t2.smt2 11761988 is timeout (wallclock) YES 46.85/46.92 ERROR 1.66/1.71
From_T2/subpoly_crash.t2.smt2 11761989 i MAYBE 0.53/0.53 NO 1.61/1.66 NO 0.03/0.06
From_T2/hqr.t2.smt2 11761990 u timeout (wallclock) MAYBE 298.88/299.05 ERROR 17.44/17.38
From_T2/fir.t2_fixed.smt2 11761991 YES 81.81/77.07 YES 8.22/8.29 ERROR 1.82/1.83
From_T2/p-55.t2_fixed.smt2 11761992 YES 12.70/11.83 YES 3.91/3.97 ERROR 0.41/0.46
From_T2/fir.t2.smt2 11761993 YES 143.84/133.97 YES 11.50/11.55 ERROR 1.81/1.79
From_T2/mc91.t2.smt2 11761994 i MAYBE 11.19/10.40 NO 3.44/3.44 NO 1.02/1.02
From_T2/queue_1000.t2.smt2 11761995 YES 27.49/25.60 YES 6.61/6.61 ERROR 0.25/0.25
From_T2/neg-e-pgarch-succeed.t2_fixed.smt2 11761996 i MAYBE 17.25/16.17 NO 4.89/4.89 NO 0.16/0.77
From_T2/huh.t2.smt2 11761997 is MAYBE 187.17/176.08 YES 5.57/5.63 ERROR 0.17/0.68
From_T2/curious.t2_fixed.smt2 11761998 i MAYBE 0.75/0.75 NO 1.87/1.93 NO 0.04/0.11
From_T2/fun10.t2_fixed.smt2 11761999 i timeout (wallclock) NO 221.95/222.04 NO 5.61/5.63
From_T2/p-12.t2.smt2 11762000 YES 0.37/0.39 YES 1.29/1.29 ERROR 0.04/0.04
From_T2/neg-e-1394complete-succeed.t2.smt2 11762001 i timeout (wallclock) NO 74.56/74.58 NO 2.82/2.80
From_T2/1394-succeed.t2.smt2 11762002 i timeout (wallclock) NO 77.32/77.39 NO 3.17/3.15
From_T2/send-more-money.t2.smt2 11762003 YES 77.78/77.26 YES 43.51/43.51 ERROR 0.14/0.16
From_T2/p-43-terminate.t2_fixed.smt2 11762004 is timeout (wallclock) YES 76.38/76.37 ERROR 15.55/15.52
From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 11762005 i timeout (wallclock) NO 34.86/34.89 NO 7.44/7.41
From_T2/polyrank2.t2.smt2 11762006 is MAYBE 1.86/1.77 YES 12.91/13.24 ERROR 0.06/0.10
From_T2/two_arrays.t2.smt2 11762007 YES 66.95/63.18 YES 6.17/6.23 ERROR 0.27/0.29
From_T2/cnt.t2_fixed.smt2 11762008 is timeout (wallclock) YES 29.98/29.98 ERROR 0.32/0.32
From_T2/flipflop.t2.smt2 11762009 is MAYBE 0.70/0.69 MAYBE 17.62/17.79 NO 0.04/0.10
From_T2/dropbuf.t2.smt2 11762010 i MAYBE 113.95/106.69 NO 14.66/14.71 NO 1.33/1.31
From_T2/ex22.t2.smt2 11762011 is timeout (wallclock) YES 30.42/30.45 ERROR 0.78/0.80
From_T2/fun11.t2.smt2 11762012 i MAYBE 27.50/25.80 NO 5.26/5.33 NO 0.06/0.11
From_T2/ex26.t2.smt2 11762013 YES 37.53/35.00 YES 4.01/4.06 ERROR 0.13/0.17
From_T2/ctl.t2.smt2 11762014 i MAYBE 30.09/28.55 NO 8.20/8.27 NO 0.14/0.19
From_T2/polyrank6.t2.smt2 11762015 is MAYBE 4.17/3.91 YES 1.64/1.65 ERROR 0.71/0.72
From_T2/byron-2.t2_fixed.smt2 11762016 YES 38.14/35.78 YES 4.00/4.05 ERROR 0.32/0.32
From_T2/simple_pre1.t2.smt2 11762017 YES 0.01/0.06 YES 0.91/0.95 ERROR 0.01/0.01
From_T2/s4.t2_fixed.smt2 11762018 u timeout (wallclock) MAYBE 299.25/299.03 timeout (wallclock)
From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 11762019 u timeout (wallclock) MAYBE 298.97/299.06 ERROR 44.75/44.77
From_T2/foo.t2.smt2 11762020 u timeout (wallclock) MAYBE 298.96/299.01 ERROR 6.65/6.65
From_T2/n-46.t2.smt2 11762021 i MAYBE 2.29/2.20 NO 2.09/2.12 NO 0.04/0.09
From_T2/curious.t2.smt2 11762022 i MAYBE 1.41/1.37 NO 1.93/1.99 NO 0.04/0.09
From_T2/destroy_seg.t2.smt2 11762023 is timeout (wallclock) YES 18.38/18.42 ERROR 0.58/0.61
From_T2/ex14.t2_fixed.smt2 11762024 YES 1.02/0.99 YES 1.26/1.31 ERROR 0.05/0.11
From_T2/tqli.t2.smt2 11762025 is timeout (wallclock) MAYBE 298.98/299.03 NO 4.64/4.65
From_T2/traverse_twice.t2.smt2 11762026 is timeout (wallclock) YES 92.00/92.04 ERROR 3.46/3.49
From_T2/bf11.t2_fixed.smt2 11762027 YES 110.75/103.80 YES 8.07/8.14 ERROR 1.54/1.59
From_T2/bf6.t2.smt2 11762028 YES 156.67/146.97 YES 8.59/8.62 ERROR 1.56/1.58
From_T2/java_TimesPlusUserDef.c.t2.smt2 11762029 YES 35.76/33.26 YES 6.01/6.06 ERROR 0.31/0.31
From_T2/n-3.t2.smt2 11762030 i MAYBE 7.92/7.72 NO 2.42/2.42 NO 0.13/0.13
From_T2/array_free.t2.smt2 11762031 YES 1.98/1.90 YES 2.04/2.09 ERROR 0.07/0.13
From_T2/n-7.t2.smt2 11762032 i MAYBE 9.26/8.68 NO 2.99/3.04 NO 0.07/0.12
From_T2/dummy.t2.smt2 11762033 i MAYBE 1.40/1.36 NO 1.46/1.51 NO 0.09/0.13
From_T2/neg-e-smagill-succeed.t2.smt2 11762034 i MAYBE 5.30/5.09 NO 3.52/3.56 NO 0.66/0.68
From_T2/broydn.t2.smt2 11762035 is timeout (wallclock) YES 235.79/235.88 ERROR 29.59/29.52
From_T2/p-55.t2.smt2 11762036 YES 22.25/20.74 YES 3.68/3.75 ERROR 0.57/0.61
From_T2/destroy_seg_leak.t2_fixed.smt2 11762037 i timeout (wallclock) NO 162.57/162.65 NO 1.65/1.71
From_T2/n-16a.t2.smt2 11762038 i MAYBE 1.90/1.83 NO 1.60/1.66 NO 0.10/0.16
From_T2/s4.t2.smt2 11762039 u timeout (wallclock) MAYBE 299.38/299.05 timeout (wallclock)
From_T2/fibcall.t2_fixed.smt2 11762040 YES 13.68/12.79 YES 2.10/2.15 ERROR 0.54/0.60
From_T2/zlib-crc32.c.t2.smt2 11762041 i MAYBE 55.65/52.23 NO 6.82/6.86 NO 0.27/0.30
From_T2/example.t2.smt2 11762042 is MAYBE 2.26/2.13 YES 1.30/1.36 ERROR 0.14/0.20
From_T2/zlib-crc32.c.t2_fixed.smt2 11762043 YES 38.77/36.18 YES 4.81/4.82 ERROR 0.15/0.20
From_T2/n-36.t2_fixed.smt2 11762044 i timeout (wallclock) NO 18.85/18.88 NO 0.24/0.29
From_T2/neg-e-acqrel-fail.t2.smt2 11762045 i MAYBE 5.94/5.60 NO 3.03/3.09 NO 0.11/0.17
From_T2/p-19a.t2.smt2 11762046 i MAYBE 20.02/19.19 NO 2.32/2.37 NO 0.04/0.10
From_T2/slayer-1-rf.t2.smt2 11762047 is timeout (wallclock) YES 19.18/19.24 ERROR 0.57/0.63
From_T2/rev_nt3.t2_fixed.smt2 11762048 i timeout (wallclock) NO 24.81/24.88 NO 0.54/0.61
From_T2/st88.t2_fixed.smt2 11762049 i MAYBE 8.39/7.85 NO 194.71/194.80 NO 0.42/0.45
From_T2/java_Factorial.c.t2.smt2 11762050 YES 2.21/2.11 YES 2.06/2.10 ERROR 0.06/0.09
From_T2/pearl-necklace.t2.smt2 11762051 YES 13.96/13.03 YES 3.08/3.08 ERROR 0.17/0.17
From_T2/jfdctint.c.t2.smt2 11762052 YES 34.61/32.62 YES 4.95/5.06 ERROR 0.18/0.25
From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 11762053 is timeout (wallclock) YES 11.09/11.12 ERROR 3.38/3.34
From_T2/wtf.t2.smt2 11762054 is MAYBE 276.48/264.97 YES 24.28/24.62 ERROR 16.00/15.90
From_T2/java_Nested.c.t2.smt2 11762055 YES 39.69/38.49 YES 4.12/4.18 ERROR 0.50/0.53
From_T2/eric2.t2.smt2 11762056 is timeout (wallclock) YES 36.03/36.10 ERROR 16.36/16.32
From_T2/1394complete-succeed.t2_fixed.smt2 11762057 i timeout (wallclock) NO 84.94/85.01 NO 3.14/3.17
From_T2/jfdctint.c.t2_fixed.smt2 11762058 YES 20.49/19.24 YES 4.39/4.46 ERROR 0.17/0.22
From_T2/small34.t2.smt2 11762059 YES 0.14/0.16 YES 1.11/1.13 ERROR 0.04/0.07
From_T2/n-1d.t2.smt2 11762060 i MAYBE 17.75/16.66 NO 3.19/3.23 NO 0.14/0.17
From_T2/zeroconf.t2.smt2 11762061 u timeout (wallclock) MAYBE 298.96/299.05 ERROR 29.93/29.66
From_T2/consts4nt.t2_fixed.smt2 11762062 i MAYBE 0.41/0.43 NO 9.21/9.31 NO 0.03/0.08
From_T2/ex16.t2_fixed.smt2 11762063 i MAYBE 114.73/107.65 NO 15.26/15.32 NO 0.34/0.40
From_T2/two_arrays1.t2.smt2 11762064 YES 137.73/135.64 YES 10.02/10.09 ERROR 0.37/0.41
From_T2/simpleWhile.t2.smt2 11762065 YES 6.81/6.43 YES 3.48/3.52 ERROR 0.13/0.19
From_T2/array2.t2_fixed.smt2 11762066 YES 0.94/0.94 YES 1.33/1.39 ERROR 0.04/0.10
From_T2/nested2.t2_fixed.smt2 11762067 YES 19.81/20.26 YES 2.15/2.21 ERROR 0.08/0.13
From_T2/fun8.t2.smt2 11762068 is timeout (wallclock) YES 16.30/16.36 ERROR 0.44/0.59
From_T2/heidy10.t2.smt2 11762069 YES 1.16/1.13 YES 1.92/1.97 ERROR 0.15/0.19
From_T2/queue_1000.t2_fixed.smt2 11762070 YES 14.45/13.91 YES 6.31/6.37 ERROR 0.20/0.26
From_T2/fdct.t2.smt2 11762071 is timeout (wallclock) YES 5.98/6.03 ERROR 0.17/0.23
From_T2/small17.t2.smt2 11762072 is MAYBE 0.58/0.61 MAYBE 24.61/26.17 NO 0.17/0.22
From_T2/apchildlive-succeed.t2.smt2 11762073 is timeout (wallclock) MAYBE 299.07/299.07 NO 10.02/10.03
From_T2/weakness.t2.smt2 11762074 is MAYBE 2.87/2.71 YES 1.47/1.53 ERROR 0.41/0.46
From_T2/simple_test2.t2.smt2 11762075 i MAYBE 0.94/1.42 NO 1.44/1.49 NO 0.03/0.08
From_T2/consts2.t2.smt2 11762076 i MAYBE 0.91/0.91 NO 1.41/1.46 NO 0.11/0.15
From_T2/p-46.t2_fixed.smt2 11762077 is MAYBE 36.43/33.99 MAYBE 300.54/299.05 NO 2.15/2.21
From_T2/oct_vs_subpoly.t2.smt2 11762078 i MAYBE 0.48/0.52 NO 1.57/1.62 NO 0.02/0.07
From_T2/print.t2.smt2 11762079 is timeout (wallclock) YES 50.58/50.58 ERROR 2.53/2.53
From_T2/w2_nt.t2.smt2 11762080 i MAYBE 273.49/257.17 NO 14.60/14.61 NO 0.25/0.26
From_T2/florian.t2.smt2 11762081 YES 0.12/0.12 YES 1.04/1.04 ERROR 0.04/0.08
From_T2/java_MinusMin.c.t2.smt2 11762082 YES 15.61/14.71 YES 2.76/2.81 ERROR 0.09/0.12
From_T2/queue_100.t2.smt2 11762083 YES 27.31/25.49 YES 6.74/6.81 ERROR 0.24/0.29
From_T2/small13.t2.smt2 11762084 is MAYBE 2.01/1.93 YES 1.56/1.56 ERROR 0.14/0.17
From_T2/fun4.t2.smt2 11762085 i MAYBE 12.96/12.34 NO 5.79/5.83 NO 3.41/3.45
From_T2/bf13.t2_fixed.smt2 11762086 YES 113.84/106.42 YES 8.16/8.21 ERROR 1.51/1.56
From_T2/zlib-adler32.c.t2.smt2 11762087 i MAYBE 290.17/273.65 NO 24.65/24.70 NO 2.04/2.06
From_T2/consts4.t2_fixed.smt2 11762088 YES 0.13/0.15 YES 1.13/1.18 ERROR 0.05/0.08
From_T2/neg-pgarch-succeed.t2_fixed.smt2 11762089 i MAYBE 35.56/33.48 NO 6.61/6.68 NO 0.18/0.24
From_T2/polyrank3.t2.smt2 11762090 u MAYBE 3.34/3.16 MAYBE 299.16/299.06 ERROR 0.98/1.03
From_T2/nested.t2.smt2 11762091 YES 30.75/28.66 YES 2.39/2.45 ERROR 0.14/0.15
From_T2/neg-1394complete-fail.t2_fixed.smt2 11762092 i timeout (wallclock) NO 84.35/84.41 NO 3.10/3.13
From_T2/whatwhat.t2.smt2 11762093 is MAYBE 1.06/1.03 YES 1.17/1.21 ERROR 0.09/0.09
From_T2/ex23.t2.smt2 11762094 YES 4.48/4.20 YES 1.67/1.68 ERROR 0.06/0.06
From_T2/fun10.t2.smt2 11762095 i timeout (wallclock) NO 220.25/220.31 NO 5.60/5.64
From_T2/ex27.t2.smt2 11762096 is timeout (wallclock) YES 45.17/45.23 ERROR 1.20/1.25
From_T2/neg-1394complete-succeed.t2.smt2 11762097 i timeout (wallclock) NO 84.48/84.54 NO 3.09/3.11
From_T2/armc-difficult_k.t2.smt2 11762098 is MAYBE 40.91/39.28 YES 2.66/2.70 ERROR 0.62/0.62
From_T2/jacobi.t2.smt2 11762099 is timeout (wallclock) YES 16.01/16.07 ERROR 9.53/9.55
From_T2/polyrank7.t2.smt2 11762100 i MAYBE 4.09/3.87 NO 2.26/2.31 NO 0.16/0.66
From_T2/select.t2.smt2 11762101 is timeout (wallclock) MAYBE 298.97/299.04 NO 6.49/6.49
From_T2/bf5.t2_fixed.smt2 11762102 YES 103.58/96.62 YES 7.20/7.29 ERROR 1.55/1.61
From_T2/sas2.t2.smt2 11762103 u timeout (wallclock) MAYBE 298.99/299.08 ERROR 3.25/3.30
From_T2/reverse_seg_cyclic.t2.smt2 11762104 is timeout (wallclock) YES 43.03/43.07 ERROR 1.37/1.42
From_T2/neg-pgarch-succeed.t2.smt2 11762105 i MAYBE 41.03/38.33 NO 6.99/7.05 NO 0.18/0.24
From_T2/fun2b.t2.smt2 11762106 is timeout (wallclock) YES 34.66/34.71 MAYBE 254.35/254.03
From_T2/p-13.t2.smt2 11762107 YES 0.01/0.03 YES 0.99/1.06 ERROR 0.00/0.03
From_T2/constants.t2.smt2 11762108 YES 16.55/15.51 YES 2.41/2.46 ERROR 0.56/0.63
From_T2/simple_swap_call.t2.smt2 11762109 YES 0.07/0.09 YES 1.25/1.29 ERROR 0.00/0.06
From_T2/neg-e-acqrel-succeed.t2_fixed.smt2 11762110 i MAYBE 3.78/3.56 NO 2.90/2.97 NO 0.08/0.20
From_T2/nested2.t2.smt2 11762111 YES 26.43/24.76 YES 2.31/2.36 ERROR 0.16/0.18
From_T2/hand7.t2.smt2 11762112 i MAYBE 0.74/0.73 NO 9.45/9.52 NO 0.05/0.11
From_T2/bf7.t2.smt2 11762113 YES 141.35/131.69 YES 10.84/10.87 ERROR 1.56/1.61
From_T2/p-43.t2_fixed.smt2 11762114 is MAYBE 11.65/10.92 YES 14.03/14.08 ERROR 0.94/0.99
From_T2/rev_nt4.t2.smt2 11762115 YES 0.01/0.04 YES 1.02/1.08 ERROR 0.00/0.07
From_T2/fake-succeed.t2_fixed.smt2 11762116 i timeout (wallclock) NO 160.84/160.92 NO 10.63/10.66
From_T2/n-9.t2_fixed.smt2 11762117 i MAYBE 51.06/47.97 NO 9.05/9.11 NO 0.70/0.74
From_T2/defect.t2.smt2 11762118 i MAYBE 0.04/0.09 NO 1.17/1.24 NO 0.02/0.08
From_T2/n-6.t2.smt2 11762119 i MAYBE 12.66/11.84 NO 3.98/4.05 NO 0.25/0.31
From_T2/n-8a.t2.smt2 11762120 i MAYBE 8.70/8.20 NO 2.08/2.11 NO 0.04/0.08
From_T2/bf16.t2_fixed.smt2 11762121 YES 112.29/105.14 YES 8.17/8.22 ERROR 1.52/1.57
From_T2/p-36.t2_fixed.smt2 11762122 i timeout (wallclock) NO 5.80/5.82 NO 0.12/0.17
From_T2/p-38.t2.smt2 11762123 YES 0.35/0.39 YES 2.64/2.68 ERROR 0.02/0.07
From_T2/consts1.t2_fixed.smt2 11762124 is MAYBE 1.21/1.18 YES 21.21/21.32 ERROR 0.06/0.12
From_T2/agafp.t2_fixed.smt2 11762125 is timeout (wallclock) MAYBE 298.95/299.05 NO 22.41/22.46
From_T2/e-popl07-succeed.t2.smt2 11762126 i MAYBE 102.59/95.80 NO 10.70/10.76 NO 0.30/0.33
From_T2/fourn.t2.smt2 11762127 i timeout (wallclock) NO 180.98/181.05 NO 66.01/65.89
From_T2/p-34.t2.smt2 11762128 i timeout (wallclock) NO 26.31/26.38 NO 0.31/0.37
From_T2/e-1394-succeed.t2_fixed.smt2 11762129 i timeout (wallclock) NO 72.84/72.88 NO 3.38/3.40
From_T2/s3.t2_fixed.smt2 11762130 u timeout (wallclock) MAYBE 299.02/299.06 ERROR 255.58/278.69
From_T2/apchild-accepted-fail.t2.smt2 11762131 is timeout (wallclock) MAYBE 298.85/299.01 NO 7.44/7.42
From_T2/create_via_tmps.t2.smt2 11762132 is timeout (wallclock) YES 13.49/13.55 ERROR 0.53/0.57
From_T2/apchild-live.t2.smt2 11762133 is timeout (wallclock) MAYBE 298.98/299.04 NO 10.43/10.45
From_T2/n-14.t2_fixed.smt2 11762134 i MAYBE 4.50/4.29 NO 3.14/3.19 NO 0.27/0.28
From_T2/iecs.t2.smt2 11762135 is MAYBE 0.96/0.94 YES 1.18/1.22 ERROR 0.11/0.16
From_T2/janne_complex.t2.smt2 11762136 is MAYBE 109.48/102.41 MAYBE 298.96/299.05 NO 25.19/25.14
From_T2/e-1394complete-fail.t2.smt2 11762137 i timeout (wallclock) NO 76.27/76.32 NO 2.86/2.89
From_T2/sort.t2_fixed.smt2 11762138 is timeout (wallclock) YES 40.95/41.03 ERROR 1.46/1.50
From_T2/fuhs-inflasso.t2.smt2 11762139 YES 7.48/7.03 YES 1.77/1.83 ERROR 0.67/0.72
From_T2/loop_on_input.t2.smt2 11762140 YES 2.58/2.45 YES 1.62/1.67 ERROR 0.08/0.16
From_T2/ex3.t2.smt2 11762141 YES 3.03/2.88 YES 2.01/2.08 ERROR 0.07/0.12
From_T2/refine_disj_problem.t2.smt2 11762142 i MAYBE 2.72/2.58 NO 2.29/2.35 NO 0.11/0.16
From_T2/consts5nt.t2_fixed.smt2 11762143 i MAYBE 1.24/1.21 NO 9.57/9.63 NO 0.04/0.11
From_T2/ex36.t2.smt2 11762144 is timeout (wallclock) MAYBE 298.97/299.07 NO 23.97/23.92
From_T2/bio.t2.smt2 11762145 u timeout (wallclock) MAYBE 299.00/299.06 ERROR 253.76/254.61
From_T2/n-6.t2_fixed.smt2 11762146 i MAYBE 9.62/9.13 NO 4.92/4.98 NO 1.47/1.53
From_T2/st88b-fail.t2.smt2 11762147 i MAYBE 13.20/12.34 NO 9.13/9.15 NO 1.70/1.74
From_T2/java_DivMinus1.c.t2.smt2 11762148 YES 17.09/16.19 YES 2.76/2.83 ERROR 0.18/0.20
From_T2/ex32.t2.smt2 11762149 YES 7.72/7.28 YES 2.76/2.80 ERROR 0.09/0.15
From_T2/slayer-n1.t2.smt2 11762150 i timeout (wallclock) NO 71.60/71.64 NO 0.47/0.51
From_T2/apchild-accepted.t2_fixed.smt2 11762151 i timeout (wallclock) NO 273.61/273.69 NO 6.39/6.44
From_T2/bf19.t2_fixed.smt2 11762152 YES 86.73/80.61 YES 8.08/8.16 ERROR 1.52/1.56
From_T2/armc-difficult_defect.t2.smt2 11762153 is MAYBE 1.92/1.84 YES 1.29/1.34 ERROR 0.06/0.11
From_T2/ex7.t2.smt2 11762154 YES 6.85/6.48 YES 1.61/1.67 ERROR 0.05/0.11
From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 11762155 i timeout (wallclock) NO 109.27/109.34 NO 66.76/66.65
From_T2/eric.t2.smt2 11762156 is MAYBE 20.04/18.80 YES 8.08/8.56 ERROR 2.03/2.09
From_T2/java_AProVEMathRecursive.c.t2.smt2 11762157 is MAYBE 41.23/38.60 YES 67.53/67.61 ERROR 1.28/1.36
From_T2/traverse2.t2_fixed.smt2 11762158 is timeout (wallclock) YES 75.53/75.56 ERROR 2.95/3.00
From_T2/e-smagill-succeed.t2.smt2 11762159 is MAYBE 4.12/3.86 MAYBE 51.18/52.21 NO 0.64/0.64
From_T2/polling.t2.smt2 11762160 i timeout (wallclock) NO 42.18/42.24 NO 7.08/7.06
From_T2/firewire.t2.smt2 11762161 u MAYBE 189.67/181.59 MAYBE 298.99/299.09 ERROR 33.78/33.42
From_T2/afagx1.t2.smt2 11762162 i MAYBE 0.71/0.73 NO 2.17/2.24 NO 0.08/0.15
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 11762163 is timeout (wallclock) YES 103.05/103.15 ERROR 21.62/21.58
From_T2/selectSort.t2.smt2 11762164 YES 89.61/83.59 YES 6.63/6.63 ERROR 0.34/0.37
From_T2/fun6.t2_fixed.smt2 11762165 is timeout (wallclock) MAYBE 298.97/299.00 NO 54.44/54.16
From_T2/array2.t2.smt2 11762166 YES 1.81/1.70 YES 1.39/1.39 ERROR 0.05/0.05
From_T2/n-15a.t2_fixed.smt2 11762167 i MAYBE 3.80/3.57 NO 3.89/3.89 NO 0.23/0.23
From_T2/p-21.t2.smt2 11762168 YES 16.04/14.91 YES 1.96/2.06 ERROR 0.17/0.17
From_T2/cfg.t2.smt2 11762169 i MAYBE 5.33/5.00 NO 2.04/2.05 NO 0.70/0.77
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2 11762170 u timeout (wallclock) MAYBE 298.99/299.06 ERROR 17.81/17.79
From_T2/ex19.t2.smt2 11762171 i MAYBE 10.43/9.86 NO 4.00/4.06 NO 0.13/0.18
From_T2/java_AProVEMath.c.t2.smt2 11762172 is MAYBE 50.76/47.45 YES 7.03/7.09 ERROR 1.07/1.11
From_T2/ex4.t2_fixed.smt2 11762173 YES 38.58/36.01 YES 4.91/5.00 ERROR 0.23/0.29
From_T2/p-1c.t2.smt2 11762174 i MAYBE 15.71/15.16 NO 1.76/1.78 NO 0.04/0.09
From_T2/ex11.t2.smt2 11762175 is MAYBE 5.57/5.28 MAYBE 258.16/258.37 NO 0.36/0.42
From_T2/graycode.t2.smt2 11762176 is timeout (wallclock) YES 34.69/34.75 ERROR 2.14/2.17
From_T2/dsa_test13.t2.smt2 11762177 YES 0.01/0.08 YES 0.88/1.24 ERROR 0.00/0.07
From_T2/heidy8.t2.smt2 11762178 i MAYBE 7.46/7.08 NO 3.32/3.39 NO 0.18/0.24
From_T2/florian_new_ex.t2.smt2 11762179 is MAYBE 57.35/53.75 YES 12.96/13.57 ERROR 0.76/0.80
From_T2/ex20.t2_fixed.smt2 11762180 YES 4.81/4.53 YES 2.63/2.72 ERROR 0.06/0.12
From_T2/ex15.t2.smt2 11762181 YES 0.01/0.08 YES 0.93/0.99 ERROR 0.00/0.07
From_T2/p-4.t2.smt2 11762182 YES 12.68/11.94 YES 1.90/1.96 ERROR 0.19/0.25
From_T2/Prim_5.t2.smt2 11762183 is timeout (wallclock) MAYBE 298.97/299.06 NO 2.09/2.14
From_T2/spctrm.t2.smt2 11762184 is timeout (wallclock) YES 117.07/117.13 ERROR 10.78/10.74
From_T2/simple_test.t2.smt2 11762185 YES 5.80/5.50 YES 2.67/2.74 ERROR 0.18/0.22
From_T2/destroy.t2_fixed.smt2 11762186 is timeout (wallclock) YES 17.61/17.65 ERROR 1.11/1.15
From_T2/dsa_test8.t2.smt2 11762187 YES 0.01/0.06 YES 0.91/0.96 ERROR 0.00/0.06
From_T2/rewrite.t2.smt2 11762188 i MAYBE 0.70/0.71 NO 1.43/1.47 NO 0.03/0.09
From_T2/fibcall.t2.smt2 11762189 YES 16.85/15.91 YES 2.29/2.34 ERROR 0.54/0.59
From_T2/bitcount16.t2.smt2 11762190 is MAYBE 54.86/51.09 YES 2.92/2.98 ERROR 0.48/0.52
From_T2/insertsort.t2_fixed.smt2 11762191 i MAYBE 4.59/4.30 NO 2.47/2.51 NO 0.14/0.19
From_T2/small21.t2.smt2 11762192 YES 3.40/3.25 YES 1.57/1.60 ERROR 0.09/0.11
From_T2/p-7b.t2.smt2 11762193 YES 5.09/4.78 YES 1.54/1.60 ERROR 0.06/0.10
From_T2/simple_control_on_input.t2.smt2 11762194 YES 1.02/1.07 YES 1.68/1.75 ERROR 0.06/0.13
From_T2/p-40.t2.smt2 11762195 YES 8.07/7.57 YES 1.86/1.92 ERROR 0.06/0.13
From_T2/randomwalk_withassume.t2.smt2 11762196 is MAYBE 52.73/49.27 YES 17.38/17.42 ERROR 4.86/4.86
From_T2/bf13.t2.smt2 11762197 YES 147.84/139.26 YES 8.52/8.59 ERROR 1.54/1.59
From_T2/pgarch.t2_fixed.smt2 11762198 is timeout (wallclock) MAYBE 298.98/299.07 NO 49.07/49.09
From_T2/n-33.t2.smt2 11762199 i MAYBE 28.02/26.36 NO 9.98/10.02 NO 1.51/1.52
From_T2/byron-4.t2.smt2 11762200 i MAYBE 31.17/29.18 NO 22.12/22.21 NO 0.07/0.13
From_T2/reverse_div4.t2_fixed.smt2 11762201 i timeout (wallclock) NO 76.09/76.16 NO 1.17/1.22
From_T2/5.t2.smt2 11762202 YES 0.01/0.06 YES 0.86/0.86 ERROR 0.00/0.03
From_T2/small29.t2.smt2 11762203 i MAYBE 1.27/1.23 NO 1.39/1.45 NO 0.04/0.08
From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 11762204 i MAYBE 81.06/75.94 NO 105.55/105.68 NO 0.85/0.89
From_T2/curious4.t2.smt2 11762205 is timeout (wallclock) MAYBE 298.96/299.05 NO 8.54/8.56
From_T2/p-8.t2.smt2 11762206 i MAYBE 7.72/7.33 NO 2.00/2.05 NO 0.04/0.10
From_T2/ctl.t2_fixed.smt2 11762207 i MAYBE 4.41/4.21 NO 7.56/7.60 NO 0.11/0.15
From_T2/java_Ackermann.c.t2.smt2 11762208 is MAYBE 36.67/34.29 YES 29.72/29.77 ERROR 0.40/0.44
From_T2/232.t2.smt2 11762209 YES 2.79/2.66 YES 1.56/1.59 ERROR 0.08/0.13
From_T2/spiral.t2.smt2 11762210 is MAYBE 24.92/23.72 YES 17.33/17.38 ERROR 0.49/0.52
From_T2/p-44.t2.smt2 11762211 YES 0.82/0.81 YES 1.50/1.56 ERROR 0.55/0.56
From_T2/bf17.t2.smt2 11762212 YES 137.47/128.76 YES 8.78/8.83 ERROR 1.55/1.59
From_T2/1.t2.smt2 11762213 i MAYBE 94.10/88.30 NO 11.60/11.64 NO 0.16/0.22
From_T2/l1.t2.smt2 11762214 i MAYBE 2.31/2.22 NO 1.72/1.76 NO 0.14/0.19
From_T2/n-37.t2.smt2 11762215 i MAYBE 7.57/7.47 NO 2.56/2.63 NO 0.03/0.07
From_T2/print.t2_fixed.smt2 11762216 is timeout (wallclock) YES 53.50/53.56 ERROR 2.68/2.71
From_T2/neg-acqrel-fail.t2.smt2 11762217 i MAYBE 4.24/4.04 NO 2.90/2.95 NO 0.31/0.37
From_T2/small02.t2.smt2 11762218 i MAYBE 3.93/3.73 NO 2.71/2.78 NO 0.03/0.09
From_T2/n-18.t2.smt2 11762219 i MAYBE 0.89/0.88 NO 8.91/8.98 NO 0.03/0.08
From_T2/p-61.t2_fixed.smt2 11762220 YES 2.62/2.52 YES 1.57/1.63 ERROR 0.06/0.13
From_T2/efegp.t2.smt2 11762221 is timeout (wallclock) MAYBE 298.96/299.02 NO 3.08/3.11
From_T2/reverse.t2_fixed.smt2 11762222 is timeout (wallclock) YES 101.36/101.43 ERROR 3.38/3.42
From_T2/java_Sequence.c.t2.smt2 11762223 YES 29.45/27.60 YES 3.77/3.82 ERROR 0.14/0.18
From_T2/db2.t2_fixed.smt2 11762224 is timeout (wallclock) MAYBE 298.97/299.05 NO 108.26/108.22
From_T2/e-st88b-fail.t2.smt2 11762225 i MAYBE 2.86/2.72 NO 3.76/3.94 NO 2.12/2.15
From_T2/neg-e-popl07-succeed.t2.smt2 11762226 i MAYBE 97.26/91.09 NO 11.98/12.05 NO 0.44/0.58
From_T2/small06.t2.smt2 11762227 YES 2.61/2.49 YES 2.25/2.30 ERROR 0.18/0.23
From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 11762228 i timeout (wallclock) NO 109.15/109.20 NO 105.20/105.07
From_T2/java_Break.c.t2.smt2 11762229 YES 3.20/3.36 YES 2.09/2.13 ERROR 0.07/0.12
From_T2/n-14.t2.smt2 11762230 i MAYBE 11.31/10.58 NO 2.59/2.64 NO 0.12/0.17
From_T2/java_DivMinus2.c.t2.smt2 11762231 is timeout (wallclock) YES 72.19/72.22 ERROR 1.94/1.97
From_T2/e-popl07-fail.t2.smt2 11762232 i MAYBE 111.30/104.32 NO 13.09/13.14 NO 0.45/0.50
From_T2/ex31.t2_fixed.smt2 11762233 i MAYBE 1.50/1.77 NO 2.17/2.24 NO 0.26/0.29
From_T2/wrong_loop.t2.smt2 11762234 i MAYBE 12.52/11.74 NO 5.95/6.01 NO 0.86/0.93
From_T2/svdcmp.t2_fixed.smt2 11762235 u timeout (wallclock) MAYBE 298.95/299.04 ERROR 337.24/298.99
From_T2/bf20.t2_fixed.smt2 11762236 YES 86.63/80.67 YES 8.24/8.30 ERROR 1.51/1.54
From_T2/p-63.t2.smt2 11762237 is MAYBE 8.43/7.91 YES 1.82/1.84 ERROR 0.10/0.14
From_T2/n-10.t2.smt2 11762238 i MAYBE 70.11/66.46 NO 8.49/8.55 NO 0.19/0.23
From_T2/slayer-n3-filtered.t2_fixed.smt2 11762239 is timeout (wallclock) YES 10.43/10.50 ERROR 0.08/0.13
From_T2/e-acqrel-succeed.t2_fixed.smt2 11762240 i MAYBE 3.80/3.59 NO 2.82/2.88 NO 0.11/0.19
From_T2/neg-popl07-fail.t2_fixed.smt2 11762241 i MAYBE 106.32/99.74 NO 10.66/10.72 NO 0.30/0.36
From_T2/small19.t2.smt2 11762242 is MAYBE 4.15/3.95 YES 1.68/1.76 ERROR 0.14/0.20
From_T2/simple_pre.t2.smt2 11762243 YES 0.01/0.07 YES 0.92/0.96 ERROR 0.00/0.05
From_T2/prime.t2_fixed.smt2 11762244 i MAYBE 304.47/286.16 NO 35.24/35.29 NO 0.33/0.38
From_T2/s1-striped.t2.smt2 11762245 is timeout (wallclock) MAYBE 298.95/299.06 NO 23.27/23.29
From_T2/java_Double3.c.t2.smt2 11762246 YES 22.21/20.80 YES 4.63/4.64 ERROR 0.15/0.20
From_T2/ns.t2_fixed.smt2 11762247 YES 82.99/77.43 YES 13.55/13.63 ERROR 0.18/0.21
From_T2/neg-1394complete-succeed.t2_fixed.smt2 11762248 i timeout (wallclock) NO 83.87/83.90 NO 3.14/3.17
From_T2/neg-pgarch-fail.t2.smt2 11762249 i MAYBE 41.07/38.37 NO 6.92/6.97 NO 0.18/0.19
From_T2/java_Avg.c.t2.smt2 11762250 is MAYBE 20.50/19.18 YES 88.23/88.32 ERROR 0.30/0.30
From_T2/ppblockterm.t2.smt2 11762251 i MAYBE 47.81/45.20 NO 9.58/9.58 NO 0.33/0.33
From_T2/vmcai_bytes.t2.smt2 11762252 YES 0.01/0.02 YES 0.87/0.92 ERROR 0.00/0.04
From_T2/sort.t2.smt2 11762253 is timeout (wallclock) YES 29.16/29.21 ERROR 1.54/1.64
From_T2/smagillc-succeed.t2.smt2 11762254 is MAYBE 5.59/5.27 MAYBE 60.73/60.91 NO 0.71/0.76
From_T2/tqli.t2_fixed.smt2 11762255 is timeout (wallclock) MAYBE 298.96/299.04 NO 4.21/4.25
From_T2/traverse_twice.t2_fixed.smt2 11762256 is timeout (wallclock) YES 85.75/85.82 ERROR 3.01/3.06
From_T2/neg-e-1394-succeed.t2.smt2 11762257 i timeout (wallclock) NO 74.79/74.82 NO 4.10/4.12
From_T2/ax_test_3.t2.smt2 11762258 i MAYBE 0.23/0.25 NO 1.62/1.66 NO 0.03/0.08
From_T2/fun2.t2.smt2 11762259 is timeout (wallclock) YES 34.39/34.45 MAYBE 254.16/253.45
From_T2/small15.t2.smt2 11762260 i MAYBE 2.97/2.84 NO 1.96/2.01 NO 0.27/0.30
From_T2/florian_pldi.t2.smt2 11762261 YES 27.04/25.39 YES 3.43/3.51 ERROR 0.39/0.42
From_T2/slayer-3-new.t2_fixed.smt2 11762262 is timeout (wallclock) MAYBE 298.98/299.04 NO 74.59/74.51
From_T2/broydn.t2_fixed.smt2 11762263 is timeout (wallclock) YES 221.16/221.23 ERROR 18.34/18.27
From_T2/n-10.t2_fixed.smt2 11762264 i MAYBE 67.02/62.97 NO 10.70/10.76 NO 0.40/0.44
From_T2/elmhes.t2.smt2 11762265 is timeout (wallclock) YES 11.83/11.88 ERROR 4.06/4.07
From_T2/ex18.t2_fixed.smt2 11762266 is MAYBE 19.16/17.94 YES 26.09/26.22 ERROR 0.12/0.16
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 11762267 u timeout (wallclock) MAYBE 298.95/299.05 ERROR 337.11/300.01
From_T2/bakery.t2.smt2 11762268 i MAYBE 163.14/152.39 NO 34.18/34.22 NO 14.68/14.63
From_T2/consts4.t2.smt2 11762269 i MAYBE 1.78/1.70 NO 1.57/1.60 NO 0.12/0.16
From_T2/n-3a.t2.smt2 11762270 i MAYBE 122.41/114.03 NO 7.79/7.83 NO 0.28/0.32
From_T2/apchildlive-succeed.t2_fixed.smt2 11762271 is timeout (wallclock) MAYBE 299.06/299.07 NO 9.58/9.57
From_T2/fun6.t2.smt2 11762272 i timeout (wallclock) NO 294.63/294.64 NO 32.80/32.57
From_T2/small11.t2.smt2 11762273 i MAYBE 0.07/0.11 NO 1.43/1.45 NO 0.17/0.18
From_T2/ex40.t2.smt2 11762274 i MAYBE 1.12/1.10 NO 3.02/3.07 NO 0.03/0.09
From_T2/nakata.t2.smt2 11762275 u timeout (wallclock) MAYBE 298.97/299.00 ERROR 5.48/5.49
From_T2/randomwalk.t2.smt2 11762276 is MAYBE 45.86/43.29 YES 60.24/60.30 ERROR 3.23/3.21
From_T2/p-60.t2_fixed.smt2 11762277 YES 5.19/4.98 YES 1.66/1.70 ERROR 0.07/0.11
From_T2/neg-popl07-succeed.t2_fixed.smt2 11762278 i MAYBE 105.75/99.25 NO 11.75/11.79 NO 0.34/0.58
From_T2/consts3nt.t2_fixed.smt2 11762279 i MAYBE 0.36/0.41 NO 8.48/8.55 NO 0.03/0.09
From_T2/db3.t2_fixed.smt2 11762280 is timeout (wallclock) MAYBE 299.00/299.07 NO 108.11/108.09
From_T2/s2.t2.smt2 11762281 YES 7.30/6.91 YES 1.54/1.60 ERROR 0.06/0.12
From_T2/disj_nightmare.t2_fixed.smt2 11762282 u timeout (wallclock) MAYBE 298.99/299.05 ERROR 2.18/2.23
From_T2/java_Double2.c.t2.smt2 11762283 YES 14.88/13.90 YES 3.75/3.81 ERROR 0.13/0.19
From_T2/p-53.t2.smt2 11762284 YES 0.07/0.13 YES 1.22/1.26 ERROR 0.00/0.05
From_T2/n-20.t2.smt2 11762285 i MAYBE 23.35/21.80 NO 3.28/3.34 NO 0.06/0.12
From_T2/java_AG313.c.t2.smt2 11762286 YES 14.82/13.84 YES 3.02/3.09 ERROR 0.20/0.26
From_T2/small32.t2.smt2 11762287 YES 0.01/0.02 YES 1.00/1.02 ERROR 0.01/0.02
From_T2/fun2.t2_fixed.smt2 11762288 is MAYBE 292.80/281.81 YES 24.50/24.52 ERROR 17.40/17.29
From_T2/heidy8.t2_fixed.smt2 11762289 i MAYBE 6.91/6.49 NO 3.30/3.30 NO 0.18/0.18
From_T2/dead.neg-st88b-succeed.t2.smt2 11762290 i MAYBE 20.91/19.56 NO 11.32/11.33 NO 2.14/2.13
From_T2/neg-e-acqrel-fail.t2_fixed.smt2 11762291 i MAYBE 5.58/5.54 NO 3.06/3.10 NO 0.11/0.14
From_T2/simple.t2.smt2 11762292 i MAYBE 0.72/0.67 NO 1.77/1.77 NO 0.16/0.16
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 11762293 is timeout (wallclock) YES 111.21/111.23 ERROR 21.24/21.13
From_T2/bf5.t2.smt2 11762294 YES 119.64/112.78 YES 8.87/8.87 ERROR 1.53/1.52
From_T2/java_Double1.c.t2.smt2 11762295 is MAYBE 16.08/15.51 YES 9.66/9.72 ERROR 0.15/0.15
From_T2/n-4.t2.smt2 11762296 i MAYBE 161.21/157.32 NO 10.18/10.19 NO 0.32/0.32
From_T2/rev_nt2.t2.smt2 11762297 i timeout (wallclock) NO 17.25/17.30 NO 0.28/0.28
From_T2/create.t2.smt2 11762298 YES 41.60/39.23 YES 2.79/2.79 ERROR 0.10/0.11
From_T2/java_NestedLoop.c.t2.smt2 11762299 YES 211.62/198.28 YES 21.58/21.58 ERROR 0.76/0.80
From_T2/fun1b.t2_fixed.smt2 11762300 is timeout (wallclock) MAYBE 299.01/299.05 NO 21.97/21.80
From_T2/afagp-fail.t2_fixed.smt2 11762301 is timeout (wallclock) MAYBE 298.97/299.01 NO 7.46/7.44
From_T2/dropbuf-live.t2.smt2 11762302 YES 0.01/0.02 YES 0.94/0.95 ERROR 0.00/0.01
From_T2/bf9.t2.smt2 11762303 YES 141.90/132.60 YES 9.31/9.31 ERROR 1.56/1.55
From_T2/simple_pre2.t2.smt2 11762304 YES 0.01/0.02 YES 0.91/0.91 ERROR 0.00/0.01
From_T2/armc-difficult_foo2.t2.smt2 11762305 YES 0.01/0.02 YES 0.79/0.81 ERROR 0.00/0.01
From_T2/java_DivWithoutMinus.c.t2.smt2 11762306 YES 132.11/125.42 YES 53.33/53.33 ERROR 0.63/0.63
From_T2/n-7.t2_fixed.smt2 11762307 i MAYBE 9.62/8.96 NO 3.12/3.12 NO 0.07/0.08
From_T2/p-32.t2.smt2 11762308 i MAYBE 3.31/3.07 NO 2.20/2.21 NO 0.14/0.14
From_T2/constants.t2_fixed.smt2 11762309 YES 10.91/10.23 YES 2.23/2.23 ERROR 0.43/0.44
From_T2/e-1394complete-failA.t2.smt2 11762310 i timeout (wallclock) NO 76.36/76.37 NO 2.88/2.87
From_T2/p-36.t2.smt2 11762311 i timeout (wallclock) NO 6.33/6.35 NO 0.13/0.13
From_T2/destroy.t2.smt2 11762312 is timeout (wallclock) YES 14.92/14.93 ERROR 0.52/0.52
From_T2/streamserver.bug.t2_fixed.smt2 11762313 is MAYBE 94.13/88.88 MAYBE 298.99/299.00 NO 5.36/5.32
From_T2/consts4nt.t2.smt2 11762314 i MAYBE 1.77/1.66 NO 1.55/1.56 NO 0.11/0.11
From_T2/bf18.t2_fixed.smt2 11762315 YES 95.58/89.41 YES 8.13/8.14 ERROR 1.52/1.53
From_T2/n-8.t2.smt2 11762316 i MAYBE 41.46/39.55 NO 5.97/5.97 NO 0.19/0.19
From_T2/p-38.t2_fixed.smt2 11762317 YES 0.48/0.49 YES 3.13/3.13 ERROR 0.02/0.02
From_T2/java_Continue1.c.t2.smt2 11762318 YES 3.03/2.87 YES 2.17/2.19 ERROR 0.07/0.07
From_T2/collatz.t2_fixed.smt2 11762319 u MAYBE 8.91/8.66 MAYBE 298.89/299.01 ERROR 1.59/1.59
From_T2/p-19.t2.smt2 11762320 i MAYBE 10.39/9.71 NO 2.08/2.08 NO 0.04/0.07
From_T2/polyrank1.t2.smt2 11762321 is MAYBE 0.88/0.83 YES 1.26/1.26 ERROR 0.11/0.11
From_T2/java_Duplicate.c.t2.smt2 11762322 YES 6.94/6.52 YES 2.46/2.46 ERROR 0.40/0.40
From_T2/ndes.t2_fixed.smt2 11762323 u timeout (wallclock) MAYBE 298.99/299.00 ERROR 19.82/19.74
From_T2/destroy_seg.t2_fixed.smt2 11762324 is timeout (wallclock) YES 21.56/21.56 ERROR 1.03/1.02
From_T2/reverse.t2.smt2 11762325 is timeout (wallclock) YES 104.38/104.46 ERROR 4.07/4.07
From_T2/ex21.t2.smt2 11762326 YES 17.46/16.66 YES 2.22/2.22 ERROR 0.09/0.10
From_T2/e-1394-fail.t2.smt2 11762327 i timeout (wallclock) NO 74.33/74.33 NO 4.10/4.08
From_T2/arith.t2.smt2 11762328 YES 2.37/2.22 YES 1.48/1.49 ERROR 0.38/0.39
From_T2/fun7.t2_fixed.smt2 11762329 i timeout (wallclock) NO 58.63/58.64 NO 2.81/2.79
From_T2/slayer-n5-filtered.t2.smt2 11762330 i timeout (wallclock) NO 66.14/66.15 NO 2.21/2.20
From_T2/popl07-succeed.t2.smt2 11762331 i MAYBE 82.59/76.84 NO 9.74/9.78 NO 0.29/0.29
From_T2/minmax.t2.smt2 11762332 YES 1.13/1.08 YES 4.76/4.76 ERROR 0.02/0.02
From_T2/polyrank5.t2.smt2 11762333 u MAYBE 5.73/5.35 MAYBE 299.16/299.01 ERROR 0.20/0.20
From_T2/n-48.t2_fixed.smt2 11762334 i MAYBE 8.71/8.58 NO 2.57/2.57 NO 0.10/0.11
From_T2/edn.t2.smt2 11762335 is timeout (wallclock) MAYBE 298.98/299.01 NO 8.42/8.41
From_T2/pentagon.t2.smt2 11762336 u MAYBE 55.57/51.93 MAYBE 299.17/299.01 ERROR 1.25/1.25
From_T2/ppblocktermbug.t2.smt2 11762337 i MAYBE 69.30/64.82 NO 12.83/12.83 NO 0.39/0.39
From_T2/nakata_withassume.t2.smt2 11762338 u timeout (wallclock) MAYBE 298.97/299.01 ERROR 110.55/109.62
From_T2/neg-e-acqrel-succeed.t2.smt2 11762339 i MAYBE 3.66/3.41 NO 2.92/2.92 NO 0.08/0.08
From_T2/fast_poll.t2.smt2 11762340 i timeout (wallclock) NO 56.77/56.83 NO 8.23/8.24
From_T2/zlib-adler32.c.t2_fixed.smt2 11762341 is timeout (wallclock) YES 18.95/19.00 ERROR 0.85/0.90
From_T2/n-12a.t2.smt2 11762342 i MAYBE 0.93/0.92 NO 1.47/1.51 NO 0.03/0.10
From_T2/neg-e-1394complete-succeed.t2_fixed.smt2 11762343 i timeout (wallclock) NO 75.48/75.51 NO 2.86/2.93
From_T2/ex21.t2_fixed.smt2 11762344 YES 9.02/8.48 YES 1.94/1.98 ERROR 0.09/0.16
From_T2/slayer-3-new.t2.smt2 11762345 u timeout (wallclock) MAYBE 298.97/299.05 ERROR 253.95/257.57
From_T2/p-15.t2.smt2 11762346 YES 0.39/0.43 YES 1.29/1.35 ERROR 0.05/0.11
From_T2/p-5.t2_fixed.smt2 11762347 i MAYBE 285.01/268.74 NO 6.50/6.55 NO 1.48/1.53
From_T2/dumper.t2.smt2 11762348 is timeout (wallclock) MAYBE 298.96/299.08 NO 8.67/8.69
From_T2/consts5nt.t2.smt2 11762349 i MAYBE 7.09/6.66 NO 2.16/2.28 NO 0.14/0.20
From_T2/spiral.t2_fixed.smt2 11762350 is MAYBE 29.51/27.57 YES 23.99/24.02 ERROR 0.64/0.70
From_T2/ex29.t2.smt2 11762351 YES 1.22/1.25 YES 6.15/6.20 ERROR 0.02/0.09
From_T2/complex_guard.t2.smt2 11762352 YES 0.67/0.70 YES 1.92/1.97 ERROR 0.05/0.09
From_T2/collatz.t2.smt2 11762353 u MAYBE 13.76/12.91 MAYBE 298.89/299.06 ERROR 0.79/0.85
From_T2/heidy6.t2.smt2 11762354 i MAYBE 1.58/1.57 NO 2.95/2.95 NO 0.11/0.11
From_T2/e-smagill-fail.t2.smt2 11762355 i MAYBE 7.23/6.77 NO 3.68/3.68 NO 0.67/0.67
From_T2/w3_nt.t2.smt2 11762356 i MAYBE 270.90/253.88 NO 22.19/22.20 NO 0.75/0.78
From_T2/array4.t2.smt2 11762357 YES 3.61/3.36 YES 1.95/1.95 ERROR 0.08/0.09
From_T2/fun1b.t2.smt2 11762358 u timeout (wallclock) MAYBE 299.05/299.01 MAYBE 254.22/253.58
From_T2/consts2nt.t2.smt2 11762359 i MAYBE 1.03/0.97 NO 1.43/1.44 NO 0.10/0.11
From_T2/svdcmp.t2.smt2 11762360 u timeout (wallclock) MAYBE 299.03/299.01 ERROR 36.46/36.29
From_T2/heidy2.t2.smt2 11762361 i MAYBE 1.41/1.32 NO 1.67/1.68 NO 0.05/0.06
From_T2/consts2nt.t2_fixed.smt2 11762362 i MAYBE 0.40/0.38 NO 9.60/9.69 NO 0.03/0.04
From_T2/traverse.t2.smt2 11762363 is timeout (wallclock) YES 48.30/48.44 ERROR 1.71/1.71
From_T2/fdct.t2_fixed.smt2 11762364 YES 147.73/138.90 YES 3.28/3.28 ERROR 0.10/0.11
From_T2/slayer-2-filtered.t2_fixed.smt2 11762365 YES 4.70/4.39 YES 1.65/1.65 ERROR 0.04/0.05
From_T2/bakerybug.t2.smt2 11762366 i MAYBE 162.38/153.86 NO 28.94/28.95 NO 14.95/14.87
From_T2/p-1a.t2.smt2 11762367 i MAYBE 15.74/14.67 NO 1.78/1.79 NO 0.04/0.05
From_T2/walk.t2_fixed.smt2 11762368 i MAYBE 91.24/85.31 NO 11.46/11.46 NO 0.60/0.60
From_T2/fun8.t2_fixed.smt2 11762369 is timeout (wallclock) YES 19.01/19.01 ERROR 1.14/1.14
From_T2/ex13.t2.smt2 11762370 YES 0.01/0.02 YES 0.89/0.90 ERROR 0.00/0.01
From_T2/dsa_test15.t2.smt2 11762371 YES 5.89/5.50 YES 1.99/2.99 ERROR 0.08/0.09
From_T2/java_BubbleSort.c.t2.smt2 11762372 YES 93.86/87.99 YES 8.72/8.72 ERROR 2.20/2.19
From_T2/ex17.t2.smt2 11762373 is MAYBE 35.53/33.91 YES 4.65/4.65 ERROR 0.12/0.12
From_T2/slayer-5-filtered.t2.smt2 11762374 is timeout (wallclock) MAYBE 299.02/299.01 NO 1.92/1.91
From_T2/neg-1394-fail.t2.smt2 11762375 i timeout (wallclock) NO 77.25/77.26 NO 3.19/3.17
From_T2/smagillc-fail.t2.smt2 11762376 is MAYBE 5.90/5.55 MAYBE 60.71/61.65 NO 0.66/0.66
From_T2/popl07-fail.t2.smt2 11762377 i MAYBE 82.04/77.37 NO 9.83/9.83 NO 0.29/0.29
From_T2/bitcount32.t2_fixed.smt2 11762378 YES 47.47/44.39 YES 3.74/4.43 ERROR 0.11/0.12
From_T2/array_free2.t2.smt2 11762379 YES 0.52/0.49 YES 1.96/1.96 ERROR 0.06/0.07
From_T2/florian_sas2.t2.smt2 11762380 u timeout (wallclock) MAYBE 298.99/299.01 ERROR 3.27/3.26
From_T2/destroy_seg_leak.t2.smt2 11762381 i timeout (wallclock) NO 102.81/102.82 NO 1.02/1.02
From_T2/n-8.t2_fixed.smt2 11762382 i MAYBE 34.72/32.37 NO 7.54/7.54 NO 0.40/0.39
From_T2/ex9.t2.smt2 11762383 i MAYBE 10.19/9.49 NO 5.88/5.90 NO 0.18/0.19
From_T2/traverse_seg2.t2_fixed.smt2 11762384 is timeout (wallclock) YES 64.13/64.14 ERROR 2.10/2.09
From_T2/consts3nt.t2.smt2 11762385 i MAYBE 0.97/0.91 NO 9.95/9.99 NO 0.04/0.04
From_T2/bf17.t2_fixed.smt2 11762386 YES 83.93/78.15 YES 8.05/8.06 ERROR 1.51/1.51
From_T2/queue_10.t2.smt2 11762387 YES 25.84/24.05 YES 6.57/6.57 ERROR 0.25/0.25
From_T2/p_armc.t2.smt2 11762388 i MAYBE 65.99/65.44 NO 64.89/64.90 NO 2.50/2.50
From_T2/p-37.t2_fixed.smt2 11762389 YES 11.08/10.40 YES 2.21/2.21 ERROR 0.44/0.44
From_T2/ex1.t2.smt2 11762390 i MAYBE 1.42/1.33 NO 1.68/1.68 NO 0.03/0.03
From_T2/p-56.t2_fixed.smt2 11762391 YES 9.70/9.05 YES 1.96/1.97 ERROR 0.12/0.12
From_T2/ex34.t2.smt2 11762392 YES 0.03/0.04 YES 1.33/1.33 ERROR 0.01/0.01
From_T2/ex12.t2_fixed.smt2 11762393 YES 1.01/0.96 YES 1.29/1.29 ERROR 0.05/0.05
From_T2/matmul.t2.smt2 11762394 YES 36.30/34.29 YES 7.67/7.67 ERROR 0.47/0.47
From_T2/smagillb-succeed.t2.smt2 11762395 i MAYBE 7.43/6.93 NO 3.78/3.78 NO 0.65/0.65
From_T2/traverse2.t2.smt2 11762396 is timeout (wallclock) YES 69.14/69.16 ERROR 2.60/2.60
From_T2/ex30.t2.smt2 11762397 YES 15.78/14.68 YES 2.41/2.41 ERROR 0.09/0.10
From_T2/s2.t2_fixed.smt2 11762398 YES 5.34/4.99 YES 1.44/1.47 ERROR 0.57/0.57
From_T2/byron-4.t2_fixed.smt2 11762399 is MAYBE 16.12/15.00 YES 2.82/2.82 ERROR 0.17/0.18
From_T2/streamserver-succeed.t2.smt2 11762400 i MAYBE 119.86/112.80 NO 29.13/29.15 NO 8.67/8.65
From_T2/n-6a.t2_fixed.smt2 11762401 i MAYBE 14.49/13.69 NO 3.25/3.25 NO 0.21/0.21
From_T2/ppblock.t2.smt2 11762402 i MAYBE 15.45/14.38 NO 50.26/50.25 NO 0.42/0.42
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 11762403 is timeout (wallclock) YES 98.29/98.30 ERROR 16.31/16.20
From_T2/loop_on_input.t2_fixed.smt2 11762404 YES 2.00/1.97 YES 1.64/1.66 ERROR 0.12/0.14
From_T2/n-37.t2_fixed.smt2 11762405 i MAYBE 7.26/6.74 NO 2.54/2.54 NO 0.03/0.03
From_T2/n-1d.t2_fixed.smt2 11762406 i MAYBE 21.48/20.12 NO 3.44/3.44 NO 0.34/0.34
From_T2/db3.t2.smt2 11762407 is timeout (wallclock) MAYBE 299.00/299.01 NO 105.12/105.00
From_T2/rev_nt2.t2_fixed.smt2 11762408 i timeout (wallclock) NO 25.18/25.19 NO 1.01/1.01
From_T2/agafp.t2.smt2 11762409 is timeout (wallclock) MAYBE 298.96/299.01 NO 22.69/22.67
From_T2/small04.t2.smt2 11762410 i MAYBE 0.58/0.54 NO 1.69/1.69 NO 0.02/0.03
From_T2/ax_test.t2.smt2 11762411 i MAYBE 0.16/0.15 NO 1.37/1.37 NO 0.02/0.03
From_T2/slayer-4-filtered.t2.smt2 11762412 is timeout (wallclock) MAYBE 298.97/299.00 NO 253.82/258.99
From_T2/matmult.t2.smt2 11762413 YES 311.01/292.29 YES 13.91/13.91 ERROR 0.63/0.62
From_T2/brockschmidt_1.t2.smt2 11762414 is MAYBE 4.00/4.18 YES 3.77/3.77 ERROR 0.11/0.11
From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 11762415 is timeout (wallclock) YES 16.47/16.48 ERROR 4.12/4.10
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 11762416 is timeout (wallclock) MAYBE 299.00/299.02 NO 39.54/39.42
From_T2/n-15a.t2.smt2 11762417 i MAYBE 11.93/11.13 NO 21.44/21.93 NO 0.21/0.21
From_T2/refine_disj_problem.t2_fixed.smt2 11762418 is MAYBE 2.65/2.48 NO 2.80/2.80 ERROR 0.17/0.17
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2 11762419 is timeout (wallclock) YES 106.75/106.78 ERROR 16.79/16.67
From_T2/small08.t2.smt2 11762420 is MAYBE 20.25/19.17 YES 3.43/3.44 ERROR 0.51/0.50
From_T2/1394complete-succeed.t2.smt2 11762421 i timeout (wallclock) NO 84.72/84.77 NO 3.10/3.09
From_T2/n-12.t2.smt2 11762422 i MAYBE 11.35/10.58 NO 2.82/2.82 NO 0.11/0.11
From_T2/p-61.t2.smt2 11762423 YES 12.28/11.47 YES 1.80/1.82 ERROR 0.06/0.06
From_T2/1394-fail.t2.smt2 11762424 i timeout (wallclock) NO 82.50/82.53 NO 3.58/3.56
From_T2/small27.t2.smt2 11762425 YES 0.02/0.02 YES 1.01/1.01 ERROR 0.00/0.03
From_T2/consts1nt.t2.smt2 11762426 i MAYBE 1.87/1.74 NO 1.90/1.91 NO 0.03/0.03
From_T2/cover.t2.smt2 11762427 u timeout (wallclock) MAYBE 298.98/299.00 ERROR 254.34/256.62
From_T2/neg-e-pgarch-fail.t2.smt2 11762428 i MAYBE 26.44/24.73 NO 5.42/5.42 NO 0.17/0.18
From_T2/mc91.t2_fixed.smt2 11762429 is MAYBE 3.36/3.15 YES 1.61/1.61 ERROR 0.41/0.41
From_T2/p-6.t2.smt2 11762430 is MAYBE 12.67/11.77 YES 2.47/2.47 ERROR 0.21/0.21
From_T2/java_Hanoi.c.t2.smt2 11762431 YES 47.70/44.61 YES 5.23/5.23 ERROR 0.63/0.63
From_T2/ase_example.t2_fixed.smt2 11762432 YES 18.59/18.91 YES 3.15/3.15 ERROR 0.14/0.14
From_T2/s1-saved.t2_fixed.smt2 11762433 is timeout (wallclock) YES 55.08/55.09 ERROR 1.83/1.83
From_T2/ex17.t2_fixed.smt2 11762434 is MAYBE 32.41/30.11 YES 4.40/4.40 ERROR 0.09/0.10
From_T2/bf19.t2.smt2 11762435 YES 151.42/143.10 YES 8.74/8.74 ERROR 1.55/1.54
From_T2/disj_nightmare.t2.smt2 11762436 i timeout (wallclock) NO 13.63/13.74 NO 0.16/0.16
From_T2/wrap.c.t2.smt2 11762437 is timeout (wallclock) YES 23.33/23.33 ERROR 4.20/4.21
From_T2/small23.t2.smt2 11762438 i MAYBE 3.56/3.38 NO 4.66/4.66 NO 0.16/0.17
From_T2/e-acqrel-succeed.t2.smt2 11762439 i MAYBE 3.88/3.62 NO 2.87/2.87 NO 0.11/0.11
From_T2/polling.t2_fixed.smt2 11762440 i timeout (wallclock) NO 40.46/40.46 NO 6.57/6.55
From_T2/minmax.t2_fixed.smt2 11762441 YES 1.07/1.03 YES 4.58/4.58 ERROR 0.02/0.02
From_T2/dsa_test6.t2.smt2 11762442 YES 1.77/1.74 YES 1.39/1.39 ERROR 0.05/0.06
From_T2/7.t2.smt2 11762443 i MAYBE 1.40/1.31 NO 1.59/1.59 NO 0.03/0.03
From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 11762444 is timeout (wallclock) YES 10.44/10.44 ERROR 2.39/2.38
From_T2/crc.t2_fixed.smt2 11762445 is timeout (wallclock) YES 95.07/95.10 ERROR 1.18/1.17
From_T2/bf11.t2.smt2 11762446 YES 138.63/128.75 YES 8.51/8.51 ERROR 1.56/1.55
From_T2/p-42.t2.smt2 11762447 YES 7.31/6.84 YES 1.74/1.75 ERROR 0.11/0.11
From_T2/smagilla-fail.t2.smt2 11762448 is MAYBE 3.61/3.36 MAYBE 50.98/51.26 NO 0.64/0.65
From_T2/curious2.t2.smt2 11762449 YES 0.01/0.02 YES 0.90/0.90 ERROR 0.00/0.01
From_T2/efegp.t2_fixed.smt2 11762450 is timeout (wallclock) MAYBE 298.96/299.00 NO 3.00/2.99
From_T2/byron-2.t2.smt2 11762451 YES 40.34/37.61 YES 3.68/3.68 ERROR 0.15/0.15
From_T2/3.t2.smt2 11762452 i MAYBE 0.22/0.21 NO 1.35/1.35 NO 0.02/0.03
From_T2/bf12.t2_fixed.smt2 11762453 YES 112.13/105.11 YES 8.15/8.38 ERROR 1.54/1.54
From_T2/bf15.t2.smt2 11762454 YES 184.97/172.28 YES 9.12/9.12 ERROR 1.54/1.53
From_T2/p-46.t2.smt2 11762455 i MAYBE 44.92/41.97 NO 203.31/202.18 NO 0.68/0.68
From_T2/consts5.t2_fixed.smt2 11762456 is MAYBE 1.33/1.25 YES 1.06/1.07 ERROR 0.04/0.04
From_T2/ase_example.t2.smt2 11762457 YES 24.15/22.41 YES 3.48/3.48 ERROR 0.15/0.15
From_T2/hqr.t2_fixed.smt2 11762458 u timeout (wallclock) MAYBE 298.97/299.01 ERROR 15.77/15.68
From_T2/array_init_assign.t2.smt2 11762459 YES 1.93/1.80 YES 2.04/2.04 ERROR 0.08/0.08
From_T2/bsort100.t2_fixed.smt2 11762460 YES 88.21/82.38 YES 10.26/10.27 ERROR 1.45/1.44
From_T2/dsa_test10.t2.smt2 11762461 YES 19.89/18.59 YES 2.14/2.15 ERROR 0.09/0.09
From_T2/n-40.t2_fixed.smt2 11762462 is MAYBE 153.65/144.89 NO 10.66/10.66 ERROR 0.47/0.46
From_T2/st88b-succeed.t2.smt2 11762463 i MAYBE 12.44/11.58 NO 9.22/9.23 NO 1.02/1.02
From_T2/ex12.t2.smt2 11762464 YES 1.86/1.73 YES 1.37/1.37 ERROR 0.06/0.06
From_T2/java_MinusBuiltIn.c.t2.smt2 11762465 YES 13.93/12.98 YES 2.62/2.62 ERROR 0.08/0.09
From_T2/insertsort.t2.smt2 11762466 i MAYBE 8.51/8.37 NO 2.84/2.84 NO 0.14/0.14
From_T2/fun11.t2_fixed.smt2 11762467 i MAYBE 15.76/14.67 NO 6.77/6.78 NO 0.12/0.12
From_T2/p-1d.t2.smt2 11762468 YES 16.74/15.89 YES 2.23/2.23 ERROR 0.12/0.13
From_T2/java_Recursions.c.t2.smt2 11762469 is timeout (wallclock) YES 16.73/16.73 ERROR 0.45/0.45
From_T2/ex16.t2.smt2 11762470 i MAYBE 123.70/115.92 NO 16.13/16.14 NO 0.38/0.38
From_T2/seq.t2.smt2 11762471 YES 0.12/0.12 YES 1.12/1.13 ERROR 0.04/0.07
From_T2/disj_nightmare_abi.t2.smt2 11762472 is MAYBE 3.83/3.59 YES 3.29/3.34 ERROR 0.07/0.08
From_T2/curious2.t2_fixed.smt2 11762473 YES 0.01/0.02 YES 0.82/0.82 ERROR 0.00/0.01
From_T2/queue_1.t2.smt2 11762474 YES 14.90/13.89 YES 5.51/5.51 ERROR 0.18/0.18
From_T2/ludcmp.t2.smt2 11762475 is timeout (wallclock) YES 19.09/19.10 ERROR 7.24/7.21
From_T2/heidy7.t2.smt2 11762476 i MAYBE 2.78/2.59 NO 40.12/40.14 NO 0.17/0.17
From_T2/andrey.t2.smt2 11762477 YES 0.09/0.09 YES 1.14/1.14 ERROR 0.04/0.05
From_T2/p-22.t2.smt2 11762478 YES 0.43/0.41 YES 1.51/1.52 ERROR 0.05/0.05
From_T2/neg-e-pgarch-succeed.t2.smt2 11762479 i MAYBE 19.32/18.01 NO 5.06/5.07 NO 0.17/0.17
From_T2/acqrel-succeed2.t2.smt2 11762480 i MAYBE 7.00/6.55 NO 2.63/2.64 NO 0.32/0.31
From_T2/n-21.t2_fixed.smt2 11762481 i MAYBE 5.53/5.17 NO 2.44/2.44 NO 0.08/0.08
From_T2/ex29.t2_fixed.smt2 11762482 YES 1.34/1.29 YES 5.83/5.83 ERROR 0.02/0.02
From_T2/heidy3.t2.smt2 11762483 i MAYBE 0.68/0.64 NO 1.69/1.69 NO 0.06/0.07
From_T2/smagillb-succeed.t2_fixed.smt2 11762484 i MAYBE 7.40/6.92 NO 3.83/3.83 NO 0.65/0.65
From_T2/db.t2.smt2 11762485 YES 0.12/0.12 YES 1.36/1.36 ERROR 0.01/0.01
From_T2/walk.t2.smt2 11762486 i MAYBE 84.09/78.90 NO 11.85/11.87 NO 0.58/0.58
From_T2/jfdctint.t2_fixed.smt2 11762487 YES 153.36/144.68 YES 4.75/4.75 ERROR 0.14/0.14
From_T2/slayer-n2.t2.smt2 11762488 i MAYBE 4.36/4.06 NO 13.40/13.52 NO 0.03/0.04
From_T2/ex31.t2.smt2 11762489 i MAYBE 2.95/2.75 NO 2.52/2.53 NO 0.28/0.33
From_T2/neg-e-popl07-fail.t2.smt2 11762490 i MAYBE 108.78/102.11 NO 10.56/10.56 NO 0.30/0.30
From_T2/jfdctint.t2.smt2 11762491 YES 190.47/178.87 YES 5.49/5.49 ERROR 0.15/0.15
From_T2/ex4.t2.smt2 11762492 YES 50.91/47.53 YES 5.24/5.24 ERROR 0.25/0.25
From_T2/streamserver.bug.t2.smt2 11762493 is MAYBE 157.45/147.90 MAYBE 298.98/299.01 NO 5.40/5.35
From_T2/slayer-n1-filtered.t2.smt2 11762494 i MAYBE 151.88/143.54 NO 8.53/8.56 NO 0.26/0.27
From_T2/queens.t2.smt2 11762495 is timeout (wallclock) YES 229.56/229.66 ERROR 3.84/3.81
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2 11762496 is timeout (wallclock) YES 19.47/19.47 ERROR 8.60/8.56
From_T2/edn.t2_fixed.smt2 11762497 is timeout (wallclock) YES 79.37/79.38 ERROR 0.91/0.91
From_T2/bf10.t2_fixed.smt2 11762498 YES 114.02/107.50 YES 8.51/8.52 ERROR 1.55/1.54
From_T2/slayer-2-filtered.t2.smt2 11762499 YES 6.08/5.65 YES 1.73/1.73 ERROR 0.06/0.06
From_T2/ex8.t2.smt2 11762500 i MAYBE 7.83/7.68 NO 5.10/5.11 NO 0.13/0.13
From_T2/e-1394complete-succeed.t2_fixed.smt2 11762501 i timeout (wallclock) NO 76.47/76.48 NO 2.89/2.88
From_T2/polling.bug.t2.smt2 11762502 i timeout (wallclock) NO 52.95/52.95 NO 7.59/7.57
From_T2/n-17.t2.smt2 11762503 i MAYBE 1.38/1.29 NO 9.71/9.72 NO 0.18/0.18
From_T2/prime.t2.smt2 11762504 i timeout (wallclock) NO 38.10/38.11 NO 0.36/0.36
From_T2/small01.t2_fixed.smt2 11762505 is MAYBE 1.22/1.15 YES 1.31/1.32 ERROR 0.06/0.06
From_T2/java_Sequence.c.t2_fixed.smt2 11762506 YES 13.08/12.21 YES 3.16/3.16 ERROR 0.13/0.14
From_T2/1394complete-fail.t2_fixed.smt2 11762507 i timeout (wallclock) NO 85.25/85.26 NO 3.15/3.14
From_T2/consts1nt.t2_fixed.smt2 11762508 i MAYBE 1.26/1.18 NO 1.68/1.68 NO 0.06/0.06
From_T2/small09.t2.smt2 11762509 is MAYBE 22.82/22.10 YES 3.49/3.49 ERROR 0.52/0.51
From_T2/n-13.t2.smt2 11762510 i MAYBE 0.92/0.86 NO 1.48/1.48 NO 0.03/0.04
From_T2/p-60.t2.smt2 11762511 YES 7.58/7.08 YES 1.77/1.78 ERROR 0.07/0.07
From_T2/st88.bug.t2.smt2 11762512 i MAYBE 16.20/15.16 NO 9.78/9.78 NO 1.56/1.53
From_T2/create_via_tmps.t2_fixed.smt2 11762513 is timeout (wallclock) YES 15.64/15.65 ERROR 1.35/1.35
From_T2/small01.t2.smt2 11762514 i MAYBE 0.91/0.86 NO 1.56/1.58 NO 0.03/0.04
From_T2/n-1c.t2_fixed.smt2 11762515 i MAYBE 46.50/43.41 NO 5.27/5.27 NO 0.40/0.40
From_T2/traverse_seg.t2.smt2 11762516 is timeout (wallclock) YES 65.71/65.72 ERROR 2.23/2.23
From_T2/rlft3.t2.smt2 11762517 i timeout (wallclock) NO 25.50/25.50 NO 7.87/7.81
From_T2/bf6.t2_fixed.smt2 11762518 YES 105.14/98.64 YES 7.78/7.78 ERROR 1.55/1.54
From_T2/array_init.t2_fixed.smt2 11762519 YES 0.47/0.44 YES 1.47/1.48 ERROR 0.05/0.05
From_T2/bitcount32.t2.smt2 11762520 is MAYBE 60.80/56.89 YES 2.93/2.93 ERROR 0.16/0.16
From_T2/s3-work.t2.smt2 11762521 u timeout (wallclock) MAYBE 298.98/299.01 ERROR 41.90/41.92
From_T2/fast_poll.t2_fixed.smt2 11762522 i timeout (wallclock) NO 55.57/55.59 NO 7.74/7.72
From_T2/matmult.t2_fixed.smt2 11762523 YES 262.89/245.94 YES 12.90/12.90 ERROR 0.31/0.31
From_T2/db2.t2.smt2 11762524 is timeout (wallclock) MAYBE 298.98/299.01 NO 105.32/105.22
From_T2/zeroconf_withassume.t2.smt2 11762525 u timeout (wallclock) MAYBE 298.96/299.01 ERROR 36.36/36.02
From_T2/small05.t2.smt2 11762526 i MAYBE 0.52/0.49 NO 1.53/1.53 NO 0.03/0.04
From_T2/toeplz.t2.smt2 11762527 is timeout (wallclock) YES 21.08/21.08 ERROR 2.39/2.37
From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2 11762528 is timeout (wallclock) YES 18.77/18.78 ERROR 8.61/8.57
From_T2/smagilla-succeed.t2.smt2 11762529 is MAYBE 3.74/3.49 MAYBE 53.39/55.55 NO 0.64/0.64
From_T2/6.t2.smt2 11762530 i MAYBE 0.27/0.26 NO 1.56/1.56 NO 0.03/0.03
From_T2/bf10.t2.smt2 11762531 YES 150.80/141.05 YES 9.36/9.36 ERROR 1.56/1.55
From_T2/p-43.t2.smt2 11762532 is MAYBE 13.99/13.02 YES 9.70/9.73 ERROR 1.14/1.14
From_T2/array_init.t2.smt2 11762533 YES 1.15/1.08 YES 1.60/1.60 ERROR 0.06/0.07
From_T2/bf15.t2_fixed.smt2 11762534 is MAYBE 103.98/98.79 YES 8.09/8.09 ERROR 1.51/1.51
From_T2/brp_withassume.t2.smt2 11762535 u timeout (wallclock) MAYBE 298.96/299.00 ERROR 91.22/90.67
From_T2/consts2.t2_fixed.smt2 11762536 YES 0.12/0.12 YES 1.10/1.12 ERROR 0.05/0.05
From_T2/bubbleSort.t2.smt2 11762537 YES 26.53/24.82 YES 4.18/4.19 ERROR 1.12/1.12
From_T2/pgarch-fail.t2.smt2 11762538 i MAYBE 36.46/34.04 NO 6.36/6.36 NO 0.18/0.18
From_T2/bs.t2.smt2 11762539 i MAYBE 47.63/45.53 NO 14.47/14.52 NO 0.77/0.83
From_T2/2.t2.smt2 11762540 is MAYBE 100.02/94.56 MAYBE 298.90/299.06 NO 0.27/0.33
From_T2/p-40.t2_fixed.smt2 11762541 YES 6.72/6.38 YES 1.80/1.80 ERROR 0.05/0.05
From_T2/byron-3.t2.smt2 11762542 is MAYBE 2.94/2.80 YES 1.46/1.51 ERROR 0.10/0.17
From_T2/slayer-3-filtered.t2.smt2 11762543 is timeout (wallclock) MAYBE 298.97/299.01 NO 10.40/10.32
From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2 11762544 is timeout (wallclock) MAYBE 298.96/299.01 NO 4.24/4.22
From_T2/bf14.t2.smt2 11762545 YES 145.44/135.55 YES 8.90/8.91 ERROR 1.55/1.55
From_T2/matrixsqrt.t2.smt2 11762546 YES 94.42/88.07 YES 8.74/8.76 ERROR 0.53/0.53
From_T2/small26.t2.smt2 11762547 YES 1.29/1.21 YES 1.17/1.18 ERROR 0.05/0.05
From_T2/p-7.t2.smt2 11762548 YES 10.43/9.77 YES 1.88/1.88 ERROR 0.08/0.09
From_T2/st88.bug.t2_fixed.smt2 11762549 i MAYBE 8.18/7.60 NO 7.56/7.56 NO 0.75/0.73
From_T2/fermat.t2.smt2 11762550 YES 255.21/238.97 YES 8.80/8.80 ERROR 0.18/0.18
From_T2/dsa_test6.t2_fixed.smt2 11762551 YES 0.91/0.86 YES 1.31/1.32 ERROR 0.04/0.04
From_T2/p-21.t2_fixed.smt2 11762552 YES 3.71/3.50 YES 1.76/1.77 ERROR 0.16/0.16
From_T2/bf18.t2.smt2 11762553 YES 146.77/137.81 YES 8.57/8.58 ERROR 1.55/1.54
From_T2/n-38.t2.smt2 11762554 YES 0.02/0.02 YES 0.94/0.94 ERROR 0.00/0.01
From_T2/two_arrays.t2_fixed.smt2 11762555 is MAYBE 49.77/49.56 YES 5.51/5.51 ERROR 0.23/0.23
From_T2/java_Continue1.c.t2_fixed.smt2 11762556 YES 1.84/1.72 YES 2.00/2.02 ERROR 0.07/0.07
From_T2/small22.t2.smt2 11762557 i MAYBE 2.42/2.26 NO 4.68/4.68 NO 0.44/0.43
From_T2/java_FibRecursive.c.t2.smt2 11762558 YES 4.50/4.22 YES 3.59/3.59 ERROR 0.33/0.33
From_T2/p-3.t2.smt2 11762559 YES 10.08/9.67 YES 1.99/2.00 ERROR 0.10/0.10
From_T2/ax_test_2.t2.smt2 11762560 i MAYBE 0.15/0.15 NO 1.36/1.36 NO 0.02/0.03
From_T2/consts1.t2.smt2 11762561 i MAYBE 1.76/1.64 NO 1.87/1.88 NO 0.03/0.03
From_T2/fun3.t2.smt2 11762562 is timeout (wallclock) YES 34.59/34.60 ERROR 296.58/296.66
From_T2/small14.t2.smt2 11762563 i MAYBE 45.37/42.79 NO 13.60/13.69 NO 2.89/2.86
From_T2/e-popl07-fail.t2_fixed.smt2 11762564 i MAYBE 116.49/112.13 NO 13.01/13.02 NO 0.45/0.45
From_T2/cnt.t2.smt2 11762565 is timeout (wallclock) YES 39.67/39.68 ERROR 0.73/0.73
From_T2/consts5.t2.smt2 11762566 i MAYBE 7.46/6.99 NO 2.16/2.16 NO 0.16/0.16
From_T2/array.t2.smt2 11762567 YES 0.01/0.02 YES 0.90/0.90 ERROR 0.00/0.01
From_T2/fun7.t2.smt2 11762568 i timeout (wallclock) NO 47.82/47.82 NO 2.01/2.00
From_T2/small10.t2.smt2 11762569 i MAYBE 3.85/3.59 NO 2.46/2.46 NO 0.93/0.93
From_T2/wrong_loop.t2_fixed.smt2 11762570 is MAYBE 4.10/3.94 MAYBE 56.47/56.71 NO 0.25/0.25
From_T2/small18.t2.smt2 11762571 is MAYBE 0.68/0.64 MAYBE 29.59/29.83 NO 0.17/0.17
From_T2/crc.t2.smt2 11762572 is timeout (wallclock) YES 101.33/101.33 ERROR 1.47/1.45
From_T2/reverse_div4.t2.smt2 11762573 i timeout (wallclock) NO 50.21/50.21 NO 0.91/0.91
From_T2/two_arrays6.t2.smt2 11762574 YES 120.10/112.42 YES 10.52/10.52 ERROR 0.32/0.32
From_T2/e-pgarch-succeed.t2.smt2 11762575 i MAYBE 54.16/51.00 NO 6.86/6.86 NO 0.20/0.20
From_T2/loop3.t2_fixed.smt2 11762576 is MAYBE 136.69/136.27 YES 61.00/61.02 ERROR 82.87/82.52
From_T2/traverse_seg.t2_fixed.smt2 11762577 is timeout (wallclock) YES 68.52/68.54 ERROR 2.53/2.53
From_T2/two_arrays2.t2.smt2 11762578 YES 136.19/127.72 YES 10.02/10.02 ERROR 0.37/0.37
From_T2/slayer-n3-filtered.t2.smt2 11762579 is timeout (wallclock) YES 10.80/10.80 ERROR 0.15/0.16
From_T2/n-5.t2_fixed.smt2 11762580 i MAYBE 266.60/250.20 NO 6.48/6.48 NO 1.48/1.47
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 11762581 is timeout (wallclock) YES 19.40/19.41 ERROR 10.30/10.26
From_T2/dsa_test15.t2_fixed.smt2 11762582 YES 3.61/3.35 YES 1.95/1.95 ERROR 0.08/0.08
From_T2/ppblockbug.t2.smt2 11762583 i MAYBE 15.34/15.50 NO 22.27/22.27 NO 1.28/1.27
From_T2/neg-popl07-succeed.t2.smt2 11762584 i MAYBE 113.95/107.04 NO 11.83/11.83 NO 0.41/0.42
From_T2/neg-e-popl07-succeed.t2_fixed.smt2 11762585 i MAYBE 95.91/89.60 NO 11.98/11.98 NO 0.44/0.44
From_T2/n-1c.t2.smt2 11762586 i MAYBE 48.81/46.16 NO 4.37/4.38 NO 0.19/0.19
From_T2/queue_10.t2_fixed.smt2 11762587 YES 14.36/13.58 YES 6.32/6.32 ERROR 0.21/0.21
From_T2/small33.t2.smt2 11762588 YES 0.01/0.02 YES 1.01/1.01 ERROR 0.00/0.01
From_T2/e-pgarch-succeed.t2_fixed.smt2 11762589 i MAYBE 47.73/45.54 NO 6.49/6.49 NO 0.19/0.19
From_T2/slayer-3.t2.smt2 11762590 u timeout (wallclock) MAYBE 299.02/299.01 ERROR 253.77/257.85
From_T2/bf9.t2_fixed.smt2 11762591 YES 113.72/107.43 YES 8.48/8.48 ERROR 1.54/1.54
From_T2/qrdcmp.t2.smt2 11762592 is timeout (wallclock) YES 23.67/23.67 ERROR 4.15/4.13
From_T2/eric1.t2.smt2 11762593 is MAYBE 4.10/3.82 YES 2.56/2.57 ERROR 0.28/0.28
From_T2/sas07.cex.t2.smt2 11762594 is timeout (wallclock) YES 18.18/18.24 ERROR 2.06/2.06
From_T2/send-more-money.t2_fixed.smt2 11762595 YES 73.56/73.02 YES 42.04/42.04 ERROR 0.13/0.14
From_T2/loop3.t2.smt2 11762596 is timeout (wallclock) YES 107.33/107.35 ERROR 133.50/133.13
From_T2/e-1394complete-succeed.t2.smt2 11762597 i timeout (wallclock) NO 76.54/76.54 NO 2.86/2.85
From_T2/fun5.t2_fixed.smt2 11762598 u MAYBE 135.60/128.19 MAYBE 298.98/299.00 ERROR 10.08/10.02
From_T2/p-56.t2.smt2 11762599 YES 9.48/8.86 YES 1.77/1.77 ERROR 0.06/0.06
From_T2/traverse.t2_fixed.smt2 11762600 is timeout (wallclock) YES 48.95/48.96 ERROR 1.89/1.89
From_T2/ex7.t2_fixed.smt2 11762601 YES 4.45/4.29 YES 1.52/1.52 ERROR 0.05/0.06
From_T2/s3.t2.smt2 11762602 u timeout (wallclock) MAYBE 298.97/299.01 ERROR 256.21/274.75
From_T2/java_Nested.c.t2_fixed.smt2 11762603 YES 25.88/24.25 YES 3.58/3.58 ERROR 0.35/0.35
From_T2/p-52.t2.smt2 11762604 i MAYBE 16.63/15.56 NO 2.41/2.41 NO 0.04/0.04
From_T2/n-21.t2.smt2 11762605 i MAYBE 11.09/10.31 NO 3.13/3.13 NO 0.09/0.09
From_T2/ex23.t2_fixed.smt2 11762606 YES 1.80/1.68 YES 1.63/1.63 ERROR 0.05/0.06
From_T2/p-7.t2_fixed.smt2 11762607 YES 9.60/9.01 YES 1.98/1.98 ERROR 0.08/0.09
From_T2/mc91test.t2_fixed.smt2 11762608 is MAYBE 38.38/38.45 YES 3.76/3.78 ERROR 1.14/1.13
From_T2/simple_pre3.t2.smt2 11762609 YES 0.21/0.20 YES 1.84/1.85 ERROR 0.00/0.01
From_T2/s1-striped.t2_fixed.smt2 11762610 is timeout (wallclock) MAYBE 298.97/299.01 NO 21.56/21.51
From_T2/bf8.t2.smt2 11762611 YES 143.24/134.40 YES 9.49/9.51 ERROR 1.56/1.56
From_T2/slayer-1-filtered.t2.smt2 11762612 is timeout (wallclock) YES 12.78/12.78 ERROR 0.36/0.36
From_T2/neg-popl07-fail.t2.smt2 11762613 i MAYBE 102.00/96.39 NO 10.62/10.62 NO 0.30/0.30
From_T2/armc-difficult_foo3.t2.smt2 11762614 is timeout (wallclock) YES 47.93/47.94 ERROR 42.17/41.90
From_T2/n-40.t2.smt2 11762615 i timeout (wallclock) NO 7.37/7.37 NO 1.27/1.30
From_T2/peculiar.t2.smt2 11762616 i MAYBE 13.02/12.16 NO 3.93/3.95 NO 0.59/0.58
From_T2/p-33.t2.smt2 11762617 i MAYBE 7.97/7.89 NO 4.21/4.21 NO 0.66/0.65
From_T2/p-43-terminate.t2.smt2 11762618 is timeout (wallclock) YES 61.14/61.15 ERROR 7.54/7.49
From_T2/slayer-n2-filtered.t2.smt2 11762619 i MAYBE 6.77/6.35 NO 15.18/15.22 NO 0.04/0.04
From_T2/p-37.t2.smt2 11762620 YES 13.34/12.47 YES 2.32/2.32 ERROR 0.53/0.53
From_T2/241.t2.smt2 11762621 YES 2.87/2.67 YES 1.58/1.58 ERROR 0.08/0.09
From_T2/dsa_test10.t2_fixed.smt2 11762622 YES 9.53/8.96 YES 1.97/1.97 ERROR 0.09/0.09
From_T2/n-9.t2.smt2 11762623 i MAYBE 47.69/44.99 NO 7.20/7.20 NO 0.26/0.26
From_T2/graycode.t2_fixed.smt2 11762624 is timeout (wallclock) YES 32.35/32.36 ERROR 1.99/1.97
From_T2/n-3a.t2_fixed.smt2 11762625 i MAYBE 57.95/54.07 NO 6.43/6.44 NO 0.86/0.85
From_T2/fun10b.t2.smt2 11762626 i timeout (wallclock) NO 189.76/189.80 NO 4.67/4.67
From_T2/n-1.t2.smt2 11762627 i MAYBE 26.51/25.03 NO 2.98/2.98 NO 0.04/0.04
From_T2/statemate.t2.smt2 11762628 u timeout (wallclock) MAYBE 298.97/299.01 ERROR 254.91/260.02
From_T2/peculiar.t2_fixed.smt2 11762629 i MAYBE 13.86/13.39 NO 3.95/3.95 NO 0.58/0.57
From_T2/e-acqrel-fail.t2.smt2 11762630 i MAYBE 2.42/2.27 NO 2.70/2.70 NO 0.08/0.08
From_T2/rev_nt3.t2.smt2 11762631 i timeout (wallclock) NO 24.87/24.88 NO 0.53/0.53
From_T2/n-5.t2.smt2 11762632 i timeout (wallclock) NO 6.35/6.38 NO 1.48/1.48
From_T2/e-1394-succeed.t2.smt2 11762633 i timeout (wallclock) NO 72.67/72.68 NO 3.32/3.30
From_T2/s3-work.t2_fixed.smt2 11762634 u timeout (wallclock) MAYBE 298.98/299.01 ERROR 14.65/14.61
From_T2/polling.bug.t2_fixed.smt2 11762635 i timeout (wallclock) NO 49.32/49.33 NO 7.23/7.22
From_T2/n-48.t2.smt2 11762636 i MAYBE 8.11/7.52 NO 2.57/2.57 NO 0.10/0.11
From_T2/n-12.t2_fixed.smt2 11762637 i MAYBE 7.69/7.18 NO 3.02/3.02 NO 0.30/0.29
From_T2/huh.t2_fixed.smt2 11762638 YES 179.69/168.86 YES 5.30/5.30 ERROR 0.16/0.16
From_T2/neg-smagilla-succeed.t2.smt2 11762639 is MAYBE 5.62/5.26 MAYBE 60.54/60.79 NO 0.64/0.64
From_T2/p-14.t2.smt2 11762640 YES 0.35/0.33 YES 1.31/1.31 ERROR 0.05/0.05
From_T2/p-10.t2.smt2 11762641 i MAYBE 15.40/14.73 NO 2.47/2.48 NO 0.04/0.05
From_T2/ex2.t2_fixed.smt2 11762642 i MAYBE 2.65/2.92 NO 2.44/2.45 NO 0.06/0.07
From_T2/matmul.t2_fixed.smt2 11762643 YES 22.06/20.59 YES 6.32/6.32 ERROR 0.20/0.20
From_T2/w1.t2.smt2 11762644 i MAYBE 0.29/0.28 NO 9.45/9.49 NO 0.07/0.08
From_T2/ex26.t2_fixed.smt2 11762645 YES 18.59/17.28 YES 3.89/3.91 ERROR 0.10/0.11
From_T2/java_LogBuiltIn.c.t2.smt2 11762646 is MAYBE 27.46/25.71 YES 3.03/3.04 ERROR 0.65/0.66
From_T2/simple_control_on_input.t2_fixed.smt2 11762647 YES 0.47/0.44 YES 1.61/1.61 ERROR 0.05/0.06
From_T2/bs.t2_fixed.smt2 11762648 i MAYBE 26.62/24.77 NO 81.66/81.70 NO 0.74/0.74
From_T2/ex20.t2.smt2 11762649 YES 7.28/6.82 YES 2.75/2.75 ERROR 0.06/0.06
From_T2/neg.t2.smt2 11762650 YES 0.01/0.02 YES 0.80/0.80 ERROR 0.00/0.01
From_T2/compress.t2.smt2 11762651 i timeout (wallclock) NO 249.05/249.10 NO 148.22/147.94
From_T2/slayer-n1.t2_fixed.smt2 11762652 i timeout (wallclock) NO 118.29/118.32 NO 0.77/0.77
From_T2/polyrank4.t2.smt2 11762653 u MAYBE 3.87/3.97 MAYBE 299.07/299.01 ERROR 1.08/1.08
From_T2/ex32.t2_fixed.smt2 11762654 YES 4.93/4.64 YES 2.59/2.59 ERROR 0.09/0.09
From_AProVE_2014/Parts.jar-obl-9.smt2 11761433 YES 15.74/16.00 YES 5.08/5.08 ERROR 4.00/3.96
From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 11761434 YES 16.86/16.02 YES 13.74/13.74 ERROR 8.64/8.61
From_AProVE_2014/ex07_rec.jar-obl-8.smt2 11761435 i MAYBE 0.31/0.29 NO 1.05/1.05 NO 0.03/0.03
From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 11761436 u MAYBE 3.92/3.66 MAYBE 298.97/299.01 ERROR 0.88/0.85
From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 11761437 i MAYBE 0.43/0.40 NO 1.82/1.82 NO 0.14/0.14
From_AProVE_2014/PastaC10.jar-obl-8.smt2 11761438 is MAYBE 0.62/0.58 YES 1.19/1.20 ERROR 0.16/0.16
From_AProVE_2014/MinusMin.jar-obl-8.smt2 11761439 is MAYBE 2.31/2.16 YES 1.49/1.50 ERROR 0.09/0.09
From_AProVE_2014/ListContent.jar-obl-9.smt2 11761440 i MAYBE 0.47/0.45 NO 1.52/1.52 NO 0.09/0.09
From_AProVE_2014/PastaB17.jar-obl-8.smt2 11761441 YES 3.97/4.24 YES 1.43/1.43 ERROR 1.67/1.71
From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 11761442 YES 0.43/0.41 YES 1.07/1.07 ERROR 0.71/0.72
From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 11761443 i MAYBE 0.35/0.34 NO 1.11/1.11 NO 0.04/0.04
From_AProVE_2014/PastaB6.jar-obl-8.smt2 11761444 YES 0.13/0.14 YES 1.04/1.04 ERROR 0.12/0.13
From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 11761445 YES 0.86/0.81 YES 1.94/1.94 ERROR 0.15/0.16
From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 11761446 YES 289.34/286.49 YES 17.00/17.00 ERROR 24.18/24.09
From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 11761447 i MAYBE 0.49/0.46 NO 1.32/1.32 NO 0.10/0.10
From_AProVE_2014/Distances.jar-obl-19.smt2 11761448 is timeout (wallclock) YES 84.27/84.32 ERROR 124.32/123.94
From_AProVE_2014/Et2-rec.jar-obl-8.smt2 11761449 is MAYBE 0.74/0.70 YES 1.98/1.99 ERROR 0.37/0.37
From_AProVE_2014/AppE.jar-obl-9.smt2 11761450 YES 0.86/0.82 YES 1.77/1.78 ERROR 1.26/1.26
From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 11761451 YES 89.61/85.40 YES 11.49/11.49 ERROR 252.26/253.71
From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 11761452 YES 1.41/1.52 YES 1.66/1.66 ERROR 1.47/1.47
From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 11761453 i MAYBE 0.40/0.38 NO 1.18/1.18 NO 0.05/0.05
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 11761454 YES 0.89/0.85 YES 2.07/2.07 ERROR 0.16/0.17
From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 11761455 i MAYBE 0.52/0.49 NO 1.50/1.50 NO 1.17/1.17
From_AProVE_2014/PastaB10.jar-obl-8.smt2 11761456 YES 0.41/0.39 YES 1.40/1.40 ERROR 1.17/1.17
From_AProVE_2014/Et3.jar-obl-9.smt2 11761457 is MAYBE 0.43/0.41 YES 1.41/1.41 ERROR 1.12/1.12
From_AProVE_2014/Swingers.jar-obl-8.smt2 11761458 is MAYBE 0.44/0.42 MAYBE 18.61/19.55 NO 0.04/0.05
From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 11761459 i MAYBE 0.35/0.33 NO 1.17/1.17 NO 0.05/0.05
From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 11761460 i MAYBE 0.40/0.38 NO 1.33/1.34 NO 0.08/0.08
From_AProVE_2014/Double2.jar-obl-8.smt2 11761461 YES 0.09/0.09 YES 1.15/1.16 ERROR 0.03/0.04
From_AProVE_2014/PlusSwap.jar-obl-8.smt2 11761462 is MAYBE 0.35/0.33 YES 1.02/1.03 ERROR 0.12/0.12
From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 11761463 YES 0.54/0.51 YES 1.16/1.16 ERROR 0.57/0.57
From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 11761464 YES 3.32/3.13 YES 4.93/4.93 ERROR 8.86/8.75
From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 11761465 is timeout (wallclock) MAYBE 298.97/299.01 NO 28.38/28.22
From_AProVE_2014/Iterations.jar-obl-8.smt2 11761466 is timeout (wallclock) YES 7.97/7.98 ERROR 3.80/3.79
From_AProVE_2014/Continue1.jar-obl-8.smt2 11761467 YES 0.40/0.38 YES 1.19/1.19 ERROR 0.11/0.11
From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 11761468 YES 0.54/0.51 YES 1.89/1.89 ERROR 0.17/0.18
From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 11761469 i MAYBE 0.51/0.55 NO 1.74/1.74 NO 0.13/0.13
From_AProVE_2014/Test11.jar-obl-8.smt2 11761470 is MAYBE 2.99/2.88 YES 3.35/3.35 ERROR 3.52/3.50
From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 11761471 YES 2.48/2.57 YES 3.52/3.52 ERROR 2.70/2.70
From_AProVE_2014/PartitionList.jar-obl-16.smt2 11761472 YES 78.78/74.76 YES 30.87/30.87 ERROR 31.23/31.10
From_AProVE_2014/LogMult.jar-obl-8.smt2 11761473 is YES 0.41/0.39 MAYBE 16.30/16.69 ERROR 0.24/0.24
From_AProVE_2014/Virtual.jar-obl-9.smt2 11761474 is MAYBE 0.74/0.70 YES 1.33/1.33 ERROR 0.11/0.12
From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 11761475 YES 26.82/25.74 YES 20.69/20.69 ERROR 11.39/11.32
From_AProVE_2014/BubbleSort.jar-obl-8.smt2 11761476 YES 7.69/7.15 YES 2.01/2.02 ERROR 0.71/0.71
From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 11761477 YES 271.62/269.30 YES 13.58/13.58 ERROR 21.73/21.64
From_AProVE_2014/NO_12.jar-obl-8.smt2 11761478 i MAYBE 0.70/1.13 NO 1.72/1.72 NO 0.22/0.22
From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 11761479 YES 0.23/0.22 YES 1.10/1.11 ERROR 0.56/0.56
From_AProVE_2014/EvenOdd.jar-obl-8.smt2 11761480 i MAYBE 5.63/5.28 NO 2.25/2.25 NO 0.14/0.15
From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 11761481 YES 21.04/19.72 YES 4.56/4.56 ERROR 2.33/2.35
From_AProVE_2014/PastaB1.jar-obl-8.smt2 11761482 YES 0.29/0.28 YES 1.04/1.05 ERROR 0.55/0.56
From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 11761483 is MAYBE 1.09/1.02 YES 5.79/5.78 ERROR 0.21/0.21
From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 11761484 YES 13.87/13.48 YES 14.85/14.86 ERROR 23.32/23.31
From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 11761485 YES 0.16/0.16 YES 1.00/1.01 ERROR 0.05/0.05
From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 11761486 i MAYBE 0.67/0.63 NO 2.07/2.07 NO 0.25/0.25
From_AProVE_2014/Et5-rec.jar-obl-8.smt2 11761487 YES 1.61/1.53 YES 2.77/2.77 ERROR 2.29/2.29
From_AProVE_2014/Et1.jar-obl-8.smt2 11761488 is MAYBE 0.39/0.37 YES 1.11/1.11 ERROR 0.12/0.12
From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 11761489 YES 184.09/173.04 YES 15.99/15.99 ERROR 149.17/149.07
From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 11761490 i MAYBE 0.70/0.66 NO 1.71/1.71 NO 0.17/0.17
From_AProVE_2014/Exc1.jar-obl-8.smt2 11761491 is MAYBE 0.28/0.26 MAYBE 20.53/20.74 NO 0.11/0.11
From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 11761492 u MAYBE 0.92/0.87 MAYBE 32.04/33.11 ERROR 0.25/0.24
From_AProVE_2014/PastaB8.jar-obl-8.smt2 11761493 YES 1.03/0.97 YES 1.69/1.70 ERROR 1.37/1.37
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 11761494 i MAYBE 0.36/0.34 NO 1.11/1.11 NO 0.04/0.04
From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 11761495 i MAYBE 0.49/0.46 NO 1.69/1.69 NO 0.13/0.14
From_AProVE_2014/Test2.jar-obl-8.smt2 11761496 is MAYBE 1.65/1.54 YES 3.50/3.50 ERROR 1.97/1.96
From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 11761497 YES 2.22/2.10 YES 2.82/2.82 ERROR 2.20/2.19
From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 11761498 YES 2.01/1.93 YES 2.68/2.68 ERROR 2.68/2.68
From_AProVE_2014/LessLeaves.jar-obl-10.smt2 11761499 is MAYBE 11.34/10.64 MAYBE 299.00/299.00 NO 6.96/6.88
From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 11761500 i MAYBE 41.73/39.02 NO 3.19/3.20 NO 0.26/0.26
From_AProVE_2014/Fibonacci.jar-obl-8.smt2 11761501 YES 0.88/0.85 YES 1.72/1.72 ERROR 0.16/0.17
From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 11761502 i MAYBE 2.86/2.72 NO 3.37/3.37 NO 4.50/4.44
From_AProVE_2014/CyclicList.jar-obl-9.smt2 11761503 YES 1.04/0.98 YES 1.90/1.90 ERROR 0.18/0.18
From_AProVE_2014/Hanoi.jar-obl-8.smt2 11761504 YES 0.16/0.17 YES 1.14/1.14 ERROR 0.04/0.04
From_AProVE_2014/Loop.jar-obl-8.smt2 11761505 i MAYBE 0.06/0.07 NO 1.03/1.03 NO 0.02/0.02
From_AProVE_2014/Kernel95.jar-obl-9.smt2 11761506 YES 3.79/3.89 YES 4.31/4.31 ERROR 4.37/4.34
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 11761507 YES 1.52/1.45 YES 1.67/1.67 ERROR 1.48/1.48
From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 11761508 u MAYBE 0.58/0.55 MAYBE 124.18/124.55 ERROR 0.69/0.69
From_AProVE_2014/List.jar-obl-12.smt2 11761509 is MAYBE 1.44/1.39 MAYBE 35.37/36.29 NO 5.51/5.50
From_AProVE_2014/PastaA4.jar-obl-8.smt2 11761510 YES 0.29/0.28 YES 1.03/1.04 ERROR 0.55/0.55
From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 11761511 is MAYBE 0.67/0.63 MAYBE 21.81/26.56 NO 0.16/0.17
From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 11761512 YES 1.70/1.63 YES 2.24/2.24 ERROR 2.21/2.25
From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 11761513 is MAYBE 1.65/1.54 YES 1.99/2.00 ERROR 1.89/1.89
From_AProVE_2014/PastaA10.jar-obl-8.smt2 11761514 YES 0.50/0.47 YES 2.99/2.99 ERROR 1.09/1.10
From_AProVE_2014/NO_02.jar-obl-8.smt2 11761515 i MAYBE 0.06/0.06 NO 1.04/1.04 NO 0.02/0.02
From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 11761516 is MAYBE 1.76/1.65 MAYBE 30.79/30.93 NO 2.00/2.00
From_AProVE_2014/DivTernary2.jar-obl-9.smt2 11761517 i MAYBE 2.20/2.08 NO 3.39/3.39 NO 1.20/1.20
From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 11761518 YES 118.28/112.16 YES 15.23/15.24 ERROR 252.20/253.09
From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 11761519 is MAYBE 0.84/0.79 YES 1.93/1.93 ERROR 0.39/0.39
From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 11761520 is timeout (wallclock) YES 127.13/127.15 ERROR 138.23/137.56
From_AProVE_2014/MultiLasso.jar-obl-8.smt2 11761521 is MAYBE 2.70/2.54 MAYBE 50.96/52.48 NO 0.10/0.11
From_AProVE_2014/PastaC1.jar-obl-8.smt2 11761522 YES 3.08/2.88 YES 1.35/1.36 ERROR 1.88/1.88
From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 11761523 is timeout (wallclock) YES 35.51/35.52 ERROR 42.92/42.84
From_AProVE_2014/FactSLR.jar-obl-8.smt2 11761524 is MAYBE 0.67/0.62 YES 1.53/1.53 ERROR 0.68/0.68
From_AProVE_2014/Et6.jar-obl-8.smt2 11761525 YES 1.62/1.54 YES 2.98/2.98 ERROR 3.23/3.21
From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 11761526 i MAYBE 0.45/0.42 NO 1.35/1.35 NO 0.17/0.18
From_AProVE_2014/NO_20.jar-obl-8.smt2 11761527 i MAYBE 0.07/0.07 NO 1.03/1.04 NO 0.02/0.02
From_AProVE_2014/Sudoku.jar-obl-14.smt2 11761528 YES 79.17/74.28 YES 19.55/19.56 ERROR 4.66/4.60
From_AProVE_2014/Log.jar-obl-8.smt2 11761529 is MAYBE 1.60/1.50 YES 4.62/5.41 ERROR 0.59/0.60
From_AProVE_2014/Main.jar-obl-11.smt2 11761530 is timeout (wallclock) YES 81.13/81.15 MAYBE 253.80/252.85
From_AProVE_2014/Test8.jar-obl-12.smt2 11761531 is MAYBE 1.46/1.60 YES 2.37/2.37 ERROR 0.29/0.29
From_AProVE_2014/Carre.jar-obl-9.smt2 11761532 YES 14.59/13.65 YES 3.33/3.33 ERROR 16.42/16.41
From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 11761533 YES 94.03/88.86 YES 11.60/11.60 ERROR 14.95/14.88
From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 11761534 YES 3.91/3.72 YES 3.02/3.03 ERROR 3.52/3.52
From_AProVE_2014/IntRTA.jar-obl-8.smt2 11761535 YES 0.69/0.66 YES 1.14/1.15 ERROR 0.65/0.66
From_AProVE_2014/even_rec.jar-obl-8.smt2 11761536 i MAYBE 0.46/0.51 NO 1.14/1.14 NO 0.04/0.04
From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 11761537 i MAYBE 0.64/0.60 NO 1.50/1.50 NO 0.12/0.13
From_AProVE_2014/ex05_rec.jar-obl-8.smt2 11761538 i MAYBE 0.28/0.27 NO 1.12/1.12 NO 0.03/0.04
From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 11761539 YES 0.13/0.13 YES 1.03/1.03 ERROR 0.12/0.12
From_AProVE_2014/GCD2.jar-obl-8.smt2 11761540 YES 0.69/0.65 YES 1.88/1.88 ERROR 6.26/6.26
From_AProVE_2014/PastaB12.jar-obl-8.smt2 11761541 YES 0.29/0.27 YES 1.21/1.21 ERROR 0.12/0.12
From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 11761542 YES 238.61/225.36 YES 23.65/23.65 ERROR 31.72/31.69
From_AProVE_2014/AProVEMath.jar-obl-8.smt2 11761543 YES 1.22/1.43 YES 1.99/1.99 ERROR 1.27/1.27
From_AProVE_2014/Choose.jar-obl-8.smt2 11761544 is MAYBE 0.31/0.29 NO 9.12/9.16 ERROR 0.20/0.20
From_AProVE_2014/Alternate.jar-obl-10.smt2 11761545 is timeout (wallclock) YES 22.11/22.12 ERROR 12.77/12.70
From_AProVE_2014/Samefringe.jar-obl-10.smt2 11761546 is MAYBE 3.40/3.53 MAYBE 77.92/78.01 NO 5.42/5.35
From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 11761547 YES 115.83/109.58 YES 18.71/18.71 ERROR 135.15/135.10
From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 11761548 YES 0.54/0.51 YES 1.80/1.80 ERROR 1.18/1.19
From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 11761549 YES 2.55/2.45 YES 3.23/3.23 ERROR 2.70/2.71
From_AProVE_2014/Duplicate.jar-obl-8.smt2 11761550 YES 0.32/0.31 YES 1.04/1.04 ERROR 0.80/0.80
From_AProVE_2014/NO_05.jar-obl-9.smt2 11761551 u MAYBE 0.47/0.44 MAYBE 58.09/58.15 ERROR 0.16/0.18
From_AProVE_2014/CountUpRound.jar-obl-8.smt2 11761552 YES 2.15/2.02 YES 1.79/1.79 ERROR 1.60/1.60
From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 11761553 YES 194.98/183.98 YES 16.01/16.02 ERROR 150.10/150.00
From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 11761554 YES 0.22/0.53 YES 1.02/1.33 ERROR 0.06/0.06
From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 11761555 YES 0.69/0.65 YES 1.51/1.51 ERROR 1.78/1.77
From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 11761556 YES 94.48/89.61 YES 10.98/10.99 ERROR 252.16/252.86
From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 11761557 u MAYBE 12.33/11.48 MAYBE 63.83/64.00 ERROR 16.80/16.74
From_AProVE_2014/Matrix.jar-obl-16.smt2 11761558 u MAYBE 254.20/238.89 MAYBE 299.00/299.01 ERROR 252.17/252.38
From_AProVE_2014/AckR.jar-obl-8.smt2 11761559 YES 1.08/1.03 YES 1.77/1.78 ERROR 0.27/0.27
From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 11761560 YES 2.61/2.52 YES 3.43/3.44 ERROR 2.84/2.84
From_AProVE_2014/RotateTree.jar-obl-10.smt2 11761561 YES 5.14/4.85 YES 4.80/4.80 ERROR 7.34/7.28
From_AProVE_2014/ChooseLife.jar-obl-8.smt2 11761562 is MAYBE 0.41/0.39 MAYBE 18.05/18.26 NO 0.05/0.05
From_AProVE_2014/PastaB3.jar-obl-8.smt2 11761563 YES 0.07/0.07 YES 1.03/1.04 ERROR 0.61/0.62
From_AProVE_2014/Test6.jar-obl-13.smt2 11761564 u MAYBE 315.43/297.87 MAYBE 298.98/299.01 ERROR 216.01/215.51
From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 11761565 u MAYBE 1.75/1.64 MAYBE 71.36/71.92 ERROR 2.45/2.44
From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 11761566 YES 10.25/10.00 YES 3.97/3.97 ERROR 3.40/3.39
From_AProVE_2014/NO_10.jar-obl-8.smt2 11761567 i MAYBE 0.35/0.33 NO 1.17/1.17 NO 0.03/0.03
From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 11761568 is MAYBE 1.09/1.02 NO 9.60/9.63 ERROR 0.79/0.80
From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 11761569 i MAYBE 0.49/0.47 NO 1.31/1.31 NO 0.22/0.22
From_AProVE_2014/CAppE.jar-obl-9.smt2 11761570 YES 0.39/0.37 YES 1.38/1.38 ERROR 0.09/0.09
From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 11761571 i MAYBE 0.52/0.53 NO 1.36/1.36 NO 0.94/0.94
From_AProVE_2014/PastaA8.jar-obl-8.smt2 11761572 YES 0.30/0.29 YES 1.02/1.03 ERROR 0.55/0.55
From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 11761573 YES 38.24/35.85 YES 4.89/4.89 ERROR 3.72/3.71
From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 11761574 i MAYBE 0.44/0.42 NO 1.32/1.34 NO 0.05/0.05
From_AProVE_2014/GCD5.jar-obl-8.smt2 11761575 is YES 0.51/0.49 MAYBE 17.96/19.13 ERROR 0.24/0.25
From_AProVE_2014/Factorial.jar-obl-8.smt2 11761576 YES 0.09/0.10 YES 1.01/1.02 ERROR 0.04/0.04
From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 11761577 u MAYBE 22.48/20.97 MAYBE 285.52/288.50 ERROR 2.36/2.35
From_AProVE_2014/PastaB15.jar-obl-8.smt2 11761578 YES 0.51/0.52 YES 1.58/1.58 ERROR 1.11/1.11
From_AProVE_2014/LogAG.jar-obl-8.smt2 11761579 is MAYBE 2.48/2.32 YES 1.35/1.35 ERROR 0.64/0.64
From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 11761580 YES 73.24/69.13 YES 12.73/12.73 ERROR 20.57/20.38
From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 11761581 YES 0.74/0.70 YES 1.98/1.99 ERROR 1.24/1.24
From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 11761582 YES 2.01/1.94 YES 2.65/2.66 ERROR 2.68/2.68
From_AProVE_2014/PastaB4.jar-obl-8.smt2 11761583 YES 0.07/0.07 YES 1.03/1.04 ERROR 0.03/0.03
From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 11761584 is MAYBE 0.55/0.52 YES 1.29/1.30 ERROR 0.33/0.33
From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 11761585 i MAYBE 0.74/0.70 NO 2.60/2.60 NO 1.36/1.36
From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 11761586 i MAYBE 0.40/0.39 NO 1.33/1.33 NO 0.08/0.08
From_AProVE_2014/Continue.jar-obl-8.smt2 11761587 i MAYBE 0.07/0.07 NO 1.04/1.04 NO 0.02/0.02
From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 11761588 YES 2.58/2.48 YES 4.37/4.42 ERROR 1.54/1.50
From_AProVE_2014/Convert.jar-obl-9.smt2 11761589 i MAYBE 1.15/1.09 NO 2.20/2.20 NO 0.27/0.27
From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 11761590 i MAYBE 0.46/0.43 NO 1.38/1.38 NO 0.08/0.08
From_AProVE_2014/PastaC3.jar-obl-8.smt2 11761591 YES 1.08/1.01 YES 1.30/1.30 ERROR 1.19/1.19
From_AProVE_2014/MirrorTree.jar-obl-9.smt2 11761592 YES 2.26/2.14 YES 3.87/3.87 ERROR 1.37/1.34
From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 11761593 YES 1.69/1.61 YES 2.26/2.27 ERROR 2.22/2.22
From_AProVE_2014/NO_00.jar-obl-8.smt2 11761594 i MAYBE 0.06/0.07 NO 1.03/1.04 NO 0.02/0.03
From_AProVE_2014/Loop1.jar-obl-8.smt2 11761595 YES 0.43/0.41 YES 1.10/1.10 ERROR 0.57/0.57
From_AProVE_2014/NestedLoop.jar-obl-10.smt2 11761596 is MAYBE 1.14/1.08 YES 3.54/3.54 ERROR 3.06/3.06
From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 11761597 is MAYBE 0.77/0.73 MAYBE 47.34/50.33 NO 0.61/0.62
From_AProVE_2014/Count.jar-obl-10-2.smt2 11761598 i MAYBE 6.67/6.51 NO 6.41/6.41 NO 10.28/10.21
From_AProVE_2014/AG313.jar-obl-8.smt2 11761599 YES 0.18/0.17 YES 1.05/1.05 ERROR 0.12/0.13
From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 11761600 u MAYBE 28.09/27.28 MAYBE 298.97/299.01 ERROR 2.58/2.57
From_AProVE_2014/Et4.jar-obl-8.smt2 11761601 is MAYBE 1.15/1.10 YES 2.59/2.59 ERROR 1.39/1.38
From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 11761602 YES 6.32/5.90 YES 3.47/3.54 ERROR 1.59/1.58
From_AProVE_2014/Exc4.jar-obl-8.smt2 11761603 is MAYBE 0.31/0.29 MAYBE 21.13/22.06 NO 0.12/0.12
From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 11761604 u MAYBE 12.70/11.88 MAYBE 298.98/299.01 ERROR 3.37/3.35
From_AProVE_2014/Norm.jar-obl-9.smt2 11761605 i MAYBE 37.53/35.18 NO 18.85/18.85 NO 21.06/20.98
From_AProVE_2014/PastaA1.jar-obl-8.smt2 11761606 YES 2.08/2.03 YES 1.36/1.37 ERROR 0.59/0.59
From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 11761607 i MAYBE 0.42/0.40 NO 1.41/1.41 NO 0.20/0.20
From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 11761608 YES 1.74/1.67 YES 2.26/2.26 ERROR 2.21/2.21
From_AProVE_2014/HanR.jar-obl-8.smt2 11761609 YES 0.52/0.50 YES 1.33/1.33 ERROR 0.06/0.06
From_AProVE_2014/NO_22.jar-obl-8.smt2 11761610 is MAYBE 0.36/0.34 MAYBE 24.51/24.84 NO 0.24/0.24
From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 11761611 i MAYBE 1.11/1.05 NO 5.26/5.26 NO 0.70/0.70
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 11761612 i MAYBE 0.43/0.41 NO 1.34/1.34 NO 0.17/0.18
From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2 11761613 YES 90.88/85.42 YES 11.65/11.65 ERROR 12.84/12.85
From_AProVE_2014/ex02_rec.jar-obl-8.smt2 11761614 i MAYBE 0.48/0.47 NO 1.71/1.71 NO 0.14/0.14
From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 11761615 YES 3.18/3.01 YES 2.84/2.84 ERROR 4.27/4.27
From_AProVE_2014/Avg.jar-obl-8.smt2 11761616 is MAYBE 0.73/0.69 YES 1.21/1.21 ERROR 0.14/0.14
From_AProVE_2014/Exc3.jar-obl-8.smt2 11761617 YES 0.43/0.41 YES 1.18/1.19 ERROR 0.12/0.12
From_AProVE_2014/Sharing.jar-obl-8.smt2 11761618 YES 0.14/0.14 YES 1.00/1.00 ERROR 0.04/0.05
From_AProVE_2014/TestJulia7.jar-obl-8.smt2 11761619 is MAYBE 0.28/0.27 MAYBE 14.81/14.97 NO 0.04/0.04
From_AProVE_2014/DivMinus.jar-obl-11.smt2 11761620 is MAYBE 31.10/29.25 MAYBE 299.64/299.00 NO 18.25/18.21
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 11761621 YES 1.31/1.23 YES 2.13/2.13 ERROR 0.47/0.48
From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2 11761622 is timeout (wallclock) YES 57.34/57.35 ERROR 104.66/104.22
From_AProVE_2014/Test3.jar-obl-10.smt2 11761623 is MAYBE 4.07/3.86 YES 7.31/7.32 ERROR 2.56/2.53
From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 11761624 u MAYBE 0.99/0.93 MAYBE 36.73/38.09 ERROR 0.29/0.29
From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 11761625 u MAYBE 73.30/71.78 MAYBE 298.98/299.00 ERROR 202.15/201.68
From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 11761626 u MAYBE 314.36/298.07 MAYBE 299.00/299.01 ERROR 2.77/2.76
From_AProVE_2014/TriTas.jar-obl-12.smt2 11761627 is MAYBE 17.67/16.60 MAYBE 299.04/299.00 NO 252.57/256.97
From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 11761628 is MAYBE 0.87/0.82 NO 2.10/2.10 ERROR 0.63/0.63
From_AProVE_2014/MainGet.jar-obl-10.smt2 11761629 is MAYBE 2.06/1.94 MAYBE 57.20/57.36 NO 3.52/3.50
From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 11761630 YES 0.20/0.19 YES 1.25/1.25 ERROR 0.06/0.08
From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 11761631 i MAYBE 1.93/1.83 NO 3.40/3.41 NO 36.42/36.41
From_AProVE_2014/Gopher.jar-obl-10.smt2 11761632 YES 4.68/4.40 YES 4.55/4.55 ERROR 18.88/18.82
From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 11761633 YES 2.00/1.93 YES 2.69/2.69 ERROR 2.68/2.68
From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 11761634 is MAYBE 0.79/0.74 MAYBE 98.52/99.22 NO 0.27/0.28
From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 11761635 u MAYBE 1.27/1.20 MAYBE 92.12/94.61 ERROR 0.22/0.22
From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 11761636 u MAYBE 1.75/1.64 MAYBE 118.69/118.85 ERROR 0.27/0.27
From_AProVE_2014/PastaA6.jar-obl-8.smt2 11761637 is MAYBE 0.54/0.51 YES 1.10/1.11 ERROR 0.11/0.12
From_AProVE_2014/PastaC2.jar-obl-8.smt2 11761638 YES 2.63/2.46 YES 1.37/1.37 ERROR 0.08/0.09
From_AProVE_2014/TwoWay.jar-obl-8.smt2 11761639 YES 0.18/0.18 YES 1.02/1.02 ERROR 0.04/0.04
From_AProVE_2014/NO_01.jar-obl-8.smt2 11761640 i MAYBE 0.06/0.07 NO 1.03/1.03 NO 0.02/0.02
From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2 11761641 is timeout (wallclock) YES 125.64/126.31 ERROR 137.96/137.32
From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 11761642 i MAYBE 0.91/0.85 NO 4.43/4.43 NO 0.22/0.22
From_AProVE_2014/Et5.jar-obl-8.smt2 11761643 YES 1.70/1.63 YES 2.99/2.99 ERROR 2.52/2.51
From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2 11761644 YES 4.70/4.76 YES 3.74/3.75 ERROR 6.65/6.64
From_AProVE_2014/ex03_rec.jar-obl-8.smt2 11761645 i MAYBE 0.65/0.61 NO 1.71/1.71 NO 0.15/0.15
From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 11761646 i MAYBE 1.02/0.96 NO 1.92/1.92 NO 0.48/0.48
From_AProVE_2014/Shuffle.jar-obl-10.smt2 11761647 is MAYBE 1.20/1.14 MAYBE 29.29/29.48 NO 1.15/1.15
From_AProVE_2014/Exc5.jar-obl-8.smt2 11761648 YES 0.39/0.37 YES 1.19/1.19 ERROR 0.10/0.10
From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 11761649 YES 4.40/4.13 YES 3.13/3.14 ERROR 2.16/2.16
From_AProVE_2014/RandomHard.jar-obl-10.smt2 11761650 is MAYBE 203.56/143.99 MAYBE 298.94/299.00 NO 60.87/60.85
From_AProVE_2014/Diff.jar-obl-8.smt2 11761651 YES 14.27/13.54 YES 3.73/3.74 ERROR 0.58/0.57
From_AProVE_2014/BTreeR.jar-obl-9.smt2 11761652 YES 3.07/2.89 YES 3.37/3.37 ERROR 1.49/1.48
From_AProVE_2014/Kernel68.jar-obl-9.smt2 11761653 YES 39.95/37.99 YES 16.50/16.50 ERROR 4.50/4.48
From_AProVE_2014/Et6-rec.jar-obl-8.smt2 11761654 YES 1.50/1.43 YES 2.79/2.79 ERROR 2.87/2.86
From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 11761655 YES 93.26/88.57 YES 11.68/11.68 ERROR 32.52/32.45
From_AProVE_2014/NO_23.jar-obl-8.smt2 11761656 i MAYBE 0.27/0.26 NO 10.80/10.86 NO 0.09/0.10
From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 11761657 u MAYBE 1.26/1.17 MAYBE 299.04/299.01 ERROR 1.50/1.49
From_AProVE_2014/Exc.jar-obl-8.smt2 11761658 YES 0.41/0.39 YES 1.19/1.21 ERROR 0.26/0.26
From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 11761659 YES 1.15/1.08 YES 2.47/2.47 ERROR 2.10/2.09
From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 11761660 is timeout (wallclock) YES 131.63/131.66 ERROR 136.22/135.60
From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 11761661 i MAYBE 4.67/4.39 NO 2.14/2.14 NO 0.72/0.72
From_AProVE_2014/RetValRec.jar-obl-8.smt2 11761662 is MAYBE 0.44/0.41 YES 10.28/10.29 ERROR 0.05/0.05
From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 11761663 i MAYBE 0.43/0.41 NO 1.29/1.29 NO 0.05/0.05
From_AProVE_2014/Exc2.jar-obl-8.smt2 11761664 is MAYBE 0.31/0.29 MAYBE 20.88/21.09 NO 0.12/0.13
From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 11761665 i MAYBE 0.57/0.55 NO 1.88/1.88 NO 1.21/1.21
From_AProVE_2014/TestJulia6.jar-obl-8.smt2 11761666 i MAYBE 0.06/0.06 NO 1.03/1.04 NO 0.02/0.02
From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 11761667 YES 1.73/1.62 YES 1.71/1.71 ERROR 0.15/0.15
From_AProVE_2014/Et2.jar-obl-8.smt2 11761668 is MAYBE 0.93/0.92 YES 2.43/2.43 ERROR 0.64/0.63
From_AProVE_2014/Power.jar-obl-10.smt2 11761669 YES 27.04/25.27 YES 5.33/5.33 ERROR 252.14/252.63
From_AProVE_2014/NO_06.jar-obl-8.smt2 11761670 i MAYBE 0.07/0.07 NO 1.04/1.04 NO 0.02/0.02
From_AProVE_2014/DivMinus2.jar-obl-8.smt2 11761671 YES 7.86/7.36 YES 5.05/5.47 ERROR 0.24/0.24
From_AProVE_2014/Nested.jar-obl-8.smt2 11761672 YES 2.23/2.09 YES 1.42/1.44 ERROR 0.08/0.08
From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 11761673 i MAYBE 6.77/6.78 NO 2.18/2.18 NO 1.32/1.32
From_AProVE_2014/PastaC5.jar-obl-8.smt2 11761674 YES 0.47/0.96 YES 1.24/1.24 ERROR 2.28/2.28
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 11761675 i MAYBE 0.42/0.40 NO 1.29/1.29 NO 0.05/0.05
From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 11761676 YES 0.78/0.73 YES 1.55/1.55 ERROR 1.17/1.17
From_AProVE_2014/Test1.jar-obl-8.smt2 11761677 is MAYBE 2.03/1.92 YES 2.46/2.46 ERROR 2.61/2.60
From_AProVE_2014/LogIterative.jar-obl-8.smt2 11761678 YES 0.54/0.52 YES 1.25/1.26 ERROR 1.35/1.36
From_AProVE_2014/Test10.jar-obl-9.smt2 11761679 YES 1.76/1.64 YES 1.85/1.85 ERROR 0.26/0.26
From_AProVE_2014/FactSum.jar-obl-9.smt2 11761680 YES 0.21/0.20 YES 1.24/1.24 ERROR 0.06/0.08
From_AProVE_2014/Test13Loops.jar-obl-10.smt2 11761681 i MAYBE 1.41/1.33 NO 2.60/2.60 NO 2.82/2.82
From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 11761682 YES 2.58/2.49 YES 3.44/3.44 ERROR 2.84/2.84
From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 11761683 i MAYBE 0.49/0.46 NO 1.66/1.66 NO 0.19/0.19
From_AProVE_2014/Kernel88.jar-obl-9.smt2 11761684 YES 9.98/9.53 YES 2.33/2.34 ERROR 3.50/3.49
From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 11761685 u MAYBE 0.59/0.56 MAYBE 125.34/125.51 ERROR 0.69/0.69
From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 11761686 YES 7.71/7.25 YES 6.07/6.08 ERROR 6.02/5.95
From_AProVE_2014/ListContentTail.jar-obl-10.smt2 11761687 YES 3.05/2.85 YES 2.67/2.67 ERROR 2.39/2.38
From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 11761688 i MAYBE 0.43/0.41 NO 1.67/1.68 NO 0.15/0.15
From_AProVE_2014/Mod.jar-obl-8.smt2 11761689 YES 4.63/4.33 YES 4.52/4.53 ERROR 0.22/0.22
From_AProVE_2014/NO_24.jar-obl-8.smt2 11761690 is MAYBE 0.41/0.39 MAYBE 20.47/23.05 NO 0.04/0.04
From_AProVE_2014/Init.jar-obl-8.smt2 11761691 i MAYBE 0.07/0.07 NO 1.04/1.05 NO 0.02/0.03
From_AProVE_2014/LinkedList.jar-obl-10.smt2 11761692 is MAYBE 0.80/0.76 MAYBE 29.40/29.99 NO 0.81/0.81
From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 11761693 u MAYBE 1.22/1.14 MAYBE 92.93/93.07 ERROR 0.21/0.21
From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 11761694 YES 1.78/1.70 YES 2.21/2.21 ERROR 2.21/2.21
From_AProVE_2014/Round3.jar-obl-8.smt2 11761695 u MAYBE 1.13/1.06 MAYBE 21.76/21.85 ERROR 0.58/0.59
From_AProVE_2014/PastaA7.jar-obl-8.smt2 11761696 YES 0.40/0.40 YES 1.08/1.08 ERROR 0.57/0.58
From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 11761697 YES 19.50/18.30 YES 5.73/5.74 ERROR 7.34/7.32
From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 11761698 is MAYBE 0.37/0.36 MAYBE 16.50/16.63 NO 0.13/0.14
From_AProVE_2014/DivMinus.jar-obl-8.smt2 11761699 YES 0.24/0.23 YES 1.08/1.08 ERROR 0.14/0.14
From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 11761700 i MAYBE 2.11/1.98 NO 3.10/3.10 NO 0.35/0.35
From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 11761701 i MAYBE 0.99/0.93 NO 3.92/3.92 NO 0.52/0.52
From_AProVE_2014/GCD3.jar-obl-8.smt2 11761702 YES 2.71/2.88 YES 1.37/1.37 ERROR 0.91/0.91
From_AProVE_2014/PastaB13.jar-obl-8.smt2 11761703 YES 5.13/4.82 YES 5.68/5.70 ERROR 1.16/1.16
From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 11761704 i MAYBE 0.51/0.49 NO 1.48/1.48 NO 0.13/0.14
From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 11761705 is MAYBE 0.64/0.60 MAYBE 53.98/54.09 NO 1.34/1.34
From_AProVE_2014/Test7.jar-obl-11.smt2 11761706 is MAYBE 1.30/1.23 MAYBE 41.29/49.04 NO 2.19/2.23
From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 11761707 YES 1.74/1.67 YES 2.28/2.30 ERROR 2.22/2.24
From_AProVE_2014/Et1-rec.jar-obl-8.smt2 11761708 is MAYBE 0.60/0.57 YES 1.38/1.38 ERROR 0.30/0.31
From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 11761709 is MAYBE 1.12/1.04 YES 1.54/1.56 ERROR 0.24/0.25
From_AProVE_2014/LogRecursive.jar-obl-8.smt2 11761710 YES 1.30/1.23 YES 2.06/2.09 ERROR 1.43/1.44
From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 11761711 YES 28.60/27.49 YES 20.78/20.78 ERROR 10.67/10.61
From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 11761712 YES 1.70/1.61 YES 3.55/3.57 ERROR 0.81/0.81
From_AProVE_2014/ex04_rec.jar-obl-8.smt2 11761713 i MAYBE 0.35/0.34 NO 1.16/1.20 NO 0.04/0.04
From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 11761714 i MAYBE 5.48/5.56 NO 4.14/4.14 NO 6.88/6.80
From_AProVE_2014/Test12.jar-obl-8.smt2 11761715 is MAYBE 0.95/0.89 YES 2.47/2.48 ERROR 1.69/1.68
From_AProVE_2014/sum_rec.jar-obl-8.smt2 11761716 i MAYBE 0.29/0.30 NO 1.19/1.19 NO 1.15/1.15
From_AProVE_2014/PastaB2.jar-obl-8.smt2 11761717 YES 0.31/0.30 YES 1.03/1.03 ERROR 0.55/0.55
From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 11761718 YES 0.19/0.18 YES 1.01/1.01 ERROR 0.04/0.04
From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 11761719 i MAYBE 0.61/0.58 NO 3.35/3.35 NO 0.16/0.16
From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 11761720 i MAYBE 0.51/0.48 NO 1.67/1.67 NO 0.73/0.73
From_AProVE_2014/Flatten.jar-obl-10.smt2 11761721 i MAYBE 5.13/4.83 NO 3.50/3.50 NO 5.21/5.14
From_AProVE_2014/NO_11.jar-obl-8.smt2 11761722 is MAYBE 0.36/0.34 MAYBE 24.58/25.96 NO 0.65/0.65
From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 11761723 YES 2.55/2.47 YES 3.37/3.37 ERROR 2.70/2.69
From_AProVE_2014/MainCopy.jar-obl-10.smt2 11761724 is MAYBE 2.81/2.68 MAYBE 118.59/118.74 NO 4.09/4.09
From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 11761725 i MAYBE 5.07/4.80 NO 3.55/3.57 NO 8.16/8.12
From_AProVE_2014/Nest.jar-obl-8.smt2 11761726 YES 0.38/0.40 YES 1.53/1.53 ERROR 0.10/0.10
From_AProVE_2014/PastaA9.jar-obl-8.smt2 11761727 YES 0.68/0.64 YES 1.06/1.07 ERROR 0.15/0.15
From_AProVE_2014/Sequence.jar-obl-9.smt2 11761728 YES 0.40/0.38 YES 1.23/1.24 ERROR 0.08/0.08
From_AProVE_2014/ex08_rec.jar-obl-8.smt2 11761729 u MAYBE 11.43/10.67 MAYBE 298.95/299.01 ERROR 0.43/0.43
From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 11761730 i MAYBE 2.54/2.38 NO 2.64/2.64 NO 136.99/137.00
From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 11761731 is MAYBE 15.01/14.09 MAYBE 68.68/68.76 NO 1.86/1.84
From_AProVE_2014/Test4.jar-obl-10.smt2 11761732 is timeout (wallclock) MAYBE 298.97/299.01 NO 68.77/68.64
From_AProVE_2014/GCD4.jar-obl-8.smt2 11761733 YES 2.69/2.51 YES 1.36/1.37 ERROR 0.91/0.91
From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 11761734 YES 4.57/4.30 YES 3.77/3.78 ERROR 4.90/4.87
From_AProVE_2014/PastaB14.jar-obl-8.smt2 11761735 YES 0.24/0.23 YES 1.46/1.46 ERROR 0.14/0.14
From_AProVE_2014/Test9.jar-obl-20.smt2 11761736 YES 3.34/3.11 YES 5.41/5.41 ERROR 1.20/1.19
From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 11761737 i MAYBE 0.63/0.59 NO 1.78/1.78 NO 0.13/0.13
From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 11761738 i MAYBE 0.39/0.37 NO 1.31/1.31 NO 0.06/0.22
From_AProVE_2014/flip2_rec.jar-obl-8.smt2 11761739 u MAYBE 1.04/0.98 MAYBE 34.34/35.93 ERROR 0.61/0.61
From_AProVE_2014/Double.jar-obl-8.smt2 11761740 YES 0.60/0.57 YES 1.27/1.27 ERROR 1.10/1.10
From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 11761741 i MAYBE 0.55/0.52 NO 1.33/1.34 NO 0.07/0.07
From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 11761742 YES 2.14/2.06 YES 2.62/2.62 ERROR 2.68/2.68
From_AProVE_2014/Collatz.jar-obl-8.smt2 11761743 u MAYBE 4.07/4.32 MAYBE 300.55/299.01 ERROR 1.09/1.09
From_AProVE_2014/ListInt.jar-obl-12.smt2 11761744 is MAYBE 4.03/3.80 MAYBE 122.32/128.31 NO 2.08/2.07
From_AProVE_2014/StupidArray.jar-obl-8.smt2 11761745 YES 0.05/0.05 YES 1.01/1.01 ERROR 0.55/0.55
From_AProVE_2014/PastaB5.jar-obl-8.smt2 11761746 YES 0.14/0.13 YES 1.16/1.16 ERROR 0.60/0.61
From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 11761747 YES 0.39/0.39 YES 1.30/1.30 ERROR 0.12/0.12
From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 11761748 YES 0.38/0.36 YES 1.56/1.58 ERROR 0.52/0.52
From_AProVE_2014/FibSLR.jar-obl-8.smt2 11761749 is MAYBE 0.67/0.65 YES 2.05/2.07 ERROR 0.71/0.72
From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 11761750 YES 13.69/13.15 YES 14.96/14.96 ERROR 23.31/23.27
From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 11761751 i MAYBE 0.44/0.41 NO 1.40/1.40 NO 0.15/0.16
From_AProVE_2014/cousot_rec.jar-obl-8.smt2 11761752 i MAYBE 21.11/19.79 NO 1.95/1.95 NO 1.05/1.05
From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 11761753 i MAYBE 0.92/0.88 NO 1.41/1.41 NO 0.12/0.18
From_AProVE_2014/Fractale1.jar-obl-8.smt2 11761754 YES 26.00/24.43 YES 7.51/7.51 ERROR 7.63/7.61
From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 11761755 i MAYBE 0.73/0.69 NO 2.63/2.63 NO 1.39/1.38
From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 11761756 YES 11.73/11.05 YES 4.38/4.38 ERROR 4.02/4.02
From_AProVE_2014/PastaC7.jar-obl-8.smt2 11761757 YES 0.26/0.25 YES 1.10/1.11 ERROR 0.56/0.57
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 11761758 u MAYBE 95.52/89.98 MAYBE 299.00/299.01 ERROR 10.76/10.71
From_AProVE_2014/Recursions.jar-obl-13.smt2 11761759 YES 3.19/3.00 YES 3.01/3.01 ERROR 0.90/0.94
From_AProVE_2014/NO_04.jar-obl-8.smt2 11761760 i MAYBE 0.07/0.10 NO 1.04/1.04 NO 0.02/0.03
From_AProVE_2014/ex01_rec.jar-obl-8.smt2 11761761 i MAYBE 0.44/0.42 NO 1.13/1.13 NO 0.04/0.04
From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 11761762 i MAYBE 8.11/7.65 NO 4.22/4.23 NO 1.98/1.98
From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 11761763 i MAYBE 0.44/0.41 NO 1.40/1.41 NO 0.08/0.08
From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 11761764 YES 4.67/4.74 YES 5.09/5.09 ERROR 2.79/2.79
From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 11761765 i MAYBE 0.65/0.61 NO 1.72/1.76 NO 0.13/0.13
From_AProVE_2014/Et4-rec.jar-obl-8.smt2 11761766 is MAYBE 0.91/0.86 YES 2.21/2.21 ERROR 1.07/1.06
From_AProVE_2014/PastaB18.jar-obl-8.smt2 11761767 YES 0.39/0.37 YES 1.99/2.02 ERROR 0.66/0.66
From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 11761768 YES 96.52/92.92 YES 11.92/11.93 ERROR 15.68/15.62
From_AProVE_2014/FlattenTree.jar-obl-9.smt2 11761769 i MAYBE 2.88/3.08 NO 3.67/3.67 NO 4.69/4.62
From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 11761770 is timeout (wallclock) YES 63.96/63.96 ERROR 144.91/144.70
From_AProVE_2014/Queen.jar-obl-10.smt2 11761771 is MAYBE 3.77/3.53 MAYBE 298.91/299.01 NO 5.83/5.79
From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 11761772 is timeout (wallclock) YES 106.49/106.52 ERROR 253.54/258.15
From_AProVE_2014/PastaA5.jar-obl-8.smt2 11761773 is MAYBE 0.45/0.43 YES 1.07/1.08 ERROR 0.06/0.07
From_AProVE_2014/GCD.jar-obl-8.smt2 11761774 YES 0.75/0.71 YES 2.20/2.21 ERROR 6.60/6.61
From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 11761775 is MAYBE 1.13/1.06 YES 6.09/6.11 ERROR 0.23/0.23
From_AProVE_2014/NO_03.jar-obl-8.smt2 11761776 i MAYBE 0.48/0.45 NO 1.35/1.36 NO 0.08/0.08
From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 11761777 i MAYBE 0.85/0.80 NO 1.98/1.98 NO 0.17/0.18
From_AProVE_2014/MergeSort.jar-obl-12.smt2 11761778 YES 57.90/54.49 YES 11.24/11.24 ERROR 7.80/7.78
From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 11761779 i MAYBE 2.18/2.12 NO 7.67/7.67 NO 0.57/0.57
From_AProVE_2014/MainMove.jar-obl-11.smt2 11761780 is MAYBE 66.88/62.99 MAYBE 122.80/122.98 NO 5.10/9.70
From_AProVE_2014/DivTernary.jar-obl-10.smt2 11761781 i MAYBE 133.84/126.66 NO 160.49/160.50 NO 105.97/105.84
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 11761782 u MAYBE 3.99/3.73 MAYBE 300.54/299.00 ERROR 1.09/1.09
From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 11761783 YES 1.70/2.12 YES 2.23/2.23 ERROR 2.21/2.20
From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 11761784 YES 185.77/174.88 YES 16.20/16.21 ERROR 149.17/149.08
From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 11761785 i MAYBE 1.06/1.00 NO 4.73/4.74 NO 0.65/0.64
From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 11761786 YES 1.63/1.55 YES 2.24/2.24 ERROR 2.21/2.21
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 11761787 YES 13.90/13.36 YES 4.80/4.81 ERROR 2.31/2.30
From_AProVE_2014/NO_21.jar-obl-8.smt2 11761788 i MAYBE 0.07/0.07 NO 1.03/1.04 NO 0.02/0.02
From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 11761789 is MAYBE 0.86/0.84 MAYBE 53.07/54.59 NO 0.19/0.20
From_AProVE_2014/Break.jar-obl-8.smt2 11761790 YES 0.21/0.21 YES 0.99/1.00 ERROR 0.04/0.10
From_AProVE_2014/Take.jar-obl-8.smt2 11761791 YES 0.67/0.64 YES 1.23/1.23 ERROR 0.65/0.71
From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 11761792 YES 1.65/1.59 YES 2.25/2.25 ERROR 2.21/2.21
From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 11761793 u MAYBE 18.38/17.64 MAYBE 298.94/299.01 ERROR 31.66/31.61
From_AProVE_2014/BinarySearch.jar-obl-9.smt2 11761794 is timeout (wallclock) YES 97.96/97.98 ERROR 90.22/90.24
From_AProVE_2014/Kernel93.jar-obl-9.smt2 11761795 is MAYBE 4.06/3.81 NO 4.24/4.25 ERROR 2.69/2.72
From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 11761796 YES 0.12/0.12 YES 1.03/1.09 ERROR 0.12/0.13
From_AProVE_2014/Ackermann.jar-obl-8.smt2 11761797 YES 0.50/0.47 YES 1.65/1.79 ERROR 0.23/0.23
From_AProVE_2014/sunset_rec.jar-obl-8.smt2 11761798 is MAYBE 0.72/0.68 MAYBE 97.77/97.91 NO 0.27/0.27
From_AProVE_2014/CountMetaList.jar-obl-9.smt2 11761799 is MAYBE 1.68/1.57 MAYBE 29.59/29.85 NO 1.97/1.96
From_AProVE_2014/RSA.jar-obl-17.smt2 11761800 u timeout (wallclock) MAYBE 298.98/299.01 ERROR 38.89/38.78
From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 11761801 is timeout (wallclock) YES 15.37/15.39 ERROR 6.49/6.45
From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 11761802 YES 0.20/0.23 YES 1.22/1.22 ERROR 0.05/0.06
From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 11761803 i MAYBE 0.52/0.49 NO 1.29/1.29 NO 0.08/0.13
From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 11761804 YES 30.03/28.38 YES 10.60/10.63 ERROR 7.28/7.25
From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 11761805 i MAYBE 0.69/0.64 NO 1.93/1.93 NO 0.15/0.15
From_AProVE_2014/PastaC11.jar-obl-8.smt2 11761806 YES 0.36/0.35 YES 1.61/1.62 ERROR 0.12/0.12
From_AProVE_2014/Et3-rec.jar-obl-8.smt2 11761807 is MAYBE 0.55/0.52 YES 1.35/1.36 ERROR 0.20/0.20
From_AProVE_2014/PastaB16.jar-obl-8.smt2 11761808 YES 1.44/1.35 YES 1.33/1.34 ERROR 0.16/0.16
From_AProVE_2014/flip_rec.jar-obl-8.smt2 11761809 is MAYBE 0.43/0.41 MAYBE 19.81/20.07 NO 0.05/0.07
From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 11761810 YES 0.56/0.55 YES 1.25/1.26 ERROR 0.65/0.68
From_AProVE_2014/ConvertRec.jar-obl-9.smt2 11761811 i MAYBE 3.26/3.10 NO 4.88/4.89 NO 1.87/1.87
From_AProVE_2014/PastaB7.jar-obl-8.smt2 11761812 YES 0.36/0.34 YES 1.06/1.07 ERROR 0.59/0.59
From_AProVE_2014/PastaC9.jar-obl-8.smt2 11761813 YES 0.54/0.51 YES 1.65/1.66 ERROR 0.25/0.25
From_AProVE_2014/ex06_rec.jar-obl-8.smt2 11761814 i MAYBE 0.32/0.30 NO 1.19/1.20 NO 0.03/0.03
From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 11761815 YES 8.47/8.12 YES 3.63/3.83 ERROR 3.90/3.91
From_AProVE_2014/BTree.jar-obl-9.smt2 11761816 YES 2.07/1.97 YES 2.72/2.72 ERROR 1.44/1.44
From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 11761817 u MAYBE 2.53/2.37 MAYBE 299.49/299.00 ERROR 1.14/1.13
From_AProVE_2014/MainDelete.jar-obl-10.smt2 11761818 is MAYBE 5.17/4.92 MAYBE 128.15/128.35 NO 4.29/4.26
From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 11761819 YES 17.09/16.01 YES 4.37/4.37 ERROR 3.09/3.08
From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 11761820 is timeout (wallclock) YES 57.63/57.64 ERROR 107.58/107.12
From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 11761821 YES 0.29/0.28 YES 1.03/1.04 ERROR 0.55/0.55
From_AProVE_2014/PastaB11.jar-obl-8.smt2 11761822 is MAYBE 0.91/0.85 YES 1.68/1.68 ERROR 1.76/1.79
From_AProVE_2014/Domino.jar-obl-27.smt2 11761823 u timeout (wallclock) MAYBE 298.96/299.01 ERROR 252.91/253.44
From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 11761824 i MAYBE 0.43/0.41 NO 1.28/1.29 NO 0.05/0.05
From_AProVE_2014/Binomial.jar-obl-9.smt2 11761825 is timeout (wallclock) YES 12.09/12.09 ERROR 4.38/4.35
From_AProVE_2014/RunningPointers.jar-obl-9.smt2 11761826 YES 0.43/0.42 YES 1.43/1.43 ERROR 0.16/0.17
From_AProVE_2014/MainFind.jar-obl-10.smt2 11761827 is MAYBE 3.21/3.04 MAYBE 118.99/120.20 NO 4.47/4.45
From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 11761828 is timeout (wallclock) YES 98.23/98.25 ERROR 126.23/125.69
From_AProVE_2014/Double3.jar-obl-8.smt2 11761829 YES 0.09/0.10 YES 1.01/1.01 ERROR 0.04/0.04
From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 11761830 YES 4.60/4.52 YES 4.97/4.97 ERROR 2.79/2.79
From_AProVE_2014/convLower_rec.jar-obl-8.smt2 11761831 i MAYBE 0.45/0.42 NO 1.68/1.68 NO 0.14/0.16
From_AProVE_2014/Overflow.jar-obl-8.smt2 11761832 i YES 0.31/0.31 YES 1.01/1.02 MAYBE 0.04/0.05
From_AProVE_2014/SharingPair.jar-obl-8.smt2 11761833 i MAYBE 0.58/0.55 NO 18.85/18.89 NO 0.19/0.19
From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 11761834 i MAYBE 0.42/0.40 NO 1.54/1.54 NO 0.78/0.79
From_AProVE_2014/SortCount.jar-obl-10.smt2 11761835 u MAYBE 3.87/3.68 MAYBE 298.87/299.01 ERROR 4.18/4.16
From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 11761836 u MAYBE 188.08/177.07 MAYBE 298.98/299.01 ERROR 2.67/2.66
From_AProVE_2014/Count.jar-obl-10.smt2 11761837 i MAYBE 2.89/2.73 NO 3.73/3.73 NO 5.73/5.66
From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 11761838 YES 2.05/1.96 YES 2.64/2.67 ERROR 2.68/2.68
From_AProVE_2014/Test5.jar-obl-11.smt2 11761839 is MAYBE 6.34/6.07 YES 10.29/10.29 ERROR 7.79/7.78
From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 11761840 u MAYBE 174.46/173.18 MAYBE 298.96/299.01 MAYBE 253.30/256.01
From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 11761841 YES 1.65/1.58 YES 2.20/2.20 ERROR 2.21/2.21
From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 11761842 YES 3.48/3.31 YES 4.84/4.84 ERROR 7.16/7.09
From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 11761843 i MAYBE 0.49/0.47 NO 1.40/1.41 NO 0.09/0.10
From_AProVE_2014/FactSumList.jar-obl-8.smt2 11761844 YES 9.02/8.50 YES 1.80/1.80 ERROR 0.74/0.74
From_AProVE_2014/NO_13.jar-obl-8.smt2 11761845 is MAYBE 0.57/0.57 MAYBE 29.04/29.21 NO 1.35/1.36
From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 11761846 i MAYBE 0.07/0.09 NO 1.03/1.06 NO 0.02/0.07
From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 11761847 YES 113.67/107.65 YES 15.17/15.18 ERROR 252.24/253.25
From_AProVE_2014/Graph.jar-obl-17.smt2 11761848 u timeout (wallclock) MAYBE 296.56/299.01 ERROR 336.71/296.88
441 1035 496