Termination Competition 2020: TRS Relative41208

Job info CSV
benchmark NaTT v.1.6c Default ttt2-1.20 ttt2 AProVE standard
INVY_15/#3.10_rand.xml 11775439 YES 0.68/0.67 MAYBE 763.85/299.34 timeout (wallclock) [out]
INVY_15/#3.15_rand.xml 11775407 YES 0.01/0.04 YES 9.40/2.66 YES 6.55/2.42
INVY_15/#3.16_rand.xml 11775432 YES 0.03/0.09 MAYBE 748.32/299.33 timeout (wallclock) [out]
INVY_15/#3.17a_mset.xml 11775434 YES 0.02/0.29 MAYBE 759.35/299.33 YES 9.07/3.11
INVY_15/#3.17_mset.xml 11775422 YES 0.01/0.04 YES 20.24/5.44 YES 8.40/3.03
INVY_15/#3.18_rand.xml 11775443 YES 0.05/0.16 MAYBE 756.44/299.39 timeout (wallclock) [out]
INVY_15/#3.19_rand.xml 11775433 YES 0.07/0.22 MAYBE 758.92/299.33 timeout (wallclock) [out]
INVY_15/#3.1_gen.xml 11775402 MAYBE 0.03/0.12 NO 0.43/0.36 NO 3.90/1.92
INVY_15/#3.1_rand.xml 11775398 YES 0.04/0.10 MAYBE 751.29/299.32 timeout (wallclock) [out]
INVY_15/#3.22_rand.xml 11775416 MAYBE 0.11/0.23 MAYBE 754.83/299.33 timeout (wallclock) [out]
INVY_15/#3.23_rand.xml 11775400 YES 0.02/0.05 MAYBE 607.23/299.69 timeout (wallclock) [out]
INVY_15/#3.24_rand.xml 11775395 YES 0.01/0.04 YES 7.63/2.19 YES 6.60/2.46
INVY_15/#3.26_rand.xml 11775428 YES 0.02/0.03 YES 9.43/2.66 YES 6.16/2.38
INVY_15/#3.29_rand.xml 11775429 YES 0.01/0.03 YES 2.96/0.99 YES 5.61/3.08
INVY_15/#3.2_rand.xml 11775444 YES 0.04/0.11 MAYBE 751.92/299.33 timeout (wallclock) [out]
INVY_15/#3.35_rand.xml 11775411 YES 0.01/0.03 YES 5.92/1.75 YES 5.80/2.22
INVY_15/#3.36_rand.xml 11775426 YES 0.04/0.11 MAYBE 752.03/299.33 timeout (wallclock) [out]
INVY_15/#3.37_rand.xml 11775445 YES 0.03/0.07 YES 5.87/1.75 YES 6.39/2.34
INVY_15/#3.38_rand.xml 11775446 YES 0.02/0.05 MAYBE 753.73/299.33 timeout (wallclock) [out]
INVY_15/#3.39_rand.xml 11775425 MAYBE 0.10/0.44 MAYBE 760.73/299.33 timeout (wallclock) [out]
INVY_15/#3.40_rand.xml 11775442 MAYBE 0.14/0.32 MAYBE 765.48/299.33 timeout (wallclock) [out]
INVY_15/#3.41_rand.xml 11775431 YES 0.03/0.35 MAYBE 647.48/299.35 timeout (wallclock) [out]
INVY_15/#3.42_rand.xml 11775408 YES 0.05/0.17 MAYBE 644.82/299.34 timeout (wallclock) [out]
INVY_15/#3.47_rand.xml 11775437 YES 0.03/0.07 YES 3.42/1.21 YES 4.92/2.03
INVY_15/#3.48_rand.xml 11775438 YES 0.05/0.12 MAYBE 756.30/299.33 timeout (wallclock) [out]
INVY_15/#3.49_rand.xml 11775421 YES 0.02/0.06 YES 10.21/2.88 YES 4.87/2.22
INVY_15/#3.4_rand.xml 11775420 YES 0.05/0.15 MAYBE 756.6/299.33 timeout (wallclock) [out]
INVY_15/#3.52_rand.xml 11775410 YES 0.03/0.08 MAYBE 747.23/299.33 timeout (wallclock) [out]
INVY_15/#3.53a_rand.xml 11775417 YES 0.02/0.03 YES 3.68/1.19 YES 12.07/7.71
INVY_15/#3.53b_rand.xml 11775418 YES 0.03/0.08 MAYBE 746.46/299.33 timeout (wallclock) [out]
INVY_15/#3.53_rand.xml 11775397 YES 0.11/0.31 MAYBE 712.69/299.34 timeout (wallclock) [out]
INVY_15/#3.54_rand.xml 11775404 YES 0.02/0.04 YES 9.18/2.80 YES 7.16/3.53
INVY_15/#3.55_rand.xml 11775414 YES 0.62/0.57 MAYBE 760.81/299.33 timeout (wallclock) [out]
INVY_15/#3.56_rand.xml 11775419 YES 0.02/0.07 YES 10.60/2.95 YES 7.33/2.64
INVY_15/#3.57_rand.xml 11775436 YES 0.10/0.26 MAYBE 773.31/299.33 timeout (wallclock) [out]
INVY_15/#3.5a_rand.xml 11775405 YES 0.08/0.23 MAYBE 755.13/299.33 timeout (wallclock) [out]
INVY_15/#3.5b_rand.xml 11775440 YES 0.10/0.43 MAYBE 760.27/299.33 timeout (wallclock) [out]
INVY_15/#3.5_rand.xml 11775435 YES 0.08/0.25 MAYBE 753.60/299.33 timeout (wallclock) [out]
INVY_15/#3.6a_rand.xml 11775401 MAYBE 0.10/0.33 MAYBE 634.59/299.35 timeout (wallclock) [out]
INVY_15/#3.6b_rand.xml 11775441 MAYBE 0.62/0.79 MAYBE 756.63/299.33 timeout (wallclock) [out]
INVY_15/#3.6_rand.xml 11775403 MAYBE 0.10/0.35 MAYBE 754.10/299.33 timeout (wallclock) [out]
INVY_15/#3.7_rand.xml 11775415 YES 0.02/0.07 YES 10.61/2.95 YES 7.81/2.71
INVY_15/#3.8a_rand.xml 11775413 YES 0.05/0.16 MAYBE 757.97/299.33 timeout (wallclock) [out]
INVY_15/#3.8b_rand.xml 11775427 YES 0.08/1.22 MAYBE 711.23/299.35 timeout (wallclock) [out]
INVY_15/#4.30c_rand.xml 11775406 MAYBE 0.09/0.38 MAYBE 912.90/299.33 timeout (wallclock) [out]
INVY_15/ex1.xml 11775399 NO 0.02/0.04 NO 0.48/0.41 NO 3.55/2.00
INVY_15/ex2.xml 11775447 YES 0.02/0.03 MAYBE 747.24/299.33 timeout (wallclock) [out]
INVY_15/ex3.xml 11775424 MAYBE 0.02/0.04 MAYBE 226.42/75.65 NO 3.16/1.55
INVY_15/ex4.xml 11775423 YES 0.01/0.02 YES 2.13/0.69 YES 4.12/2.24
INVY_15/ex6.xml 11775396 MAYBE 0.01/0.03 NO 0.66/0.41 NO 3.20/1.68
INVY_15/ex7.xml 11775409 MAYBE 0.01/0.05 MAYBE 662.27/299.33 NO 3.81/1.87
INVY_15/invNSS03.xml 11775430 YES 0.01/0.02 YES 2.94/1.01 YES 4.09/1.82
INVY_15/quicktest.xml 11775412 YES 0.04/0.10 MAYBE 757.90/299.33 timeout (wallclock) [out]
INVY_15/quicktest_sum.xml 11775448 YES 0.06/0.14 MAYBE 758.25/299.33 timeout (wallclock) [out]
Mixed_relative_TRS/abp.xml 11775356 MAYBE 49.87/48.47 MAYBE 914.06/299.44 timeout (wallclock) [out]
Mixed_relative_TRS/abp2.xml 11775357 YES 0.03/0.11 MAYBE 775.78/299.37 timeout (wallclock) [out]
Mixed_relative_TRS/assoc.xml 11775355 MAYBE 0.21/0.27 MAYBE 747.01/299.33 NO 4.15/2.09
Mixed_relative_TRS/carbridge.xml 11775353 YES 0.02/0.11 YES 8.30/2.37 YES 5.90/2.30
Mixed_relative_TRS/gcd.xml 11775359 MAYBE 0.03/0.07 MAYBE 907.81/299.32 timeout (wallclock) [out]
Mixed_relative_TRS/gcd_list.xml 11775351 MAYBE 0.76/0.77 MAYBE 764.12/299.33 timeout (wallclock) [out]
Mixed_relative_TRS/gcd_many.xml 11775358 NO 0.06/0.19 NO 0.47/0.38 NO 3.75/1.64
Mixed_relative_TRS/ijcar2006.xml 11775361 MAYBE 0.02/0.05 YES 2.74/0.95 YES 6.02/2.38
Mixed_relative_TRS/relsubst.xml 11775360 YES 0.04/0.08 YES 36.39/9.52 timeout (wallclock) [out]
Mixed_relative_TRS/rt-rw4.xml 11775354 MAYBE 4.23/3.37 MAYBE 916.02/299.38 YES 17.84/5.31
Mixed_relative_TRS/trafic.xml 11775352 YES 0.03/0.26 MAYBE 767.34/299.37 YES 18.74/5.63
Relative_05/rt1-1.xml 11775371 YES 0.01/0.01 YES 0.72/0.42 YES 3.81/3.03
Relative_05/rt1-2.xml 11775384 YES 0.01/0.02 YES 0.69/0.47 YES 4.06/1.84
Relative_05/rt1-3.xml 11775390 YES 0.02/0.02 YES 3.80/1.24 YES 3.47/1.73
Relative_05/rt1-4.xml 11775391 YES 0.01/0.02 YES 2.93/0.99 YES 4.49/1.84
Relative_05/rt1-5.xml 11775382 YES 0.01/0.02 YES 3.08/1.03 YES 5.45/2.11
Relative_05/rt2-1.xml 11775368 MAYBE 0.02/0.04 YES 1.11/0.52 YES 4.04/1.69
Relative_05/rt2-2.xml 11775387 YES 0.01/0.01 YES 1.03/0.50 YES 7.49/1.68
Relative_05/rt2-3.xml 11775378 YES 0.01/0.02 YES 1.75/0.70 YES 3.90/1.81
Relative_05/rt2-4.xml 11775376 MAYBE 0.03/0.07 YES 1.71/0.68 YES 4.24/1.85
Relative_05/rt2-5.xml 11775389 MAYBE 0.02/0.05 YES 2.26/0.82 YES 4.00/1.74
Relative_05/rt2-7.xml 11775374 YES 0.02/0.04 YES 2.33/0.84 YES 6.63/2.42
Relative_05/rt2-8.xml 11775367 MAYBE 0.02/0.05 MAYBE 757.63/299.36 NO 3.61/1.63
Relative_05/rt3-1.xml 11775364 MAYBE 0.02/0.06 YES 1.79/0.70 YES 5.09/2.10
Relative_05/rt3-2.xml 11775393 MAYBE 0.02/0.05 YES 3.57/1.15 YES 25.98/10.68
Relative_05/rt3-3.xml 11775380 MAYBE 0.02/0.04 MAYBE 758.33/299.32 NO 3.69/1.68
Relative_05/rt3-4.xml 11775379 MAYBE 0.02/0.05 MAYBE 747.05/299.35 YES 22.26/7.22
Relative_05/rt3-5.xml 11775394 MAYBE 0.04/0.15 YES 11.66/3.23 YES 10.89/3.68
Relative_05/rt3-6.xml 11775363 NO 0.02/0.05 NO 0.33/0.32 NO 3.80/1.66
Relative_05/rt3-7.xml 11775369 MAYBE 0.02/0.06 YES 2.58/0.95 YES 4.55/1.96
Relative_05/rt3-8.xml 11775362 NO 0.03/0.10 NO 0.93/0.48 NO 3.69/1.64
Relative_05/rt3-9.xml 11775370 YES 0.01/0.03 YES 4.56/1.42 YES 5.82/2.25
Relative_05/rtL-cbn1.xml 11775386 MAYBE 0.65/0.68 MAYBE 763.84/299.34 YES 15.69/4.83
Relative_05/rtL-cbn5.xml 11775366 MAYBE 3.87/3.84 MAYBE 781.70/299.40 YES 17.81/5.26
Relative_05/rtL-cbo.xml 11775373 MAYBE 0.10/0.32 MAYBE 761.36/299.33 timeout (wallclock) [out]
Relative_05/rtL-evnz.xml 11775365 MAYBE 0.85/0.89 NO 542.52/138.23 NO 54.09/19.40
Relative_05/rtL-evo.xml 11775392 NO 0.07/0.39 NO 0.45/0.37 NO 4.24/1.77
Relative_05/rtL-me2.xml 11775388 YES 0.01/0.02 YES 9.60/3.19 YES 10.49/3.63
Relative_05/rtL-me3.xml 11775377 YES 0.02/0.04 YES 27.45/7.31 YES 6.13/2.35
Relative_05/rtL-pwl.xml 11775372 MAYBE 1.64/1.64 MAYBE 778.89/299.39 YES 25.88/4.10
Relative_05/rtL-rw2.xml 11775383 MAYBE 9.11/8.76 MAYBE 925.75/299.36 timeout (wallclock) [out]
Relative_05/rtL-rw5.xml 11775381 MAYBE 0.05/0.24 MAYBE 925.69/299.35 timeout (wallclock) [out]
Relative_05/rtL-wl1nz.xml 11775375 YES 0.01/0.04 YES 7.19/2.09 YES 6.11/2.27
Relative_05/rtL-wl1o.xml 11775385 MAYBE 0.02/0.09 MAYBE 759.50/299.33 timeout (wallclock) [out]
63 45 56