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.10)

ACCEPT

Average time	0.055
Total time	32.487
# Results	593

REJECT

Average time	0.112
Total time	1.235
# Results	11

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

»

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-CeTA	0.034
2	tpdb-8.0/TRS/AG01/#3.12.xml	TTT2Cert	0.043
3	tpdb-8.0/TRS/AG01/#3.12.xml	TTT2Cert	0.054
4	tpdb-8.0/TRS/AG01/#3.19.xml	AProVE-CeTA	0.037
5	tpdb-8.0/TRS/AG01/#3.26.xml	AProVE-CeTA	0.023
6	tpdb-8.0/TRS/AG01/#3.26.xml	TTT2Cert	0.024
7	tpdb-8.0/TRS/AG01/#3.26.xml	TTT2Cert	0.024
8	tpdb-8.0/TRS/AG01/#3.41.xml	AProVE-CeTA	0.04
9	tpdb-8.0/TRS/AG01/#3.41.xml	TTT2Cert	0.036
10	tpdb-8.0/TRS/AG01/#3.41.xml	TTT2Cert	0.036
11	tpdb-8.0/TRS/AG01/#3.42.xml	AProVE-CeTA	0.041
12	tpdb-8.0/TRS/AG01/#3.42.xml	TTT2Cert	0.046
13	tpdb-8.0/TRS/AG01/#3.42.xml	TTT2Cert	0.045
14	tpdb-8.0/TRS/AG01/#3.47.xml	AProVE-CeTA	0.026
15	tpdb-8.0/TRS/AG01/#3.47.xml	TTT2Cert	0.029
16	tpdb-8.0/TRS/AG01/#3.47.xml	TTT2Cert	0.029
17	tpdb-8.0/TRS/AG01/#3.53.xml	AProVE-CeTA	0.053
18	tpdb-8.0/TRS/AG01/#3.53.xml	TTT2Cert	0.05
19	tpdb-8.0/TRS/AG01/#3.53.xml	TTT2Cert	0.049
20	tpdb-8.0/TRS/AG01/#3.57.xml	AProVE-CeTA	0.067
21	tpdb-8.0/TRS/AG01/#3.57.xml	TTT2Cert	0.054
22	tpdb-8.0/TRS/AG01/#3.57.xml	TTT2Cert	0.054
23	tpdb-8.0/TRS/AG01/#3.8a.xml	AProVE-CeTA	0.038
24	tpdb-8.0/TRS/AG01/#3.8a.xml	TTT2Cert	0.039
25	tpdb-8.0/TRS/AG01/#3.8a.xml	TTT2Cert	0.038
26	tpdb-8.0/TRS/AotoYamada_05/001.xml	AProVE-CeTA	0.026
27	tpdb-8.0/TRS/AotoYamada_05/001.xml	TTT2Cert	0.025
28	tpdb-8.0/TRS/AotoYamada_05/001.xml	TTT2Cert	0.025
29	tpdb-8.0/TRS/AotoYamada_05/003.xml	AProVE-CeTA	0.031
30	tpdb-8.0/TRS/AotoYamada_05/003.xml	TTT2Cert	0.028
31	tpdb-8.0/TRS/AotoYamada_05/003.xml	TTT2Cert	0.028
32	tpdb-8.0/TRS/AotoYamada_05/005.xml	AProVE-CeTA	0.027
33	tpdb-8.0/TRS/AotoYamada_05/005.xml	TTT2Cert	0.028
34	tpdb-8.0/TRS/AotoYamada_05/005.xml	TTT2Cert	0.027
35	tpdb-8.0/TRS/AotoYamada_05/009.xml	AProVE-CeTA	0.052
36	tpdb-8.0/TRS/AotoYamada_05/009.xml	TTT2Cert	0.046
37	tpdb-8.0/TRS/AotoYamada_05/009.xml	TTT2Cert	0.045
38	tpdb-8.0/TRS/AotoYamada_05/016.xml	AProVE-CeTA	0.074
39	tpdb-8.0/TRS/AotoYamada_05/016.xml	TTT2Cert	0.053
40	tpdb-8.0/TRS/AotoYamada_05/016.xml	TTT2Cert	0.052