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 (2011-0.1)

Average time	3.541
Total time	7.081
# Results	2

TIMEOUT

Average time	60.471
Total time	786.126
# Results	13

YES

Average time	3.876
Total time	205.437
# Results	53

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/TRS/AG01_innermost/#4.25.xml	0.944
2	tpdb-8.0/TRS/AG01_innermost/#4.26.xml	1.294
3	tpdb-8.0/TRS/AG01_innermost/#4.28.xml	0.763
4	tpdb-8.0/TRS/AG01_innermost/#4.2.xml	0.91
5	tpdb-8.0/TRS/AG01_innermost/#4.30a.xml	1.535
6	tpdb-8.0/TRS/AG01_innermost/#4.30b.xml	3.831
7	tpdb-8.0/TRS/AG01_innermost/#4.30.xml	4.101
8	tpdb-8.0/TRS/AG01_innermost/#4.31.xml	2.696
9	tpdb-8.0/TRS/AG01_innermost/#4.32.xml	0.945
10	tpdb-8.0/TRS/AG01_innermost/#4.35.xml	2.197
11	tpdb-8.0/TRS/AG01_innermost/#4.37.xml	0.95
12	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml	1.441
13	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml	1.502
14	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml	1.682
15	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml	1.706
16	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml	1.805
17	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml	1.678
18	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml	1.538
19	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml	1.524
20	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml	1.881
21	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml	3.419
22	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml	3.207
23	tpdb-8.0/TRS/Mixed_innermost/bn111.xml	0.869
24	tpdb-8.0/TRS/Mixed_innermost/cade04.xml	60.136
25	tpdb-8.0/TRS/Mixed_innermost/cade05.xml	2.449
26	tpdb-8.0/TRS/Mixed_innermost/cade12.xml	60.397
27	tpdb-8.0/TRS/Mixed_innermost/gkg.xml	0.884
28	tpdb-8.0/TRS/Mixed_innermost/muladd.xml	1.427
29	tpdb-8.0/TRS/Mixed_innermost/test75.xml	1.421
30	tpdb-8.0/TRS/Mixed_innermost/test77.xml	1.34
31	tpdb-8.0/TRS/Mixed_innermost/test833.xml	0.934
32	tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml	4.331
33	tpdb-8.0/TRS/Mixed_innermost/toyama.xml	0.843
34	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml	60.448
35	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml	1.314
36	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml	1.12
37	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml	1.23
38	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml	8.826
39	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml	60.663
40	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml	0.765

««

Last