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

AProVE (TC 2013)

muterm (5.08)

MAYBE

Average time	8.878
Total time	44.391
# Results	5

Average time	13.158
Total time	65.788
# Results	5

NO

Average time	10.232
Total time	20.463
# Results	2

Average time
Total time
# Results

TIMEOUT

Average time	60.294
Total time	361.766
# Results	6

Average time	60.065
Total time	600.646
# Results	10

YES

Average time	5.028
Total time	291.620
# Results	58

Average time	6.540
Total time	366.220
# Results	56

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (TC 2013)

muterm (5.08)


1	tpdb-8.0/TRS/AProVE_AC_04/AC01.xml	1.008	0.239
2	tpdb-8.0/TRS/AProVE_AC_04/AC02.xml	0.997	0.256
3	tpdb-8.0/TRS/AProVE_AC_04/AC03.xml	1.033	1.412
4	tpdb-8.0/TRS/AProVE_AC_04/AC04.xml	2.965	1.49
5	tpdb-8.0/TRS/AProVE_AC_04/AC05.xml	3.083	1.615
6	tpdb-8.0/TRS/AProVE_AC_04/AC06.xml	1.098	4.355
7	tpdb-8.0/TRS/AProVE_AC_04/AC07.xml	2.577	0.87
8	tpdb-8.0/TRS/AProVE_AC_04/AC09.xml	1.048	9.311
9	tpdb-8.0/TRS/AProVE_AC_04/AC10.xml	1.029	5.225
10	tpdb-8.0/TRS/AProVE_AC_04/AC11.xml	1.322	0.245
11	tpdb-8.0/TRS/AProVE_AC_04/AC12.xml	1.111	0.255
12	tpdb-8.0/TRS/AProVE_AC_04/AC13.xml	1.074	8.494
13	tpdb-8.0/TRS/AProVE_AC_04/AC14.xml	1.031	5.289
14	tpdb-8.0/TRS/AProVE_AC_04/AC15.xml	1.051	0.091
15	tpdb-8.0/TRS/AProVE_AC_04/AC16.xml	1.22	0.212
16	tpdb-8.0/TRS/AProVE_AC_04/AC17.xml	1.896	8.073
17	tpdb-8.0/TRS/AProVE_AC_04/AC18.xml	11.053	9.993
18	tpdb-8.0/TRS/AProVE_AC_04/AC19.xml	1.159	0.29
19	tpdb-8.0/TRS/AProVE_AC_04/AC20.xml	3.049	1.466
20	tpdb-8.0/TRS/AProVE_AC_04/AC21.xml	11.727	11.613
21	tpdb-8.0/TRS/AProVE_AC_04/AC22.xml	11.436	60.048
22	tpdb-8.0/TRS/AProVE_AC_04/AC23.xml	2.024	19.352
23	tpdb-8.0/TRS/AProVE_AC_04/AC24.xml	1.753	2.824
24	tpdb-8.0/TRS/AProVE_AC_04/AC26.xml	1.103	5.641
25	tpdb-8.0/TRS/AProVE_AC_04/AC27.xml	1.191	24.472
26	tpdb-8.0/TRS/AProVE_AC_04/AC28.xml	4.694	57.074
27	tpdb-8.0/TRS/AProVE_AC_04/AC41.xml	2.197	0.454
28	tpdb-8.0/TRS/AProVE_AC_04/AC48.xml	1.034	1.691
29	tpdb-8.0/TRS/AProVE_AC_04/AC49.xml	3.517	0.512
30	tpdb-8.0/TRS/AProVE_AC_04/AC50.xml	4.73	0.619
31	tpdb-8.0/TRS/AProVE_AC_04/AC51.xml	1.475	0.72
32	tpdb-8.0/TRS/AProVE_AC_04/AC52.xml	4.394	2.284
33	tpdb-8.0/TRS/AProVE_AC_04/AC53.xml	2.444	0.175
34	tpdb-8.0/TRS/AProVE_AC_04/AC54.xml	3.882	0.757
35	tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml	3.217	2.098
36	tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml	1.149	3.906
37	tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml	1.193	0.467
38	tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml	5.072	0.75
39	tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml	60.212	60.057
40	tpdb-8.0/TRS/Mixed_AC/BAG_complete-noand.xml	57.569	45.575

««

«

1

2

»

Last