Termination Competition 2018: TRS Relative30036

benchmark AProVE NaTT ttt2-1.17+nonreach
Relative_05/rt2-3.xml YES 4.26/1.78 YES 0.02/0.02 YES 1.62/0.69
Relative_05/rt1-4.xml YES 4.23/1.85 YES 0.02/0.02 YES 3.23/1.10
Relative_05/rtL-me2.xml YES 5.09/2.27 YES 0.02/0.02 YES 19.05/5.16
Relative_05/rt1-5.xml YES 5.03/2.08 YES 0.02/0.02 YES 8.22/2.36
Relative_05/rt1-2.xml YES 5.01/2.03 YES 0.01/0.02 YES 0.95/0.53
Relative_05/rt3-1.xml YES 5.84/2.21 MAYBE 0.07/0.06 YES 2.59/0.95
Relative_05/rt1-1.xml YES 4.01/1.68 YES 0.01/0.01 YES 1.26/0.60
Relative_05/rtL-pwl.xml YES 17.82/5.28 MAYBE 1.09/1.01 MAYBE 151.77/42.39
Relative_05/rtL-cbn1.xml YES 19.67/5.72 MAYBE 0.56/0.48 MAYBE 153.02/42.40
Relative_05/rt3-9.xml YES 7.02/2.50 YES 0.03/0.03 YES 7.74/2.25
Relative_05/rtL-wl1o.xml StarExec error MAYBE 0.09/0.08 MAYBE 149.91/42.38
Relative_05/rtL-cbn5.xml YES 20.30/5.89 MAYBE 2.21/2.10 MAYBE 157.99/42.40
Relative_05/rtL-evo.xml NO 4.72/2.22 NO 0.32/0.27 NO 2.15/0.85
Relative_05/rt3-2.xml YES 7.30/2.59 MAYBE 0.05/0.05 YES 4.79/1.50
Relative_05/rt3-5.xml YES 11.81/3.87 MAYBE 0.15/0.12 YES 12.34/3.38
Relative_05/rtL-evnz.xml NO 51.34/14.86 MAYBE 0.70/0.63 MAYBE 168.27/42.49
Relative_05/rt1-3.xml YES 3.41/1.61 YES 0.02/0.02 YES 3.92/1.27
Relative_05/rt2-8.xml NO 3.67/1.58 MAYBE 0.06/0.05 MAYBE 149.14/42.38
Relative_05/rt2-2.xml YES 3.84/1.71 YES 0.01/0.01 YES 1.34/0.63
Relative_05/rtL-rw5.xml StarExec error MAYBE 0.16/0.15 MAYBE 168.35/42.50
Relative_05/rt3-3.xml NO 3.50/1.59 MAYBE 0.05/0.05 MAYBE 148.92/42.38
Relative_05/rt2-4.xml YES 4.37/1.80 MAYBE 0.04/0.04 YES 2.29/0.85
Relative_05/rt2-7.xml YES 6.22/2.29 YES 0.05/0.04 YES 4.27/1.35
Relative_05/rt3-7.xml YES 4.40/1.89 MAYBE 0.07/0.06 YES 4.59/1.45
Relative_05/rt2-1.xml YES 3.79/1.63 MAYBE 0.05/0.05 YES 2.12/0.82
Relative_05/rt3-4.xml YES 23.33/7.43 MAYBE 0.06/0.05 MAYBE 136.64/42.41
Relative_05/rtL-me3.xml YES 5.70/2.35 YES 0.04/0.03 MAYBE 168.21/42.45
Relative_05/rt2-5.xml YES 3.91/1.68 MAYBE 0.05/0.05 YES 2.93/1.02
Relative_05/rt3-6.xml NO 50.53/2.13 NO 0.07/0.06 NO 2.81/1.01
Relative_05/rtL-cbo.xml timeout (wallclock) MAYBE 0.31/0.24 MAYBE 151.63/42.40
Relative_05/rtL-rw2.xml StarExec error StarExec error MAYBE 168.34/42.50
Relative_05/rtL-wl1nz.xml YES 6.49/2.37 YES 0.03/0.03 YES 8.46/2.42
Relative_05/rt3-8.xml NO 3.60/1.59 NO 0.10/0.08 NO 1.73/0.74
Mixed_relative_TRS/ijcar2006.xml YES 6.18/2.39 MAYBE 0.06/0.05 YES 3.46/1.17
Mixed_relative_TRS/gcd_many.xml NO 3.41/1.59 NO 0.20/0.16 NO 2.25/0.87
Mixed_relative_TRS/relsubst.xml timeout (wallclock) YES 0.10/0.07 MAYBE 150.68/42.37
Mixed_relative_TRS/assoc.xml NO 4.06/1.76 MAYBE 0.28/0.24 MAYBE 137.07/42.37
Mixed_relative_TRS/trafic.xml YES 18.36/5.69 YES 0.53/0.52 MAYBE 162.57/42.43
Mixed_relative_TRS/abp.xml StarExec error MAYBE 24.73/23.43 MAYBE 168.16/42.49
Mixed_relative_TRS/carbridge.xml YES 5.53/2.21 YES 0.06/0.06 YES 21.51/5.70
Mixed_relative_TRS/gcd_list.xml StarExec error MAYBE 0.58/0.55 MAYBE 153.93/42.39
Mixed_relative_TRS/abp2.xml StarExec error YES 0.12/0.11 MAYBE 160.59/42.42
Mixed_relative_TRS/gcd.xml timeout (wallclock) MAYBE 0.08/0.07 MAYBE 168.36/42.44
Mixed_relative_TRS/rt-rw4.xml YES 13.91/4.53 MAYBE 3.86/2.85 MAYBE 168.40/42.53
INVY_15/#3.2_rand.xml timeout (wallclock) YES 0.11/0.08 MAYBE 142.46/42.37
INVY_15/#3.19_rand.xml timeout (wallclock) YES 0.17/0.13 MAYBE 149.73/42.37
INVY_15/ex7.xml NO 3.38/4.64 MAYBE 0.05/0.04 MAYBE 148.72/42.37
INVY_15/#3.41_rand.xml StarExec error YES 0.08/0.07 MAYBE 140.38/42.38
INVY_15/#3.37_rand.xml YES 7.49/2.62 YES 0.04/0.03 YES 10.32/2.89
INVY_15/ex3.xml NO 3.25/1.53 MAYBE 0.04/0.04 MAYBE 76.70/25.73
INVY_15/#3.8a_rand.xml timeout (wallclock) YES 0.16/0.12 MAYBE 147.82/42.37
INVY_15/#3.6_rand.xml StarExec error MAYBE 0.34/0.27 MAYBE 146.19/42.38
INVY_15/#3.5_rand.xml timeout (wallclock) YES 0.22/0.17 MAYBE 143.92/42.38
INVY_15/#3.10_rand.xml timeout (wallclock) YES 0.53/0.41 MAYBE 154.17/42.39
INVY_15/#3.5a_rand.xml StarExec error YES 0.23/0.17 MAYBE 145.28/42.39
INVY_15/invNSS03.xml YES 3.99/1.69 YES 0.02/0.02 YES 2.76/1.04
INVY_15/#3.1_rand.xml timeout (wallclock) YES 0.11/0.08 MAYBE 141.52/42.38
INVY_15/#3.39_rand.xml timeout (wallclock) MAYBE 0.26/0.19 MAYBE 151.89/42.38
INVY_15/#3.5b_rand.xml StarExec error YES 0.35/0.28 MAYBE 147.03/42.39
INVY_15/#3.16_rand.xml timeout (wallclock) YES 0.10/0.08 MAYBE 138.89/42.37
INVY_15/#3.56_rand.xml YES 8.25/2.79 YES 0.05/0.05 YES 16.27/4.40
INVY_15/#3.1_gen.xml NO 3.60/1.63 MAYBE 0.10/0.08 NO 1.58/0.70
INVY_15/#3.23_rand.xml timeout (wallclock) YES 0.07/0.05 MAYBE 137.25/42.37
INVY_15/#3.53a_rand.xml YES 5.99/2.30 YES 0.03/0.03 StarExec error
INVY_15/#3.48_rand.xml StarExec error YES 0.11/0.09 MAYBE 146.54/42.37
INVY_15/#3.29_rand.xml YES 13.04/6.72 YES 0.03/0.03 YES 4.01/1.29
INVY_15/#3.6a_rand.xml timeout (wallclock) MAYBE 0.34/0.27 MAYBE 143.86/42.38
INVY_15/#4.30c_rand.xml StarExec error MAYBE 0.32/0.26 MAYBE 168.51/42.46
INVY_15/#3.38_rand.xml StarExec error YES 0.05/0.04 MAYBE 143.18/42.38
INVY_15/#3.15_rand.xml YES 10.11/3.42 YES 0.04/0.04 YES 7.97/2.30
INVY_15/ex6.xml NO 3.09/1.50 MAYBE 0.05/0.04 NO 0.99/0.57
INVY_15/ex1.xml NO 3.60/1.59 NO 0.05/0.04 StarExec error
INVY_15/#3.52_rand.xml timeout (wallclock) YES 0.10/0.08 MAYBE 137.41/42.37
INVY_15/#3.35_rand.xml YES 5.80/2.28 YES 0.03/0.03 YES 6.33/1.88
INVY_15/#3.18_rand.xml timeout (wallclock) YES 0.15/0.11 MAYBE 147.53/42.38
INVY_15/#3.40_rand.xml timeout (wallclock) MAYBE 0.39/0.29 MAYBE 152.66/42.39
INVY_15/#3.7_rand.xml YES 29.19/8.65 YES 0.05/0.05 YES 15.09/4.08
INVY_15/#3.17a_mset.xml YES 11.43/3.82 StarExec error MAYBE 152.33/42.38
INVY_15/#3.8b_rand.xml timeout (wallclock) YES 0.28/0.22 MAYBE 151.00/42.38
INVY_15/#3.54_rand.xml YES 7.69/2.67 YES 0.04/0.03 YES 14.24/3.87
INVY_15/#3.26_rand.xml YES 6.08/2.26 YES 0.03/0.03 YES 11.77/3.33
INVY_15/#3.47_rand.xml YES 5.34/2.11 YES 0.09/0.07 YES 7.95/2.29
INVY_15/quicktest_sum.xml timeout (wallclock) YES 0.15/0.12 MAYBE 148.97/42.38
INVY_15/#3.4_rand.xml timeout (wallclock) YES 0.15/0.11 MAYBE 146.04/42.37
INVY_15/#3.24_rand.xml YES 6.64/2.40 YES 0.04/0.05 YES 11.11/3.19
INVY_15/#3.53b_rand.xml timeout (wallclock) YES 0.09/0.08 MAYBE 137.22/42.37
INVY_15/#3.22_rand.xml timeout (wallclock) MAYBE 0.28/0.20 MAYBE 144.95/42.37
INVY_15/#3.49_rand.xml YES 4.10/1.83 YES 0.06/0.06 YES 13.34/3.64
INVY_15/ex2.xml timeout (wallclock) YES 0.02/0.02 MAYBE 137.70/42.38
INVY_15/quicktest.xml timeout (wallclock) YES 0.11/0.09 MAYBE 148.74/42.38
INVY_15/#3.42_rand.xml StarExec error YES 0.15/0.12 MAYBE 145.84/42.38
INVY_15/#3.57_rand.xml timeout (wallclock) YES 0.26/0.20 MAYBE 152.61/42.38
INVY_15/#3.17_mset.xml YES 8.67/2.95 YES 0.07/0.07 MAYBE 150.52/42.39
INVY_15/#3.53_rand.xml timeout (wallclock) YES 0.28/0.21 MAYBE 152.47/42.39
INVY_15/ex4.xml YES 4.46/1.94 YES 0.01/0.01 YES 2.72/0.97
INVY_15/#3.36_rand.xml StarExec error YES 0.12/0.09 MAYBE 142.78/42.37
INVY_15/#3.55_rand.xml timeout (wallclock) YES 0.53/0.42 MAYBE 151.60/42.39
INVY_15/#3.6b_rand.xml StarExec error MAYBE 0.62/0.53 MAYBE 146.42/42.38
56 62 39