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 Standard Certifying

Statistics

Result

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)

AProVE-A3PAT (2011-0.1)

MAYBE

Average time
Total time
# Results

Average time
Total time
# Results

Average time	11.009
Total time	748.644
# Results	68

NO

Average time	1.031
Total time	12.369
# Results	12

Average time	5.661
Total time	33.963
# Results	6

Average time
Total time
# Results

TIMEOUT

Average time	60.105
Total time	2464.290
# Results	41

Average time	61.545
Total time	2892.610
# Results	47

Average time	60.202
Total time	3612.119
# Results	60

YES

Average time	6.430
Total time	739.467
# Results	115

Average time	8.227
Total time	946.053
# Results	115

Average time	6.655
Total time	266.213
# Results	40

Actions

Results

««

«

1

2

3

4

5

»

Last

Termination Problem

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)

AProVE-A3PAT (2011-0.1)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	6.965	2.628	27.17
2	tpdb-8.0/TRS/Bouchare_06/05.xml	7.304	6.132	60.121
3	tpdb-8.0/TRS/Bouchare_06/06.xml	6.68	5.382	10.803
4	tpdb-8.0/TRS/Bouchare_06/07.xml	7.136	3.975	10.834
5	tpdb-8.0/TRS/Bouchare_06/08.xml	0.48	5.031	10.821
6	tpdb-8.0/TRS/Bouchare_06/09.xml	0.712	5.145	60.121
7	tpdb-8.0/TRS/Bouchare_06/12.xml	7.008	4.908	60.099
8	tpdb-8.0/TRS/Bouchare_06/15.xml	7.407	2.666	60.125
9	tpdb-8.0/TRS/Bouchare_06/16.xml	2.737	2.565	60.096
10	tpdb-8.0/TRS/Bouchare_06/17.xml	3.495	2.642	15.294
11	tpdb-8.0/TRS/Bouchare_06/18.xml	6.959	4.833	60.129
12	tpdb-8.0/TRS/Gebhardt_06/03.xml	60.073	61.219	10.711
13	tpdb-8.0/TRS/Gebhardt_06/04.xml	60.049	62.004	10.834
14	tpdb-8.0/TRS/Gebhardt_06/05.xml	60.069	61.459	10.822
15	tpdb-8.0/TRS/Gebhardt_06/08.xml	60.055	61.426	10.818
16	tpdb-8.0/TRS/Gebhardt_06/09.xml	16.586	39.835	10.943
17	tpdb-8.0/TRS/Gebhardt_06/15.xml	60.061	61.451	10.814
18	tpdb-8.0/TRS/Gebhardt_06/17.xml	60.064	61.381	10.838
19	tpdb-8.0/TRS/ICFP_2010/132833.xml	60.124	16.087	11.524
20	tpdb-8.0/TRS/ICFP_2010/139004.xml	60.188	17.031	11.539
21	tpdb-8.0/TRS/ICFP_2010/157150.xml	60.254	61.86	11.364
22	tpdb-8.0/TRS/ICFP_2010/157593.xml	60.123	38.245	11.171
23	tpdb-8.0/TRS/ICFP_2010/167636.xml	60.298	60.205	11.822
24	tpdb-8.0/TRS/ICFP_2010/212480.xml	60.042	22.796	11.016
25	tpdb-8.0/TRS/ICFP_2010/213147.xml	39.175	36.918	11.199
26	tpdb-8.0/TRS/ICFP_2010/214091.xml	6.709	8.862	11.259
27	tpdb-8.0/TRS/ICFP_2010/263745.xml	60.175	14.386	12.363
28	tpdb-8.0/TRS/ICFP_2010/28293.xml	10.524	62.005	11.236
29	tpdb-8.0/TRS/ICFP_2010/85477.xml	60.248	21.289	11.077
30	tpdb-8.0/TRS/ICFP_2010/85920.xml	60.336	61.827	11.172
31	tpdb-8.0/TRS/ICFP_2010/86636.xml	60.295	61.892	11.065
32	tpdb-8.0/TRS/ICFP_2010/96176.xml	60.132	61.76	11.24
33	tpdb-8.0/TRS/ICFP_2010/96198.xml	60.142	61.414	10.985
34	tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml	60.066	61.222	60.127
35	tpdb-8.0/TRS/Mixed_SRS/04.xml	14.839	11.933	10.893
36	tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml	60.067	62.102	10.796
37	tpdb-8.0/TRS/Mixed_SRS/05.xml	9.796	6.887	60.218
38	tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	60.058	60.783	10.831
39	tpdb-8.0/TRS/Mixed_SRS/06.xml	7.35	5.08	60.135
40	tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml	60.057	60.643	10.839

««

«

1

2

3

4

5

»

Last