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

Statistics

Result

TTT2Cert (2013_2)

AProVE (TC 2013)

TTT2Cert (2013_1)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

MAYBE

Average time
Total time
# Results

Average time
Total time
# Results

Average time
Total time
# Results

Average time	59.877
Total time	1377.166
# Results	23

Average time
Total time
# Results

Average time	0.832
Total time	4.994
# Results	6

Average time	5.209
Total time	140.635
# Results	27

Average time	0.860
Total time	5.159
# Results	6

Average time	16.333
Total time	245.000
# Results	15

Average time	18.439
Total time	202.831
# Results	11

TIMEOUT

Average time	60.060
Total time	60.060
# Results	1

Average time	61.072
Total time	2137.537
# Results	35

Average time	60.091
Total time	3905.887
# Results	65

Average time	60.073
Total time	1201.464
# Results	20

Average time	61.331
Total time	3373.230
# Results	55

YES

Average time	6.373
Total time	497.071
# Results	78

Average time	6.124
Total time	538.952
# Results	88

Average time	7.282
Total time	575.313
# Results	79

Average time	6.610
Total time	608.079
# Results	92

Average time	7.635
Total time	641.364
# Results	84

Actions

Results

««

Last

Termination Problem

TTT2Cert (2013_2)

AProVE (TC 2013)

TTT2Cert (2013_1)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	1.436	1.4	1.414	1.474	3.565
2	tpdb-8.0/TRS/Bouchare_06/03.xml	6.289	4.137	6.634	6.566	4.831
3	tpdb-8.0/TRS/Bouchare_06/06.xml	6.763	5.027	6.742	5.615	5.967
4	tpdb-8.0/TRS/Bouchare_06/08.xml	0.793	1.057	0.786	0.853	15.228
5	tpdb-8.0/TRS/Bouchare_06/10.xml	1.62	6.801	1.666	2.097	7.236
6	tpdb-8.0/TRS/Bouchare_06/12.xml	2.108	6.555	2.017	1.275	6.781
7	tpdb-8.0/TRS/Bouchare_06/13.xml	6.4	7.527	6.484	8.709	5.077
8	tpdb-8.0/TRS/Bouchare_06/14.xml	1.263	1.494	1.269	1.365	3.717
9	tpdb-8.0/TRS/Bouchare_06/18.xml	7.007	5.9	7.208	8.234	5.962
10	tpdb-8.0/TRS/Gebhardt_06/01.xml		61.148	60.061	59.898	60.74
11	tpdb-8.0/TRS/Gebhardt_06/02.xml		62.607	60.051	59.89	61.494
12	tpdb-8.0/TRS/Gebhardt_06/03.xml		4.71	60.056	59.93	61.345
13	tpdb-8.0/TRS/Gebhardt_06/07.xml		5.286	60.055	59.892	6.463
14	tpdb-8.0/TRS/Gebhardt_06/09.xml	18.17	38.076	19.267	15.534	35.759
15	tpdb-8.0/TRS/Gebhardt_06/13.xml		61.01	60.057	59.891	60.128
16	tpdb-8.0/TRS/Gebhardt_06/14.xml		6.11	60.065	45.019	7.231
17	tpdb-8.0/TRS/Gebhardt_06/19.xml		60.914	60.06	59.961	61.745
18	tpdb-8.0/TRS/Gebhardt_06/20.xml		60.971	60.063	59.911	62.061
19	tpdb-8.0/TRS/ICFP_2010/130161.xml		60.74	60.16	60.047	60.734
20	tpdb-8.0/TRS/ICFP_2010/133432.xml		61.015	60.137	60.045	60.943
21	tpdb-8.0/TRS/ICFP_2010/139180.xml		10.167	60.18	60.039	17.954
22	tpdb-8.0/TRS/ICFP_2010/142146.xml		11.738	60.169	60.038	17.93
23	tpdb-8.0/TRS/ICFP_2010/149251.xml		60.572	60.245	60.046	60.993
24	tpdb-8.0/TRS/ICFP_2010/149319.xml		60.656	60.237	60.049	60.031
25	tpdb-8.0/TRS/ICFP_2010/188674.xml		8.56	60.166	60.042	14.234
26	tpdb-8.0/TRS/ICFP_2010/25711.xml		60.82	60.177	60.042	61.123
27	tpdb-8.0/TRS/ICFP_2010/26103.xml	7.152	60.842	7.038	2.007	7.416
28	tpdb-8.0/TRS/ICFP_2010/264370.xml	0.832	1.044	0.976	0.888	3.49
29	tpdb-8.0/TRS/ICFP_2010/26923.xml		61.001	60.151	60.039	61.538
30	tpdb-8.0/TRS/ICFP_2010/26951.xml		60.864	60.143	60.038	62.289
31	tpdb-8.0/TRS/ICFP_2010/3842.xml		60.991	60.192	60.196	61.298
32	tpdb-8.0/TRS/ICFP_2010/41865.xml		60.78	60.137	60.044	60.737
33	tpdb-8.0/TRS/ICFP_2010/4314.xml		61.071	60.118	60.242	61.801
34	tpdb-8.0/TRS/ICFP_2010/4827.xml		61.053	60.109	4.672	61.367
35	tpdb-8.0/TRS/ICFP_2010/4920.xml		60.869	60.162	60.276	61.607
36	tpdb-8.0/TRS/ICFP_2010/51424.xml		60.9	60.133	60.046	61.003
37	tpdb-8.0/TRS/ICFP_2010/96198.xml		60.854	60.143	4.316	61.705
38	tpdb-8.0/TRS/ICFP_2010/96334.xml		60.772	60.186	3.525	61.608
39	tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml		10.03	60.053	60.05	62.409
40	tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml		17.379	60.055	59.838	60.815

««

Last