TermComp 2020
: TRS Relative
41486
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
NaTT v.1.6c
Default
--
YES
NO
MAYBE
timeout
ttt2-1.20
ttt2
--
YES
NO
MAYBE
timeout
AProVE
standard
--
YES
NO
MAYBE
timeout
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