Termination Competition 2020: TRS Relative Certified41231

Job info CSV
benchmark ttt2-1.20 ttt2_cert AProVE certified
INVY_15/#3.10_rand.xml 11775439 MAYBE 310.98/299.31 timeout (wallclock) [out]
INVY_15/#3.15_rand.xml 11775407 CERTIFIED YES 2.90/0.97 (CERTIFIED 0.21) CERTIFIED YES 6.26/2.38 (CERTIFIED 0.11)
INVY_15/#3.16_rand.xml 11775432 MAYBE 306.96/299.29 timeout (wallclock) [out]
INVY_15/#3.17a_mset.xml 11775434 CERTIFIED YES 19.07/5.09 (CERTIFIED 0.62) CERTIFIED YES 8.65/3.04 (CERTIFIED 0.33)
INVY_15/#3.17_mset.xml 11775422 CERTIFIED YES 14.25/3.86 (CERTIFIED 0.60) CERTIFIED YES 9.96/3.41 (CERTIFIED 0.24)
INVY_15/#3.18_rand.xml 11775443 MAYBE 307.60/299.29 timeout (wallclock) [out]
INVY_15/#3.19_rand.xml 11775433 MAYBE 309.97/299.30 timeout (wallclock) [out]
INVY_15/#3.1_gen.xml 11775402 CERTIFIED NO 0.48/0.41 (CERTIFIED 0.10) CERTIFIED NO 4.12/2.27 (CERTIFIED 0.03)
INVY_15/#3.1_rand.xml 11775398 MAYBE 307.15/299.29 timeout (wallclock) [out]
INVY_15/#3.22_rand.xml 11775416 MAYBE 307.55/299.30 timeout (wallclock) [out]
INVY_15/#3.23_rand.xml 11775400 MAYBE 306.42/299.29 timeout (wallclock) [out]
INVY_15/#3.24_rand.xml 11775395 CERTIFIED YES 3.06/1.00 (CERTIFIED 0.18) CERTIFIED YES 5.36/2.10 (CERTIFIED 0.10)
INVY_15/#3.26_rand.xml 11775428 CERTIFIED YES 3.70/1.17 (CERTIFIED 0.17) CERTIFIED YES 8.87/3.21 (CERTIFIED 0.06)
INVY_15/#3.29_rand.xml 11775429 CERTIFIED YES 1.17/0.52 (CERTIFIED 0.09) CERTIFIED YES 5.93/2.30 (CERTIFIED 0.05)
INVY_15/#3.2_rand.xml 11775444 MAYBE 307.25/299.29 timeout (wallclock) [out]
INVY_15/#3.35_rand.xml 11775411 CERTIFIED YES 2.68/0.94 (CERTIFIED 0.30) CERTIFIED YES 5.45/2.16 (CERTIFIED 0.08)
INVY_15/#3.36_rand.xml 11775426 MAYBE 307.39/299.33 ERROR 1036.21/292.31
INVY_15/#3.37_rand.xml 11775445 CERTIFIED YES 2.85/0.97 (CERTIFIED 0.45) CERTIFIED YES 6.99/2.53 (CERTIFIED 0.16)
INVY_15/#3.38_rand.xml 11775446 MAYBE 307.43/299.29 ERROR 676.46/291.63
INVY_15/#3.39_rand.xml 11775425 MAYBE 308.31/299.30 timeout (wallclock) [out]
INVY_15/#3.40_rand.xml 11775442 MAYBE 309.68/299.37 timeout (wallclock) [out]
INVY_15/#3.41_rand.xml 11775431 MAYBE 306.96/299.29 timeout (wallclock) [out]
INVY_15/#3.42_rand.xml 11775408 MAYBE 307.81/299.30 ERROR 1123.66/292.41
INVY_15/#3.47_rand.xml 11775437 CERTIFIED YES 2.50/0.87 (CERTIFIED 0.18) CERTIFIED YES 5.64/2.18 (CERTIFIED 0.10)
INVY_15/#3.48_rand.xml 11775438 MAYBE 307.77/299.29 ERROR 686.17/291.59
INVY_15/#3.49_rand.xml 11775421 CERTIFIED YES 4.08/1.27 (CERTIFIED 0.27) CERTIFIED YES 6.47/2.47 (CERTIFIED 0.15)
INVY_15/#3.4_rand.xml 11775420 MAYBE 307.54/299.29 timeout (wallclock) [out]
INVY_15/#3.52_rand.xml 11775410 MAYBE 306.61/299.29 timeout (wallclock) [out]
INVY_15/#3.53a_rand.xml 11775417 CERTIFIED YES 1.50/0.63 (CERTIFIED 0.17) CERTIFIED YES 6.08/2.47 (CERTIFIED 0.08)
INVY_15/#3.53b_rand.xml 11775418 MAYBE 306.71/299.30 timeout (wallclock) [out]
INVY_15/#3.53_rand.xml 11775397 MAYBE 309.71/299.30 ERROR 877.39/291.72
INVY_15/#3.54_rand.xml 11775404 CERTIFIED YES 3.65/1.16 (CERTIFIED 0.24) CERTIFIED YES 6.85/2.53 (CERTIFIED 0.13)
INVY_15/#3.55_rand.xml 11775414 MAYBE 310.36/299.30 timeout (wallclock) [out]
INVY_15/#3.56_rand.xml 11775419 CERTIFIED YES 5.20/1.56 (CERTIFIED 0.35) CERTIFIED YES 7.13/2.56 (CERTIFIED 0.16)
INVY_15/#3.57_rand.xml 11775436 MAYBE 309.89/299.30 timeout (wallclock) [out]
INVY_15/#3.5a_rand.xml 11775405 MAYBE 307.61/299.30 timeout (wallclock) [out]
INVY_15/#3.5b_rand.xml 11775440 MAYBE 307.85/299.31 ERROR 723.59/291.63
INVY_15/#3.5_rand.xml 11775435 MAYBE 307.46/299.30 timeout (wallclock) [out]
INVY_15/#3.6a_rand.xml 11775401 MAYBE 307.41/299.30 timeout (wallclock) [out]
INVY_15/#3.6b_rand.xml 11775441 MAYBE 307.92/299.3 timeout (wallclock) [out]
INVY_15/#3.6_rand.xml 11775403 MAYBE 307.55/299.30 ERROR 683.58/291.93
INVY_15/#3.7_rand.xml 11775415 CERTIFIED YES 3.55/1.14 (CERTIFIED 0.30) CERTIFIED YES 7.22/2.59 (CERTIFIED 0.13)
INVY_15/#3.8a_rand.xml 11775413 MAYBE 307.74/299.3 timeout (wallclock) [out]
INVY_15/#3.8b_rand.xml 11775427 MAYBE 308.24/299.29 timeout (wallclock) [out]
INVY_15/#4.30c_rand.xml 11775406 MAYBE 307.72/299.30 timeout (wallclock) [out]
INVY_15/ex1.xml 11775399 CERTIFIED NO 0.35/0.31 (CERTIFIED 0.03) CERTIFIED NO 3.63/1.63 (CERTIFIED 0.01)
INVY_15/ex2.xml 11775447 MAYBE 306.53/299.29 ERROR 1012.68/294.02
INVY_15/ex3.xml 11775424 MAYBE 299.35/299.35 timeout (wallclock) [out]
INVY_15/ex4.xml 11775423 CERTIFIED YES 0.88/0.45 (CERTIFIED 0.12) CERTIFIED YES 4.51/1.84 (CERTIFIED 0.05)
INVY_15/ex6.xml 11775396 CERTIFIED NO 0.38/0.32 (CERTIFIED 0.04) timeout (wallclock) [out]
INVY_15/ex7.xml 11775409 MAYBE 306.25/299.29 CERTIFIED NO 3.67/1.61 (CERTIFIED 0.01)
INVY_15/invNSS03.xml 11775430 CERTIFIED YES 0.71/0.41 (CERTIFIED 0.14) CERTIFIED YES 4.05/1.87 (CERTIFIED 0.03)
INVY_15/quicktest.xml 11775412 MAYBE 308.11/299.30 timeout (wallclock) [out]
INVY_15/quicktest_sum.xml 11775448 MAYBE 311.73/299.37 timeout (wallclock) [out]
Mixed_relative_TRS/abp.xml 11775356 MAYBE 316.14/299.33 timeout (wallclock) [out]
Mixed_relative_TRS/abp2.xml 11775357 MAYBE 316.11/299.34 timeout (wallclock) [out]
Mixed_relative_TRS/assoc.xml 11775355 MAYBE 306.65/299.31 CERTIFIED NO 4.78/2.06 (CERTIFIED 0.05)
Mixed_relative_TRS/carbridge.xml 11775353 CERTIFIED YES 6.17/1.81 (CERTIFIED 0.33) CERTIFIED YES 8.46/3.04 (CERTIFIED 0.14)
Mixed_relative_TRS/gcd.xml 11775359 MAYBE 308.75/299.31 timeout (wallclock) [out]
Mixed_relative_TRS/gcd_list.xml 11775351 MAYBE 316.03/299.30 timeout (wallclock) [out]
Mixed_relative_TRS/gcd_many.xml 11775358 CERTIFIED NO 0.35/0.31 (CERTIFIED 0.08) CERTIFIED NO 3.82/1.68 (CERTIFIED 0.06)
Mixed_relative_TRS/ijcar2006.xml 11775361 CERTIFIED YES 0.77/0.41 (CERTIFIED 0.17) CERTIFIED YES 7.99/2.93 (CERTIFIED 0.08)
Mixed_relative_TRS/relsubst.xml 11775360 CERTIFIED YES 6.20/2.68 (CERTIFIED 0.12) timeout (wallclock) [out]
Mixed_relative_TRS/rt-rw4.xml 11775354 MAYBE 316.08/299.35 CERTIFIED YES 11.96/3.86 (CERTIFIED 1.16)
Mixed_relative_TRS/trafic.xml 11775352 MAYBE 316.1/299.34 CERTIFIED YES 16.17/5.03 (CERTIFIED 1.63)
Relative_05/rt1-1.xml 11775371 CERTIFIED YES 0.47/0.34 (CERTIFIED 0.08) CERTIFIED YES 3.75/1.64 (CERTIFIED 0.02)
Relative_05/rt1-2.xml 11775384 CERTIFIED YES 0.49/0.35 (CERTIFIED 0.07) CERTIFIED YES 4.42/1.82 (CERTIFIED 0.02)
Relative_05/rt1-3.xml 11775390 CERTIFIED YES 1.28/0.55 (CERTIFIED 0.10) CERTIFIED YES 4.30/1.94 (CERTIFIED 0.04)
Relative_05/rt1-4.xml 11775391 CERTIFIED YES 1.13/0.50 (CERTIFIED 0.09) CERTIFIED YES 4.15/1.76 (CERTIFIED 0.06)
Relative_05/rt1-5.xml 11775382 CERTIFIED YES 2.44/0.85 (CERTIFIED 0.21) CERTIFIED YES 4.67/1.94 (CERTIFIED 0.08)
Relative_05/rt2-1.xml 11775368 CERTIFIED YES 0.69/0.42 (CERTIFIED 0.12) CERTIFIED YES 3.96/1.76 (CERTIFIED 0.03)
Relative_05/rt2-2.xml 11775387 CERTIFIED YES 0.43/0.32 (CERTIFIED 0.06) CERTIFIED YES 3.87/1.70 (CERTIFIED 0.03)
Relative_05/rt2-3.xml 11775378 CERTIFIED YES 0.82/0.44 (CERTIFIED 0.22) CERTIFIED YES 4.19/2.00 (CERTIFIED 0.04)
Relative_05/rt2-4.xml 11775376 CERTIFIED YES 0.56/0.36 (CERTIFIED 0.08) CERTIFIED YES 3.91/1.85 (CERTIFIED 0.03)
Relative_05/rt2-5.xml 11775389 CERTIFIED YES 1.47/0.59 (CERTIFIED 0.06) CERTIFIED YES 4.26/1.84 (CERTIFIED 0.06)
Relative_05/rt2-7.xml 11775374 CERTIFIED YES 2.27/0.85 (CERTIFIED 0.10) CERTIFIED YES 7.16/2.63 (CERTIFIED 0.09)
Relative_05/rt2-8.xml 11775367 MAYBE 307.49/299.29 CERTIFIED NO 3.99/1.71 (CERTIFIED 0.03)
Relative_05/rt3-1.xml 11775364 CERTIFIED YES 0.74/0.41 (CERTIFIED 0.09) CERTIFIED YES 5.30/2.20 (CERTIFIED 0.06)
Relative_05/rt3-2.xml 11775393 CERTIFIED YES 1.24/0.54 (CERTIFIED 0.13) CERTIFIED YES 4.74/1.92 (CERTIFIED 0.04)
Relative_05/rt3-3.xml 11775380 MAYBE 306.73/299.29 CERTIFIED NO 3.68/1.65 (CERTIFIED 0.02)
Relative_05/rt3-4.xml 11775379 MAYBE 306.51/299.29 CERTIFIED YES 21.66/7.34 (CERTIFIED 7.92)
Relative_05/rt3-5.xml 11775394 CERTIFIED YES 4.12/1.06 (CERTIFIED 0.07) CERTIFIED YES 9.45/3.16 (CERTIFIED 0.05)
Relative_05/rt3-6.xml 11775363 CERTIFIED NO 0.75/0.41 (CERTIFIED 0.04) CERTIFIED NO 3.79/1.82 (CERTIFIED 0.02)
Relative_05/rt3-7.xml 11775369 CERTIFIED YES 1.05/0.49 (CERTIFIED 0.13) CERTIFIED YES 5.47/2.24 (CERTIFIED 0.07)
Relative_05/rt3-8.xml 11775362 CERTIFIED NO 0.39/0.32 (CERTIFIED 0.06) CERTIFIED NO 3.98/1.98 (CERTIFIED 0.07)
Relative_05/rt3-9.xml 11775370 CERTIFIED YES 1.53/0.61 (CERTIFIED 0.20) CERTIFIED YES 5.08/2.00 (CERTIFIED 0.09)
Relative_05/rtL-cbn1.xml 11775386 MAYBE 316.02/299.31 timeout (wallclock) [out]
Relative_05/rtL-cbn5.xml 11775366 MAYBE 316.13/299.31 timeout (wallclock) [out]
Relative_05/rtL-cbo.xml 11775373 MAYBE 312.33/299.31 timeout (wallclock) [out]
Relative_05/rtL-evnz.xml 11775365 MAYBE 316.09/299.32 CERTIFIED NO 51.84/14.27 (CERTIFIED 0.14)
Relative_05/rtL-evo.xml 11775392 CERTIFIED NO 0.41/0.34 (CERTIFIED 0.11) CERTIFIED NO 9.60/2.12 (CERTIFIED 0.13)
Relative_05/rtL-me2.xml 11775388 CERTIFIED YES 3.90/1.26 (CERTIFIED 0.98) CERTIFIED YES 5.17/2.10 (CERTIFIED 0.16)
Relative_05/rtL-me3.xml 11775377 CERTIFIED YES 13.69/3.74 (CERTIFIED 1.02) CERTIFIED YES 9.49/3.23 (CERTIFIED 0.24)
Relative_05/rtL-pwl.xml 11775372 MAYBE 316.00/299.31 timeout (wallclock) [out]
Relative_05/rtL-rw2.xml 11775383 MAYBE 316.09/299.34 timeout (wallclock) [out]
Relative_05/rtL-rw5.xml 11775381 MAYBE 315.93/299.40 ERROR 1140.25/291.63
Relative_05/rtL-wl1nz.xml 11775375 CERTIFIED YES 2.70/0.92 (CERTIFIED 0.24) CERTIFIED YES 5.55/2.10 (CERTIFIED 0.09)
Relative_05/rtL-wl1o.xml 11775385 MAYBE 307.47/299.36 ERROR 1139.6/291.63
45 51