TermComp 2020
: TRS Relative Certified
41503
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
ttt2-1.20
ttt2_cert
--
YES
NO
MAYBE
timeout
AProVE
certified
--
YES
NO
MAYBE
timeout
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