Termination Competition 2019: TRS Relative Certified33126

Job info CSV
benchmark AProVE certified ttt2-1.19 ttt2_cert
Mixed_relative_TRS/ijcar2006.xml 5162321 YES 5.74/2.35 (CERTIFIED 0.0) YES 1.04/0.52 (CERTIFIED 0.1)
Mixed_relative_TRS/gcd_many.xml 5162322 NO 3.39/2.12 (CERTIFIED 0.0) NO 0.43/0.37 (CERTIFIED 0.0)
Mixed_relative_TRS/relsubst.xml 5162323 timeout (wallclock) [out] MAYBE 307.25/299.35
Mixed_relative_TRS/assoc.xml 5162324 NO 4.15/1.88 (CERTIFIED 0.0) MAYBE 306.64/299.34
Mixed_relative_TRS/trafic.xml 5162325 YES 34.23/10.65 (CERTIFIED 0.6) MAYBE 316.17/299.41
Mixed_relative_TRS/abp.xml 5162326 MAYBE 1176.17/299.46 MAYBE 316.26/299.40
Mixed_relative_TRS/carbridge.xml 5162327 YES 5.79/2.40 (CERTIFIED 0.1) YES 6.58/1.94 (CERTIFIED 0.1)
Mixed_relative_TRS/gcd_list.xml 5162328 timeout (wallclock) [out] MAYBE 314.82/299.34
Mixed_relative_TRS/abp2.xml 5162329 timeout (wallclock) [out] MAYBE 316.4/299.59
Mixed_relative_TRS/gcd.xml 5162330 timeout (wallclock) [out] MAYBE 308.14/299.35
Mixed_relative_TRS/rt-rw4.xml 5162331 YES 13.68/4.38 (CERTIFIED 0.4) MAYBE 316.31/299.42
INVY_15/#3.2_rand.xml 5162267 timeout (wallclock) [out] MAYBE 306.98/299.33
INVY_15/#3.19_rand.xml 5162268 timeout (wallclock) [out] MAYBE 307.94/299.34
INVY_15/ex7.xml 5162269 NO 3.45/1.61 (CERTIFIED 0.0) MAYBE 306.46/299.33
INVY_15/#3.41_rand.xml 5162270 MAYBE 1055.49/297.44 MAYBE 306.94/299.34
INVY_15/#3.37_rand.xml 5162271 YES 8.23/2.84 (CERTIFIED 0.1) YES 3.44/1.17 (CERTIFIED 0.2)
INVY_15/ex3.xml 5162272 timeout (wallclock) [out] MAYBE 299.47/299.34
INVY_15/#3.8a_rand.xml 5162273 MAYBE 1074.77/296.74 MAYBE 307.71/299.34
INVY_15/#3.6_rand.xml 5162274 MAYBE 712.49/292.07 MAYBE 307.62/299.34
INVY_15/#3.5_rand.xml 5162275 timeout (wallclock) [out] MAYBE 307.38/299.33
INVY_15/#3.10_rand.xml 5162276 timeout (wallclock) [out] MAYBE 310.30/299.35
INVY_15/#3.5a_rand.xml 5162277 MAYBE 760.40/291.89 MAYBE 307.57/299.33
INVY_15/invNSS03.xml 5162278 YES 4.20/1.83 (CERTIFIED 0.0) YES 0.81/0.49 (CERTIFIED 0.1)
INVY_15/#3.1_rand.xml 5162279 timeout (wallclock) [out] MAYBE 307.07/299.34
INVY_15/#3.39_rand.xml 5162280 timeout (wallclock) [out] MAYBE 307.69/299.33
INVY_15/#3.5b_rand.xml 5162281 MAYBE 757.95/294.26 MAYBE 307.57/299.34
INVY_15/#3.16_rand.xml 5162282 timeout (wallclock) [out] MAYBE 306.91/299.33
INVY_15/#3.56_rand.xml 5162283 YES 8.94/3.09 (CERTIFIED 0.1) YES 3.65/1.19 (CERTIFIED 0.1)
INVY_15/#3.1_gen.xml 5162284 NO 3.78/1.90 (CERTIFIED 0.0) NO 0.58/0.40 (CERTIFIED 0.0)
INVY_15/#3.23_rand.xml 5162285 MAYBE 1071.06/294.55 MAYBE 306.59/299.34
INVY_15/#3.53a_rand.xml 5162286 YES 5.83/2.22 (CERTIFIED 0.0) YES 1.59/0.67 (CERTIFIED 0.1)
INVY_15/#3.48_rand.xml 5162287 MAYBE 690.46/291.58 MAYBE 307.75/299.33
INVY_15/#3.29_rand.xml 5162288 YES 6.42/2.40 (CERTIFIED 0.0) YES 1.18/1.18 (CERTIFIED 0.0)
INVY_15/#3.6a_rand.xml 5162289 timeout (wallclock) [out] MAYBE 307.43/299.35
INVY_15/#4.30c_rand.xml 5162290 timeout (wallclock) [out] MAYBE 307.65/299.34
INVY_15/#3.38_rand.xml 5162291 MAYBE 637.28/292.06 MAYBE 307.27/299.33
INVY_15/#3.15_rand.xml 5162292 YES 7.28/2.77 (CERTIFIED 0.0) YES 3.03/1.03 (CERTIFIED 0.1)
INVY_15/ex6.xml 5162293 timeout (wallclock) [out] NO 0.42/0.36 (CERTIFIED 0.0)
INVY_15/ex1.xml 5162294 NO 3.51/1.65 (CERTIFIED 0.0) NO 0.40/0.35 (CERTIFIED 0.0)
INVY_15/#3.52_rand.xml 5162295 timeout (wallclock) [out] MAYBE 306.64/299.33
INVY_15/#3.35_rand.xml 5162296 YES 6.36/2.36 (CERTIFIED 0.0) YES 1.90/0.75 (CERTIFIED 0.1)
INVY_15/#3.18_rand.xml 5162297 timeout (wallclock) [out] MAYBE 307.47/299.34
INVY_15/#3.40_rand.xml 5162298 timeout (wallclock) [out] MAYBE 308.42/299.35
INVY_15/#3.7_rand.xml 5162299 YES 7.28/2.66 (CERTIFIED 0.0) YES 5.00/1.55 (CERTIFIED 0.1)
INVY_15/#3.17a_mset.xml 5162300 YES 9.81/3.40 (CERTIFIED 0.1) YES 13.47/3.71 (CERTIFIED 0.2)
INVY_15/#3.8b_rand.xml 5162301 timeout (wallclock) [out] MAYBE 307.98/299.34
INVY_15/#3.54_rand.xml 5162302 YES 8.33/2.88 (CERTIFIED 0.1) YES 4.14/1.32 (CERTIFIED 0.1)
INVY_15/#3.26_rand.xml 5162303 YES 6.36/2.41 (CERTIFIED 0.0) YES 3.81/1.22 (CERTIFIED 0.1)
INVY_15/#3.47_rand.xml 5162304 YES 6.04/2.28 (CERTIFIED 0.0) YES 2.31/0.85 (CERTIFIED 0.1)
INVY_15/quicktest_sum.xml 5162305 timeout (wallclock) [out] MAYBE 310.12/299.34
INVY_15/#3.4_rand.xml 5162306 timeout (wallclock) [out] MAYBE 307.41/299.33
INVY_15/#3.24_rand.xml 5162307 YES 5.51/2.16 (CERTIFIED 0.0) YES 2.73/0.95 (CERTIFIED 0.1)
INVY_15/#3.53b_rand.xml 5162308 timeout (wallclock) [out] MAYBE 306.64/299.32
INVY_15/#3.22_rand.xml 5162309 timeout (wallclock) [out] MAYBE 307.48/299.35
INVY_15/#3.49_rand.xml 5162310 YES 6.28/2.42 (CERTIFIED 0.1) YES 4.33/1.36 (CERTIFIED 0.1)
INVY_15/ex2.xml 5162311 MAYBE 1030.52/299.38 MAYBE 306.57/299.35
INVY_15/quicktest.xml 5162312 timeout (wallclock) [out] MAYBE 307.77/299.34
INVY_15/#3.42_rand.xml 5162313 timeout (wallclock) [out] MAYBE 307.47/299.34
INVY_15/#3.57_rand.xml 5162314 timeout (wallclock) [out] MAYBE 309.69/299.35
INVY_15/#3.17_mset.xml 5162315 YES 8.91/3.08 (CERTIFIED 0.1) YES 9.92/2.78 (CERTIFIED 0.1)
INVY_15/#3.53_rand.xml 5162316 MAYBE 899.15/297.82 MAYBE 308.76/299.34
INVY_15/ex4.xml 5162317 YES 4.31/1.88 (CERTIFIED 0.0) YES 0.75/0.44 (CERTIFIED 0.0)
INVY_15/#3.36_rand.xml 5162318 timeout (wallclock) [out] MAYBE 307.24/299.35
INVY_15/#3.55_rand.xml 5162319 MAYBE 1135.95/298.97 MAYBE 309.66/299.35
INVY_15/#3.6b_rand.xml 5162320 MAYBE 701.64/291.61 MAYBE 307.54/299.35
Relative_05/rt2-3.xml 5162234 YES 3.97/1.76 (CERTIFIED 0.0) YES 0.78/0.46 (CERTIFIED 0.1)
Relative_05/rt1-4.xml 5162235 YES 4.49/2.10 (CERTIFIED 0.0) YES 0.93/0.48 (CERTIFIED 0.0)
Relative_05/rtL-me2.xml 5162236 YES 6.41/2.53 (CERTIFIED 0.1) YES 3.84/1.30 (CERTIFIED 0.4)
Relative_05/rt1-5.xml 5162237 YES 6.18/2.40 (CERTIFIED 0.0) YES 0.90/0.47 (CERTIFIED 0.0)
Relative_05/rt1-2.xml 5162238 YES 4.17/1.83 (CERTIFIED 0.0) YES 0.66/0.42 (CERTIFIED 0.0)
Relative_05/rt3-1.xml 5162239 YES 4.79/2.00 (CERTIFIED 0.0) YES 0.79/0.45 (CERTIFIED 0.0)
Relative_05/rt1-1.xml 5162240 YES 4.21/4.49 (CERTIFIED 0.0) YES 0.39/0.34 (CERTIFIED 0.0)
Relative_05/rtL-pwl.xml 5162241 MAYBE 1158.53/294.65 MAYBE 316.16/299.37
Relative_05/rtL-cbn1.xml 5162242 timeout (wallclock) [out] MAYBE 316.17/299.36
Relative_05/rt3-9.xml 5162243 YES 7.23/2.59 (CERTIFIED 0.0) YES 1.90/0.74 (CERTIFIED 0.1)
Relative_05/rtL-wl1o.xml 5162244 MAYBE 1142.08/291.76 MAYBE 307.39/299.33
Relative_05/rtL-cbn5.xml 5162245 timeout (wallclock) [out] MAYBE 316.22/299.36
Relative_05/rtL-evo.xml 5162246 NO 4.69/2.04 (CERTIFIED 0.0) NO 0.44/0.38 (CERTIFIED 0.0)
Relative_05/rt3-2.xml 5162247 YES 4.68/1.93 (CERTIFIED 0.0) YES 1.10/0.53 (CERTIFIED 0.0)
Relative_05/rt3-5.xml 5162248 YES 9.39/3.20 (CERTIFIED 0.0) YES 2.61/0.92 (CERTIFIED 0.0)
Relative_05/rtL-evnz.xml 5162249 NO 49.25/13.61 (CERTIFIED 0.1) MAYBE 316.29/299.39
Relative_05/rt1-3.xml 5162250 YES 4.30/1.80 (CERTIFIED 0.0) YES 2.00/0.77 (CERTIFIED 0.1)
Relative_05/rt2-8.xml 5162251 NO 3.77/1.75 (CERTIFIED 0.0) MAYBE 307.32/299.34
Relative_05/rt2-2.xml 5162252 YES 4.08/1.90 (CERTIFIED 0.0) YES 0.55/0.39 (CERTIFIED 0.0)
Relative_05/rtL-rw5.xml 5162253 timeout (wallclock) [out] MAYBE 316.41/299.46
Relative_05/rt3-3.xml 5162254 NO 3.74/1.79 (CERTIFIED 0.0) MAYBE 306.64/299.32
Relative_05/rt2-4.xml 5162255 YES 3.87/1.78 (CERTIFIED 0.0) YES 0.63/0.41 (CERTIFIED 0.0)
Relative_05/rt2-7.xml 5162256 YES 6.60/2.50 (CERTIFIED 0.0) YES 2.10/0.79 (CERTIFIED 0.0)
Relative_05/rt3-7.xml 5162257 YES 4.40/1.93 (CERTIFIED 0.0) YES 0.72/0.43 (CERTIFIED 0.0)
Relative_05/rt2-1.xml 5162258 YES 4.04/1.90 (CERTIFIED 0.0) YES 0.62/0.41 (CERTIFIED 0.0)
Relative_05/rt3-4.xml 5162259 YES 22.89/9.31 (CERTIFIED 2.8) MAYBE 306.59/299.33
Relative_05/rtL-me3.xml 5162260 YES 6.23/2.40 (CERTIFIED 0.1) YES 11.01/3.10 (CERTIFIED 0.3)
Relative_05/rt2-5.xml 5162261 YES 3.84/1.76 (CERTIFIED 0.0) YES 1.48/0.63 (CERTIFIED 0.0)
Relative_05/rt3-6.xml 5162262 NO 3.55/2.01 (CERTIFIED 0.0) NO 1.11/0.54 (CERTIFIED 0.0)
Relative_05/rtL-cbo.xml 5162263 timeout (wallclock) [out] MAYBE 311.62/299.35
Relative_05/rtL-rw2.xml 5162264 MAYBE 1170.22/298.56 MAYBE 316.22/299.42
Relative_05/rtL-wl1nz.xml 5162265 YES 5.07/2.11 (CERTIFIED 0.0) YES 2.65/0.93 (CERTIFIED 0.1)
Relative_05/rt3-8.xml 5162266 NO 3.55/1.70 (CERTIFIED 0.0) NO 0.54/0.39 (CERTIFIED 0.0)
51 44