Termination Competition 2018: TRS Relative Certified30040

benchmark AProVE ttt2-1.17+nonreach
INVY_15/#3.2_rand.xml timeout (wallclock) MAYBE 50.12/42.33
INVY_15/#3.19_rand.xml timeout (wallclock) MAYBE 50.86/42.34
INVY_15/ex7.xml NO 3.46/1.57 MAYBE 49.49/42.33
INVY_15/#3.41_rand.xml timeout (wallclock) MAYBE 49.97/42.33
INVY_15/#3.37_rand.xml YES 7.71/2.77 YES 2.97/1.04
INVY_15/ex3.xml MAYBE 1054.97/299.12 MAYBE 42.48/42.34
INVY_15/#3.8a_rand.xml MAYBE 1072.53/297.09 MAYBE 50.65/42.34
INVY_15/#3.6_rand.xml MAYBE 663.46/292.77 MAYBE 50.56/42.35
INVY_15/#3.5_rand.xml timeout (wallclock) MAYBE 50.43/42.34
INVY_15/#3.10_rand.xml timeout (wallclock) MAYBE 53.51/42.36
INVY_15/#3.5a_rand.xml MAYBE 717.95/291.54 MAYBE 50.51/42.34
INVY_15/invNSS03.xml YES 4.39/1.89 YES 0.85/0.51
INVY_15/#3.1_rand.xml timeout (wallclock) MAYBE 49.98/42.34
INVY_15/#3.39_rand.xml timeout (wallclock) MAYBE 50.74/42.34
INVY_15/#3.5b_rand.xml timeout (wallclock) MAYBE 50.72/42.35
INVY_15/#3.16_rand.xml MAYBE 1155.06/300.29 MAYBE 49.87/42.34
INVY_15/#3.56_rand.xml YES 8.65/2.88 YES 4.36/1.37
INVY_15/#3.1_gen.xml NO 3.81/1.71 NO 0.44/0.37
INVY_15/#3.23_rand.xml timeout (wallclock) MAYBE 49.64/42.33
INVY_15/#3.53a_rand.xml YES 6.13/2.36 YES 1.99/0.77
INVY_15/#3.48_rand.xml MAYBE 708.71/291.83 MAYBE 50.69/42.33
INVY_15/#3.29_rand.xml YES 5.09/2.02 YES 1.20/0.56
INVY_15/#3.6a_rand.xml timeout (wallclock) MAYBE 50.46/42.34
INVY_15/#4.30c_rand.xml MAYBE 696.99/291.54 MAYBE 50.69/42.34
INVY_15/#3.38_rand.xml MAYBE 680.04/291.51 MAYBE 50.30/42.34
INVY_15/#3.15_rand.xml YES 6.97/2.60 YES 3.57/1.16
INVY_15/ex6.xml timeout (wallclock) NO 0.40/0.36
INVY_15/ex1.xml NO 3.42/1.66 NO 0.41/0.36
INVY_15/#3.52_rand.xml timeout (wallclock) MAYBE 49.67/42.33
INVY_15/#3.35_rand.xml YES 5.43/2.10 StarExec error
INVY_15/#3.18_rand.xml timeout (wallclock) MAYBE 50.47/42.36
INVY_15/#3.40_rand.xml timeout (wallclock) MAYBE 51.28/42.34
INVY_15/#3.7_rand.xml YES 7.69/2.64 YES 5.13/1.57
INVY_15/#3.17a_mset.xml YES 10.82/3.52 YES 13.54/3.71
INVY_15/#3.8b_rand.xml timeout (wallclock) MAYBE 51.09/42.34
INVY_15/#3.54_rand.xml YES 7.86/2.84 YES 4.60/1.44
INVY_15/#3.26_rand.xml YES 6.42/2.35 YES 4.23/1.34
INVY_15/#3.47_rand.xml YES 5.18/2.02 YES 2.39/0.87
INVY_15/quicktest_sum.xml timeout (wallclock) MAYBE 53.34/42.35
INVY_15/#3.4_rand.xml timeout (wallclock) MAYBE 50.47/42.33
INVY_15/#3.24_rand.xml YES 5.75/2.22 YES 2.72/0.95
INVY_15/#3.53b_rand.xml timeout (wallclock) MAYBE 49.68/42.48
INVY_15/#3.22_rand.xml timeout (wallclock) MAYBE 50.48/42.34
INVY_15/#3.49_rand.xml YES 5.97/2.27 YES 4.24/1.34
INVY_15/ex2.xml MAYBE 1055.08/300.88 MAYBE 49.60/42.32
INVY_15/quicktest.xml timeout (wallclock) MAYBE 51.02/42.34
INVY_15/#3.42_rand.xml timeout (wallclock) MAYBE 50.47/42.34
INVY_15/#3.57_rand.xml timeout (wallclock) MAYBE 52.86/42.34
INVY_15/#3.17_mset.xml YES 9.33/3.10 YES 10.81/3.01
INVY_15/#3.53_rand.xml MAYBE 908.93/298.15 MAYBE 51.67/42.35
INVY_15/ex4.xml StarExec error StarExec error
INVY_15/#3.36_rand.xml timeout (wallclock) MAYBE 50.26/42.34
INVY_15/#3.55_rand.xml timeout (wallclock) MAYBE 52.66/42.35
INVY_15/#3.6b_rand.xml timeout (wallclock) MAYBE 50.69/42.35
Relative_05/rt2-3.xml YES 7.30/2.66 YES 0.96/0.52
Relative_05/rt1-4.xml YES 5.28/2.09 YES 1.23/0.56
Relative_05/rtL-me2.xml YES 5.20/2.13 YES 4.29/1.44
Relative_05/rt1-5.xml YES 4.69/1.98 YES 1.84/0.72
Relative_05/rt1-2.xml YES 3.91/1.71 YES 0.71/0.43
Relative_05/rt3-1.xml YES 5.61/2.25 YES 0.81/0.45
Relative_05/rt1-1.xml YES 3.65/1.61 YES 0.49/0.37
Relative_05/rtL-pwl.xml MAYBE 1175.06/295.75 MAYBE 59.45/42.37
Relative_05/rtL-cbn1.xml timeout (wallclock) MAYBE 59.37/42.37
Relative_05/rt3-9.xml YES 6.80/2.48 YES 2.23/0.83
Relative_05/rtL-wl1o.xml MAYBE 1152.00/291.59 MAYBE 50.52/42.33
Relative_05/rtL-cbn5.xml timeout (wallclock) MAYBE 59.55/42.36
Relative_05/rtL-evo.xml NO 4.64/1.98 NO 0.52/0.40
Relative_05/rt3-2.xml YES 5.11/2.00 YES 1.35/0.60
Relative_05/rt3-5.xml YES 8.55/2.94 YES 3.12/1.04
Relative_05/rtL-evnz.xml NO 48.75/13.99 MAYBE 59.48/42.38
Relative_05/rt1-3.xml YES 4.41/1.85 YES 1.53/0.64
Relative_05/rt2-8.xml NO 3.93/1.73 MAYBE 50.34/42.32
Relative_05/rt2-2.xml YES 3.76/1.68 YES 0.50/0.38
Relative_05/rtL-rw5.xml timeout (wallclock) MAYBE 59.62/42.40
Relative_05/rt3-3.xml NO 3.61/1.63 MAYBE 49.83/42.32
Relative_05/rt2-4.xml YES 4.24/1.82 YES 0.68/0.42
Relative_05/rt2-7.xml YES 7.92/2.79 YES 2.05/0.78
Relative_05/rt3-7.xml YES 5.12/2.04 YES 1.27/0.58
Relative_05/rt2-1.xml YES 4.13/1.77 YES 0.66/0.42
Relative_05/rt3-4.xml YES 22.12/7.16 MAYBE 49.61/42.33
Relative_05/rtL-me3.xml YES 5.85/2.31 YES 8.84/2.54
Relative_05/rt2-5.xml YES 4.17/1.74 YES 1.56/0.63
Relative_05/rt3-6.xml NO 3.58/1.65 NO 1.42/0.61
Relative_05/rtL-cbo.xml MAYBE 1135.56/293.80 MAYBE 55.10/42.35
Relative_05/rtL-rw2.xml timeout (wallclock) MAYBE 59.39/42.40
Relative_05/rtL-wl1nz.xml YES 7.53/2.62 YES 3.24/1.09
Relative_05/rt3-8.xml NO 3.55/1.70 NO 0.50/0.39
Mixed_relative_TRS/ijcar2006.xml YES 5.47/2.18 YES 1.09/0.54
Mixed_relative_TRS/gcd_many.xml NO 3.68/1.70 NO 0.43/0.38
Mixed_relative_TRS/relsubst.xml timeout (wallclock) MAYBE 50.27/42.34
Mixed_relative_TRS/assoc.xml NO 4.00/1.69 MAYBE 49.71/42.33
Mixed_relative_TRS/trafic.xml YES 24.07/6.97 MAYBE 59.43/42.41
Mixed_relative_TRS/abp.xml MAYBE 1182.56/298.12 MAYBE 59.55/42.41
Mixed_relative_TRS/carbridge.xml YES 5.35/2.11 YES 6.02/1.79
Mixed_relative_TRS/gcd_list.xml timeout (wallclock) MAYBE 57.78/42.34
Mixed_relative_TRS/abp2.xml MAYBE 1160.89/292.59 MAYBE 59.53/42.47
Mixed_relative_TRS/gcd.xml timeout (wallclock) MAYBE 51.21/42.36
Mixed_relative_TRS/rt-rw4.xml YES 14.18/4.43 MAYBE 59.51/42.43
50 42