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 (2011-0.1)

MAYBE

Average time	3.053
Total time	9.159
# Results	3

Average time	7.300
Total time	29.199
# Results	4

NO

Average time
Total time
# Results

Average time	6.367
Total time	6.367
# Results	1

TIMEOUT

Average time	60.058
Total time	360.348
# Results	6

Average time	60.300
Total time	241.201
# Results	4

YES

Average time	5.477
Total time	153.365
# Results	28

Average time	4.463
Total time	124.977
# Results	28

Actions

Results

Termination Problem

muterm (5.08)

AProVE (2011-0.1)


1	tpdb-8.0/TRS/AProVE_AC_04/AC05.xml	1.612	2.427
2	tpdb-8.0/TRS/AProVE_AC_04/AC11.xml	0.244	0.949
3	tpdb-8.0/TRS/AProVE_AC_04/AC12.xml	0.258	0.769
4	tpdb-8.0/TRS/AProVE_AC_04/AC14.xml	5.296	0.755
5	tpdb-8.0/TRS/AProVE_AC_04/AC16.xml	0.209	0.853
6	tpdb-8.0/TRS/AProVE_AC_04/AC17.xml	8.382	1.403
7	tpdb-8.0/TRS/AProVE_AC_04/AC18.xml	10.109	11.541
8	tpdb-8.0/TRS/AProVE_AC_04/AC19.xml	0.289	0.812
9	tpdb-8.0/TRS/AProVE_AC_04/AC20.xml	1.469	2.277
10	tpdb-8.0/TRS/AProVE_AC_04/AC23.xml	19.55	1.536
11	tpdb-8.0/TRS/AProVE_AC_04/AC26.xml	5.818	0.761
12	tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml	3.838	0.832
13	tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml	0.475	0.84
14	tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml	0.729	4.799
15	tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml	60.054	60.244
16	tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml	9.625	10.233
17	tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml	6.433	13.869
18	tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml	3.555	1.371
19	tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml	4.016	1.637
20	tpdb-8.0/TRS/Mixed_AC/bag-sum-prod.xml	2.314	0.858
21	tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml	4.715	0.799
22	tpdb-8.0/TRS/Mixed_AC/kusakari1.xml	0.371	4.262
23	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml	60.103	60.361
24	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml	31.662	16.806
25	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml	29.613	35.165
26	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml	60.035	6.367
27	tpdb-8.0/TRS/Mixed_C/AC42.xml	0.385	1.522
28	tpdb-8.0/TRS/Mixed_C/AC43.xml	0.341	1.465
29	tpdb-8.0/TRS/Mixed_C/AC44.xml	0.456	1.591
30	tpdb-8.0/TRS/Mixed_C/AC45.xml	0.396	1.492
31	tpdb-8.0/TRS/Mixed_C/AC46.xml	1.205	3.353
32	tpdb-8.0/TRS/Mixed_C/maude2.xml	2.533	3.05
33	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml	60.057	60.299
34	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml	60.053	60.297
35	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml	60.046	14.665
36	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml	4.211	5.901
37	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml	2.415	5.583