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 Innermost

Statistics

Result

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

MAYBE

Average time	0.380
Total time	2.661
# Results	7

Average time	0.663
Total time	4.639
# Results	7

NO

Average time	1.480
Total time	1.480
# Results	1

Average time	5.209
Total time	5.209
# Results	1

TIMEOUT

Average time	60.443
Total time	846.205
# Results	14

Average time	60.981
Total time	1158.633
# Results	19

YES

Average time	3.368
Total time	191.994
# Results	57

Average time	6.855
Total time	356.446
# Results	52

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (TC 2012)

AProVE-CeTA (TC 2012)


1	tpdb-8.0/TRS/AG01_innermost/#4.16.xml	0.962	2.579
2	tpdb-8.0/TRS/AG01_innermost/#4.22.xml	1.013	2.768
3	tpdb-8.0/TRS/AG01_innermost/#4.27.xml	1.093	3.463
4	tpdb-8.0/TRS/AG01_innermost/#4.2.xml	0.974	2.638
5	tpdb-8.0/TRS/AG01_innermost/#4.30a.xml	1.592	3.426
6	tpdb-8.0/TRS/AG01_innermost/#4.30.xml	3.996	24.686
7	tpdb-8.0/TRS/AG01_innermost/#4.31.xml	3.051	3.987
8	tpdb-8.0/TRS/AG01_innermost/#4.33.xml	1.251	4.033
9	tpdb-8.0/TRS/AG01_innermost/#4.34.xml	1.236	3.074
10	tpdb-8.0/TRS/AG01_innermost/#4.37a.xml	1.071	2.502
11	tpdb-8.0/TRS/AG01_innermost/#4.37.xml	1.029	2.431
12	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml	1.409	3.871
13	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml	1.51	4.915
14	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml	1.624	5.521
15	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml	1.63	15.653
16	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml	1.674	5.625
17	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml	1.486	5.281
18	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml	1.433	4.585
19	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml	1.83	50.065
20	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml	2.726	61.109
21	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml	1.412	4.657
22	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml	3.183	7.604
23	tpdb-8.0/TRS/Mixed_innermost/bn111.xml	0.927	2.609
24	tpdb-8.0/TRS/Mixed_innermost/cade04.xml	60.219	60.41
25	tpdb-8.0/TRS/Mixed_innermost/cade05.xml	2.441	60.033
26	tpdb-8.0/TRS/Mixed_innermost/cade13.xml	2.058	61.082
27	tpdb-8.0/TRS/Mixed_innermost/innermost2.xml	1.0	2.725
28	tpdb-8.0/TRS/Mixed_innermost/innermost4.xml	1.219	3.708
29	tpdb-8.0/TRS/Mixed_innermost/muladd.xml	1.48	5.209
30	tpdb-8.0/TRS/Mixed_innermost/test10.xml	1.109	2.753
31	tpdb-8.0/TRS/Mixed_innermost/test76.xml	2.709	3.014
32	tpdb-8.0/TRS/Mixed_innermost/test830.xml	0.998	2.595
33	tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml	4.41	27.518
34	tpdb-8.0/TRS/raML/appendAll.raml.xml	0.876	2.71
35	tpdb-8.0/TRS/raML/bfs.raml.xml	0.379	0.666
36	tpdb-8.0/TRS/raML/bitvectors.raml.xml	0.464	0.744
37	tpdb-8.0/TRS/raML/clevermmult.raml.xml	0.363	0.641
38	tpdb-8.0/TRS/raML/duplicates.raml.xml	0.35	0.623
39	tpdb-8.0/TRS/raML/flatten.raml.xml	0.336	0.619
40	tpdb-8.0/TRS/raML/listsort.raml.xml	0.371	0.666

««

«

1

2

»

Last