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.138
Total time	282.924
# Results	2045

TIMEOUT

Average time	60.000
Total time	60.000
# Results	1

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

»

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/AG01/#3.10.xml	AProVE-CeTA	0.1
2	tpdb-8.0/TRS/AG01/#3.10.xml	TTT2Cert	0.076
3	tpdb-8.0/TRS/AG01/#3.12.xml	AProVE-CeTA	0.034
4	tpdb-8.0/TRS/AG01/#3.12.xml	TTT2Cert	0.054
5	tpdb-8.0/TRS/AG01/#3.13.xml	AProVE-CeTA	0.065
6	tpdb-8.0/TRS/AG01/#3.13.xml	TTT2Cert	0.086
7	tpdb-8.0/TRS/AG01/#3.15.xml	AProVE-CeTA	0.028
8	tpdb-8.0/TRS/AG01/#3.15.xml	TTT2Cert	0.027
9	tpdb-8.0/TRS/AG01/#3.16.xml	AProVE-CeTA	0.024
10	tpdb-8.0/TRS/AG01/#3.16.xml	TTT2Cert	0.029
11	tpdb-8.0/TRS/AG01/#3.17a.xml	AProVE-CeTA	0.053
12	tpdb-8.0/TRS/AG01/#3.17a.xml	TTT2Cert	0.089
13	tpdb-8.0/TRS/AG01/#3.17.xml	AProVE-CeTA	0.049
14	tpdb-8.0/TRS/AG01/#3.17.xml	TTT2Cert	0.066
15	tpdb-8.0/TRS/AG01/#3.18.xml	AProVE-CeTA	0.035
16	tpdb-8.0/TRS/AG01/#3.18.xml	TTT2Cert	0.035
17	tpdb-8.0/TRS/AG01/#3.19.xml	AProVE-CeTA	0.038
18	tpdb-8.0/TRS/AG01/#3.1.xml	AProVE-CeTA	0.029
19	tpdb-8.0/TRS/AG01/#3.1.xml	TTT2Cert	0.029
20	tpdb-8.0/TRS/AG01/#3.21.xml	AProVE-CeTA	0.029
21	tpdb-8.0/TRS/AG01/#3.21.xml	TTT2Cert	0.041
22	tpdb-8.0/TRS/AG01/#3.22.xml	AProVE-CeTA	0.043
23	tpdb-8.0/TRS/AG01/#3.22.xml	TTT2Cert	0.044
24	tpdb-8.0/TRS/AG01/#3.23.xml	AProVE-CeTA	0.023
25	tpdb-8.0/TRS/AG01/#3.23.xml	TTT2Cert	0.025
26	tpdb-8.0/TRS/AG01/#3.24.xml	AProVE-CeTA	0.033
27	tpdb-8.0/TRS/AG01/#3.24.xml	TTT2Cert	0.029
28	tpdb-8.0/TRS/AG01/#3.26.xml	AProVE-CeTA	0.023
29	tpdb-8.0/TRS/AG01/#3.26.xml	TTT2Cert	0.024
30	tpdb-8.0/TRS/AG01/#3.29.xml	AProVE-CeTA	0.021
31	tpdb-8.0/TRS/AG01/#3.29.xml	TTT2Cert	0.031
32	tpdb-8.0/TRS/AG01/#3.2.xml	AProVE-CeTA	0.029
33	tpdb-8.0/TRS/AG01/#3.2.xml	TTT2Cert	0.03
34	tpdb-8.0/TRS/AG01/#3.31.xml	AProVE-CeTA	0.025
35	tpdb-8.0/TRS/AG01/#3.31.xml	TTT2Cert	0.026
36	tpdb-8.0/TRS/AG01/#3.33.xml	AProVE-CeTA	0.036
37	tpdb-8.0/TRS/AG01/#3.33.xml	TTT2Cert	0.031
38	tpdb-8.0/TRS/AG01/#3.35.xml	AProVE-CeTA	0.025
39	tpdb-8.0/TRS/AG01/#3.35.xml	TTT2Cert	0.025
40	tpdb-8.0/TRS/AG01/#3.36.xml	AProVE-CeTA	0.03