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 Standard

Statistics

Result

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

VMTL (1.4)

MAYBE

Average time	36.175
Total time	5896.535
# Results	163

Average time
Total time
# Results

Average time
Total time
# Results

Average time	30.125
Total time	1415.860
# Results	47

NO

Average time	0.451
Total time	20.727
# Results	46

Average time	6.214
Total time	428.738
# Results	69

Average time	6.605
Total time	350.069
# Results	53

Average time	5.621
Total time	101.175
# Results	18

TIMEOUT

Average time	60.039
Total time	120.078
# Results	2

Average time	60.492
Total time	2782.651
# Results	46

Average time	60.804
Total time	6992.433
# Results	115

Average time	60.064
Total time	12433.190
# Results	207

YES

Average time	3.099
Total time	653.925
# Results	211

Average time	3.116
Total time	956.739
# Results	307

Average time	6.594
Total time	1674.928
# Results	254

Average time	3.705
Total time	555.821
# Results	150

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

»

Last

Termination Problem

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

VMTL (1.4)


1	tpdb-8.0/TRS/AG01/#3.10.xml	7.282	1.842	5.732	4.29
2	tpdb-8.0/TRS/AG01/#3.13.xml	4.646	1.746	4.264	2.178
3	tpdb-8.0/TRS/AG01/#3.17.xml	4.976	1.252	4.108	2.674
4	tpdb-8.0/TRS/AG01/#3.18.xml	2.162	1.191	3.204	1.079
5	tpdb-8.0/TRS/AG01/#3.19.xml	2.766	1.381	3.637	5.186
6	tpdb-8.0/TRS/AG01/#3.22.xml	1.851	1.216	3.687	50.591
7	tpdb-8.0/TRS/AG01/#3.31.xml	0.634	0.954	2.354	0.728
8	tpdb-8.0/TRS/AG01/#3.41.xml	0.952	1.036	2.587	4.168
9	tpdb-8.0/TRS/AG01/#3.48.xml	1.91	1.081	3.148	3.297
10	tpdb-8.0/TRS/AG01/#3.4.xml	1.894	1.16	3.198	1.602
11	tpdb-8.0/TRS/AG01/#3.52.xml	0.821	1.005	2.825	0.427
12	tpdb-8.0/TRS/AG01/#3.55.xml	6.377	1.796	4.725	2.71
13	tpdb-8.0/TRS/AG01/#3.56.xml	1.641	1.137	3.248	0.973
14	tpdb-8.0/TRS/AG01/#3.57.xml	4.883	1.393	4.398	3.199
15	tpdb-8.0/TRS/AG01/#3.6b.xml	2.72	1.455	3.768	1.946
16	tpdb-8.0/TRS/AotoYamada_05/001.xml	0.385	1.332	3.309	29.259
17	tpdb-8.0/TRS/AotoYamada_05/002.xml	1.544	1.222	3.672	60.076
18	tpdb-8.0/TRS/AotoYamada_05/009.xml	1.472	1.333	3.672	60.049
19	tpdb-8.0/TRS/AotoYamada_05/012.xml	1.626	1.258	3.857	60.05
20	tpdb-8.0/TRS/AotoYamada_05/014.xml	2.017	1.299	4.294	60.048
21	tpdb-8.0/TRS/AotoYamada_05/015.xml	1.737	1.164	3.624	60.047
22	tpdb-8.0/TRS/AotoYamada_05/017.xml	0.545	0.847	2.354	0.286
23	tpdb-8.0/TRS/AotoYamada_05/021.xml	2.104	1.37	4.451	60.05
24	tpdb-8.0/TRS/AotoYamada_05/023.xml	0.929	0.838	2.492	0.638
25	tpdb-8.0/TRS/AotoYamada_05/025.xml	0.529	0.833	2.316	0.26
26	tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml	10.889	60.638	60.484	60.053
27	tpdb-8.0/TRS/Applicative_05/BTreeMember.xml	2.394	1.413	4.296	8.602
28	tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml	1.852	1.349	4.584	60.052
29	tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	5.595	1.037	3.273	60.052
30	tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml	9.823	60.535	60.664	60.055
31	tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml	7.447	60.465	61.168	60.052
32	tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml	59.511	1.462	60.535	60.05
33	tpdb-8.0/TRS/Applicative_05/nonTermF.xml	0.733	5.658	4.578	60.054
34	tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	2.653	0.867	2.882	3.866
35	tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml	1.879	1.356	4.457	60.055
36	tpdb-8.0/TRS/Applicative_05/TreeHeight.xml	2.172	1.465	4.455	60.056
37	tpdb-8.0/TRS/Applicative_05/TypeEx3.xml	0.394	3.811	5.25	60.048
38	tpdb-8.0/TRS/Applicative_first_order_05/08.xml	2.769	1.797	6.01	60.055
39	tpdb-8.0/TRS/Applicative_first_order_05/18.xml	2.504	1.445	4.401	60.052
40	tpdb-8.0/TRS/Applicative_first_order_05/30.xml	3.525	2.239	7.647	41.859

««

«

1

2

3

4

5

6

7

8

9

10

11

»

Last