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 2012)

MAYBE

Average time	18.912
Total time	56.736
# Results	3

Average time	9.723
Total time	38.893
# Results	4

TIMEOUT

Average time	60.065
Total time	420.452
# Results	7

Average time	60.315
Total time	301.574
# Results	5

YES

Average time	6.642
Total time	179.334
# Results	27

Average time	4.873
Total time	136.436
# Results	28

Actions

Results

Termination Problem

muterm (5.08)

AProVE (TC 2012)


1	tpdb-8.0/TRS/AProVE_AC_04/AC02.xml	0.257	0.776
2	tpdb-8.0/TRS/AProVE_AC_04/AC05.xml	1.646	2.234
3	tpdb-8.0/TRS/AProVE_AC_04/AC07.xml	0.889	1.984
4	tpdb-8.0/TRS/AProVE_AC_04/AC13.xml	8.951	0.819
5	tpdb-8.0/TRS/AProVE_AC_04/AC16.xml	0.215	0.914
6	tpdb-8.0/TRS/AProVE_AC_04/AC17.xml	8.481	1.62
7	tpdb-8.0/TRS/AProVE_AC_04/AC19.xml	0.294	0.867
8	tpdb-8.0/TRS/AProVE_AC_04/AC21.xml	11.67	11.538
9	tpdb-8.0/TRS/AProVE_AC_04/AC22.xml	60.051	11.228
10	tpdb-8.0/TRS/AProVE_AC_04/AC26.xml	5.95	0.833
11	tpdb-8.0/TRS/AProVE_AC_04/AC27.xml	24.311	0.928
12	tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml	3.957	0.884
13	tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml	0.474	0.898
14	tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml	0.762	4.374
15	tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml	60.058	60.267
16	tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml	6.509	13.333
17	tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml	3.422	3.123
18	tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml	4.167	1.611
19	tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-distr.xml	23.646	1.642
20	tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml	4.613	0.861
21	tpdb-8.0/TRS/Mixed_AC/intersect.xml	4.659	0.885
22	tpdb-8.0/TRS/Mixed_AC/kusakari1.xml	0.371	4.287
23	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete-noand.xml	60.057	60.338
24	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml	60.116	60.377
25	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml	31.129	13.671
26	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml	30.145	48.38
27	tpdb-8.0/TRS/Mixed_C/AC42.xml	0.396	1.501
28	tpdb-8.0/TRS/Mixed_C/AC43.xml	0.351	1.472
29	tpdb-8.0/TRS/Mixed_C/AC44.xml	0.463	1.63
30	tpdb-8.0/TRS/Mixed_C/AC45.xml	0.396	1.512
31	tpdb-8.0/TRS/Mixed_C/AC46.xml	1.21	2.631
32	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml	60.06	60.259
33	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml	60.061	60.333
34	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml	60.049	14.479
35	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml	49.946	12.731
36	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml	4.359	5.855
37	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml	2.431	5.828