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 Standard

Statistics

Certification

CeTA (2.7)

ACCEPT

Average time	0.068
Total time	38.474
# Results	564

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

»

Last

Termination problem

Proved by

CeTA (2.7)


1	tpdb-8.0/TRS/AG01/#3.10.xml	AProVE-CeTA	0.113
2	tpdb-8.0/TRS/AG01/#3.10.xml	TTT2Cert	0.087
3	tpdb-8.0/TRS/AG01/#3.13.xml	AProVE-CeTA	0.069
4	tpdb-8.0/TRS/AG01/#3.13.xml	TTT2Cert	0.138
5	tpdb-8.0/TRS/AG01/#3.17.xml	AProVE-CeTA	0.052
6	tpdb-8.0/TRS/AG01/#3.17.xml	TTT2Cert	0.177
7	tpdb-8.0/TRS/AG01/#3.18.xml	AProVE-CeTA	0.036
8	tpdb-8.0/TRS/AG01/#3.18.xml	TTT2Cert	0.036
9	tpdb-8.0/TRS/AG01/#3.19.xml	AProVE-CeTA	0.039
10	tpdb-8.0/TRS/AG01/#3.19.xml	TTT2Cert	0.041
11	tpdb-8.0/TRS/AG01/#3.22.xml	AProVE-CeTA	0.048
12	tpdb-8.0/TRS/AG01/#3.22.xml	TTT2Cert	0.037
13	tpdb-8.0/TRS/AG01/#3.31.xml	AProVE-CeTA	0.025
14	tpdb-8.0/TRS/AG01/#3.31.xml	TTT2Cert	0.032
15	tpdb-8.0/TRS/AG01/#3.41.xml	AProVE-CeTA	0.041
16	tpdb-8.0/TRS/AG01/#3.41.xml	TTT2Cert	0.059
17	tpdb-8.0/TRS/AG01/#3.48.xml	AProVE-CeTA	0.035
18	tpdb-8.0/TRS/AG01/#3.48.xml	TTT2Cert	0.034
19	tpdb-8.0/TRS/AG01/#3.4.xml	AProVE-CeTA	0.041
20	tpdb-8.0/TRS/AG01/#3.4.xml	TTT2Cert	0.035
21	tpdb-8.0/TRS/AG01/#3.52.xml	AProVE-CeTA	0.023
22	tpdb-8.0/TRS/AG01/#3.52.xml	TTT2Cert	0.025
23	tpdb-8.0/TRS/AG01/#3.55.xml	AProVE-CeTA	0.087
24	tpdb-8.0/TRS/AG01/#3.55.xml	TTT2Cert	0.07
25	tpdb-8.0/TRS/AG01/#3.56.xml	AProVE-CeTA	0.036
26	tpdb-8.0/TRS/AG01/#3.56.xml	TTT2Cert	0.082
27	tpdb-8.0/TRS/AG01/#3.57.xml	AProVE-CeTA	0.075
28	tpdb-8.0/TRS/AG01/#3.57.xml	TTT2Cert	0.057
29	tpdb-8.0/TRS/AG01/#3.6b.xml	AProVE-CeTA	0.056
30	tpdb-8.0/TRS/AG01/#3.6b.xml	TTT2Cert	0.055
31	tpdb-8.0/TRS/AotoYamada_05/001.xml	AProVE-CeTA	0.027
32	tpdb-8.0/TRS/AotoYamada_05/001.xml	TTT2Cert	0.024
33	tpdb-8.0/TRS/AotoYamada_05/002.xml	AProVE-CeTA	0.046
34	tpdb-8.0/TRS/AotoYamada_05/002.xml	TTT2Cert	0.043
35	tpdb-8.0/TRS/AotoYamada_05/009.xml	AProVE-CeTA	0.052
36	tpdb-8.0/TRS/AotoYamada_05/009.xml	TTT2Cert	0.045
37	tpdb-8.0/TRS/AotoYamada_05/012.xml	AProVE-CeTA	0.051
38	tpdb-8.0/TRS/AotoYamada_05/012.xml	TTT2Cert	0.044
39	tpdb-8.0/TRS/AotoYamada_05/014.xml	AProVE-CeTA	0.065
40	tpdb-8.0/TRS/AotoYamada_05/014.xml	TTT2Cert	0.056