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)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

muterm (5.08)

NaTT (2013)

AProVE (TC 2013)

MAYBE

Average time
Total time
# Results

Average time	59.856
Total time	8679.154
# Results	145

Average time
Total time
# Results

Average time	9.962
Total time	667.459
# Results	67

Average time	0.720
Total time	422.485
# Results	587

Average time
Total time
# Results

Average time	1.781
Total time	42.746
# Results	24

Average time	15.516
Total time	636.165
# Results	41

Average time	20.793
Total time	727.770
# Results	35

Average time	0.081
Total time	0.081
# Results	1

Average time
Total time
# Results

Average time	8.752
Total time	936.517
# Results	107

TIMEOUT

Average time	60.622
Total time	46557.316
# Results	768

Average time	60.327
Total time	30525.593
# Results	506

Average time	61.389
Total time	36158.334
# Results	589

Average time	60.088
Total time	66997.573
# Results	1115

Average time	60.036
Total time	32359.166
# Results	539

Average time	60.965
Total time	30970.130
# Results	508

YES

Average time	6.388
Total time	3340.714
# Results	523

Average time	6.554
Total time	4083.025
# Results	623

Average time	9.287
Total time	6417.459
# Results	691

Average time	4.402
Total time	581.023
# Results	132

Average time	4.682
Total time	884.954
# Results	189

Average time	6.596
Total time	4617.115
# Results	700

Actions

Results

««

Last

Termination Problem

TTT2Cert (2013_2)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

muterm (5.08)

NaTT (2013)

AProVE (TC 2013)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	1.449	1.524	3.614	60.097	0.199	1.368
2	tpdb-8.0/TRS/Bouchare_06/02.xml	0.853	1.508	3.64	60.192	0.135	1.323
3	tpdb-8.0/TRS/Bouchare_06/03.xml	6.374	6.421	4.993	60.08	0.199	4.314
4	tpdb-8.0/TRS/Bouchare_06/04.xml	1.55	1.545	3.743	60.084	0.253	1.445
5	tpdb-8.0/TRS/Bouchare_06/05.xml	1.831	1.349	4.599	60.093	0.198	5.324
6	tpdb-8.0/TRS/Bouchare_06/06.xml	6.635	5.717	6.091	60.066	0.569	5.068
7	tpdb-8.0/TRS/Bouchare_06/07.xml	6.689	7.095	4.904	2.368	0.136	3.38
8	tpdb-8.0/TRS/Bouchare_06/08.xml	0.753	0.859	15.243	60.033	0.275	1.071
9	tpdb-8.0/TRS/Bouchare_06/09.xml	0.781	0.87	17.783	60.1	0.253	1.143
10	tpdb-8.0/TRS/Bouchare_06/10.xml	1.566	2.174	6.786	60.077	0.307	7.254
11	tpdb-8.0/TRS/Bouchare_06/11.xml	1.293	1.479	7.031	60.104	0.154	6.803
12	tpdb-8.0/TRS/Bouchare_06/12.xml	1.794	1.406	6.598	60.084	0.136	5.541
13	tpdb-8.0/TRS/Bouchare_06/13.xml	6.219	8.882	5.656	60.102	0.228	6.604
14	tpdb-8.0/TRS/Bouchare_06/14.xml	1.331	1.442	3.796	60.082	0.164	1.481
15	tpdb-8.0/TRS/Bouchare_06/15.xml	1.214	1.293	3.622	60.082	0.203	1.419
16	tpdb-8.0/TRS/Bouchare_06/16.xml	1.449	1.465	3.652	60.079	0.145	1.293
17	tpdb-8.0/TRS/Bouchare_06/17.xml	1.362	1.46	3.714	60.09	0.175	1.43
18	tpdb-8.0/TRS/Bouchare_06/18.xml	7.139	7.427	6.884	60.101	0.243	5.856
19	tpdb-8.0/TRS/Gebhardt_06/01.xml	60.06	59.963	61.376	60.058	0.237	61.296
20	tpdb-8.0/TRS/Gebhardt_06/02.xml	60.053	59.881	61.887	60.065	0.227	61.09
21	tpdb-8.0/TRS/Gebhardt_06/03.xml	60.06	59.92	62.512	60.056	0.304	5.01
22	tpdb-8.0/TRS/Gebhardt_06/04.xml	60.048	59.878	7.335	60.046	0.378	4.835
23	tpdb-8.0/TRS/Gebhardt_06/05.xml	60.057	59.931	60.049	60.052	0.34	9.289
24	tpdb-8.0/TRS/Gebhardt_06/06.xml	60.053	59.905	61.239	60.062	0.317	61.156
25	tpdb-8.0/TRS/Gebhardt_06/07.xml	60.063	59.908	5.572	60.05	0.4	6.626
26	tpdb-8.0/TRS/Gebhardt_06/08.xml	60.064	20.398	61.675	60.056	0.364	5.094
27	tpdb-8.0/TRS/Gebhardt_06/09.xml	16.388	12.541	37.35	60.058	0.301	32.992
28	tpdb-8.0/TRS/Gebhardt_06/10.xml	60.062	59.927	61.412	60.056	0.376	61.435
29	tpdb-8.0/TRS/Gebhardt_06/11.xml	22.226	9.382	7.086	60.05	0.447	4.342
30	tpdb-8.0/TRS/Gebhardt_06/12.xml	60.155	59.937	61.527	60.055	0.409	8.065
31	tpdb-8.0/TRS/Gebhardt_06/13.xml	60.06	59.915	61.28	60.055	0.51	61.092
32	tpdb-8.0/TRS/Gebhardt_06/14.xml	60.054	40.1	6.694	60.051	0.318	6.37
33	tpdb-8.0/TRS/Gebhardt_06/15.xml	60.051	59.909	61.121	60.056	0.416	10.752
34	tpdb-8.0/TRS/Gebhardt_06/16.xml	60.059	59.915	7.614	60.044	0.438	5.934
35	tpdb-8.0/TRS/Gebhardt_06/17.xml	60.058	59.921	7.535	60.047	0.458	5.777
36	tpdb-8.0/TRS/Gebhardt_06/18.xml	60.056	59.91	42.804	60.042	0.468	37.525
37	tpdb-8.0/TRS/Gebhardt_06/19.xml	60.064	59.952	62.187	60.045	0.713	61.023
38	tpdb-8.0/TRS/Gebhardt_06/20.xml	60.056	59.94	62.664	60.043	0.946	61.14
39	tpdb-8.0/TRS/ICFP_2010/107193.xml	60.139	60.045	60.928	60.1	60.03	60.984
40	tpdb-8.0/TRS/ICFP_2010/107220.xml	60.16	60.046	61.091	60.101	60.038	60.843

««

Last