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

muterm (5.08)

MAYBE

Average time	8.650
Total time	43.248
# Results	5

Average time	13.270
Total time	66.349
# Results	5

NO

Average time	12.290
Total time	24.579
# Results	2

Average time
Total time
# Results

TIMEOUT

Average time	60.332
Total time	422.323
# Results	7

Average time	60.063
Total time	600.628
# Results	10

YES

Average time	4.031
Total time	229.795
# Results	57

Average time	6.894
Total time	386.052
# Results	56

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (2011-0.1)

muterm (5.08)


1	tpdb-8.0/TRS/AProVE_AC_04/AC01.xml	0.705	0.289
2	tpdb-8.0/TRS/AProVE_AC_04/AC02.xml	0.706	0.309
3	tpdb-8.0/TRS/AProVE_AC_04/AC03.xml	0.731	1.421
4	tpdb-8.0/TRS/AProVE_AC_04/AC04.xml	2.236	1.518
5	tpdb-8.0/TRS/AProVE_AC_04/AC05.xml	2.415	1.695
6	tpdb-8.0/TRS/AProVE_AC_04/AC06.xml	0.783	4.341
7	tpdb-8.0/TRS/AProVE_AC_04/AC07.xml	2.017	0.941
8	tpdb-8.0/TRS/AProVE_AC_04/AC09.xml	0.749	9.435
9	tpdb-8.0/TRS/AProVE_AC_04/AC10.xml	0.732	5.364
10	tpdb-8.0/TRS/AProVE_AC_04/AC11.xml	0.94	0.253
11	tpdb-8.0/TRS/AProVE_AC_04/AC12.xml	0.774	0.257
12	tpdb-8.0/TRS/AProVE_AC_04/AC13.xml	0.77	8.643
13	tpdb-8.0/TRS/AProVE_AC_04/AC14.xml	0.732	5.392
14	tpdb-8.0/TRS/AProVE_AC_04/AC15.xml	0.754	0.099
15	tpdb-8.0/TRS/AProVE_AC_04/AC16.xml	0.855	0.212
16	tpdb-8.0/TRS/AProVE_AC_04/AC17.xml	1.686	8.122
17	tpdb-8.0/TRS/AProVE_AC_04/AC18.xml	11.794	10.311
18	tpdb-8.0/TRS/AProVE_AC_04/AC19.xml	0.831	0.289
19	tpdb-8.0/TRS/AProVE_AC_04/AC20.xml	2.282	1.516
20	tpdb-8.0/TRS/AProVE_AC_04/AC21.xml	11.394	11.902
21	tpdb-8.0/TRS/AProVE_AC_04/AC22.xml	10.672	60.049
22	tpdb-8.0/TRS/AProVE_AC_04/AC23.xml	1.541	19.779
23	tpdb-8.0/TRS/AProVE_AC_04/AC24.xml	1.246	2.837
24	tpdb-8.0/TRS/AProVE_AC_04/AC26.xml	0.763	5.737
25	tpdb-8.0/TRS/AProVE_AC_04/AC27.xml	0.864	25.066
26	tpdb-8.0/TRS/AProVE_AC_04/AC28.xml	6.386	57.28
27	tpdb-8.0/TRS/AProVE_AC_04/AC41.xml	1.583	0.441
28	tpdb-8.0/TRS/AProVE_AC_04/AC48.xml	0.736	1.764
29	tpdb-8.0/TRS/AProVE_AC_04/AC49.xml	4.214	0.479
30	tpdb-8.0/TRS/AProVE_AC_04/AC50.xml	4.449	0.62
31	tpdb-8.0/TRS/AProVE_AC_04/AC51.xml	1.034	0.701
32	tpdb-8.0/TRS/AProVE_AC_04/AC52.xml	4.285	2.327
33	tpdb-8.0/TRS/AProVE_AC_04/AC53.xml	2.058	0.174
34	tpdb-8.0/TRS/AProVE_AC_04/AC54.xml	5.014	0.764
35	tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml	3.014	2.023
36	tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml	0.841	3.889
37	tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml	0.868	0.464
38	tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml	4.817	0.742
39	tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml	60.332	60.049
40	tpdb-8.0/TRS/Mixed_AC/BAG_complete-noand.xml	60.308	47.376

««

«

1

2

»

Last