TermComp 2020: TRS Relative 41486 Job info CSV Showing results.

benchmark NaTT v.1.6c Default ttt2-1.20 ttt2 AProVE standard
INVY_15/#3.24_rand.xml 11775395 YES 0.05/0.13 YES 7.61/2.22 YES 6.97/2.72
INVY_15/ex6.xml 11775396 i MAYBE 0.05/0.08 NO 0.87/0.54 NO 3.29/1.76
INVY_15/#3.53_rand.xml 11775397 is YES 0.32/0.29 MAYBE 765.03/299.37 timeout (wallclock)
INVY_15/#3.1_rand.xml 11775398 is YES 0.13/0.12 MAYBE 754.92/299.34 timeout (wallclock)
INVY_15/ex1.xml 11775399 NO 0.04/0.04 NO 0.74/0.54 NO 3.95/1.82
INVY_15/#3.23_rand.xml 11775400 is YES 0.10/0.11 MAYBE 749.72/299.38 timeout (wallclock)
INVY_15/#3.6a_rand.xml 11775401 u MAYBE 0.41/0.41 MAYBE 757.57/299.40 timeout (wallclock)
INVY_15/#3.1_gen.xml 11775402 i MAYBE 0.20/0.21 NO 1.14/0.62 NO 4.06/1.74
INVY_15/#3.6_rand.xml 11775403 u MAYBE 0.43/0.36 MAYBE 758.65/299.37 timeout (wallclock)
INVY_15/#3.54_rand.xml 11775404 YES 0.05/0.08 YES 8.47/2.44 YES 6.81/2.57
INVY_15/#3.5a_rand.xml 11775405 is YES 0.30/0.96 MAYBE 758.42/299.35 timeout (wallclock)
INVY_15/#4.30c_rand.xml 11775406 u MAYBE 0.40/0.34 MAYBE 919.98/299.34 timeout (wallclock)
INVY_15/#3.15_rand.xml 11775407 YES 0.04/0.04 YES 8.48/2.39 YES 7.06/2.56
INVY_15/#3.42_rand.xml 11775408 is YES 0.19/0.22 MAYBE 760.18/299.40 timeout (wallclock)
INVY_15/ex7.xml 11775409 is MAYBE 0.06/0.10 MAYBE 762.17/299.40 NO 3.87/1.78
INVY_15/#3.52_rand.xml 11775410 is YES 0.10/0.13 MAYBE 750.47/299.41 timeout (wallclock)
INVY_15/#3.35_rand.xml 11775411 YES 0.04/0.06 YES 5.18/1.61 YES 6.53/2.58
INVY_15/quicktest.xml 11775412 is YES 0.12/0.12 MAYBE 761.67/299.39 timeout (wallclock)
INVY_15/#3.8a_rand.xml 11775413 is YES 0.20/0.21 MAYBE 761.85/299.34 timeout (wallclock)
INVY_15/#3.55_rand.xml 11775414 is YES 0.70/0.63 MAYBE 763.93/299.34 timeout (wallclock)
INVY_15/#3.7_rand.xml 11775415 YES 0.07/0.13 YES 9.70/2.76 YES 9.71/3.31
INVY_15/#3.22_rand.xml 11775416 u MAYBE 0.31/0.29 MAYBE 758.34/299.41 timeout (wallclock)
INVY_15/#3.53a_rand.xml 11775417 YES 0.03/0.07 YES 3.84/1.28 YES 5.01/2.11
INVY_15/#3.53b_rand.xml 11775418 is YES 0.11/0.14 MAYBE 749.93/299.41 timeout (wallclock)
INVY_15/#3.56_rand.xml 11775419 YES 0.08/0.12 YES 10.37/2.94 YES 6.99/2.58
INVY_15/#3.4_rand.xml 11775420 is YES 0.19/0.22 MAYBE 761.07/299.40 timeout (wallclock)
INVY_15/#3.49_rand.xml 11775421 YES 0.08/0.12 YES 9.28/2.66 YES 4.21/2.58
INVY_15/#3.17_mset.xml 11775422 YES 0.05/0.05 YES 21.57/5.71 YES 8.19/2.82
INVY_15/ex4.xml 11775423 YES 0.02/0.02 YES 1.70/0.67 YES 4.27/1.88
INVY_15/ex3.xml 11775424 is MAYBE 0.04/0.08 MAYBE 226.53/75.68 NO 3.26/1.62
INVY_15/#3.39_rand.xml 11775425 u MAYBE 0.30/0.26 MAYBE 765.24/299.39 timeout (wallclock)
INVY_15/#3.36_rand.xml 11775426 is YES 0.14/0.17 MAYBE 755.53/299.38 timeout (wallclock)
INVY_15/#3.8b_rand.xml 11775427 is YES 0.36/0.35 MAYBE 764.63/299.38 timeout (wallclock)
INVY_15/#3.26_rand.xml 11775428 YES 0.03/0.07 YES 9.57/2.71 YES 5.52/2.19
INVY_15/#3.29_rand.xml 11775429 YES 0.03/0.07 YES 2.82/1.00 YES 5.30/2.20
INVY_15/invNSS03.xml 11775430 YES 0.04/0.05 YES 1.90/0.79 YES 4.14/1.78
INVY_15/#3.41_rand.xml 11775431 is YES 0.09/0.12 MAYBE 753.26/299.35 timeout (wallclock)
INVY_15/#3.16_rand.xml 11775432 is YES 0.12/0.15 MAYBE 751.92/299.40 timeout (wallclock)
INVY_15/#3.19_rand.xml 11775433 is YES 0.27/0.25 MAYBE 762.68/299.38 timeout (wallclock)
INVY_15/#3.17a_mset.xml 11775434 i YES 0.16/0.21 MAYBE 763.50/299.38 YES 9.23/3.18
INVY_15/#3.5_rand.xml 11775435 is YES 0.27/0.27 MAYBE 756.91/299.38 timeout (wallclock)
INVY_15/#3.57_rand.xml 11775436 is YES 0.32/0.34 MAYBE 765.09/299.40 timeout (wallclock)
INVY_15/#3.47_rand.xml 11775437 YES 0.10/0.14 YES 3.23/1.14 YES 5.34/2.40
INVY_15/#3.48_rand.xml 11775438 is YES 0.13/0.17 MAYBE 759.41/299.39 timeout (wallclock)
INVY_15/#3.10_rand.xml 11775439 is YES 0.70/0.63 MAYBE 767.14/299.47 timeout (wallclock)
INVY_15/#3.5b_rand.xml 11775440 is YES 0.52/0.43 MAYBE 763.33/299.34 timeout (wallclock)
INVY_15/#3.6b_rand.xml 11775441 u MAYBE 0.91/0.80 MAYBE 761.81/299.36 timeout (wallclock)
INVY_15/#3.40_rand.xml 11775442 u MAYBE 0.44/0.33 MAYBE 769.43/299.34 timeout (wallclock)
INVY_15/#3.18_rand.xml 11775443 is YES 0.19/0.22 MAYBE 760.91/299.34 timeout (wallclock)
INVY_15/#3.2_rand.xml 11775444 is YES 0.14/0.11 MAYBE 754.37/299.43 timeout (wallclock)
INVY_15/#3.37_rand.xml 11775445 YES 0.08/0.07 YES 6.11/1.80 YES 7.30/2.64
INVY_15/#3.38_rand.xml 11775446 is YES 0.06/0.08 MAYBE 756.43/299.40 timeout (wallclock)
INVY_15/ex2.xml 11775447 is YES 0.06/0.11 MAYBE 750.37/299.36 timeout (wallclock)
INVY_15/quicktest_sum.xml 11775448 is YES 0.17/0.15 MAYBE 761.94/299.34 timeout (wallclock)
Mixed_relative_TRS/gcd_list.xml 11775351 u MAYBE 0.86/0.82 MAYBE 766.70/299.34 timeout (wallclock)
Mixed_relative_TRS/trafic.xml 11775352 i YES 0.27/0.26 MAYBE 768.61/299.37 YES 19.14/5.76
Mixed_relative_TRS/carbridge.xml 11775353 YES 0.12/0.12 YES 8.01/2.28 YES 5.33/2.13
Mixed_relative_TRS/rt-rw4.xml 11775354 is MAYBE 4.55/3.69 MAYBE 924.76/299.38 YES 10.44/3.45
Mixed_relative_TRS/assoc.xml 11775355 is MAYBE 0.31/0.31 MAYBE 750.21/299.37 NO 4.45/1.94
Mixed_relative_TRS/abp.xml 11775356 u MAYBE 49.55/48.06 MAYBE 923.68/299.43 timeout (wallclock)
Mixed_relative_TRS/abp2.xml 11775357 is YES 0.12/0.17 MAYBE 780.03/299.50 timeout (wallclock)
Mixed_relative_TRS/gcd_many.xml 11775358 NO 0.25/0.20 NO 0.94/0.54 NO 3.90/1.86
Mixed_relative_TRS/gcd.xml 11775359 u MAYBE 0.14/0.15 MAYBE 915.16/299.39 timeout (wallclock)
Mixed_relative_TRS/relsubst.xml 11775360 i YES 0.12/0.14 YES 36.18/9.39 timeout (wallclock)
Mixed_relative_TRS/ijcar2006.xml 11775361 i MAYBE 0.10/0.13 YES 2.26/0.88 YES 6.05/2.52
Relative_05/rt3-8.xml 11775362 NO 0.12/0.15 NO 1.12/0.60 NO 3.78/1.77
Relative_05/rt3-6.xml 11775363 NO 0.06/0.13 NO 0.41/0.37 NO 3.78/1.66
Relative_05/rt3-1.xml 11775364 i MAYBE 0.08/0.09 YES 1.69/0.69 YES 4.66/1.87
Relative_05/rtL-evnz.xml 11775365 i MAYBE 0.97/0.92 NO 536.69/134.65 NO 53.22/14.62
Relative_05/rtL-cbn5.xml 11775366 is MAYBE 3.88/3.82 MAYBE 784.95/299.38 YES 18.77/5.57
Relative_05/rt2-8.xml 11775367 is MAYBE 0.06/0.09 MAYBE 761.52/299.36 NO 3.83/1.67
Relative_05/rt2-1.xml 11775368 i MAYBE 0.05/0.08 YES 1.47/0.62 YES 3.85/1.73
Relative_05/rt3-7.xml 11775369 i MAYBE 0.07/0.10 YES 3.16/1.11 YES 5.05/2.20
Relative_05/rt3-9.xml 11775370 YES 0.08/0.09 YES 4.46/1.38 YES 6.11/2.28
Relative_05/rt1-1.xml 11775371 YES 0.02/0.06 YES 0.85/0.50 YES 3.94/1.80
Relative_05/rtL-pwl.xml 11775372 is MAYBE 1.75/1.71 MAYBE 779.33/299.38 YES 15.46/4.74
Relative_05/rtL-cbo.xml 11775373 u MAYBE 0.39/0.38 MAYBE 764.46/299.41 timeout (wallclock)
Relative_05/rt2-7.xml 11775374 YES 0.08/0.11 YES 2.35/0.88 YES 6.35/2.32
Relative_05/rtL-wl1nz.xml 11775375 YES 0.04/0.04 YES 6.06/1.78 YES 6.19/2.27
Relative_05/rt2-4.xml 11775376 i MAYBE 0.05/0.04 YES 1.67/0.66 YES 4.34/1.80
Relative_05/rtL-me3.xml 11775377 YES 0.05/0.08 YES 24.87/6.56 YES 5.57/2.16
Relative_05/rt2-3.xml 11775378 YES 0.05/0.11 YES 1.99/0.82 YES 7.65/2.87
Relative_05/rt3-4.xml 11775379 is MAYBE 0.06/0.09 MAYBE 749.41/299.36 YES 23.37/7.47
Relative_05/rt3-3.xml 11775380 is MAYBE 0.06/0.07 MAYBE 761.94/299.33 NO 3.78/1.84
Relative_05/rtL-rw5.xml 11775381 u MAYBE 0.20/0.20 MAYBE 934.09/299.42 timeout (wallclock)
Relative_05/rt1-5.xml 11775382 YES 0.02/0.07 YES 2.57/0.95 YES 4.61/1.98
Relative_05/rtL-rw2.xml 11775383 u MAYBE 8.73/8.35 MAYBE 932.34/299.41 timeout (wallclock)
Relative_05/rt1-2.xml 11775384 YES 0.02/0.02 YES 0.92/0.51 YES 4.28/1.87
Relative_05/rtL-wl1o.xml 11775385 u MAYBE 0.09/0.13 MAYBE 763.34/299.38 timeout (wallclock)
Relative_05/rtL-cbn1.xml 11775386 is MAYBE 0.77/0.72 MAYBE 766.17/299.41 YES 16.21/5.07
Relative_05/rt2-2.xml 11775387 YES 0.02/0.05 YES 1.06/0.52 YES 4.16/1.87
Relative_05/rtL-me2.xml 11775388 YES 0.03/0.06 YES 7.39/2.17 YES 4.83/2.01
Relative_05/rt2-5.xml 11775389 i MAYBE 0.06/0.06 YES 2.14/0.79 YES 4.11/1.75
Relative_05/rt1-3.xml 11775390 YES 0.02/0.04 YES 3.10/1.11 YES 3.57/1.71
Relative_05/rt1-4.xml 11775391 YES 0.02/0.08 YES 2.45/0.91 YES 4.52/1.86
Relative_05/rtL-evo.xml 11775392 NO 0.45/0.44 NO 1.19/0.56 NO 4.73/2.01
Relative_05/rt3-2.xml 11775393 i MAYBE 0.06/0.11 YES 2.98/1.01 YES 4.70/1.89
Relative_05/rt3-5.xml 11775394 i MAYBE 0.19/0.21 YES 11.80/3.22 YES 9.58/3.28
63 45 56