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

Statistics

Result

TTT2Cert (2013_2)

AProVE (TC 2013)

TTT2Cert (2013_1)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

MAYBE

Average time	59.516
Total time	297.580
# Results	5

Average time
Total time
# Results

Average time	34.035
Total time	3948.117
# Results	116

Average time	21.333
Total time	2026.600
# Results	95

Average time
Total time
# Results

Average time	0.437
Total time	15.302
# Results	35

Average time	4.610
Total time	202.847
# Results	44

Average time	0.435
Total time	15.229
# Results	35

Average time	0.617
Total time	20.353
# Results	33

Average time	6.099
Total time	219.556
# Results	36

TIMEOUT

Average time
Total time
# Results

Average time	60.459
Total time	2599.757
# Results	43

Average time	60.071
Total time	180.212
# Results	3

Average time	60.049
Total time	900.740
# Results	15

Average time	60.990
Total time	5245.163
# Results	86

YES

Average time	2.476
Total time	376.276
# Results	152

Average time	4.636
Total time	1038.360
# Results	224

Average time	2.510
Total time	394.131
# Results	157

Average time	1.543
Total time	259.282
# Results	168

Average time	7.437
Total time	1405.543
# Results	189

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/AG01/#3.12.xml	1.524	1.359	1.173	0.961	3.709
2	tpdb-8.0/TRS/AG01/#3.19.xml		1.85	22.141	17.625	4.466
3	tpdb-8.0/TRS/AG01/#3.26.xml	0.712	1.503	0.604	0.807	3.667
4	tpdb-8.0/TRS/AG01/#3.41.xml	0.916	1.31	1.059	0.937	3.522
5	tpdb-8.0/TRS/AG01/#3.42.xml	1.18	1.465	1.241	1.207	4.219
6	tpdb-8.0/TRS/AG01/#3.47.xml	0.767	1.271	0.755	0.754	3.535
7	tpdb-8.0/TRS/AG01/#3.53.xml	4.765	1.764	5.236	2.272	5.747
8	tpdb-8.0/TRS/AG01/#3.57.xml	5.023	1.777	4.987	2.51	5.582
9	tpdb-8.0/TRS/AG01/#3.8a.xml	2.119	1.566	2.298	1.517	4.699
10	tpdb-8.0/TRS/AotoYamada_05/001.xml	0.387	1.748	0.393	0.54	4.187
11	tpdb-8.0/TRS/AotoYamada_05/003.xml	0.395	1.997	0.405	0.496	5.148
12	tpdb-8.0/TRS/AotoYamada_05/005.xml	0.494	1.07	0.517	0.527	3.383
13	tpdb-8.0/TRS/AotoYamada_05/009.xml	1.427	1.939	1.547	1.1	5.215
14	tpdb-8.0/TRS/AotoYamada_05/016.xml	1.783	1.843	1.761	1.039	6.067
15	tpdb-8.0/TRS/AotoYamada_05/019.xml	0.864	1.297	0.918	0.953	3.631
16	tpdb-8.0/TRS/AotoYamada_05/020.xml	1.708	1.58	1.659	1.186	4.693
17	tpdb-8.0/TRS/AotoYamada_05/024.xml	1.134	1.385	1.095	0.713	3.839
18	tpdb-8.0/TRS/AotoYamada_05/025.xml	0.495	1.061	0.497	0.514	3.162
19	tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml		60.687	19.263	60.041	61.519
20	tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml	2.135	1.768	2.064	1.008	5.933
21	tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml		60.442	10.55	27.422	60.912
22	tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml		60.439	23.032	60.071	60.814
23	tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml		60.837	26.767	60.041	62.071
24	tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml		12.426	27.052	60.044	36.132
25	tpdb-8.0/TRS/Applicative_05/nonTermF.xml	0.518	7.563	0.518	25.818	5.555
26	tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	0.951	1.119	0.917	1.031	3.482
27	tpdb-8.0/TRS/Applicative_05/TypeEx1.xml	1.297	1.24	1.283	1.347	3.484
28	tpdb-8.0/TRS/Applicative_first_order_05/02.xml	2.259	1.92	2.365	1.325	5.431
29	tpdb-8.0/TRS/Applicative_first_order_05/08.xml	2.638	2.292	2.593	1.418	8.151
30	tpdb-8.0/TRS/Applicative_first_order_05/18.xml	2.327	1.858	2.319	1.137	5.435
31	tpdb-8.0/TRS/Applicative_first_order_05/30.xml		2.781	59.546	60.043	8.43
32	tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml		2.103	7.461	1.579	60.694
33	tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml		2.278	7.619	1.994	60.571
34	tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml		2.851	11.037	2.774	10.958
35	tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml	2.994	2.179	3.257	1.561	6.972
36	tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml	6.104	2.655	5.605	1.676	9.135
37	tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml		32.874	59.701	60.095	61.601
38	tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml		1.634	7.413	0.857	3.888
39	tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml		1.62	7.415	0.79	3.767
40	tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml	2.049	1.818	2.007	1.128	4.356

««

Last