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)

muterm (5.07)

MAYBE

Average time
Total time
# Results

Average time	20.774
Total time	145.415
# Results	7

NO

Average time	4.474
Total time	26.844
# Results	6

Average time
Total time
# Results

TIMEOUT

Average time	60.522
Total time	5870.591
# Results	97

Average time	60.053
Total time	9308.145
# Results	155

YES

Average time	4.319
Total time	1101.410
# Results	255

Average time	2.736
Total time	536.307
# Results	196

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

»

Last

Termination Problem

AProVE (2011-0.1)

muterm (5.07)


1	tpdb-8.0/TRS/AG01_innermost/#4.12a.xml	1.17	0.321
2	tpdb-8.0/TRS/AG01_innermost/#4.13.xml	0.884	0.095
3	tpdb-8.0/TRS/AG01_innermost/#4.14.xml	0.938	0.067
4	tpdb-8.0/TRS/AG01_innermost/#4.15.xml	0.977	0.071
5	tpdb-8.0/TRS/AG01_innermost/#4.16.xml	0.908	0.117
6	tpdb-8.0/TRS/AG01_innermost/#4.17.xml	1.09	6.505
7	tpdb-8.0/TRS/AG01_innermost/#4.18.xml	1.016	0.115
8	tpdb-8.0/TRS/AG01_innermost/#4.19.xml	0.953	0.104
9	tpdb-8.0/TRS/AG01_innermost/#4.20a.xml	0.741	0.09
10	tpdb-8.0/TRS/AG01_innermost/#4.20.xml	0.765	0.047
11	tpdb-8.0/TRS/AG01_innermost/#4.21.xml	0.771	0.051
12	tpdb-8.0/TRS/AG01_innermost/#4.22.xml	0.924	0.075
13	tpdb-8.0/TRS/AG01_innermost/#4.23.xml	1.352	0.088
14	tpdb-8.0/TRS/AG01_innermost/#4.24.xml	1.1	0.068
15	tpdb-8.0/TRS/AG01_innermost/#4.25.xml	0.954	0.151
16	tpdb-8.0/TRS/AG01_innermost/#4.26.xml	1.33	0.184
17	tpdb-8.0/TRS/AG01_innermost/#4.27.xml	1.022	0.111
18	tpdb-8.0/TRS/AG01_innermost/#4.28.xml	0.793	0.1
19	tpdb-8.0/TRS/AG01_innermost/#4.29.xml	1.562	0.166
20	tpdb-8.0/TRS/AG01_innermost/#4.2.xml	0.926	0.061
21	tpdb-8.0/TRS/AG01_innermost/#4.30a.xml	1.543	0.231
22	tpdb-8.0/TRS/AG01_innermost/#4.30b.xml	4.314	3.066
23	tpdb-8.0/TRS/AG01_innermost/#4.30.xml	4.152	5.22
24	tpdb-8.0/TRS/AG01_innermost/#4.31.xml	2.876	7.789
25	tpdb-8.0/TRS/AG01_innermost/#4.32.xml	0.962	0.068
26	tpdb-8.0/TRS/AG01_innermost/#4.33.xml	1.182	0.116
27	tpdb-8.0/TRS/AG01_innermost/#4.34.xml	1.142	0.109
28	tpdb-8.0/TRS/AG01_innermost/#4.35.xml	2.234	0.258
29	tpdb-8.0/TRS/AG01_innermost/#4.36.xml	1.842	0.157
30	tpdb-8.0/TRS/AG01_innermost/#4.37a.xml	1.029	0.091
31	tpdb-8.0/TRS/AG01_innermost/#4.37.xml	0.969	0.094
32	tpdb-8.0/TRS/AG01_innermost/#4.3.xml	0.874	0.043
33	tpdb-8.0/TRS/AG01_innermost/#4.4.xml	0.876	0.097
34	tpdb-8.0/TRS/AG01_innermost/#4.5.xml	1.247	0.042
35	tpdb-8.0/TRS/AG01_innermost/#4.7.xml	0.87	0.053
36	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml	1.447	0.09
37	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml	1.527	0.095
38	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml	1.681	0.146
39	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml	1.692	3.777
40	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml	1.756	60.045

««

«

1

2

3

4

5

6

7

8

9

»

Last