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 2013)

AProVE-CeTA (TC 2013)

muterm (5.08)

MAYBE

Average time	0.426
Total time	6.821
# Results	16

Average time	0.877
Total time	14.027
# Results	16

Average time	6.973
Total time	34.863
# Results	5

NO

Average time	3.412
Total time	20.474
# Results	6

Average time	11.223
Total time	67.335
# Results	6

Average time
Total time
# Results

TIMEOUT

Average time	60.446
Total time	5802.792
# Results	96

Average time	61.380
Total time	6567.676
# Results	107

Average time	60.071
Total time	9431.218
# Results	157

YES

Average time	4.220
Total time	1097.197
# Results	260

Average time	9.783
Total time	2435.986
# Results	249

Average time	2.883
Total time	622.800
# Results	216

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

10

»

Last

Termination Problem

AProVE (TC 2013)

AProVE-CeTA (TC 2013)

muterm (5.08)


1	tpdb-8.0/TRS/AG01_innermost/#4.12a.xml	1.608	3.599	0.254
2	tpdb-8.0/TRS/AG01_innermost/#4.13.xml	1.19	3.476	0.042
3	tpdb-8.0/TRS/AG01_innermost/#4.14.xml	1.263	3.529	0.055
4	tpdb-8.0/TRS/AG01_innermost/#4.15.xml	1.339	3.855	0.057
5	tpdb-8.0/TRS/AG01_innermost/#4.16.xml	1.246	3.537	0.054
6	tpdb-8.0/TRS/AG01_innermost/#4.17.xml	1.415	4.981	6.915
7	tpdb-8.0/TRS/AG01_innermost/#4.18.xml	1.164	3.223	0.043
8	tpdb-8.0/TRS/AG01_innermost/#4.19.xml	1.319	3.811	0.058
9	tpdb-8.0/TRS/AG01_innermost/#4.20a.xml	1.016	3.389	0.074
10	tpdb-8.0/TRS/AG01_innermost/#4.20.xml	1.022	3.478	0.042
11	tpdb-8.0/TRS/AG01_innermost/#4.21.xml	1.017	3.42	0.042
12	tpdb-8.0/TRS/AG01_innermost/#4.22.xml	1.276	3.717	0.056
13	tpdb-8.0/TRS/AG01_innermost/#4.23.xml	1.56	4.119	0.077
14	tpdb-8.0/TRS/AG01_innermost/#4.24.xml	1.471	4.433	0.059
15	tpdb-8.0/TRS/AG01_innermost/#4.25.xml	1.284	3.607	0.145
16	tpdb-8.0/TRS/AG01_innermost/#4.26.xml	1.75	4.361	0.117
17	tpdb-8.0/TRS/AG01_innermost/#4.27.xml	1.406	4.261	0.094
18	tpdb-8.0/TRS/AG01_innermost/#4.28.xml	1.025	3.918	0.096
19	tpdb-8.0/TRS/AG01_innermost/#4.29.xml	1.921	5.225	0.177
20	tpdb-8.0/TRS/AG01_innermost/#4.2.xml	1.271	3.638	0.055
21	tpdb-8.0/TRS/AG01_innermost/#4.30a.xml	2.059	4.542	0.238
22	tpdb-8.0/TRS/AG01_innermost/#4.30b.xml	4.421	33.501	3.135
23	tpdb-8.0/TRS/AG01_innermost/#4.30.xml	4.749	26.833	5.504
24	tpdb-8.0/TRS/AG01_innermost/#4.31.xml	3.715	5.104	10.543
25	tpdb-8.0/TRS/AG01_innermost/#4.32.xml	1.301	3.782	0.067
26	tpdb-8.0/TRS/AG01_innermost/#4.33.xml	1.624	4.941	0.119
27	tpdb-8.0/TRS/AG01_innermost/#4.34.xml	1.608	3.994	0.115
28	tpdb-8.0/TRS/AG01_innermost/#4.35.xml	2.49	6.887	0.368
29	tpdb-8.0/TRS/AG01_innermost/#4.36.xml	2.191	6.215	0.171
30	tpdb-8.0/TRS/AG01_innermost/#4.37a.xml	1.417	3.435	0.089
31	tpdb-8.0/TRS/AG01_innermost/#4.37.xml	1.364	3.346	0.089
32	tpdb-8.0/TRS/AG01_innermost/#4.3.xml	1.236	3.433	0.042
33	tpdb-8.0/TRS/AG01_innermost/#4.4.xml	1.185	3.348	0.043
34	tpdb-8.0/TRS/AG01_innermost/#4.5.xml	1.245	3.59	0.043
35	tpdb-8.0/TRS/AG01_innermost/#4.7.xml	1.217	3.779	0.045
36	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml	1.793	5.248	0.08
37	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml	1.918	5.782	0.099
38	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml	2.053	6.631	0.107
39	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml	2.046	16.815	3.69
40	tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml	2.117	6.409	60.056

««

«

1

2

3

4

5

6

7

8

9

10

»

Last