TermCOMP 2023: Integer TRS Innermost 60902 Job info CSV Showing results.

benchmark VBS AProVE23 standard ~Y2022
Mixed_ITRS_2014/A03.itrs 13166834 f YES YES 5.04/1.90 YES
Mixed_ITRS_2014/13.itrs 13166835 f YES YES 6.48/2.33 YES
Mixed_ITRS_2014/divMinus.itrs 13166836 f YES YES 5.06/1.96 YES
Mixed_ITRS_2014/22.itrs 13166837 f YES YES 6.36/2.28 YES
Mixed_ITRS_2014/sqrt_patrs.itrs 13166838 f YES YES 5.72/2.11 YES
Mixed_ITRS_2014/extra1.itrs 13166839 f YES YES 4.92/1.90 YES
Mixed_ITRS_2014/A07.itrs 13166840 f YES YES 6.85/2.47 YES
Mixed_ITRS_2014/sumto_no_if.itrs 13166841 f YES YES 4.74/1.86 YES
Mixed_ITRS_2014/17.itrs 13166842 f YES YES 11.32/3.93 YES
Mixed_ITRS_2014/f91.itrs 13166843 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/div.itrs 13166844 f YES YES 5.19/1.94 YES
Mixed_ITRS_2014/03.itrs 13166845 f YES YES 5.27/2.00 YES
Mixed_ITRS_2014/c.04.itrs 13166846 f YES YES 7.75/2.71 YES
Mixed_ITRS_2014/ackTen.itrs 13166847 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/A13.itrs 13166848 f YES YES 5.71/2.13 YES
Mixed_ITRS_2014/complete1.itrs 13166849 f YES YES 6.93/2.46 YES
Mixed_ITRS_2014/poly1.itrs 13166850 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/practical2.itrs 13166851 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/countup.itrs 13166852 f YES YES 4.89/1.87 YES
Mixed_ITRS_2014/unsatCond1.itrs 13166853 f YES YES 4.71/1.86 YES
Mixed_ITRS_2014/a.06.itrs 13166854 f YES YES 5.47/2.04 YES
Mixed_ITRS_2014/increase1.itrs 13166855 f YES YES 5.03/1.92 YES
Mixed_ITRS_2014/07.itrs 13166856 f YES YES 5.12/1.96 YES
Mixed_ITRS_2014/csharp3.itrs 13166857 f YES YES 5.21/1.98 YES
Mixed_ITRS_2014/collatz.itrs 13166858 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/A17.itrs 13166859 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/powFast.itrs 13166860 f YES YES 6.27/2.26 YES
Mixed_ITRS_2014/a.02.itrs 13166861 if YES timeout (wallclock) YES
Mixed_ITRS_2014/Ex04.itrs 13166862 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/c.05.itrs 13166863 f YES YES 6.64/2.41 YES
Mixed_ITRS_2014/02.itrs 13166864 f YES YES 5.00/1.90 YES
Mixed_ITRS_2014/A12.itrs 13166865 f YES YES 4.88/1.89 YES
Mixed_ITRS_2014/gcd_minmax.itrs 13166866 f YES YES 5.81/2.12 YES
Mixed_ITRS_2014/practical3.itrs 13166867 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/increase4.itrs 13166868 f YES YES 5.04/1.94 YES
Mixed_ITRS_2014/thousand.itrs 13166869 f YES YES 4.86/1.88 YES
Mixed_ITRS_2014/randomFullUpDown.itrs 13166870 f YES YES 28.72/9.58 YES
Mixed_ITRS_2014/a.07.itrs 13166871 f YES YES 5.61/2.09 YES
Mixed_ITRS_2014/sum.itrs 13166872 f YES YES 4.92/1.88 YES
Mixed_ITRS_2014/poly4.itrs 13166873 f YES YES 15.38/5.54 YES
Mixed_ITRS_2014/complete4.itrs 13166874 f YES YES 6.00/2.19 YES
Mixed_ITRS_2014/pow.itrs 13166875 f YES YES 4.91/1.88 YES
Mixed_ITRS_2014/c.01.itrs 13166876 f YES YES 6.64/2.36 YES
Mixed_ITRS_2014/csharp2.itrs 13166877 f YES YES 5.25/1.97 YES
Mixed_ITRS_2014/06.itrs 13166878 f YES YES 4.91/1.92 YES
Mixed_ITRS_2014/A16.itrs 13166879 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/incList.itrs 13166880 f YES YES 5.29/2.07 YES
Mixed_ITRS_2014/quicksort.itrs 13166881 f YES YES 8.34/2.84 YES
Mixed_ITRS_2014/eratosthenes_small.itrs 13166882 f YES YES 95.31/31.77 YES
Mixed_ITRS_2014/a.03.itrs 13166883 f YES YES 16.90/5.83 YES
Mixed_ITRS_2014/A02.itrs 13166884 f YES YES 4.90/1.90 YES
Mixed_ITRS_2014/random.itrs 13166885 f YES YES 5.05/1.90 YES
Mixed_ITRS_2014/Ex09.itrs 13166886 f YES YES 9.91/3.42 YES
Mixed_ITRS_2014/23.itrs 13166887 f YES YES 8.15/2.82 YES
Mixed_ITRS_2014/A06.itrs 13166888 f YES YES 8.69/3.00 YES
Mixed_ITRS_2014/16.itrs 13166889 f YES YES 8.81/2.96 YES
Mixed_ITRS_2014/A10.itrs 13166890 f YES YES 11.76/4.33 YES
Mixed_ITRS_2014/countdown.itrs 13166891 f YES YES 4.69/1.85 YES
Mixed_ITRS_2014/practical1.itrs 13166892 f YES YES 6.89/2.45 YES
Mixed_ITRS_2014/complete2.itrs 13166893 f YES YES 5.78/2.13 YES
Mixed_ITRS_2014/poly2.itrs 13166894 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/a.05.itrs 13166895 f YES YES 4.96/1.90 YES
Mixed_ITRS_2014/unsatCond2.itrs 13166896 f YES YES 4.66/1.83 YES
Mixed_ITRS_2014/18.itrs 13166897 f YES YES 7.42/2.55 YES
Mixed_ITRS_2014/A08.itrs 13166898 f YES YES 8.01/2.78 YES
Mixed_ITRS_2014/countUpNo.itrs 13166899 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/increase2.itrs 13166900 f YES YES 6.65/2.38 YES
Mixed_ITRS_2014/A14.itrs 13166901 f YES YES 95.14/28.06 YES
Mixed_ITRS_2014/04.itrs 13166902 f YES YES 5.07/1.90 YES
Mixed_ITRS_2014/c.03.itrs 13166903 f YES YES 7.66/2.67 YES
Mixed_ITRS_2014/sumto.itrs 13166904 f YES YES 5.06/1.92 YES
Mixed_ITRS_2014/a.01.itrs 13166905 f YES YES 6.63/2.37 YES
Mixed_ITRS_2014/10.itrs 13166906 f YES YES 7.18/2.60 YES
Mixed_ITRS_2014/log_RTA09.itrs 13166907 f YES YES 5.39/2.01 YES
Mixed_ITRS_2014/minsort.itrs 13166908 f YES YES 7.84/2.77 YES
Mixed_ITRS_2014/21.itrs 13166909 f YES YES 7.00/2.55 YES
Mixed_ITRS_2014/08.itrs 13166910 f YES YES 5.06/1.92 YES
Mixed_ITRS_2014/mult.itrs 13166911 f YES YES 7.19/2.51 YES
Mixed_ITRS_2014/extra2.itrs 13166912 f YES YES 4.92/1.91 YES
Mixed_ITRS_2014/random_full.itrs 13166913 f YES YES 27.72/9.36 YES
Mixed_ITRS_2014/a.09.itrs 13166914 f YES YES 5.48/2.04 YES
Mixed_ITRS_2014/A04.itrs 13166915 f YES YES 5.54/2.07 YES
Mixed_ITRS_2014/a.11.itrs 13166916 f YES YES 7.71/2.67 YES
Mixed_ITRS_2014/log_RTA08.itrs 13166917 f YES YES 5.83/2.15 YES
Mixed_ITRS_2014/11.itrs 13166918 f YES YES 6.32/2.28 YES
Mixed_ITRS_2014/choice.itrs 13166919 f YES YES 173.79/54.18 YES
Mixed_ITRS_2014/A01.itrs 13166920 f YES YES 4.87/1.88 YES
Mixed_ITRS_2014/maxsort.itrs 13166921 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/20.itrs 13166922 f YES YES 6.63/2.40 YES
Mixed_ITRS_2014/indirect.itrs 13166923 f YES YES 5.64/2.07 YES
Mixed_ITRS_2014/09.itrs 13166924 f YES YES 5.61/2.08 YES
Mixed_ITRS_2014/abstractions.itrs 13166925 f YES YES 6.23/2.23 YES
Mixed_ITRS_2014/24.itrs 13166926 f YES YES 7.14/2.52 YES
Mixed_ITRS_2014/a.08.itrs 13166927 f YES YES 5.06/1.91 YES
Mixed_ITRS_2014/15.itrs 13166928 f YES YES 8.63/3.02 YES
Mixed_ITRS_2014/A05.itrs 13166929 f YES YES 5.61/2.09 YES
Mixed_ITRS_2014/sqrt_new.itrs 13166930 f YES YES 6.10/2.19 YES
Mixed_ITRS_2014/a.10.itrs 13166931 f YES YES 21.74/6.58 YES
Mixed_ITRS_2014/A11.itrs 13166932 f YES YES 4.85/1.90 YES
Mixed_ITRS_2014/01.itrs 13166933 f YES YES 5.01/1.92 YES
Mixed_ITRS_2014/random_no_wrap.itrs 13166934 f YES YES 5.21/1.95 YES
Mixed_ITRS_2014/round.itrs 13166935 f YES YES 5.76/2.10 YES
Mixed_ITRS_2014/poly3.itrs 13166936 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/complete3.itrs 13166937 f YES YES 6.90/2.47 YES
Mixed_ITRS_2014/19.itrs 13166938 f YES YES 8.73/3.00 YES
Mixed_ITRS_2014/a.04.itrs 13166939 f YES YES 5.06/1.96 YES
Mixed_ITRS_2014/A09.itrs 13166940 f YES YES 9.07/3.36 YES
Mixed_ITRS_2014/conv.itrs 13166941 f YES YES 5.39/2.04 YES
Mixed_ITRS_2014/random_full_no_wrap.itrs 13166942 f YES YES 27.79/9.67 YES
Mixed_ITRS_2014/increase3.itrs 13166943 f YES YES 8.29/2.91 YES
Mixed_ITRS_2014/A15.itrs 13166944 uf MAYBE timeout (wallclock) MAYBE
Mixed_ITRS_2014/c.02.itrs 13166945 f YES YES 6.44/2.34 YES
Mixed_ITRS_2014/05.itrs 13166946 f YES YES 5.05/1.95 YES
Mixed_ITRS_2014/csharp1.itrs 13166947 f YES YES 5.08/1.94 YES
Mixed_ITRS_2014/terminate.itrs 13166948 f YES YES 5.86/2.16 YES
Mixed_ITRS_2014/countUpExp.itrs 13166949 f YES YES 5.52/2.05 YES
Mixed_ITRS_2014/eratosthenes.itrs 13166950 f YES YES 92.45/27.46 YES
103.00 102.00