termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for SRS Relative Certifying

Statistics

Result

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)

MAYBE

Average time	57.394
Total time	286.968
# Results	5

Average time	8.018
Total time	16.036
# Results	2

NO

Average time	0.603
Total time	0.603
# Results	1

Average time
Total time
# Results

TIMEOUT

Average time	60.236
Total time	120.472
# Results	2

Average time	60.956
Total time	426.691
# Results	7

YES

Average time	1.923
Total time	42.316
# Results	22

Average time	4.198
Total time	88.168
# Results	21

Actions

Results

Termination Problem

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)


1	tpdb-8.0/TRS/ICFP_2010_relative/167391.xml	60.344	61.033
2	tpdb-8.0/TRS/ICFP_2010_relative/259405.xml	60.128	14.854
3	tpdb-8.0/TRS/ICFP_2010_relative/28464.xml	13.182	62.132
4	tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml	3.246	61.212
5	tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml	57.398	61.173
6	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	0.861	2.521
7	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	2.071	2.895
8	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	0.53	2.411
9	tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml	3.676	3.798
10	tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml	0.587	2.514
11	tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml	1.121	2.393
12	tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml	1.106	3.217
13	tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml	0.781	2.664
14	tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml	0.603	60.078
15	tpdb-8.0/TRS/Waldmann_06_relative/r10.xml	57.393	60.717
16	tpdb-8.0/TRS/Waldmann_06_relative/r2.xml	57.393	0.565
17	tpdb-8.0/TRS/Waldmann_06_relative/r3.xml	57.387	15.471
18	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	1.045	6.805
19	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	1.079	5.848
20	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	0.844	2.816
21	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	1.116	6.008
22	tpdb-8.0/TRS/Waldmann_06_relative/r9.xml	1.563	7.61
23	tpdb-8.0/TRS/Zantema_06_relative/rel01.xml	0.868	2.65
24	tpdb-8.0/TRS/Zantema_06_relative/rel04.xml	1.046	2.839
25	tpdb-8.0/TRS/Zantema_06_relative/rel05.xml	0.894	2.864
26	tpdb-8.0/TRS/Zantema_06_relative/rel06.xml	57.397	60.346
27	tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	2.028	2.842
28	tpdb-8.0/TRS/Zantema_06_relative/rel09.xml	1.57	4.167
29	tpdb-8.0/TRS/Zantema_06_relative/rel10.xml	1.28	3.116
30	tpdb-8.0/TRS/Zantema_06_relative/rel13.xml	1.822	3.336