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 SRS Relative Certifying

Statistics

Certification

CeTA (1.19)

ACCEPT

Average time	1.374
Total time	130.567
# Results	95

TIMEOUT

Average time	60.029
Total time	180.087
# Results	3

UNSUPPORTED

Average time	0.071
Total time	0.423
# Results	6

Results

««

«

1

2

3

»

Last

Termination problem

Proved by

CeTA (1.19)


1	tpdb-8.0/TRS/ICFP_2010_relative/153090.xml	AProVE-CeTA	6.31
2	tpdb-8.0/TRS/ICFP_2010_relative/157275.xml	AProVE-CeTA	8.493
3	tpdb-8.0/TRS/ICFP_2010_relative/157388.xml	AProVE-CeTA	0.826
4	tpdb-8.0/TRS/ICFP_2010_relative/158620.xml	AProVE-CeTA	7.474
5	tpdb-8.0/TRS/ICFP_2010_relative/161930.xml	AProVE-CeTA	6.731
6	tpdb-8.0/TRS/ICFP_2010_relative/167742.xml	AProVE-CeTA	7.848
7	tpdb-8.0/TRS/ICFP_2010_relative/211915.xml	AProVE-CeTA	0.346
8	tpdb-8.0/TRS/ICFP_2010_relative/212043.xml	AProVE-CeTA	3.115
9	tpdb-8.0/TRS/ICFP_2010_relative/213147.xml	TTT2Cert	0.576
10	tpdb-8.0/TRS/ICFP_2010_relative/213147.xml	AProVE-CeTA	3.139
11	tpdb-8.0/TRS/ICFP_2010_relative/213437.xml	AProVE-CeTA	0.582
12	tpdb-8.0/TRS/ICFP_2010_relative/213560.xml	AProVE-CeTA	0.493
13	tpdb-8.0/TRS/ICFP_2010_relative/214011.xml	TTT2Cert	0.283
14	tpdb-8.0/TRS/ICFP_2010_relative/214011.xml	AProVE-CeTA	0.299
15	tpdb-8.0/TRS/ICFP_2010_relative/214183.xml	AProVE-CeTA	0.325
16	tpdb-8.0/TRS/ICFP_2010_relative/259405.xml	AProVE-CeTA	5.849
17	tpdb-8.0/TRS/ICFP_2010_relative/259625.xml	AProVE-CeTA	4.568
18	tpdb-8.0/TRS/ICFP_2010_relative/26069.xml	TTT2Cert	0.079
19	tpdb-8.0/TRS/ICFP_2010_relative/26123.xml	TTT2Cert	0.091
20	tpdb-8.0/TRS/ICFP_2010_relative/26130.xml	TTT2Cert	0.135
21	tpdb-8.0/TRS/ICFP_2010_relative/26186.xml	TTT2Cert	0.135
22	tpdb-8.0/TRS/ICFP_2010_relative/26226.xml	TTT2Cert	0.163
23	tpdb-8.0/TRS/ICFP_2010_relative/26291.xml	TTT2Cert	0.244
24	tpdb-8.0/TRS/ICFP_2010_relative/263745.xml	AProVE-CeTA	5.305
25	tpdb-8.0/TRS/ICFP_2010_relative/26683.xml	TTT2Cert	0.291
26	tpdb-8.0/TRS/ICFP_2010_relative/27030.xml	TTT2Cert	0.27
27	tpdb-8.0/TRS/ICFP_2010_relative/27131.xml	TTT2Cert	0.428
28	tpdb-8.0/TRS/ICFP_2010_relative/27134.xml	TTT2Cert	0.383
29	tpdb-8.0/TRS/ICFP_2010_relative/27213.xml	TTT2Cert	0.452
30	tpdb-8.0/TRS/ICFP_2010_relative/27235.xml	TTT2Cert	0.532
31	tpdb-8.0/TRS/ICFP_2010_relative/27280.xml	TTT2Cert	0.897
32	tpdb-8.0/TRS/ICFP_2010_relative/28293.xml	TTT2Cert	0.741
33	tpdb-8.0/TRS/ICFP_2010_relative/28464.xml	TTT2Cert	1.294
34	tpdb-8.0/TRS/ICFP_2010_relative/28643.xml	TTT2Cert	1.576
35	tpdb-8.0/TRS/ICFP_2010_relative/28838.xml	TTT2Cert	1.187
36	tpdb-8.0/TRS/ICFP_2010_relative/29415.xml	AProVE-CeTA	11.873
37	tpdb-8.0/TRS/ICFP_2010_relative/3268.xml	AProVE-CeTA	0.509
38	tpdb-8.0/TRS/ICFP_2010_relative/40540.xml	AProVE-CeTA	6.376
39	tpdb-8.0/TRS/ICFP_2010_relative/40708.xml	TTT2Cert	0.095
40	tpdb-8.0/TRS/ICFP_2010_relative/40976.xml	AProVE-CeTA	5.608