TermComp 2020: TRS Relative Certified 41503 Job info CSV Showing results.

benchmark ttt2-1.20 ttt2_cert AProVE certified
INVY_15/#3.24_rand.xml 11775395 YES 3.24/1.10 YES 5.45/2.15
INVY_15/ex6.xml 11775396 is NO 0.35/0.34 timeout (wallclock)
INVY_15/#3.53_rand.xml 11775397 u MAYBE 309.90/299.34 MAYBE 879.93/292.43
INVY_15/#3.1_rand.xml 11775398 u MAYBE 307.19/299.33 timeout (wallclock)
INVY_15/ex1.xml 11775399 NO 0.37/0.32 NO 3.54/1.65
INVY_15/#3.23_rand.xml 11775400 u MAYBE 306.60/299.33 MAYBE 1064.90/292.92
INVY_15/#3.6a_rand.xml 11775401 u MAYBE 307.50/299.32 timeout (wallclock)
INVY_15/#3.1_gen.xml 11775402 NO 0.39/0.35 NO 4.00/1.76
INVY_15/#3.6_rand.xml 11775403 u MAYBE 307.57/299.33 MAYBE 684.56/291.59
INVY_15/#3.54_rand.xml 11775404 YES 4.15/1.33 YES 7.57/2.79
INVY_15/#3.5a_rand.xml 11775405 u MAYBE 307.62/299.34 MAYBE 697.81/291.58
INVY_15/#4.30c_rand.xml 11775406 u MAYBE 307.80/299.34 timeout (wallclock)
INVY_15/#3.15_rand.xml 11775407 YES 2.98/0.99 YES 6.77/2.47
INVY_15/#3.42_rand.xml 11775408 u MAYBE 307.75/299.31 timeout (wallclock)
INVY_15/ex7.xml 11775409 is MAYBE 306.41/299.29 NO 3.67/1.67
INVY_15/#3.52_rand.xml 11775410 u MAYBE 306.64/299.34 timeout (wallclock)
INVY_15/#3.35_rand.xml 11775411 YES 2.77/1.04 YES 5.52/2.19
INVY_15/quicktest.xml 11775412 u MAYBE 308.21/299.34 timeout (wallclock)
INVY_15/#3.8a_rand.xml 11775413 u MAYBE 307.81/299.33 MAYBE 1104.24/298.46
INVY_15/#3.55_rand.xml 11775414 u MAYBE 310.40/299.32 timeout (wallclock)
INVY_15/#3.7_rand.xml 11775415 YES 3.27/1.08 YES 6.53/2.65
INVY_15/#3.22_rand.xml 11775416 u MAYBE 307.70/299.54 timeout (wallclock)
INVY_15/#3.53a_rand.xml 11775417 YES 1.28/0.60 YES 5.86/2.30
INVY_15/#3.53b_rand.xml 11775418 u MAYBE 306.73/299.34 timeout (wallclock)
INVY_15/#3.56_rand.xml 11775419 YES 5.63/1.71 YES 6.96/2.61
INVY_15/#3.4_rand.xml 11775420 u MAYBE 307.50/299.30 timeout (wallclock)
INVY_15/#3.49_rand.xml 11775421 YES 4.97/1.51 YES 5.77/2.21
INVY_15/#3.17_mset.xml 11775422 YES 15.05/4.20 YES 8.83/3.14
INVY_15/ex4.xml 11775423 YES 0.86/0.44 YES 4.13/1.79
INVY_15/ex3.xml 11775424 u MAYBE 299.42/299.34 timeout (wallclock)
INVY_15/#3.39_rand.xml 11775425 u MAYBE 308.29/299.30 timeout (wallclock)
INVY_15/#3.36_rand.xml 11775426 u MAYBE 307.48/300.33 timeout (wallclock)
INVY_15/#3.8b_rand.xml 11775427 u MAYBE 308.28/299.30 timeout (wallclock)
INVY_15/#3.26_rand.xml 11775428 YES 3.71/1.18 YES 6.79/2.69
INVY_15/#3.29_rand.xml 11775429 YES 1.33/0.58 YES 5.33/2.14
INVY_15/invNSS03.xml 11775430 YES 0.86/0.54 YES 4.33/1.98
INVY_15/#3.41_rand.xml 11775431 u MAYBE 306.99/299.34 MAYBE 1042.67/296.84
INVY_15/#3.16_rand.xml 11775432 u MAYBE 306.91/299.35 timeout (wallclock)
INVY_15/#3.19_rand.xml 11775433 u MAYBE 308.23/299.36 timeout (wallclock)
INVY_15/#3.17a_mset.xml 11775434 YES 19.54/5.17 YES 9.18/3.12
INVY_15/#3.5_rand.xml 11775435 u MAYBE 307.48/299.30 timeout (wallclock)
INVY_15/#3.57_rand.xml 11775436 u MAYBE 310.14/299.35 timeout (wallclock)
INVY_15/#3.47_rand.xml 11775437 YES 2.59/0.95 YES 6.27/2.53
INVY_15/#3.48_rand.xml 11775438 u MAYBE 307.94/299.33 MAYBE 680.53/291.97
INVY_15/#3.10_rand.xml 11775439 u MAYBE 311.30/299.39 MAYBE 1130.16/300.29
INVY_15/#3.5b_rand.xml 11775440 u MAYBE 308.14/299.36 MAYBE 774.24/300.55
INVY_15/#3.6b_rand.xml 11775441 u MAYBE 307.91/299.38 timeout (wallclock)
INVY_15/#3.40_rand.xml 11775442 u MAYBE 309.47/299.35 timeout (wallclock)
INVY_15/#3.18_rand.xml 11775443 u MAYBE 307.66/299.31 timeout (wallclock)
INVY_15/#3.2_rand.xml 11775444 u MAYBE 307.29/299.35 timeout (wallclock)
INVY_15/#3.37_rand.xml 11775445 YES 3.93/1.26 YES 6.76/2.47
INVY_15/#3.38_rand.xml 11775446 u MAYBE 307.44/299.32 MAYBE 669.39/291.59
INVY_15/ex2.xml 11775447 u MAYBE 306.63/299.30 timeout (wallclock)
INVY_15/quicktest_sum.xml 11775448 u MAYBE 311.49/299.34 timeout (wallclock)
Mixed_relative_TRS/gcd_list.xml 11775351 u MAYBE 316.30/299.36 timeout (wallclock)
Mixed_relative_TRS/trafic.xml 11775352 is MAYBE 316.28/299.42 YES 18.98/11.55
Mixed_relative_TRS/carbridge.xml 11775353 YES 6.12/1.79 YES 6.10/2.29
Mixed_relative_TRS/rt-rw4.xml 11775354 is MAYBE 316.32/299.39 YES 14.01/4.43
Mixed_relative_TRS/assoc.xml 11775355 is MAYBE 306.73/299.37 NO 4.53/1.87
Mixed_relative_TRS/abp.xml 11775356 u MAYBE 316.31/299.37 timeout (wallclock)
Mixed_relative_TRS/abp2.xml 11775357 u MAYBE 316.36/299.36 MAYBE 1180.55/297.86
Mixed_relative_TRS/gcd_many.xml 11775358 NO 0.40/0.36 NO 3.76/1.69
Mixed_relative_TRS/gcd.xml 11775359 u MAYBE 308.73/299.37 timeout (wallclock)
Mixed_relative_TRS/relsubst.xml 11775360 is YES 6.26/2.79 timeout (wallclock)
Mixed_relative_TRS/ijcar2006.xml 11775361 YES 0.95/0.47 YES 5.97/4.67
Relative_05/rt3-8.xml 11775362 NO 0.41/0.38 NO 3.76/2.23
Relative_05/rt3-6.xml 11775363 NO 0.96/0.48 NO 3.85/1.78
Relative_05/rt3-1.xml 11775364 YES 0.80/0.48 YES 5.47/2.10
Relative_05/rtL-evnz.xml 11775365 is MAYBE 316.28/299.32 NO 47.66/13.16
Relative_05/rtL-cbn5.xml 11775366 u MAYBE 316.36/299.31 timeout (wallclock)
Relative_05/rt2-8.xml 11775367 is MAYBE 307.49/299.30 NO 3.91/1.68
Relative_05/rt2-1.xml 11775368 YES 0.58/0.37 YES 4.02/1.77
Relative_05/rt3-7.xml 11775369 YES 1.16/0.52 YES 4.77/1.99
Relative_05/rt3-9.xml 11775370 YES 1.45/0.60 YES 5.48/2.11
Relative_05/rt1-1.xml 11775371 YES 0.43/0.34 YES 3.83/1.67
Relative_05/rtL-pwl.xml 11775372 u MAYBE 316.28/299.32 MAYBE 1162.91/294.52
Relative_05/rtL-cbo.xml 11775373 u MAYBE 312.27/299.32 timeout (wallclock)
Relative_05/rt2-7.xml 11775374 YES 2.00/0.72 YES 7.47/2.74
Relative_05/rtL-wl1nz.xml 11775375 YES 2.93/1.00 YES 5.42/2.10
Relative_05/rt2-4.xml 11775376 YES 0.60/0.37 YES 4.09/1.80
Relative_05/rtL-me3.xml 11775377 YES 3.76/1.19 YES 6.65/2.55
Relative_05/rt2-3.xml 11775378 YES 0.84/0.45 YES 3.95/1.81
Relative_05/rt3-4.xml 11775379 is MAYBE 306.55/299.30 YES 20.77/7.13
Relative_05/rt3-3.xml 11775380 is MAYBE 306.68/299.40 NO 3.92/1.89
Relative_05/rtL-rw5.xml 11775381 u MAYBE 316.42/299.33 timeout (wallclock)
Relative_05/rt1-5.xml 11775382 YES 2.64/0.90 YES 4.57/1.88
Relative_05/rtL-rw2.xml 11775383 u MAYBE 316.17/299.43 MAYBE 1150.57/291.72
Relative_05/rt1-2.xml 11775384 YES 0.59/0.38 YES 4.70/2.01
Relative_05/rtL-wl1o.xml 11775385 u MAYBE 307.37/299.30 MAYBE 1145.05/291.64
Relative_05/rtL-cbn1.xml 11775386 u MAYBE 316.23/299.32 timeout (wallclock)
Relative_05/rt2-2.xml 11775387 YES 0.46/0.34 YES 4.05/1.74
Relative_05/rtL-me2.xml 11775388 YES 3.23/1.08 YES 5.03/2.19
Relative_05/rt2-5.xml 11775389 YES 1.45/0.59 YES 4.06/1.73
Relative_05/rt1-3.xml 11775390 YES 0.90/0.45 YES 4.53/2.21
Relative_05/rt1-4.xml 11775391 YES 0.70/0.44 YES 4.36/1.92
Relative_05/rtL-evo.xml 11775392 NO 0.40/0.37 NO 4.52/2.11
Relative_05/rt3-2.xml 11775393 YES 1.18/0.65 YES 7.45/2.61
Relative_05/rt3-5.xml 11775394 YES 3.18/1.02 YES 11.34/3.79
45 51