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 Certifying

Statistics

Result

TTT2Cert (2011)

AProVE-A3PAT (2011-0.2)

AProVE-CeTA (2011-0.1)

AProVE-A3PAT (2011-0.1)

MAYBE

Average time	32.463
Total time	3376.116
# Results	104

Average time
Total time
# Results

Average time	4.200
Total time	12.599
# Results	3

Average time	9.242
Total time	767.055
# Results	83

NO

Average time	0.406
Total time	17.033
# Results	42

Average time
Total time
# Results

Average time	2.956
Total time	127.120
# Results	43

Average time
Total time
# Results

TIMEOUT

Average time	60.038
Total time	120.075
# Results	2

Average time
Total time
# Results

Average time	61.100
Total time	4582.531
# Results	75

Average time	60.555
Total time	7145.482
# Results	118

YES

Average time	3.093
Total time	646.425
# Results	209

Average time	4.959
Total time	773.668
# Results	156

Average time	5.746
Total time	1356.166
# Results	236

Average time	5.053
Total time	788.232
# Results	156

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

»

Last

Termination Problem

TTT2Cert (2011)

AProVE-A3PAT (2011-0.2)

AProVE-CeTA (2011-0.1)

AProVE-A3PAT (2011-0.1)


1	tpdb-8.0/TRS/AG01/#3.12.xml	1.656	2.694	2.982	2.601
2	tpdb-8.0/TRS/AG01/#3.19.xml	2.327	4.827	3.29	4.687
3	tpdb-8.0/TRS/AG01/#3.23.xml	0.702	2.631	2.59	2.655
4	tpdb-8.0/TRS/AG01/#3.29.xml	0.463	2.292	2.309	2.223
5	tpdb-8.0/TRS/AG01/#3.35.xml	0.659	2.41	2.474	2.348
6	tpdb-8.0/TRS/AG01/#3.36.xml	0.997	2.591	2.907	2.57
7	tpdb-8.0/TRS/AG01/#3.41.xml	0.954	2.869	3.003	2.873
8	tpdb-8.0/TRS/AG01/#3.47.xml	0.706	2.499	2.862	2.554
9	tpdb-8.0/TRS/AG01/#3.52.xml	0.78	2.657	2.652	2.684
10	tpdb-8.0/TRS/AG01/#3.53.xml	4.409	5.379	4.37	5.258
11	tpdb-8.0/TRS/AG01/#3.54.xml	0.898	2.672	2.624	2.65
12	tpdb-8.0/TRS/AG01/#3.5b.xml	1.946	4.821	4.102	4.927
13	tpdb-8.0/TRS/AG01/#3.5.xml	1.632	4.525	3.512	4.537
14	tpdb-8.0/TRS/AG01/#3.6a.xml	1.901	3.865	3.715	3.93
15	tpdb-8.0/TRS/AG01/#3.6b.xml	2.436	5.015	3.816	4.97
16	tpdb-8.0/TRS/AotoYamada_05/002.xml	1.352	5.686	4.02	5.758
17	tpdb-8.0/TRS/AotoYamada_05/006.xml	1.348		4.019	60.588
18	tpdb-8.0/TRS/AotoYamada_05/009.xml	1.499	4.049	3.753	4.443
19	tpdb-8.0/TRS/AotoYamada_05/010.xml	18.945		5.933	60.589
20	tpdb-8.0/TRS/AotoYamada_05/016.xml	1.701	11.412	4.571	11.757
21	tpdb-8.0/TRS/AotoYamada_05/021.xml	1.937		6.125	60.708
22	tpdb-8.0/TRS/AotoYamada_05/022.xml	1.254		3.69	60.208
23	tpdb-8.0/TRS/AotoYamada_05/024.xml	1.054	3.207	3.037	3.261
24	tpdb-8.0/TRS/AotoYamada_05/025.xml	0.449	2.125	2.312	2.177
25	tpdb-8.0/TRS/AotoYamada_05/028.xml	1.426		3.644	60.339
26	tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	0.513	2.143	2.299	2.171
27	tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	4.499	5.956	3.672	5.886
28	tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml	1.556		3.803	26.16
29	tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml	38.194		8.364	60.544
30	tpdb-8.0/TRS/Applicative_05/Hamming.xml	0.553		9.444	61.413
31	tpdb-8.0/TRS/Applicative_05/termMonTypes.xml	0.432		2.926	29.975
32	tpdb-8.0/TRS/Applicative_05/TypeEx3.xml	0.35		3.444	60.435
33	tpdb-8.0/TRS/Applicative_first_order_05/13.xml	10.305		8.545	60.614
34	tpdb-8.0/TRS/Applicative_first_order_05/17.xml	2.585		6.721	60.533
35	tpdb-8.0/TRS/Applicative_first_order_05/30.xml	3.081		6.981	60.83
36	tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml	2.623		7.001	60.639
37	tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml	11.505		7.409	60.573
38	tpdb-8.0/TRS/Applicative_first_order_05/31.xml	14.9		6.48	60.564
39	tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml	2.916		6.655	60.918
40	tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml	2.269		6.245	60.464

««

«

1

2

3

4

5

6

7

8

9

»

Last