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

Statistics

Certification

CeTA (2.10)

ACCEPT

Average time	1.660
Total time	164.369
# Results	99

Results

««

«

1

2

3

»

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/ICFP_2010_relative/127538.xml	AProVE-CeTA	5.287
2	tpdb-8.0/TRS/ICFP_2010_relative/128182.xml	AProVE-CeTA	3.128
3	tpdb-8.0/TRS/ICFP_2010_relative/128280.xml	AProVE-CeTA	2.9
4	tpdb-8.0/TRS/ICFP_2010_relative/128430.xml	AProVE-CeTA	3.859
5	tpdb-8.0/TRS/ICFP_2010_relative/128486.xml	AProVE-CeTA	3.444
6	tpdb-8.0/TRS/ICFP_2010_relative/128515.xml	AProVE-CeTA	4.7
7	tpdb-8.0/TRS/ICFP_2010_relative/128550.xml	AProVE-CeTA	4.277
8	tpdb-8.0/TRS/ICFP_2010_relative/128620.xml	AProVE-CeTA	3.147
9	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	AProVE-CeTA	3.721
10	tpdb-8.0/TRS/ICFP_2010_relative/132478.xml	AProVE-CeTA	4.04
11	tpdb-8.0/TRS/ICFP_2010_relative/132540.xml	AProVE-CeTA	3.781
12	tpdb-8.0/TRS/ICFP_2010_relative/132622.xml	AProVE-CeTA	3.834
13	tpdb-8.0/TRS/ICFP_2010_relative/132720.xml	AProVE-CeTA	4.301
14	tpdb-8.0/TRS/ICFP_2010_relative/132738.xml	AProVE-CeTA	3.708
15	tpdb-8.0/TRS/ICFP_2010_relative/132782.xml	AProVE-CeTA	4.223
16	tpdb-8.0/TRS/ICFP_2010_relative/132833.xml	AProVE-CeTA	3.746
17	tpdb-8.0/TRS/ICFP_2010_relative/132864.xml	AProVE-CeTA	3.982
18	tpdb-8.0/TRS/ICFP_2010_relative/132920.xml	AProVE-CeTA	3.05
19	tpdb-8.0/TRS/ICFP_2010_relative/132957.xml	AProVE-CeTA	4.851
20	tpdb-8.0/TRS/ICFP_2010_relative/133010.xml	AProVE-CeTA	5.21
21	tpdb-8.0/TRS/ICFP_2010_relative/138993.xml	AProVE-CeTA	4.233
22	tpdb-8.0/TRS/ICFP_2010_relative/139004.xml	AProVE-CeTA	5.915
23	tpdb-8.0/TRS/ICFP_2010_relative/139018.xml	AProVE-CeTA	4.03
24	tpdb-8.0/TRS/ICFP_2010_relative/139025.xml	AProVE-CeTA	3.699
25	tpdb-8.0/TRS/ICFP_2010_relative/139036.xml	AProVE-CeTA	4.983
26	tpdb-8.0/TRS/ICFP_2010_relative/139100.xml	AProVE-CeTA	3.811
27	tpdb-8.0/TRS/ICFP_2010_relative/139163.xml	AProVE-CeTA	7.847
28	tpdb-8.0/TRS/ICFP_2010_relative/139167.xml	AProVE-CeTA	4.401
29	tpdb-8.0/TRS/ICFP_2010_relative/139174.xml	AProVE-CeTA	4.138
30	tpdb-8.0/TRS/ICFP_2010_relative/139180.xml	AProVE-CeTA	3.056
31	tpdb-8.0/TRS/ICFP_2010_relative/139185.xml	AProVE-CeTA	3.325
32	tpdb-8.0/TRS/ICFP_2010_relative/139190.xml	AProVE-CeTA	3.091
33	tpdb-8.0/TRS/ICFP_2010_relative/139214.xml	AProVE-CeTA	4.175
34	tpdb-8.0/TRS/ICFP_2010_relative/139236.xml	AProVE-CeTA	3.445
35	tpdb-8.0/TRS/ICFP_2010_relative/139256.xml	AProVE-CeTA	3.845
36	tpdb-8.0/TRS/ICFP_2010_relative/139282.xml	AProVE-CeTA	4.245
37	tpdb-8.0/TRS/ICFP_2010_relative/139310.xml	AProVE-CeTA	3.223
38	tpdb-8.0/TRS/ICFP_2010_relative/139378.xml	AProVE-CeTA	4.469
39	tpdb-8.0/TRS/ICFP_2010_relative/140318.xml	AProVE-CeTA	3.597
40	tpdb-8.0/TRS/ICFP_2010_relative/140359.xml	AProVE-CeTA	3.252