TermComp 2020: TRS Conditional 41511 Job info CSV Showing results.

benchmark muterm 6.0.3 default AProVE standard
COPS/262.xml 11771921 YES 0.01/0.05 YES 3.57/1.69
COPS/341.xml 11771922 YES 0.01/0.04 YES 3.57/1.68
COPS/390.xml 11771923 YES 0.01/0.09 YES 3.34/1.58
COPS/333.xml 11771924 YES 0.03/0.08 YES 4.01/1.87
COPS/334.xml 11771925 YES 0.01/0.06 YES 3.46/1.67
COPS/288.xml 11771926 YES 0.05/0.13 YES 3.66/1.82
COPS/308.xml 11771927 YES 0.01/0.08 YES 3.49/1.60
COPS/374.xml 11771928 YES 0.01/0.05 YES 3.47/1.61
COPS/405.xml 11771929 u timeout (wallclock) timeout (wallclock)
COPS/373.xml 11771930 YES 0.01/0.05 YES 3.48/1.67
COPS/286.xml 11771931 is NO 120.93/121.10 MAYBE 5.38/2.16
COPS/319.xml 11771932 YES 0.01/0.07 YES 3.53/8.59
COPS/365.xml 11771933 YES 0.01/0.04 YES 3.62/1.75
COPS/317.xml 11771934 YES 0.01/0.07 YES 3.61/1.64
COPS/310.xml 11771935 YES 0.07/0.12 YES 3.73/1.75
COPS/388.xml 11771936 YES 0.01/0.05 YES 3.60/1.68
COPS/359.xml 11771937 YES 0.01/0.06 YES 3.54/1.69
COPS/325.xml 11771938 YES 0.02/0.04 YES 3.87/1.68
COPS/322.xml 11771939 YES 0.02/0.04 YES 3.93/1.72
COPS/381.xml 11771940 YES 0.01/0.02 YES 3.95/4.01
COPS/404.xml 11771941 YES 0.02/0.02 YES 3.54/1.58
COPS/372.xml 11771942 YES 0.01/0.03 YES 3.65/1.81
COPS/403.xml 11771943 YES 0.01/0.02 YES 3.36/1.64
COPS/375.xml 11771944 YES 0.01/0.07 YES 3.75/1.72
COPS/307.xml 11771945 YES 0.01/0.04 YES 3.61/1.71
COPS/289.xml 11771946 u MAYBE 242.33/243.16 MAYBE 6.50/2.59
COPS/332.xml 11771947 YES 0.01/0.07 YES 3.56/1.60
COPS/264.xml 11771948 YES 0.01/0.07 YES 3.87/1.91
COPS/340.xml 11771949 YES 0.01/0.06 YES 3.78/1.71
COPS/391.xml 11771950 YES 1.02/1.03 YES 3.71/1.61
COPS/263.xml 11771951 YES 0.02/0.03 YES 3.64/1.61
COPS/387.xml 11771952 YES 0.01/0.09 YES 3.62/1.61
COPS/356.xml 11771953 YES 0.01/0.03 YES 3.64/1.69
COPS/272.xml 11771954 YES 0.02/0.02 YES 4.17/1.96
COPS/380.xml 11771955 YES 0.01/0.06 YES 3.67/1.73
COPS/351.xml 11771956 YES 0.02/0.04 YES 4.29/1.98
COPS/323.xml 11771957 YES 0.01/0.02 YES 3.73/1.83
COPS/389.xml 11771958 is NO 40.17/40.18 MAYBE 5.63/2.20
COPS/358.xml 11771959 YES 0.01/0.02 YES 3.48/1.57
COPS/324.xml 11771960 is NO 100.90/101.05 MAYBE 4.12/1.99
COPS/311.xml 11771961 u MAYBE 203.28/203.70 MAYBE 10.61/11.56
COPS/316.xml 11771962 YES 0.01/0.07 YES 3.69/1.75
COPS/364.xml 11771963 YES 0.01/0.08 YES 3.51/1.73
COPS/383.xml 11771964 YES 0.01/0.07 YES 3.53/1.67
COPS/384.xml 11771965 YES 0.01/0.05 YES 3.56/1.61
COPS/355.xml 11771966 is NO 20.24/20.26 MAYBE 5.13/2.27
COPS/271.xml 11771967 YES 0.07/0.09 YES 3.71/1.67
COPS/329.xml 11771968 YES 183.61/183.76 YES 5.16/2.24
COPS/315.xml 11771969 YES 0.02/0.04 YES 4.15/1.86
COPS/369.xml 11771970 YES 0.01/0.02 YES 3.80/1.71
COPS/312.xml 11771971 u timeout (wallclock) MAYBE 10.26/3.55
COPS/292.xml 11771972 YES 0.02/0.05 YES 3.94/1.83
COPS/367.xml 11771973 YES 0.01/0.06 YES 3.87/1.92
COPS/411.xml 11771974 is NO 60.38/60.51 MAYBE 5.04/2.25
COPS/376.xml 11771975 YES 0.01/0.02 YES 3.77/1.67
COPS/407.xml 11771976 is NO 43.29/43.37 MAYBE 5.31/2.18
COPS/371.xml 11771977 YES 0.01/0.02 YES 3.47/1.57
COPS/409.xml 11771978 is NO 43.74/43.81 MAYBE 5.12/2.23
COPS/378.xml 11771979 YES 20.09/20.12 YES 5.16/2.07
COPS/344.xml 11771980 YES 0.03/0.03 YES 3.70/1.67
COPS/267.xml 11771981 YES 0.02/0.02 YES 4.05/2.60
COPS/343.xml 11771982 YES 0.01/0.05 YES 3.50/1.60
COPS/293.xml 11771983 is NO 20.30/20.39 MAYBE 5.03/2.21
COPS/366.xml 11771984 YES 0.01/0.02 YES 3.77/1.64
COPS/410.xml 11771985 YES 0.01/0.05 YES 3.42/1.58
COPS/361.xml 11771986 is NO 101.56/101.66 MAYBE 5.02/2.10
COPS/294.xml 11771987 YES 0.01/0.04 YES 3.51/1.59
COPS/368.xml 11771988 YES 0.02/0.03 YES 3.52/2.86
COPS/321.xml 11771989 YES 0.02/0.02 YES 4.46/1.83
COPS/326.xml 11771990 YES 0.01/0.04 YES 3.44/1.56
COPS/385.xml 11771991 YES 0.01/0.02 YES 3.45/1.63
COPS/354.xml 11771992 YES 0.01/0.02 YES 3.49/1.58
COPS/382.xml 11771993 YES 0.01/0.06 YES 3.62/1.58
COPS/353.xml 11771994 YES 170.67/170.73 YES 5.52/2.15
COPS/266.xml 11771995 is timeout (wallclock) YES 4.23/1.83
COPS/342.xml 11771996 u timeout (wallclock) MAYBE 5.51/2.21
COPS/339.xml 11771997 YES 0.01/0.06 YES 3.48/1.61
COPS/337.xml 11771998 u timeout (wallclock) timeout (wallclock)
COPS/330.xml 11771999 is NO 40.14/40.19 MAYBE 4.88/2.12
COPS/268.xml 11772000 is NO 40.14/40.18 MAYBE 4.94/2.11
COPS/379.xml 11772001 is NO 32.45/32.50 MAYBE 5.23/2.21
COPS/408.xml 11772002 YES 0.01/0.05 YES 3.73/1.68
COPS/406.xml 11772003 YES 0.01/0.05 YES 3.82/1.68
COPS/370.xml 11772004 YES 0.02/0.02 YES 4.23/1.77
COPS/377.xml 11772005 YES 0.01/0.04 YES 3.72/1.73
Mixed_CTRS/gcd.xml 11772006 YES 0.06/0.06 YES 4.44/2.01
Mixed_CTRS/quotrem.xml 11772007 YES 0.04/0.12 YES 4.32/1.87
Mixed_CTRS/quicksort.xml 11772008 YES 1.81/1.84 YES 5.34/2.12
Mixed_CTRS/quick.xml 11772009 YES 0.06/0.07 YES 5.58/2.21
Mixed_CTRS/fib.xml 11772010 YES 72.40/72.53 YES 3.92/1.73
Mixed_CTRS/AAECC-ring-cond.xml 11772011 is timeout (wallclock) YES 158.87/65.62
Mixed_CTRS/AAECCcond.xml 11772012 is timeout (wallclock) YES 62.13/20.98
Mixed_CTRS_2014/ohl228.xml 11771896 is NO 60.15/60.19 MAYBE 6.41/2.68
Mixed_CTRS_2014/plus1.xml 11771897 YES 0.01/0.06 YES 3.60/2.36
Mixed_CTRS_2014/mar_simple2.xml 11771898 u timeout (wallclock) timeout (wallclock)
Mixed_CTRS_2014/ex1-muterm14.xml 11771899 YES 0.01/0.07 YES 3.65/1.74
Mixed_CTRS_2014/ohl230.xml 11771900 is NO 60.18/60.33 MAYBE 5.26/2.37
Mixed_CTRS_2014/ex2-muterm14.xml 11771901 YES 0.01/0.06 YES 3.61/2.40
Mixed_CTRS_2014/ex3-muterm14.xml 11771902 is NO 200.49/201.35 MAYBE 23.94/11.86
Mixed_CTRS_2014/mar.xml 11771903 u timeout (wallclock) timeout (wallclock)
Mixed_CTRS_2014/ohl194.xml 11771904 YES 0.18/0.30 YES 5.76/2.44
Mixed_CTRS_2014/ex2-lucmes-wrla14.xml 11771905 is NO 120.30/120.58 MAYBE 6.75/3.83
Mixed_CTRS_2014/minus1.xml 11771906 YES 0.01/0.03 YES 3.46/1.72
Mixed_CTRS_2014/ohl.xml 11771907 is YES 41.64/41.75 MAYBE 4.13/1.97
Mixed_CTRS_2014/logic.xml 11771908 YES 117.39/117.65 YES 4.96/2.21
Mixed_CTRS_2014/lucMarMes.xml 11771909 is NO 20.52/20.57 MAYBE 5.22/2.36
Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml 11771910 is YES 0.05/0.10 MAYBE 5.09/2.24
Mixed_CTRS_2014/jlap09-ex17.xml 11771911 is YES 120.67/120.83 MAYBE 32.22/12.53
Mixed_CTRS_2014/ohl216.xml 11771912 YES 0.01/0.06 YES 3.44/1.73
Mixed_CTRS_2014/ohl211.xml 11771913 is YES 0.03/0.10 MAYBE 7.82/3.08
Mixed_CTRS_2014/ex1-lucmes-wrla14.xml 11771914 u timeout (wallclock) timeout (wallclock)
Mixed_CTRS_2014/sche128.xml 11771915 YES 0.07/0.16 YES 3.74/1.78
Mixed_CTRS_2014/ohl190.xml 11771916 YES 0.03/0.11 YES 3.57/1.76
Mixed_CTRS_2014/ohl206.xml 11771917 YES 0.02/0.11 YES 3.72/1.78
Mixed_CTRS_2014/ohl196.xml 11771918 YES 0.01/0.06 YES 3.66/1.78
Mixed_CTRS_2014/mar_simple1.xml 11771919 u timeout (wallclock) MAYBE 29.29/9.41
Mixed_CTRS_2014/jlap09-ex16.xml 11771920 is YES 0.06/0.22 MAYBE 4.02/2.03
104 85