Termination Competition 2018
: TRS Relative
30036
Job info CSV
benchmark
AProVE
standard
NaTT
Default
ttt2-1.17+nonreach
ttt2-1.17+nonreach
TRS_
Relative/
Relative_
05/
rt2-3.xml
5162234
YES
4.26/1.78
YES
0.02/0.02
YES
1.62/0.69
TRS_
Relative/
Relative_
05/
rt1-4.xml
5162235
YES
4.23/1.85
YES
0.02/0.02
YES
3.23/1.10
TRS_
Relative/
Relative_
05/
rtL-me2.xml
5162236
YES
5.09/2.27
YES
0.02/0.02
YES
19.05/5.16
TRS_
Relative/
Relative_
05/
rt1-5.xml
5162237
YES
5.03/2.08
YES
0.02/0.02
YES
8.22/2.36
TRS_
Relative/
Relative_
05/
rt1-2.xml
5162238
YES
5.01/2.03
YES
0.01/0.02
YES
0.95/0.53
TRS_
Relative/
Relative_
05/
rt3-1.xml
5162239
YES
5.84/2.21
MAYBE
0.07/0.06
YES
2.59/0.95
TRS_
Relative/
Relative_
05/
rt1-1.xml
5162240
YES
4.01/1.68
YES
0.01/0.01
YES
1.26/0.60
TRS_
Relative/
Relative_
05/
rtL-pwl.xml
5162241
YES
17.82/5.28
MAYBE
1.09/1.01
MAYBE
151.77/42.39
TRS_
Relative/
Relative_
05/
rtL-cbn1.xml
5162242
YES
19.67/5.72
MAYBE
0.56/0.48
MAYBE
153.02/42.40
TRS_
Relative/
Relative_
05/
rt3-9.xml
5162243
YES
7.02/2.50
YES
0.03/0.03
YES
7.74/2.25
TRS_
Relative/
Relative_
05/
rtL-wl1o.xml
5162244
run script error
[out]
MAYBE
0.09/0.08
MAYBE
149.91/42.38
TRS_
Relative/
Relative_
05/
rtL-cbn5.xml
5162245
YES
20.30/5.89
MAYBE
2.21/2.10
MAYBE
157.99/42.40
TRS_
Relative/
Relative_
05/
rtL-evo.xml
5162246
NO
4.72/2.22
NO
0.32/0.27
NO
2.15/0.85
TRS_
Relative/
Relative_
05/
rt3-2.xml
5162247
YES
7.30/2.59
MAYBE
0.05/0.05
YES
4.79/1.50
TRS_
Relative/
Relative_
05/
rt3-5.xml
5162248
YES
11.81/3.87
MAYBE
0.15/0.12
YES
12.34/3.38
TRS_
Relative/
Relative_
05/
rtL-evnz.xml
5162249
NO
51.34/14.86
MAYBE
0.70/0.63
MAYBE
168.27/42.49
TRS_
Relative/
Relative_
05/
rt1-3.xml
5162250
YES
3.41/1.61
YES
0.02/0.02
YES
3.92/1.27
TRS_
Relative/
Relative_
05/
rt2-8.xml
5162251
NO
3.67/1.58
MAYBE
0.06/0.05
MAYBE
149.14/42.38
TRS_
Relative/
Relative_
05/
rt2-2.xml
5162252
YES
3.84/1.71
YES
0.01/0.01
YES
1.34/0.63
TRS_
Relative/
Relative_
05/
rtL-rw5.xml
5162253
run script error
[out]
MAYBE
0.16/0.15
MAYBE
168.35/42.50
TRS_
Relative/
Relative_
05/
rt3-3.xml
5162254
NO
3.50/1.59
MAYBE
0.05/0.05
MAYBE
148.92/42.38
TRS_
Relative/
Relative_
05/
rt2-4.xml
5162255
YES
4.37/1.80
MAYBE
0.04/0.04
YES
2.29/0.85
TRS_
Relative/
Relative_
05/
rt2-7.xml
5162256
YES
6.22/2.29
YES
0.05/0.04
YES
4.27/1.35
TRS_
Relative/
Relative_
05/
rt3-7.xml
5162257
YES
4.40/1.89
MAYBE
0.07/0.06
YES
4.59/1.45
TRS_
Relative/
Relative_
05/
rt2-1.xml
5162258
YES
3.79/1.63
MAYBE
0.05/0.05
YES
2.12/0.82
TRS_
Relative/
Relative_
05/
rt3-4.xml
5162259
YES
23.33/7.43
MAYBE
0.06/0.05
MAYBE
136.64/42.41
TRS_
Relative/
Relative_
05/
rtL-me3.xml
5162260
YES
5.70/2.35
YES
0.04/0.03
MAYBE
168.21/42.45
TRS_
Relative/
Relative_
05/
rt2-5.xml
5162261
YES
3.91/1.68
MAYBE
0.05/0.05
YES
2.93/1.02
TRS_
Relative/
Relative_
05/
rt3-6.xml
5162262
NO
50.53/2.13
NO
0.07/0.06
NO
2.81/1.01
TRS_
Relative/
Relative_
05/
rtL-cbo.xml
5162263
timeout (wallclock)
[out]
MAYBE
0.31/0.24
MAYBE
151.63/42.40
TRS_
Relative/
Relative_
05/
rtL-rw2.xml
5162264
run script error
[out]
run script error
[out]
MAYBE
168.34/42.50
TRS_
Relative/
Relative_
05/
rtL-wl1nz.xml
5162265
YES
6.49/2.37
YES
0.03/0.03
YES
8.46/2.42
TRS_
Relative/
Relative_
05/
rt3-8.xml
5162266
NO
3.60/1.59
NO
0.10/0.08
NO
1.73/0.74
TRS_
Relative/
Mixed_
relative_
TRS/
ijcar2006.xml
5162321
YES
6.18/2.39
MAYBE
0.06/0.05
YES
3.46/1.17
TRS_
Relative/
Mixed_
relative_
TRS/
gcd_
many.xml
5162322
NO
3.41/1.59
NO
0.20/0.16
NO
2.25/0.87
TRS_
Relative/
Mixed_
relative_
TRS/
relsubst.xml
5162323
timeout (wallclock)
[out]
YES
0.10/0.07
MAYBE
150.68/42.37
TRS_
Relative/
Mixed_
relative_
TRS/
assoc.xml
5162324
NO
4.06/1.76
MAYBE
0.28/0.24
MAYBE
137.07/42.37
TRS_
Relative/
Mixed_
relative_
TRS/
trafic.xml
5162325
YES
18.36/5.69
YES
0.53/0.52
MAYBE
162.57/42.43
TRS_
Relative/
Mixed_
relative_
TRS/
abp.xml
5162326
run script error
[out]
MAYBE
24.73/23.43
MAYBE
168.16/42.49
TRS_
Relative/
Mixed_
relative_
TRS/
carbridge.xml
5162327
YES
5.53/2.21
YES
0.06/0.06
YES
21.51/5.70
TRS_
Relative/
Mixed_
relative_
TRS/
gcd_
list.xml
5162328
run script error
[out]
MAYBE
0.58/0.55
MAYBE
153.93/42.39
TRS_
Relative/
Mixed_
relative_
TRS/
abp2.xml
5162329
run script error
[out]
YES
0.12/0.11
MAYBE
160.59/42.42
TRS_
Relative/
Mixed_
relative_
TRS/
gcd.xml
5162330
timeout (wallclock)
[out]
MAYBE
0.08/0.07
MAYBE
168.36/42.44
TRS_
Relative/
Mixed_
relative_
TRS/
rt-rw4.xml
5162331
YES
13.91/4.53
MAYBE
3.86/2.85
MAYBE
168.40/42.53
TRS_
Relative/
INVY_
15/
#3.2_
rand.xml
5162267
timeout (wallclock)
[out]
YES
0.11/0.08
MAYBE
142.46/42.37
TRS_
Relative/
INVY_
15/
#3.19_
rand.xml
5162268
timeout (wallclock)
[out]
YES
0.17/0.13
MAYBE
149.73/42.37
TRS_
Relative/
INVY_
15/
ex7.xml
5162269
NO
3.38/4.64
MAYBE
0.05/0.04
MAYBE
148.72/42.37
TRS_
Relative/
INVY_
15/
#3.41_
rand.xml
5162270
run script error
[out]
YES
0.08/0.07
MAYBE
140.38/42.38
TRS_
Relative/
INVY_
15/
#3.37_
rand.xml
5162271
YES
7.49/2.62
YES
0.04/0.03
YES
10.32/2.89
TRS_
Relative/
INVY_
15/
ex3.xml
5162272
NO
3.25/1.53
MAYBE
0.04/0.04
MAYBE
76.70/25.73
TRS_
Relative/
INVY_
15/
#3.8a_
rand.xml
5162273
timeout (wallclock)
[out]
YES
0.16/0.12
MAYBE
147.82/42.37
TRS_
Relative/
INVY_
15/
#3.6_
rand.xml
5162274
run script error
[out]
MAYBE
0.34/0.27
MAYBE
146.19/42.38
TRS_
Relative/
INVY_
15/
#3.5_
rand.xml
5162275
timeout (wallclock)
[out]
YES
0.22/0.17
MAYBE
143.92/42.38
TRS_
Relative/
INVY_
15/
#3.10_
rand.xml
5162276
timeout (wallclock)
[out]
YES
0.53/0.41
MAYBE
154.17/42.39
TRS_
Relative/
INVY_
15/
#3.5a_
rand.xml
5162277
run script error
[out]
YES
0.23/0.17
MAYBE
145.28/42.39
TRS_
Relative/
INVY_
15/
invNSS03.xml
5162278
YES
3.99/1.69
YES
0.02/0.02
YES
2.76/1.04
TRS_
Relative/
INVY_
15/
#3.1_
rand.xml
5162279
timeout (wallclock)
[out]
YES
0.11/0.08
MAYBE
141.52/42.38
TRS_
Relative/
INVY_
15/
#3.39_
rand.xml
5162280
timeout (wallclock)
[out]
MAYBE
0.26/0.19
MAYBE
151.89/42.38
TRS_
Relative/
INVY_
15/
#3.5b_
rand.xml
5162281
run script error
[out]
YES
0.35/0.28
MAYBE
147.03/42.39
TRS_
Relative/
INVY_
15/
#3.16_
rand.xml
5162282
timeout (wallclock)
[out]
YES
0.10/0.08
MAYBE
138.89/42.37
TRS_
Relative/
INVY_
15/
#3.56_
rand.xml
5162283
YES
8.25/2.79
YES
0.05/0.05
YES
16.27/4.40
TRS_
Relative/
INVY_
15/
#3.1_
gen.xml
5162284
NO
3.60/1.63
MAYBE
0.10/0.08
NO
1.58/0.70
TRS_
Relative/
INVY_
15/
#3.23_
rand.xml
5162285
timeout (wallclock)
[out]
YES
0.07/0.05
MAYBE
137.25/42.37
TRS_
Relative/
INVY_
15/
#3.53a_
rand.xml
5162286
YES
5.99/2.30
YES
0.03/0.03
run script error
[out]
TRS_
Relative/
INVY_
15/
#3.48_
rand.xml
5162287
run script error
[out]
YES
0.11/0.09
MAYBE
146.54/42.37
TRS_
Relative/
INVY_
15/
#3.29_
rand.xml
5162288
YES
13.04/6.72
YES
0.03/0.03
YES
4.01/1.29
TRS_
Relative/
INVY_
15/
#3.6a_
rand.xml
5162289
timeout (wallclock)
[out]
MAYBE
0.34/0.27
MAYBE
143.86/42.38
TRS_
Relative/
INVY_
15/
#4.30c_
rand.xml
5162290
run script error
[out]
MAYBE
0.32/0.26
MAYBE
168.51/42.46
TRS_
Relative/
INVY_
15/
#3.38_
rand.xml
5162291
run script error
[out]
YES
0.05/0.04
MAYBE
143.18/42.38
TRS_
Relative/
INVY_
15/
#3.15_
rand.xml
5162292
YES
10.11/3.42
YES
0.04/0.04
YES
7.97/2.30
TRS_
Relative/
INVY_
15/
ex6.xml
5162293
NO
3.09/1.50
MAYBE
0.05/0.04
NO
0.99/0.57
TRS_
Relative/
INVY_
15/
ex1.xml
5162294
NO
3.60/1.59
NO
0.05/0.04
run script error
[out]
TRS_
Relative/
INVY_
15/
#3.52_
rand.xml
5162295
timeout (wallclock)
[out]
YES
0.10/0.08
MAYBE
137.41/42.37
TRS_
Relative/
INVY_
15/
#3.35_
rand.xml
5162296
YES
5.80/2.28
YES
0.03/0.03
YES
6.33/1.88
TRS_
Relative/
INVY_
15/
#3.18_
rand.xml
5162297
timeout (wallclock)
[out]
YES
0.15/0.11
MAYBE
147.53/42.38
TRS_
Relative/
INVY_
15/
#3.40_
rand.xml
5162298
timeout (wallclock)
[out]
MAYBE
0.39/0.29
MAYBE
152.66/42.39
TRS_
Relative/
INVY_
15/
#3.7_
rand.xml
5162299
YES
29.19/8.65
YES
0.05/0.05
YES
15.09/4.08
TRS_
Relative/
INVY_
15/
#3.17a_
mset.xml
5162300
YES
11.43/3.82
run script error
[out]
MAYBE
152.33/42.38
TRS_
Relative/
INVY_
15/
#3.8b_
rand.xml
5162301
timeout (wallclock)
[out]
YES
0.28/0.22
MAYBE
151.00/42.38
TRS_
Relative/
INVY_
15/
#3.54_
rand.xml
5162302
YES
7.69/2.67
YES
0.04/0.03
YES
14.24/3.87
TRS_
Relative/
INVY_
15/
#3.26_
rand.xml
5162303
YES
6.08/2.26
YES
0.03/0.03
YES
11.77/3.33
TRS_
Relative/
INVY_
15/
#3.47_
rand.xml
5162304
YES
5.34/2.11
YES
0.09/0.07
YES
7.95/2.29
TRS_
Relative/
INVY_
15/
quicktest_
sum.xml
5162305
timeout (wallclock)
[out]
YES
0.15/0.12
MAYBE
148.97/42.38
TRS_
Relative/
INVY_
15/
#3.4_
rand.xml
5162306
timeout (wallclock)
[out]
YES
0.15/0.11
MAYBE
146.04/42.37
TRS_
Relative/
INVY_
15/
#3.24_
rand.xml
5162307
YES
6.64/2.40
YES
0.04/0.05
YES
11.11/3.19
TRS_
Relative/
INVY_
15/
#3.53b_
rand.xml
5162308
timeout (wallclock)
[out]
YES
0.09/0.08
MAYBE
137.22/42.37
TRS_
Relative/
INVY_
15/
#3.22_
rand.xml
5162309
timeout (wallclock)
[out]
MAYBE
0.28/0.20
MAYBE
144.95/42.37
TRS_
Relative/
INVY_
15/
#3.49_
rand.xml
5162310
YES
4.10/1.83
YES
0.06/0.06
YES
13.34/3.64
TRS_
Relative/
INVY_
15/
ex2.xml
5162311
timeout (wallclock)
[out]
YES
0.02/0.02
MAYBE
137.70/42.38
TRS_
Relative/
INVY_
15/
quicktest.xml
5162312
timeout (wallclock)
[out]
YES
0.11/0.09
MAYBE
148.74/42.38
TRS_
Relative/
INVY_
15/
#3.42_
rand.xml
5162313
run script error
[out]
YES
0.15/0.12
MAYBE
145.84/42.38
TRS_
Relative/
INVY_
15/
#3.57_
rand.xml
5162314
timeout (wallclock)
[out]
YES
0.26/0.20
MAYBE
152.61/42.38
TRS_
Relative/
INVY_
15/
#3.17_
mset.xml
5162315
YES
8.67/2.95
YES
0.07/0.07
MAYBE
150.52/42.39
TRS_
Relative/
INVY_
15/
#3.53_
rand.xml
5162316
timeout (wallclock)
[out]
YES
0.28/0.21
MAYBE
152.47/42.39
TRS_
Relative/
INVY_
15/
ex4.xml
5162317
YES
4.46/1.94
YES
0.01/0.01
YES
2.72/0.97
TRS_
Relative/
INVY_
15/
#3.36_
rand.xml
5162318
run script error
[out]
YES
0.12/0.09
MAYBE
142.78/42.37
TRS_
Relative/
INVY_
15/
#3.55_
rand.xml
5162319
timeout (wallclock)
[out]
YES
0.53/0.42
MAYBE
151.60/42.39
TRS_
Relative/
INVY_
15/
#3.6b_
rand.xml
5162320
run script error
[out]
MAYBE
0.62/0.53
MAYBE
146.42/42.38
56
62
39