TermComp 2020
: TRS Conditional
41511
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
muterm 6.0.3
default
--
YES
NO
MAYBE
timeout
AProVE
standard
--
YES
NO
MAYBE
timeout
COPS/
262.xml
11771921
YES
0.01/0.05
YES
3.57/1.69
COPS/
341.xml
11771922
YES
0.01/0.04
YES
3.57/1.68
COPS/
390.xml
11771923
YES
0.01/0.09
YES
3.34/1.58
COPS/
333.xml
11771924
YES
0.03/0.08
YES
4.01/1.87
COPS/
334.xml
11771925
YES
0.01/0.06
YES
3.46/1.67
COPS/
288.xml
11771926
YES
0.05/0.13
YES
3.66/1.82
COPS/
308.xml
11771927
YES
0.01/0.08
YES
3.49/1.60
COPS/
374.xml
11771928
YES
0.01/0.05
YES
3.47/1.61
COPS/
405.xml
11771929
u
timeout (wallclock)
timeout (wallclock)
COPS/
373.xml
11771930
YES
0.01/0.05
YES
3.48/1.67
COPS/
286.xml
11771931
is
NO
120.93/121.10
MAYBE
5.38/2.16
COPS/
319.xml
11771932
YES
0.01/0.07
YES
3.53/8.59
COPS/
365.xml
11771933
YES
0.01/0.04
YES
3.62/1.75
COPS/
317.xml
11771934
YES
0.01/0.07
YES
3.61/1.64
COPS/
310.xml
11771935
YES
0.07/0.12
YES
3.73/1.75
COPS/
388.xml
11771936
YES
0.01/0.05
YES
3.60/1.68
COPS/
359.xml
11771937
YES
0.01/0.06
YES
3.54/1.69
COPS/
325.xml
11771938
YES
0.02/0.04
YES
3.87/1.68
COPS/
322.xml
11771939
YES
0.02/0.04
YES
3.93/1.72
COPS/
381.xml
11771940
YES
0.01/0.02
YES
3.95/4.01
COPS/
404.xml
11771941
YES
0.02/0.02
YES
3.54/1.58
COPS/
372.xml
11771942
YES
0.01/0.03
YES
3.65/1.81
COPS/
403.xml
11771943
YES
0.01/0.02
YES
3.36/1.64
COPS/
375.xml
11771944
YES
0.01/0.07
YES
3.75/1.72
COPS/
307.xml
11771945
YES
0.01/0.04
YES
3.61/1.71
COPS/
289.xml
11771946
u
MAYBE
242.33/243.16
MAYBE
6.50/2.59
COPS/
332.xml
11771947
YES
0.01/0.07
YES
3.56/1.60
COPS/
264.xml
11771948
YES
0.01/0.07
YES
3.87/1.91
COPS/
340.xml
11771949
YES
0.01/0.06
YES
3.78/1.71
COPS/
391.xml
11771950
YES
1.02/1.03
YES
3.71/1.61
COPS/
263.xml
11771951
YES
0.02/0.03
YES
3.64/1.61
COPS/
387.xml
11771952
YES
0.01/0.09
YES
3.62/1.61
COPS/
356.xml
11771953
YES
0.01/0.03
YES
3.64/1.69
COPS/
272.xml
11771954
YES
0.02/0.02
YES
4.17/1.96
COPS/
380.xml
11771955
YES
0.01/0.06
YES
3.67/1.73
COPS/
351.xml
11771956
YES
0.02/0.04
YES
4.29/1.98
COPS/
323.xml
11771957
YES
0.01/0.02
YES
3.73/1.83
COPS/
389.xml
11771958
is
NO
40.17/40.18
MAYBE
5.63/2.20
COPS/
358.xml
11771959
YES
0.01/0.02
YES
3.48/1.57
COPS/
324.xml
11771960
is
NO
100.90/101.05
MAYBE
4.12/1.99
COPS/
311.xml
11771961
u
MAYBE
203.28/203.70
MAYBE
10.61/11.56
COPS/
316.xml
11771962
YES
0.01/0.07
YES
3.69/1.75
COPS/
364.xml
11771963
YES
0.01/0.08
YES
3.51/1.73
COPS/
383.xml
11771964
YES
0.01/0.07
YES
3.53/1.67
COPS/
384.xml
11771965
YES
0.01/0.05
YES
3.56/1.61
COPS/
355.xml
11771966
is
NO
20.24/20.26
MAYBE
5.13/2.27
COPS/
271.xml
11771967
YES
0.07/0.09
YES
3.71/1.67
COPS/
329.xml
11771968
YES
183.61/183.76
YES
5.16/2.24
COPS/
315.xml
11771969
YES
0.02/0.04
YES
4.15/1.86
COPS/
369.xml
11771970
YES
0.01/0.02
YES
3.80/1.71
COPS/
312.xml
11771971
u
timeout (wallclock)
MAYBE
10.26/3.55
COPS/
292.xml
11771972
YES
0.02/0.05
YES
3.94/1.83
COPS/
367.xml
11771973
YES
0.01/0.06
YES
3.87/1.92
COPS/
411.xml
11771974
is
NO
60.38/60.51
MAYBE
5.04/2.25
COPS/
376.xml
11771975
YES
0.01/0.02
YES
3.77/1.67
COPS/
407.xml
11771976
is
NO
43.29/43.37
MAYBE
5.31/2.18
COPS/
371.xml
11771977
YES
0.01/0.02
YES
3.47/1.57
COPS/
409.xml
11771978
is
NO
43.74/43.81
MAYBE
5.12/2.23
COPS/
378.xml
11771979
YES
20.09/20.12
YES
5.16/2.07
COPS/
344.xml
11771980
YES
0.03/0.03
YES
3.70/1.67
COPS/
267.xml
11771981
YES
0.02/0.02
YES
4.05/2.60
COPS/
343.xml
11771982
YES
0.01/0.05
YES
3.50/1.60
COPS/
293.xml
11771983
is
NO
20.30/20.39
MAYBE
5.03/2.21
COPS/
366.xml
11771984
YES
0.01/0.02
YES
3.77/1.64
COPS/
410.xml
11771985
YES
0.01/0.05
YES
3.42/1.58
COPS/
361.xml
11771986
is
NO
101.56/101.66
MAYBE
5.02/2.10
COPS/
294.xml
11771987
YES
0.01/0.04
YES
3.51/1.59
COPS/
368.xml
11771988
YES
0.02/0.03
YES
3.52/2.86
COPS/
321.xml
11771989
YES
0.02/0.02
YES
4.46/1.83
COPS/
326.xml
11771990
YES
0.01/0.04
YES
3.44/1.56
COPS/
385.xml
11771991
YES
0.01/0.02
YES
3.45/1.63
COPS/
354.xml
11771992
YES
0.01/0.02
YES
3.49/1.58
COPS/
382.xml
11771993
YES
0.01/0.06
YES
3.62/1.58
COPS/
353.xml
11771994
YES
170.67/170.73
YES
5.52/2.15
COPS/
266.xml
11771995
is
timeout (wallclock)
YES
4.23/1.83
COPS/
342.xml
11771996
u
timeout (wallclock)
MAYBE
5.51/2.21
COPS/
339.xml
11771997
YES
0.01/0.06
YES
3.48/1.61
COPS/
337.xml
11771998
u
timeout (wallclock)
timeout (wallclock)
COPS/
330.xml
11771999
is
NO
40.14/40.19
MAYBE
4.88/2.12
COPS/
268.xml
11772000
is
NO
40.14/40.18
MAYBE
4.94/2.11
COPS/
379.xml
11772001
is
NO
32.45/32.50
MAYBE
5.23/2.21
COPS/
408.xml
11772002
YES
0.01/0.05
YES
3.73/1.68
COPS/
406.xml
11772003
YES
0.01/0.05
YES
3.82/1.68
COPS/
370.xml
11772004
YES
0.02/0.02
YES
4.23/1.77
COPS/
377.xml
11772005
YES
0.01/0.04
YES
3.72/1.73
Mixed_
CTRS/
gcd.xml
11772006
YES
0.06/0.06
YES
4.44/2.01
Mixed_
CTRS/
quotrem.xml
11772007
YES
0.04/0.12
YES
4.32/1.87
Mixed_
CTRS/
quicksort.xml
11772008
YES
1.81/1.84
YES
5.34/2.12
Mixed_
CTRS/
quick.xml
11772009
YES
0.06/0.07
YES
5.58/2.21
Mixed_
CTRS/
fib.xml
11772010
YES
72.40/72.53
YES
3.92/1.73
Mixed_
CTRS/
AAECC-ring-cond.xml
11772011
is
timeout (wallclock)
YES
158.87/65.62
Mixed_
CTRS/
AAECCcond.xml
11772012
is
timeout (wallclock)
YES
62.13/20.98
Mixed_
CTRS_
2014/
ohl228.xml
11771896
is
NO
60.15/60.19
MAYBE
6.41/2.68
Mixed_
CTRS_
2014/
plus1.xml
11771897
YES
0.01/0.06
YES
3.60/2.36
Mixed_
CTRS_
2014/
mar_
simple2.xml
11771898
u
timeout (wallclock)
timeout (wallclock)
Mixed_
CTRS_
2014/
ex1-muterm14.xml
11771899
YES
0.01/0.07
YES
3.65/1.74
Mixed_
CTRS_
2014/
ohl230.xml
11771900
is
NO
60.18/60.33
MAYBE
5.26/2.37
Mixed_
CTRS_
2014/
ex2-muterm14.xml
11771901
YES
0.01/0.06
YES
3.61/2.40
Mixed_
CTRS_
2014/
ex3-muterm14.xml
11771902
is
NO
200.49/201.35
MAYBE
23.94/11.86
Mixed_
CTRS_
2014/
mar.xml
11771903
u
timeout (wallclock)
timeout (wallclock)
Mixed_
CTRS_
2014/
ohl194.xml
11771904
YES
0.18/0.30
YES
5.76/2.44
Mixed_
CTRS_
2014/
ex2-lucmes-wrla14.xml
11771905
is
NO
120.30/120.58
MAYBE
6.75/3.83
Mixed_
CTRS_
2014/
minus1.xml
11771906
YES
0.01/0.03
YES
3.46/1.72
Mixed_
CTRS_
2014/
ohl.xml
11771907
is
YES
41.64/41.75
MAYBE
4.13/1.97
Mixed_
CTRS_
2014/
logic.xml
11771908
YES
117.39/117.65
YES
4.96/2.21
Mixed_
CTRS_
2014/
lucMarMes.xml
11771909
is
NO
20.52/20.57
MAYBE
5.22/2.36
Mixed_
CTRS_
2014/
hosc08-ex5-aecc-p46.xml
11771910
is
YES
0.05/0.10
MAYBE
5.09/2.24
Mixed_
CTRS_
2014/
jlap09-ex17.xml
11771911
is
YES
120.67/120.83
MAYBE
32.22/12.53
Mixed_
CTRS_
2014/
ohl216.xml
11771912
YES
0.01/0.06
YES
3.44/1.73
Mixed_
CTRS_
2014/
ohl211.xml
11771913
is
YES
0.03/0.10
MAYBE
7.82/3.08
Mixed_
CTRS_
2014/
ex1-lucmes-wrla14.xml
11771914
u
timeout (wallclock)
timeout (wallclock)
Mixed_
CTRS_
2014/
sche128.xml
11771915
YES
0.07/0.16
YES
3.74/1.78
Mixed_
CTRS_
2014/
ohl190.xml
11771916
YES
0.03/0.11
YES
3.57/1.76
Mixed_
CTRS_
2014/
ohl206.xml
11771917
YES
0.02/0.11
YES
3.72/1.78
Mixed_
CTRS_
2014/
ohl196.xml
11771918
YES
0.01/0.06
YES
3.66/1.78
Mixed_
CTRS_
2014/
mar_
simple1.xml
11771919
u
timeout (wallclock)
MAYBE
29.29/9.41
Mixed_
CTRS_
2014/
jlap09-ex16.xml
11771920
is
YES
0.06/0.22
MAYBE
4.02/2.03
104
85