termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for TRS Equational

Statistics

Result

muterm (5.08)

AProVE (TC 2013)

MAYBE

Average time	48.432
Total time	48.432
# Results	1

Average time	13.995
Total time	27.990
# Results	2

NO

Average time
Total time
# Results

Average time	4.084
Total time	4.084
# Results	1

TIMEOUT

Average time	60.064
Total time	420.448
# Results	7

Average time	60.284
Total time	241.134
# Results	4

YES

Average time	5.307
Total time	122.063
# Results	23

Average time	4.795
Total time	115.076
# Results	24

Actions

Results

Termination Problem

muterm (5.08)

AProVE (TC 2013)


1	tpdb-8.0/TRS/AProVE_AC_04/AC03.xml	1.438	1.035
2	tpdb-8.0/TRS/AProVE_AC_04/AC05.xml	1.644	3.037
3	tpdb-8.0/TRS/AProVE_AC_04/AC06.xml	4.282	1.091
4	tpdb-8.0/TRS/AProVE_AC_04/AC07.xml	0.874	2.58
5	tpdb-8.0/TRS/AProVE_AC_04/AC13.xml	8.489	1.087
6	tpdb-8.0/TRS/AProVE_AC_04/AC16.xml	0.209	1.211
7	tpdb-8.0/TRS/AProVE_AC_04/AC21.xml	12.072	10.818
8	tpdb-8.0/TRS/AProVE_AC_04/AC41.xml	0.445	2.187
9	tpdb-8.0/TRS/AProVE_AC_04/AC52.xml	2.309	4.494
10	tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml	3.884	1.181
11	tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml	0.457	1.196
12	tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml	0.737	4.963
13	tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml	60.054	60.201
14	tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml	9.319	8.889
15	tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml	3.428	1.869
16	tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml	4.508	1.132
17	tpdb-8.0/TRS/Mixed_AC/intersect.xml	4.544	1.147
18	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml	60.087	60.318
19	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml	30.196	15.318
20	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml	30.408	22.223
21	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml	60.037	4.084
22	tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml	60.106	18.101
23	tpdb-8.0/TRS/Mixed_C/AC42.xml	0.384	1.961
24	tpdb-8.0/TRS/Mixed_C/AC43.xml	0.343	1.961
25	tpdb-8.0/TRS/Mixed_C/AC44.xml	0.443	2.285
26	tpdb-8.0/TRS/Mixed_C/AC45.xml	0.386	2.025
27	tpdb-8.0/TRS/Mixed_C/AC46.xml	1.264	3.285
28	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml	60.061	60.29
29	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml	60.057	60.325
30	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml	60.046	14.44
31	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml	48.432	13.55