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

Statistics

Result

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

MAYBE

Average time	50.503
Total time	1363.591
# Results	27

Average time	0.277
Total time	1.106
# Results	4

Average time	3.545
Total time	17.725
# Results	5

NO

Average time	0.725
Total time	0.725
# Results	1

Average time	0.881
Total time	0.881
# Results	1

Average time
Total time
# Results

TIMEOUT

Average time	60.052
Total time	1201.039
# Results	20

Average time	61.029
Total time	1525.717
# Results	25

Average time	60.764
Total time	1883.698
# Results	31

YES

Average time	1.539
Total time	30.785
# Results	20

Average time	10.285
Total time	390.847
# Results	38

Average time	11.589
Total time	370.840
# Results	32

Actions

Results

««

«

1

2

»

Last

Termination Problem

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)


1	tpdb-8.0/TRS/ICFP_2010_relative/124269.xml	60.042	60.987	61.07
2	tpdb-8.0/TRS/ICFP_2010_relative/128430.xml	60.221	13.976	20.295
3	tpdb-8.0/TRS/ICFP_2010_relative/128515.xml	60.042	14.736	21.822
4	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	60.043	14.776	22.57
5	tpdb-8.0/TRS/ICFP_2010_relative/131982.xml	60.045	60.981	60.978
6	tpdb-8.0/TRS/ICFP_2010_relative/132622.xml	60.043	15.092	21.465
7	tpdb-8.0/TRS/ICFP_2010_relative/132782.xml	60.043	14.014	21.176
8	tpdb-8.0/TRS/ICFP_2010_relative/132920.xml	60.044	13.411	19.023
9	tpdb-8.0/TRS/ICFP_2010_relative/132957.xml	60.042	15.544	22.594
10	tpdb-8.0/TRS/ICFP_2010_relative/133881.xml	60.043	61.195	60.893
11	tpdb-8.0/TRS/ICFP_2010_relative/134918.xml	60.042	61.131	61.151
12	tpdb-8.0/TRS/ICFP_2010_relative/135782.xml	60.043	61.1	60.029
13	tpdb-8.0/TRS/ICFP_2010_relative/136051.xml	60.042	61.14	61.155
14	tpdb-8.0/TRS/ICFP_2010_relative/138269.xml	60.04	60.912	61.152
15	tpdb-8.0/TRS/ICFP_2010_relative/138477.xml	60.042	61.154	60.981
16	tpdb-8.0/TRS/ICFP_2010_relative/138993.xml	60.042	15.827	20.016
17	tpdb-8.0/TRS/ICFP_2010_relative/139018.xml	60.043	13.325	18.699
18	tpdb-8.0/TRS/ICFP_2010_relative/139180.xml	60.044	14.384	18.456
19	tpdb-8.0/TRS/ICFP_2010_relative/139310.xml	60.046	14.122	20.594
20	tpdb-8.0/TRS/ICFP_2010_relative/140318.xml	60.047	14.242	19.611
21	tpdb-8.0/TRS/ICFP_2010_relative/140664.xml	59.492	60.958	61.107
22	tpdb-8.0/TRS/ICFP_2010_relative/3562.xml	58.189	61.135	60.95
23	tpdb-8.0/TRS/ICFP_2010_relative/3705.xml	58.257	61.129	60.85
24	tpdb-8.0/TRS/ICFP_2010_relative/3856.xml	58.265	30.961	60.804
25	tpdb-8.0/TRS/ICFP_2010_relative/4002.xml	58.114	60.87	60.933
26	tpdb-8.0/TRS/ICFP_2010_relative/4046.xml	7.975	0.339	0.62
27	tpdb-8.0/TRS/ICFP_2010_relative/4057.xml	58.253	60.984	60.034
28	tpdb-8.0/TRS/ICFP_2010_relative/4141.xml	58.201	61.394	60.905
29	tpdb-8.0/TRS/ICFP_2010_relative/4282.xml	58.116	61.085	61.072
30	tpdb-8.0/TRS/ICFP_2010_relative/4487.xml	58.209	61.07	60.82
31	tpdb-8.0/TRS/ICFP_2010_relative/4943.xml	58.156	61.082	61.048
32	tpdb-8.0/TRS/ICFP_2010_relative/5076.xml	58.255	60.984	61.026
33	tpdb-8.0/TRS/ICFP_2010_relative/5130.xml	58.246	31.16	61.104
34	tpdb-8.0/TRS/ICFP_2010_relative/63142.xml	58.434	60.91	61.053
35	tpdb-8.0/TRS/ICFP_2010_relative/88143.xml	58.272	8.5	60.895
36	tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml	2.313	33.954	4.533
37	tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml	57.44	8.808	60.818
38	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	0.658	0.917	2.494
39	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	4.842	4.13	3.734
40	tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml	0.749	1.426	2.456

««

«

1

2

»

Last