termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Certification Results for TRS Innermost

Statistics

Certification

CeTA (2.10)

ACCEPT

Average time	0.766
Total time	193.771
# Results	253

TIMEOUT

Average time	60.000
Total time	60.000
# Results	1

Results

««

«

1

2

3

4

5

6

7

»

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/AG01_innermost/#4.12a.xml	AProVE-CeTA	0.025
2	tpdb-8.0/TRS/AG01_innermost/#4.13.xml	AProVE-CeTA	0.025
3	tpdb-8.0/TRS/AG01_innermost/#4.14.xml	AProVE-CeTA	0.023
4	tpdb-8.0/TRS/AG01_innermost/#4.15.xml	AProVE-CeTA	0.027
5	tpdb-8.0/TRS/AG01_innermost/#4.16.xml	AProVE-CeTA	0.024
6	tpdb-8.0/TRS/AG01_innermost/#4.17.xml	AProVE-CeTA	0.028
7	tpdb-8.0/TRS/AG01_innermost/#4.18.xml	AProVE-CeTA	0.024
8	tpdb-8.0/TRS/AG01_innermost/#4.19.xml	AProVE-CeTA	0.029
9	tpdb-8.0/TRS/AG01_innermost/#4.20a.xml	AProVE-CeTA	0.032
10	tpdb-8.0/TRS/AG01_innermost/#4.20.xml	AProVE-CeTA	0.027
11	tpdb-8.0/TRS/AG01_innermost/#4.21.xml	AProVE-CeTA	0.025
12	tpdb-8.0/TRS/AG01_innermost/#4.22.xml	AProVE-CeTA	0.026
13	tpdb-8.0/TRS/AG01_innermost/#4.23.xml	AProVE-CeTA	0.031
14	tpdb-8.0/TRS/AG01_innermost/#4.24.xml	AProVE-CeTA	0.044
15	tpdb-8.0/TRS/AG01_innermost/#4.25.xml	AProVE-CeTA	0.025
16	tpdb-8.0/TRS/AG01_innermost/#4.26.xml	AProVE-CeTA	0.036
17	tpdb-8.0/TRS/AG01_innermost/#4.27.xml	AProVE-CeTA	0.034
18	tpdb-8.0/TRS/AG01_innermost/#4.28.xml	AProVE-CeTA	0.033
19	tpdb-8.0/TRS/AG01_innermost/#4.29.xml	AProVE-CeTA	0.048
20	tpdb-8.0/TRS/AG01_innermost/#4.2.xml	AProVE-CeTA	0.025
21	tpdb-8.0/TRS/AG01_innermost/#4.30a.xml	AProVE-CeTA	0.034
22	tpdb-8.0/TRS/AG01_innermost/#4.30b.xml	AProVE-CeTA	0.061
23	tpdb-8.0/TRS/AG01_innermost/#4.30.xml	AProVE-CeTA	0.044
24	tpdb-8.0/TRS/AG01_innermost/#4.31.xml	AProVE-CeTA	0.034
25	tpdb-8.0/TRS/AG01_innermost/#4.32.xml	AProVE-CeTA	0.027
26	tpdb-8.0/TRS/AG01_innermost/#4.33.xml	AProVE-CeTA	0.048
27	tpdb-8.0/TRS/AG01_innermost/#4.34.xml	AProVE-CeTA	0.033
28	tpdb-8.0/TRS/AG01_innermost/#4.35.xml	AProVE-CeTA	0.095
29	tpdb-8.0/TRS/AG01_innermost/#4.36.xml	AProVE-CeTA	0.073
30	tpdb-8.0/TRS/AG01_innermost/#4.37a.xml	AProVE-CeTA	0.059
31	tpdb-8.0/TRS/AG01_innermost/#4.37.xml	AProVE-CeTA	0.043
32	tpdb-8.0/TRS/AG01_innermost/#4.3.xml	AProVE-CeTA	0.024
33	tpdb-8.0/TRS/AG01_innermost/#4.4.xml	AProVE-CeTA	0.025
34	tpdb-8.0/TRS/AG01_innermost/#4.5.xml	AProVE-CeTA	0.022
35	tpdb-8.0/TRS/AG01_innermost/#4.7.xml	AProVE-CeTA	0.023
36	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml	AProVE-CeTA	0.068
37	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml	AProVE-CeTA	0.096
38	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml	AProVE-CeTA	0.084
39	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml	AProVE-CeTA	0.088
40	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml	AProVE-CeTA	0.116