TermCOMP 2021
: TRS Conditional
47881
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
muterm 6.0.3
default
--
YES
NO
MAYBE
timeout
REJECTED
UNSUPPORTED
ERROR
AProVE21
standard
--
YES
NO
MAYBE
timeout
REJECTED
UNSUPPORTED
ERROR
Mixed_
CTRS_
2014/
ohl194.xml
13165332
YES
0.19/0.27
YES
7.98/2.95
Mixed_
CTRS_
2014/
mar_
simple2.xml
13165333
u
timeout (wallclock)
timeout (wallclock)
Mixed_
CTRS_
2014/
plus1.xml
13165334
YES
0.01/0.06
YES
5.41/2.07
Mixed_
CTRS_
2014/
ex2-lucmes-wrla14.xml
13165335
is
NO
120.28/120.37
MAYBE
8.96/3.35
Mixed_
CTRS_
2014/
minus1.xml
13165336
YES
0.01/0.05
YES
5.36/2.06
Mixed_
CTRS_
2014/
lucMarMes.xml
13165337
is
NO
20.55/20.63
MAYBE
7.11/2.67
Mixed_
CTRS_
2014/
sche128.xml
13165338
YES
0.07/0.16
YES
5.63/2.18
Mixed_
CTRS_
2014/
ohl228.xml
13165339
is
NO
60.15/60.22
MAYBE
9.33/8.76
Mixed_
CTRS_
2014/
ex1-muterm14.xml
13165340
YES
0.01/0.07
YES
5.09/2.04
Mixed_
CTRS_
2014/
hosc08-ex5-aecc-p46.xml
13165341
is
YES
0.05/0.15
MAYBE
6.77/2.85
Mixed_
CTRS_
2014/
mar.xml
13165342
u
timeout (wallclock)
timeout (wallclock)
Mixed_
CTRS_
2014/
ex3-muterm14.xml
13165343
is
NO
201.10/201.34
MAYBE
20.88/12.32
Mixed_
CTRS_
2014/
ohl230.xml
13165344
is
NO
59.07/60.31
MAYBE
7.49/2.90
Mixed_
CTRS_
2014/
ex2-muterm14.xml
13165345
YES
0.01/0.07
YES
5.13/2.09
Mixed_
CTRS_
2014/
ohl206.xml
13165346
YES
0.03/0.08
YES
5.66/2.18
Mixed_
CTRS_
2014/
jlap09-ex17.xml
13165347
is
YES
120.68/120.85
MAYBE
34.75/12.92
Mixed_
CTRS_
2014/
ohl196.xml
13165348
YES
0.01/0.08
YES
5.59/2.20
Mixed_
CTRS_
2014/
logic.xml
13165349
YES
117.42/117.66
YES
7.45/2.70
Mixed_
CTRS_
2014/
mar_
simple1.xml
13165350
u
timeout (wallclock)
MAYBE
31.72/9.92
Mixed_
CTRS_
2014/
ohl.xml
13165351
is
YES
41.71/41.89
MAYBE
6.09/7.86
Mixed_
CTRS_
2014/
jlap09-ex16.xml
13165352
is
YES
0.06/0.13
MAYBE
6.35/2.39
Mixed_
CTRS_
2014/
ohl211.xml
13165353
is
YES
0.03/0.12
MAYBE
10.46/3.65
Mixed_
CTRS_
2014/
ohl216.xml
13165354
YES
0.01/0.04
YES
5.24/2.05
Mixed_
CTRS_
2014/
ohl190.xml
13165355
YES
0.03/0.11
YES
5.52/2.17
Mixed_
CTRS_
2014/
ex1-lucmes-wrla14.xml
13165356
u
timeout (wallclock)
timeout (wallclock)
COPS/
355.xml
13165247
is
NO
20.20/20.31
MAYBE
6.83/2.69
COPS/
384.xml
13165248
YES
0.01/0.09
YES
5.38/2.12
COPS/
329.xml
13165249
YES
183.55/184.39
YES
6.73/2.52
COPS/
271.xml
13165250
YES
0.07/0.16
YES
5.48/2.17
COPS/
383.xml
13165251
YES
0.01/0.08
YES
5.54/2.17
COPS/
312.xml
13165252
u
timeout (wallclock)
MAYBE
12.89/11.62
COPS/
315.xml
13165253
YES
0.02/0.09
YES
5.57/2.14
COPS/
369.xml
13165254
YES
0.01/0.07
YES
5.87/2.27
COPS/
292.xml
13165255
YES
0.02/0.08
YES
5.83/2.22
COPS/
411.xml
13165256
is
NO
60.43/60.54
MAYBE
6.72/2.66
COPS/
367.xml
13165257
YES
0.01/0.07
YES
5.65/2.18
COPS/
371.xml
13165258
YES
0.01/0.05
YES
5.33/2.11
COPS/
407.xml
13165259
is
NO
43.66/45.90
MAYBE
6.94/2.64
COPS/
376.xml
13165260
YES
0.01/0.10
YES
5.78/4.88
COPS/
378.xml
13165261
YES
20.09/20.16
YES
7.19/2.64
COPS/
409.xml
13165262
is
NO
43.78/43.93
MAYBE
7.41/2.80
COPS/
267.xml
13165263
YES
0.02/0.10
YES
6.06/2.26
COPS/
343.xml
13165264
YES
0.01/0.08
YES
5.34/2.08
COPS/
344.xml
13165265
YES
0.01/0.07
YES
5.32/2.07
COPS/
361.xml
13165266
is
NO
101.53/101.71
MAYBE
7.30/2.70
COPS/
294.xml
13165267
YES
0.01/0.10
YES
5.49/2.14
COPS/
293.xml
13165268
is
NO
20.31/20.39
MAYBE
6.81/2.63
COPS/
410.xml
13165269
YES
0.01/0.08
YES
5.35/2.08
COPS/
366.xml
13165270
YES
0.01/0.09
YES
5.15/2.10
COPS/
368.xml
13165271
YES
0.01/0.09
YES
5.19/2.07
COPS/
326.xml
13165272
YES
0.01/0.10
YES
5.46/2.10
COPS/
321.xml
13165273
YES
0.02/0.06
YES
6.43/2.39
COPS/
353.xml
13165274
YES
171.77/171.95
YES
8.17/2.83
COPS/
382.xml
13165275
YES
0.01/0.07
YES
5.40/2.05
COPS/
354.xml
13165276
YES
0.01/0.08
YES
5.27/2.04
COPS/
385.xml
13165277
YES
0.01/0.07
YES
5.35/2.04
COPS/
339.xml
13165278
YES
0.01/0.07
YES
5.44/2.10
COPS/
266.xml
13165279
is
timeout (wallclock)
YES
6.10/2.38
COPS/
342.xml
13165280
u
timeout (wallclock)
MAYBE
7.55/2.74
COPS/
268.xml
13165281
is
NO
40.15/40.26
MAYBE
6.98/2.67
COPS/
330.xml
13165282
is
NO
40.18/40.27
MAYBE
6.67/4.70
COPS/
337.xml
13165283
u
timeout (wallclock)
timeout (wallclock)
COPS/
408.xml
13165284
YES
0.01/0.09
YES
5.73/2.20
COPS/
379.xml
13165285
is
NO
32.50/33.98
MAYBE
7.50/2.84
COPS/
377.xml
13165286
YES
0.01/0.07
YES
5.60/2.16
COPS/
370.xml
13165287
YES
0.02/0.04
YES
5.98/2.28
COPS/
406.xml
13165288
YES
0.01/0.07
YES
5.92/2.17
COPS/
390.xml
13165289
YES
0.01/0.07
YES
5.28/2.06
COPS/
341.xml
13165290
YES
0.01/0.30
YES
5.20/2.25
COPS/
262.xml
13165291
YES
0.01/0.04
YES
5.40/2.16
COPS/
334.xml
13165292
YES
0.01/0.04
YES
5.25/2.07
COPS/
333.xml
13165293
YES
0.01/0.09
YES
6.49/2.70
COPS/
288.xml
13165294
YES
0.05/0.14
YES
5.63/2.14
COPS/
373.xml
13165295
YES
0.01/0.08
YES
5.17/2.02
COPS/
405.xml
13165296
u
timeout (wallclock)
timeout (wallclock)
COPS/
286.xml
13165297
is
NO
120.93/121.14
MAYBE
7.34/2.76
COPS/
308.xml
13165298
YES
0.01/0.05
YES
5.09/2.08
COPS/
374.xml
13165299
YES
0.01/0.09
YES
5.44/2.09
COPS/
319.xml
13165300
YES
0.01/0.09
YES
5.50/2.18
COPS/
365.xml
13165301
YES
0.01/0.08
YES
5.59/2.18
COPS/
310.xml
13165302
YES
0.07/0.14
YES
5.66/2.16
COPS/
317.xml
13165303
YES
0.01/0.08
YES
5.54/2.15
COPS/
322.xml
13165304
YES
0.02/0.09
YES
5.86/2.27
COPS/
359.xml
13165305
YES
0.01/0.08
YES
5.58/2.12
COPS/
388.xml
13165306
YES
0.01/0.05
YES
5.58/2.07
COPS/
325.xml
13165307
YES
0.02/0.05
YES
5.89/2.26
COPS/
381.xml
13165308
YES
0.03/0.13
YES
6.04/2.32
COPS/
375.xml
13165309
YES
0.01/0.10
YES
5.69/2.17
COPS/
403.xml
13165310
YES
0.01/0.06
YES
5.78/11.23
COPS/
372.xml
13165311
YES
0.01/0.08
YES
5.40/2.11
COPS/
404.xml
13165312
YES
0.02/0.09
YES
5.77/6.04
COPS/
289.xml
13165313
u
MAYBE
243.63/243.95
MAYBE
9.17/3.25
COPS/
307.xml
13165314
YES
0.01/0.07
YES
5.48/2.13
COPS/
332.xml
13165315
YES
0.01/0.08
YES
5.46/5.48
COPS/
263.xml
13165316
YES
0.01/0.09
YES
5.43/2.07
COPS/
264.xml
13165317
YES
0.01/0.06
YES
5.31/2.09
COPS/
391.xml
13165318
YES
1.04/1.08
YES
5.38/2.14
COPS/
340.xml
13165319
YES
0.01/0.07
YES
5.43/2.13
COPS/
351.xml
13165320
YES
0.02/0.09
YES
6.18/2.34
COPS/
380.xml
13165321
YES
0.01/0.04
YES
5.59/2.13
COPS/
356.xml
13165322
YES
0.01/0.06
YES
5.36/2.07
COPS/
387.xml
13165323
YES
0.01/0.06
YES
5.28/2.08
COPS/
272.xml
13165324
YES
0.02/0.05
YES
6.11/2.49
COPS/
358.xml
13165325
YES
0.01/0.07
YES
5.19/2.23
COPS/
389.xml
13165326
is
NO
40.17/40.23
MAYBE
7.41/2.71
COPS/
324.xml
13165327
is
NO
100.94/101.11
MAYBE
6.25/2.45
COPS/
323.xml
13165328
YES
0.01/0.10
YES
5.34/2.12
COPS/
316.xml
13165329
YES
0.01/0.05
YES
5.85/2.24
COPS/
311.xml
13165330
u
MAYBE
203.46/203.81
MAYBE
12.52/4.21
COPS/
364.xml
13165331
YES
0.01/0.07
YES
5.50/2.07
Mixed_
CTRS/
quicksort.xml
13165240
YES
1.86/1.91
YES
7.12/2.72
Mixed_
CTRS/
quick.xml
13165241
YES
0.06/0.12
YES
7.11/2.66
Mixed_
CTRS/
fib.xml
13165242
YES
72.47/72.60
YES
5.73/2.17
Mixed_
CTRS/
quotrem.xml
13165243
YES
0.04/0.10
YES
6.71/2.51
Mixed_
CTRS/
AAECC-ring-cond.xml
13165244
is
timeout (wallclock)
YES
174.43/68.27
Mixed_
CTRS/
AAECCcond.xml
13165245
is
timeout (wallclock)
YES
65.83/25.32
Mixed_
CTRS/
gcd.xml
13165246
YES
0.06/0.11
YES
6.85/2.49
104.00
85.00