Termination Competition 2019: TRS Relative33012

Job info CSV
benchmark AProVE standard NaTT Default ttt2-1.19 ttt2
Mixed_relative_TRS/ijcar2006.xml 5162321 YES 6.44/2.45 MAYBE 0.02/0.05 YES 2.44/0.91
Mixed_relative_TRS/gcd_many.xml 5162322 NO 3.49/1.63 NO 0.07/0.17 NO 2.04/0.84
Mixed_relative_TRS/relsubst.xml 5162323 timeout (wallclock) [out] YES 0.04/0.09 YES 43.29/11.39
Mixed_relative_TRS/assoc.xml 5162324 NO 4.33/1.86 MAYBE 0.20/0.25 MAYBE 689.25/299.38
Mixed_relative_TRS/trafic.xml 5162325 YES 21.65/6.45 YES 0.03/0.52 MAYBE 712.35/299.46
Mixed_relative_TRS/abp.xml 5162326 timeout (wallclock) [out] MAYBE 25.34/23.93 MAYBE 800.13/299.46
Mixed_relative_TRS/carbridge.xml 5162327 YES 4.92/2.02 YES 0.01/0.06 YES 22.62/6.08
Mixed_relative_TRS/gcd_list.xml 5162328 timeout (wallclock) [out] MAYBE 0.12/0.52 MAYBE 719.62/299.39
Mixed_relative_TRS/abp2.xml 5162329 timeout (wallclock) [out] YES 0.02/0.11 MAYBE 716.95/299.45
Mixed_relative_TRS/gcd.xml 5162330 timeout (wallclock) [out] MAYBE 0.03/0.07 MAYBE 793.67/299.38
Mixed_relative_TRS/rt-rw4.xml 5162331 YES 10.90/3.66 MAYBE 4.17/3.16 MAYBE 799.82/299.47
INVY_15/#3.2_rand.xml 5162267 timeout (wallclock) [out] YES 0.04/0.09 MAYBE 695.27/299.38
INVY_15/#3.19_rand.xml 5162268 timeout (wallclock) [out] YES 0.07/0.14 MAYBE 702.00/299.39
INVY_15/ex7.xml 5162269 NO 6.79/1.67 MAYBE 0.01/0.05 MAYBE 700.35/299.38
INVY_15/#3.41_rand.xml 5162270 timeout (wallclock) [out] YES 0.03/0.09 MAYBE 692.92/299.38
INVY_15/#3.37_rand.xml 5162271 YES 8.42/2.96 YES 0.01/0.03 YES 10.62/3.01
INVY_15/ex3.xml 5162272 NO 3.16/1.56 MAYBE 0.01/0.04 MAYBE 137.01/45.78
INVY_15/#3.8a_rand.xml 5162273 timeout (wallclock) [out] YES 0.06/0.13 MAYBE 700.46/299.39
INVY_15/#3.6_rand.xml 5162274 timeout (wallclock) [out] MAYBE 0.11/0.29 MAYBE 699.38/299.39
INVY_15/#3.5_rand.xml 5162275 timeout (wallclock) [out] YES 0.07/0.16 MAYBE 696.66/299.39
INVY_15/#3.10_rand.xml 5162276 timeout (wallclock) [out] YES 0.20/0.43 MAYBE 708.67/299.42
INVY_15/#3.5a_rand.xml 5162277 timeout (wallclock) [out] YES 0.08/0.20 MAYBE 697.31/299.38
INVY_15/invNSS03.xml 5162278 YES 4.27/1.86 YES 0.01/0.01 YES 1.99/0.82
INVY_15/#3.1_rand.xml 5162279 timeout (wallclock) [out] YES 0.04/0.09 MAYBE 692.28/299.38
INVY_15/#3.39_rand.xml 5162280 timeout (wallclock) [out] MAYBE 0.10/0.20 MAYBE 705.21/299.39
INVY_15/#3.5b_rand.xml 5162281 timeout (wallclock) [out] YES 0.11/0.30 MAYBE 700.00/299.38
INVY_15/#3.16_rand.xml 5162282 timeout (wallclock) [out] YES 0.03/0.07 MAYBE 691.44/299.38
INVY_15/#3.56_rand.xml 5162283 YES 8.00/2.83 YES 0.02/0.05 YES 17.85/4.96
INVY_15/#3.1_gen.xml 5162284 NO 3.98/1.75 MAYBE 0.04/0.09 NO 1.80/0.77
INVY_15/#3.23_rand.xml 5162285 timeout (wallclock) [out] YES 0.02/0.05 MAYBE 689.70/299.38
INVY_15/#3.53a_rand.xml 5162286 YES 5.41/2.09 YES 0.01/0.02 YES 4.68/1.48
INVY_15/#3.48_rand.xml 5162287 timeout (wallclock) [out] YES 0.04/0.09 MAYBE 699.63/299.38
INVY_15/#3.29_rand.xml 5162288 YES 6.31/2.57 YES 0.01/0.03 YES 4.36/1.40
INVY_15/#3.6a_rand.xml 5162289 timeout (wallclock) [out] MAYBE 0.11/0.29 MAYBE 696.29/299.39
INVY_15/#4.30c_rand.xml 5162290 timeout (wallclock) [out] MAYBE 0.08/0.28 MAYBE 796.12/299.39
INVY_15/#3.38_rand.xml 5162291 timeout (wallclock) [out] YES 0.02/0.04 MAYBE 695.70/299.39
INVY_15/#3.15_rand.xml 5162292 YES 6.51/2.60 YES 0.01/0.03 YES 9.63/2.74
INVY_15/ex6.xml 5162293 NO 3.21/1.62 MAYBE 0.01/0.04 NO 1.16/0.61
INVY_15/ex1.xml 5162294 MAYBE 3.46/1.65 NO 0.01/0.04 NO 0.90/0.56
INVY_15/#3.52_rand.xml 5162295 timeout (wallclock) [out] YES 0.03/0.07 MAYBE 689.42/299.39
INVY_15/#3.35_rand.xml 5162296 YES 6.88/2.62 YES 0.01/0.03 YES 6.90/1.87
INVY_15/#3.18_rand.xml 5162297 timeout (wallclock) [out] YES 0.05/0.12 MAYBE 700.16/299.39
INVY_15/#3.40_rand.xml 5162298 timeout (wallclock) [out] MAYBE 0.16/0.31 MAYBE 703.61/299.39
INVY_15/#3.7_rand.xml 5162299 YES 8.69/3.10 YES 0.02/0.05 YES 16.52/4.49
INVY_15/#3.17a_mset.xml 5162300 YES 10.05/3.51 YES 0.01/0.07 MAYBE 703.36/299.40
INVY_15/#3.8b_rand.xml 5162301 timeout (wallclock) [out] YES 0.09/0.23 MAYBE 703.46/299.40
INVY_15/#3.54_rand.xml 5162302 YES 8.23/3.00 YES 0.01/0.03 YES 14.99/4.10
INVY_15/#3.26_rand.xml 5162303 YES 6.51/2.53 YES 0.01/0.02 YES 12.65/3.52
INVY_15/#3.47_rand.xml 5162304 YES 5.98/2.49 YES 0.03/0.07 YES 8.31/2.41
INVY_15/quicktest_sum.xml 5162305 timeout (wallclock) [out] YES 0.05/0.12 MAYBE 700.61/299.39
INVY_15/#3.4_rand.xml 5162306 timeout (wallclock) [out] YES 0.05/0.12 MAYBE 698.83/299.38
INVY_15/#3.24_rand.xml 5162307 YES 8.43/3.03 YES 0.01/0.04 YES 12.40/3.43
INVY_15/#3.53b_rand.xml 5162308 timeout (wallclock) [out] YES 0.04/0.08 MAYBE 689.49/299.39
INVY_15/#3.22_rand.xml 5162309 timeout (wallclock) [out] MAYBE 0.12/0.22 MAYBE 697.84/299.38
INVY_15/#3.49_rand.xml 5162310 YES 4.26/1.97 YES 0.02/0.06 YES 14.63/4.04
INVY_15/ex2.xml 5162311 timeout (wallclock) [out] YES 0.01/0.02 MAYBE 689.65/299.38
INVY_15/quicktest.xml 5162312 timeout (wallclock) [out] YES 0.04/0.09 MAYBE 700.60/299.38
INVY_15/#3.42_rand.xml 5162313 timeout (wallclock) [out] YES 0.05/0.13 MAYBE 698.78/299.39
INVY_15/#3.57_rand.xml 5162314 timeout (wallclock) [out] YES 0.10/0.22 MAYBE 705.73/299.39
INVY_15/#3.17_mset.xml 5162315 YES 8.36/3.04 YES 0.02/0.06 MAYBE 702.99/299.40
INVY_15/#3.53_rand.xml 5162316 timeout (wallclock) [out] YES 0.10/0.23 MAYBE 704.14/299.4
INVY_15/ex4.xml 5162317 YES 6.96/2.62 YES 0.01/0.02 YES 2.51/0.92
INVY_15/#3.36_rand.xml 5162318 timeout (wallclock) [out] YES 0.03/0.09 MAYBE 695.45/299.39
INVY_15/#3.55_rand.xml 5162319 timeout (wallclock) [out] YES 0.16/0.44 MAYBE 704.38/299.40
INVY_15/#3.6b_rand.xml 5162320 timeout (wallclock) [out] MAYBE 0.13/0.55 MAYBE 699.77/299.39
Relative_05/rt2-3.xml 5162234 YES 4.08/1.84 YES 0.01/0.02 YES 1.84/0.75
Relative_05/rt1-4.xml 5162235 YES 6.64/2.45 YES 0.01/0.02 YES 4.01/1.31
Relative_05/rtL-me2.xml 5162236 YES 4.80/2.03 YES 0.01/0.02 YES 17.72/4.82
Relative_05/rt1-5.xml 5162237 YES 5.39/2.21 YES 0.01/0.02 YES 8.50/2.47
Relative_05/rt1-2.xml 5162238 YES 3.88/1.78 YES 0.01/0.01 YES 1.27/0.60
Relative_05/rt3-1.xml 5162239 YES 4.63/1.99 MAYBE 0.02/0.05 YES 2.60/0.94
Relative_05/rt1-1.xml 5162240 YES 3.91/1.80 YES 0.01/0.01 YES 1.30/0.61
Relative_05/rtL-pwl.xml 5162241 YES 15.02/4.65 MAYBE 1.02/1.04 MAYBE 719.06/299.41
Relative_05/rtL-cbn1.xml 5162242 YES 31.48/11.18 MAYBE 0.13/0.50 MAYBE 707.51/299.41
Relative_05/rt3-9.xml 5162243 YES 6.29/2.41 YES 0.01/0.02 YES 8.02/2.33
Relative_05/rtL-wl1o.xml 5162244 timeout (wallclock) [out] MAYBE 0.02/0.08 MAYBE 701.96/299.39
Relative_05/rtL-cbn5.xml 5162245 YES 35.48/10.06 MAYBE 2.18/2.13 MAYBE 724.92/299.41
Relative_05/rtL-evo.xml 5162246 NO 3.92/1.88 NO 0.08/0.28 NO 2.47/0.96
Relative_05/rt3-2.xml 5162247 YES 5.60/2.25 MAYBE 0.02/0.05 YES 5.46/1.77
Relative_05/rt3-5.xml 5162248 YES 8.64/3.17 MAYBE 0.05/0.13 YES 12.76/3.55
Relative_05/rtL-evnz.xml 5162249 NO 42.61/11.87 MAYBE 0.63/0.65 NO 523.68/155.54
Relative_05/rt1-3.xml 5162250 YES 3.28/1.65 YES 0.01/0.02 YES 4.66/1.47
Relative_05/rt2-8.xml 5162251 NO 3.65/1.77 MAYBE 0.02/0.05 MAYBE 700.49/299.39
Relative_05/rt2-2.xml 5162252 YES 3.97/1.76 YES 0.01/0.01 YES 1.40/0.63
Relative_05/rtL-rw5.xml 5162253 timeout (wallclock) [out] MAYBE 0.03/0.15 MAYBE 816.17/299.44
Relative_05/rt3-3.xml 5162254 NO 3.69/1.66 MAYBE 0.02/0.05 MAYBE 700.60/299.39
Relative_05/rt2-4.xml 5162255 YES 4.34/1.92 MAYBE 0.01/0.04 YES 2.25/0.85
Relative_05/rt2-7.xml 5162256 YES 5.94/2.33 YES 0.02/0.04 YES 4.79/1.50
Relative_05/rt3-7.xml 5162257 YES 4.32/1.89 MAYBE 0.02/0.06 YES 4.60/1.46
Relative_05/rt2-1.xml 5162258 YES 3.86/1.89 MAYBE 0.02/0.05 YES 2.63/0.96
Relative_05/rt3-4.xml 5162259 YES 23.81/7.67 MAYBE 0.02/0.06 MAYBE 689.56/299.46
Relative_05/rtL-me3.xml 5162260 YES 5.61/2.28 YES 0.01/0.03 MAYBE 800.81/299.42
Relative_05/rt2-5.xml 5162261 YES 3.99/1.84 MAYBE 0.02/0.05 YES 3.36/1.14
Relative_05/rt3-6.xml 5162262 NO 3.65/1.67 NO 0.03/0.06 NO 2.10/0.85
Relative_05/rtL-cbo.xml 5162263 timeout (wallclock) [out] MAYBE 0.10/0.26 MAYBE 704.64/299.41
Relative_05/rtL-rw2.xml 5162264 timeout (wallclock) [out] MAYBE 5.19/4.94 MAYBE 808.03/299.45
Relative_05/rtL-wl1nz.xml 5162265 YES 16.73/5.20 YES 0.01/0.03 YES 9.73/2.77
Relative_05/rt3-8.xml 5162266 NO 3.62/1.71 NO 0.04/0.09 NO 1.32/0.65
55 63 43