TermComp 2020
: TRS Context Sensitive
41493
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
muterm 5.18
default
--
YES
NO
MAYBE
timeout
AProVE
standard
--
YES
NO
MAYBE
timeout
Transformed_
outermost_
08/
cariboo_
ex1.xml
11767957
YES
0.03/0.09
YES
3.35/1.58
Transformed_
outermost_
08/
cariboo_
ex6.xml
11767958
YES
0.03/0.08
YES
3.44/1.60
Transformed_
outermost_
08/
ex5.5.xml
11767959
YES
0.11/0.14
YES
3.47/1.64
Transformed_
outermost_
08/
ex5.3.xml
11767960
YES
0.01/0.06
YES
3.16/1.45
Transformed_
outermost_
08/
morse.xml
11767961
YES
2.08/2.10
YES
9.44/3.63
Transformed_
outermost_
08/
ex5.4.xml
11767962
YES
0.61/0.64
YES
3.82/1.54
Transformed_
outermost_
08/
f40.xml
11767963
YES
0.18/0.20
YES
11.85/5.38
Transformed_
outermost_
08/
f20.xml
11767964
YES
4.97/5.18
YES
7.96/3.17
Transformed_
outermost_
08/
ex5.7.xml
11767965
YES
0.07/0.08
YES
3.30/1.38
Transformed_
outermost_
08/
cariboo_
ex3.xml
11767966
YES
0.07/0.07
YES
3.58/1.49
Transformed_
outermost_
08/
cariboo_
ex4.xml
11767967
YES
0.03/0.04
YES
3.17/1.44
Transformed_
outermost_
08/
f30.xml
11767968
YES
0.10/0.14
YES
9.40/3.29
Transformed_
outermost_
08/
cariboo_
ex5.xml
11767969
YES
0.04/0.09
YES
2.95/1.88
Transformed_
outermost_
08/
cariboo_
ex2.xml
11767970
YES
0.96/1.13
YES
4.24/1.70
Transformed_
outermost_
08/
f4.xml
11767971
YES
0.13/0.22
YES
3.59/1.64
Transformed_
outermost_
08/
ex5.6.xml
11767972
YES
0.03/0.08
YES
3.55/2.24
Transformed_
outermost_
08/
ex5.8.xml
11767973
YES
0.01/0.02
YES
3.21/1.40
CSR_
04/
ExProp7_
Luc06.xml
11767974
YES
0.09/0.11
YES
3.35/1.43
CSR_
04/
Ex1_
2_
AEL03.xml
11767975
YES
0.02/0.02
YES
3.70/1.49
CSR_
04/
Ex1_
GL02a.xml
11767976
YES
0.03/0.04
YES
3.30/1.36
CSR_
04/
Ex3_
12_
Luc96a.xml
11767977
YES
0.01/0.01
YES
3.07/1.41
CSR_
04/
Ex1_
GM03.xml
11767978
is
YES
0.17/0.20
timeout (wallclock)
CSR_
04/
ExAppendixB_
AEL03.xml
11767979
YES
0.02/0.03
YES
3.85/1.57
CSR_
04/
Ex5_
7_
Luc97.xml
11767980
u
MAYBE
3.53/3.91
timeout (wallclock)
CSR_
04/
ExSec4_
2_
DLMMU04.xml
11767981
YES
0.02/0.06
YES
3.52/1.57
CSR_
04/
Ex6_
GM04.xml
11767982
YES
0.01/0.06
YES
3.08/1.46
CSR_
04/
ExSec11_
1_
Luc02a.xml
11767983
YES
0.02/0.08
YES
3.44/1.54
CSR_
04/
Ex6_
15_
AEL02.xml
11767984
u
MAYBE
1.22/1.70
timeout (wallclock)
CSR_
04/
Ex2_
Luc02a.xml
11767985
YES
0.03/0.07
YES
3.39/1.54
CSR_
04/
Ex9_
Luc04.xml
11767986
YES
0.19/0.20
YES
3.11/1.64
CSR_
04/
Ex4_
7_
77_
Bor03.xml
11767987
YES
0.01/0.06
YES
2.94/1.48
CSR_
04/
Ex25_
Luc06.xml
11767988
YES
0.01/0.02
YES
3.32/1.53
CSR_
04/
Ex1_
2_
Luc02c.xml
11767989
YES
0.01/0.05
YES
3.17/1.38
CSR_
04/
Ex4_
4_
Luc96b.xml
11767990
YES
0.01/0.03
YES
2.70/1.36
CSR_
04/
Ex24_
Luc06.xml
11767991
YES
0.01/0.07
YES
3.20/1.56
CSR_
04/
Ex3_
2_
Luc97.xml
11767992
u
MAYBE
8.67/9.20
timeout (wallclock)
CSR_
04/
Ex49_
GM04.xml
11767993
YES
0.04/0.05
YES
3.74/1.57
CSR_
04/
Ex4_
DLMMU04.xml
11767994
YES
2.16/2.17
YES
6.37/2.31
CSR_
04/
ExIntrod_
GM99.xml
11767995
YES
0.01/0.07
YES
3.42/1.56
CSR_
04/
Ex1_
Luc02b.xml
11767996
YES
0.01/0.04
YES
3.40/2.59
CSR_
04/
ExIntrod_
GM01.xml
11767997
YES
0.01/0.05
YES
3.71/2.59
CSR_
04/
Ex23_
Luc06.xml
11767998
YES
0.01/0.06
YES
2.91/1.39
CSR_
04/
Ex3_
3_
25_
Bor03.xml
11767999
YES
0.01/0.02
YES
3.48/2.50
CSR_
04/
Ex6_
9_
Luc02c.xml
11768000
YES
0.01/0.03
YES
3.52/1.42
CSR_
04/
Ex4_
7_
56_
Bor03.xml
11768001
YES
0.01/0.06
YES
3.51/1.57
CSR_
04/
Ex5_
DLMMU04.xml
11768002
YES
0.01/0.07
YES
4.22/1.77
CSR_
04/
Ex9_
Luc06.xml
11768003
YES
0.13/0.20
YES
3.49/1.82
CSR_
04/
Ex18_
Luc06.xml
11768004
YES
0.01/0.09
YES
2.96/1.43
CSR_
04/
Ex14_
AEGL02.xml
11768005
YES
0.03/0.08
YES
3.47/1.58
CSR_
04/
Ex9_
BLR02.xml
11768006
YES
0.01/0.03
YES
3.22/1.51
CSR_
04/
Ex8_
BLR02.xml
11768007
YES
0.01/0.02
YES
3.59/1.51
CSR_
04/
Ex15_
Luc98.xml
11768008
YES
0.01/0.06
YES
3.25/1.49
CSR_
04/
Ex1_
Luc04b.xml
11768009
YES
0.01/0.05
YES
3.47/1.51
CSR_
04/
Ex1_
GM99.xml
11768010
YES
0.02/0.07
YES
3.16/1.44
CSR_
04/
Ex4_
7_
37_
Bor03.xml
11768011
YES
0.07/0.11
YES
4.19/1.76
CSR_
04/
Ex6_
Luc98.xml
11768012
YES
0.01/0.08
YES
3.49/1.62
CSR_
04/
Ex2_
Luc03b.xml
11768013
YES
0.01/0.06
YES
3.09/1.45
CSR_
04/
ExConc_
Zan97.xml
11768014
YES
0.02/0.03
YES
2.98/1.53
CSR_
04/
ExIntrod_
Zan97.xml
11768015
is
YES
5.10/5.20
timeout (wallclock)
CSR_
04/
ExIntrod_
GM04.xml
11768016
YES
0.01/0.04
YES
3.61/1.63
CSR_
04/
Ex24_
GM04.xml
11768017
YES
0.01/0.05
YES
3.01/1.99
CSR_
04/
Ex1_
Zan97.xml
11768018
YES
0.03/0.08
YES
2.97/1.50
CSR_
04/
Ex15_
Luc06.xml
11768019
YES
0.02/0.03
YES
2.97/1.36
CSR_
04/
Ex26_
Luc03b.xml
11768020
YES
0.01/0.05
YES
3.39/1.53
CSR_
04/
Ex7_
BLR02.xml
11768021
YES
0.01/0.06
YES
3.54/1.52
CSR_
04/
Ex14_
Luc06.xml
11768022
YES
0.68/0.89
YES
4.11/1.85
CSR_
04/
Ex4_
7_
15_
Bor03.xml
11768023
YES
0.03/0.09
YES
3.53/1.84
CSR_
04/
Ex5_
Zan97.xml
11768024
YES
0.04/0.07
YES
3.16/1.45
CSR_
04/
Ex16_
Luc06.xml
11768025
YES
0.01/0.01
YES
3.00/1.42
CSR_
04/
Ex4_
Zan97.xml
11768026
YES
0.01/0.02
YES
3.25/1.58
Maude_
06/
LISTUTILITIES_
nosorts.xml
11768027
YES
0.02/0.06
YES
3.60/1.59
Maude_
06/
LISTUTILITIES_
complete-noand.xml
11768028
YES
8.71/9.01
YES
11.85/3.88
Maude_
06/
LISTUTILITIES_
complete.xml
11768029
u
timeout (wallclock)
timeout (wallclock)
Maude_
06/
PALINDROME_
nokinds.xml
11768030
YES
0.06/0.08
YES
3.63/1.46
Maude_
06/
MYNAT_
complete-peanoSimple.xml
11768031
YES
0.28/4.26
YES
4.81/1.79
Maude_
06/
MYNAT_
nokinds-noand.xml
11768032
YES
0.02/0.08
YES
4.07/2.26
Maude_
06/
MYNAT_
nosorts-noand.xml
11768033
YES
0.01/0.06
YES
3.50/1.56
Maude_
06/
LengthOfFiniteLists_
complete-noand.xml
11768034
YES
0.45/0.48
YES
9.04/3.60
Maude_
06/
emmes.xml
11768035
is
YES
1.33/1.39
timeout (wallclock)
Maude_
06/
MYNAT_
nosorts.xml
11768036
YES
0.01/0.06
YES
3.30/1.47
Maude_
06/
PALINDROME_
nokinds-noand.xml
11768037
YES
0.02/0.08
YES
4.50/1.78
Maude_
06/
MYNAT_
complete.xml
11768038
YES
14.11/14.54
YES
11.60/3.71
Maude_
06/
PALINDROME_
nosorts-noand.xml
11768039
YES
0.01/0.07
YES
3.28/1.49
Maude_
06/
OvConsOS_
complete.xml
11768040
u
timeout (wallclock)
timeout (wallclock)
Maude_
06/
OvConsOS_
nokinds.xml
11768041
u
timeout (wallclock)
timeout (wallclock)
Maude_
06/
csrdiv.xml
11768042
YES
0.18/0.25
YES
16.61/5.15
Maude_
06/
MYNAT_
complete-noand.xml
11768043
YES
0.41/0.45
YES
5.75/2.17
Maude_
06/
LengthOfFiniteLists_
nosorts.xml
11768044
NO
0.21/0.28
NO
3.18/2.20
Maude_
06/
LengthOfFiniteLists_
complete.xml
11768045
YES
23.99/24.63
YES
183.66/57.01
Maude_
06/
OvConsOS_
nosorts-noand.xml
11768046
NO
1.30/1.51
NO
3.90/1.80
Maude_
06/
MYNAT_
nosorts-noand-peanoSimple.xml
11768047
YES
0.01/0.06
YES
3.29/1.46
Maude_
06/
OvConsOS_
nokinds-noand.xml
11768048
YES
0.19/0.22
YES
6.72/2.49
Maude_
06/
MYNAT_
complete-noand-peanoSimple.xml
11768049
YES
0.10/0.11
YES
6.00/2.25
Maude_
06/
PALINDROME_
complete.xml
11768050
YES
0.35/0.40
YES
6.24/2.21
Maude_
06/
LISTUTILITIES_
nokinds.xml
11768051
u
timeout (wallclock)
timeout (wallclock)
Maude_
06/
PALINDROME_
nosorts.xml
11768052
YES
0.01/0.09
YES
3.03/1.54
Maude_
06/
LengthOfFiniteLists_
nokinds-noand.xml
11768053
YES
0.11/0.14
YES
6.16/2.41
Maude_
06/
LengthOfFiniteLists_
nosorts-noand.xml
11768054
NO
0.68/0.83
NO
3.33/1.43
Maude_
06/
MYNAT_
nosorts-peanoSimple.xml
11768055
YES
0.01/0.04
YES
3.00/1.49
Maude_
06/
OvConsOS_
complete-noand.xml
11768056
YES
1.28/1.56
YES
10.34/3.22
Maude_
06/
LengthOfFiniteLists_
nokinds.xml
11768057
YES
3.92/4.14
YES
5.10/1.85
Maude_
06/
LISTUTILITIES_
nosorts-noand.xml
11768058
YES
0.03/0.09
YES
4.11/1.91
Maude_
06/
LISTUTILITIES_
nokinds-noand.xml
11768059
YES
0.83/0.82
YES
6.04/2.33
Maude_
06/
MYNAT_
nokinds-peanoSimple.xml
11768060
YES
0.04/0.06
YES
3.93/1.76
Maude_
06/
MYNAT_
nokinds.xml
11768061
YES
1.53/1.73
YES
6.06/2.62
Maude_
06/
MYNAT_
nokinds-noand-peanoSimple.xml
11768062
YES
0.02/0.08
YES
3.77/1.60
Maude_
06/
PALINDROME_
complete-noand.xml
11768063
YES
0.39/0.44
YES
7.76/3.05
Maude_
06/
OvConsOS_
nosorts.xml
11768064
NO
0.28/0.35
NO
3.55/2.15
101
98