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

TTT2 (2011)

VMTL (1.4)

AProVE (2011-0.1)

MAYBE

Average time	10.195
Total time	1325.307
# Results	130

Average time	27.181
Total time	1250.347
# Results	46

Average time
Total time
# Results

NO

Average time	0.685
Total time	28.759
# Results	42

Average time	4.083
Total time	40.832
# Results	10

Average time	2.897
Total time	136.174
# Results	47

TIMEOUT

Average time
Total time
# Results

Average time	60.063
Total time	11952.628
# Results	199

Average time	60.460
Total time	3385.747
# Results	56

YES

Average time	1.649
Total time	380.974
# Results	231

Average time	3.924
Total time	580.818
# Results	148

Average time	3.492
Total time	1047.485
# Results	300

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

»

Last

Termination Problem

TTT2 (2011)

VMTL (1.4)

AProVE (2011-0.1)


1	tpdb-8.0/TRS/AG01/#3.12.xml	0.96	0.928	1.001
2	tpdb-8.0/TRS/AG01/#3.19.xml	1.423	5.064	1.401
3	tpdb-8.0/TRS/AG01/#3.23.xml	0.864	0.322	0.901
4	tpdb-8.0/TRS/AG01/#3.29.xml	0.519	0.303	0.807
5	tpdb-8.0/TRS/AG01/#3.35.xml	0.577	0.506	0.747
6	tpdb-8.0/TRS/AG01/#3.36.xml	0.98	1.762	1.3
7	tpdb-8.0/TRS/AG01/#3.41.xml	0.816	3.968	0.956
8	tpdb-8.0/TRS/AG01/#3.47.xml	0.77	0.496	0.922
9	tpdb-8.0/TRS/AG01/#3.52.xml	0.661	0.399	0.965
10	tpdb-8.0/TRS/AG01/#3.53.xml	2.285	1.831	1.38
11	tpdb-8.0/TRS/AG01/#3.54.xml	0.703	0.518	1.464
12	tpdb-8.0/TRS/AG01/#3.5b.xml	1.393	1.591	1.504
13	tpdb-8.0/TRS/AG01/#3.5.xml	1.232	1.203	1.368
14	tpdb-8.0/TRS/AG01/#3.6a.xml	1.593	1.539	1.468
15	tpdb-8.0/TRS/AG01/#3.6b.xml	1.921	2.041	1.556
16	tpdb-8.0/TRS/AotoYamada_05/002.xml	0.872	60.064	1.207
17	tpdb-8.0/TRS/AotoYamada_05/006.xml	0.9	60.065	1.156
18	tpdb-8.0/TRS/AotoYamada_05/009.xml	0.937	60.064	1.3
19	tpdb-8.0/TRS/AotoYamada_05/010.xml	2.469	60.072	19.454
20	tpdb-8.0/TRS/AotoYamada_05/016.xml	0.98	60.081	1.482
21	tpdb-8.0/TRS/AotoYamada_05/021.xml	1.009	60.089	1.339
22	tpdb-8.0/TRS/AotoYamada_05/022.xml	0.884	60.052	1.135
23	tpdb-8.0/TRS/AotoYamada_05/024.xml	0.698	50.567	0.981
24	tpdb-8.0/TRS/AotoYamada_05/025.xml	0.463	0.246	0.73
25	tpdb-8.0/TRS/AotoYamada_05/028.xml	0.836	60.058	1.188
26	tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml	10.699	60.074	60.435
27	tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml	10.683	60.054	60.485
28	tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	0.46	0.312	0.764
29	tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml	10.554	50.134	60.504
30	tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml	10.667	60.073	60.56
31	tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	0.693	60.053	0.982
32	tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml	10.625	60.069	60.525
33	tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml	0.865	60.06	1.22
34	tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml	10.673	60.05	11.297
35	tpdb-8.0/TRS/Applicative_05/Hamming.xml	1.835	60.071	3.274
36	tpdb-8.0/TRS/Applicative_05/termMonTypes.xml	0.769	60.056	1.971
37	tpdb-8.0/TRS/Applicative_05/TypeEx3.xml	0.445	60.053	4.359
38	tpdb-8.0/TRS/Applicative_first_order_05/13.xml	7.398	60.077	12.878
39	tpdb-8.0/TRS/Applicative_first_order_05/17.xml	1.238	60.058	1.836
40	tpdb-8.0/TRS/Applicative_first_order_05/30.xml	1.934	42.88	2.528

««

«

1

2

3

4

5

6

7

8

9

10

11

»

Last