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 (1.8)

muterm (5.05)

MAYBE

Average time
Total time
# Results

Average time	19.410
Total time	58.231
# Results	3

TIMEOUT

Average time	60.557
Total time	2058.933
# Results	34

Average time	61.897
Total time	2847.249
# Results	46

YES

Average time	4.433
Total time	314.744
# Results	71

Average time	2.466
Total time	138.119
# Results	56

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

AProVE (1.8)

muterm (5.05)


1	tpdb-8.0/TRS/AG01_innermost/#4.14.xml	1.851	0.108
2	tpdb-8.0/TRS/AG01_innermost/#4.15.xml	1.845	0.105
3	tpdb-8.0/TRS/AG01_innermost/#4.17.xml	2.021	32.897
4	tpdb-8.0/TRS/AG01_innermost/#4.20a.xml	1.636	0.122
5	tpdb-8.0/TRS/AG01_innermost/#4.23.xml	2.018	0.131
6	tpdb-8.0/TRS/AG01_innermost/#4.26.xml	2.183	0.165
7	tpdb-8.0/TRS/AG01_innermost/#4.28.xml	1.693	0.149
8	tpdb-8.0/TRS/AG01_innermost/#4.30b.xml	5.836	1.418
9	tpdb-8.0/TRS/AG01_innermost/#4.3.xml	1.742	0.087
10	tpdb-8.0/TRS/AG01_innermost/#4.7.xml	1.744	0.084
11	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml	2.418	0.126
12	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml	2.605	0.158
13	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml	2.659	60.094
14	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml	2.907	19.411
15	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml	2.505	1.991
16	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml	2.455	0.139
17	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml	4.404	60.098
18	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml	2.307	0.131
19	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml	2.359	0.141
20	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml	4.355	1.348
21	tpdb-8.0/TRS/Mixed_innermost/cade05.xml	3.256	70.327
22	tpdb-8.0/TRS/Mixed_innermost/cade13.xml	2.978	36.829
23	tpdb-8.0/TRS/Mixed_innermost/gkg.xml	1.8	0.086
24	tpdb-8.0/TRS/Mixed_innermost/innermost4.xml	2.336	1.886
25	tpdb-8.0/TRS/Mixed_innermost/test10.xml	1.899	0.115
26	tpdb-8.0/TRS/Mixed_innermost/test75.xml	2.52	0.217
27	tpdb-8.0/TRS/Mixed_innermost/test77.xml	2.332	0.273
28	tpdb-8.0/TRS/Mixed_innermost/test9.xml	2.113	0.299
29	tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml	5.197	83.372
30	tpdb-8.0/TRS/Mixed_innermost/toyama.xml	1.743	0.087
31	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml	44.236	60.183
32	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml	38.952	61.495
33	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml	3.232	0.808
34	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml	1.917	0.158
35	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml	60.785	60.098
36	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml	60.577	60.095
37	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_C.xml	60.434	60.601
38	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml	2.014	0.129
39	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml	4.545	0.735
40	tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml	2.977	0.881

««

«

1

2

3

»

Last