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 (0.9)

AProVE (1.8)

muterm (5.05)

Jambox (2009_b)

VMTL (1.4)

MAYBE

Average time	5.282
Total time	676.105
# Results	128

Average time
Total time
# Results

Average time	10.322
Total time	619.297
# Results	60

Average time	11.318
Total time	1041.275
# Results	92

Average time	27.409
Total time	1096.357
# Results	40

Average time	0.262
Total time	12.333
# Results	47

Average time	4.653
Total time	279.194
# Results	60

Average time	1.977
Total time	57.328
# Results	29

Average time	0.176
Total time	1.230
# Results	7

Average time	6.993
Total time	125.874
# Results	18

TIMEOUT

Average time	60.318
Total time	241.272
# Results	4

Average time	60.548
Total time	2361.368
# Results	39

Average time	64.600
Total time	7622.796
# Results	118

Average time	60.257
Total time	5543.631
# Results	92

Average time	60.203
Total time	11920.255
# Results	198

YES

Average time	0.652
Total time	145.972
# Results	224

Average time	4.610
Total time	1401.559
# Results	304

Average time	1.134
Total time	222.194
# Results	196

Average time	2.985
Total time	632.858
# Results	212

Average time	3.444
Total time	506.270
# Results	147

Actions

Results

««

Last

Termination Problem

TTT2 (0.9)

AProVE (1.8)

muterm (5.05)

Jambox (2009_b)

VMTL (1.4)


1	tpdb-8.0/TRS/AG01/#3.12.xml	0.35	2.062	0.126	0.338	1.023
2	tpdb-8.0/TRS/AG01/#3.15.xml	0.21	1.814	0.133	0.293	0.547
3	tpdb-8.0/TRS/AG01/#3.17a.xml	0.538	2.214	0.153	0.404	4.242
4	tpdb-8.0/TRS/AG01/#3.1.xml	0.383	1.921	0.13	1.446	0.805
5	tpdb-8.0/TRS/AG01/#3.21.xml	0.365	1.849	0.197	1.294	60.218
6	tpdb-8.0/TRS/AG01/#3.26.xml	0.296	2.198	0.147	1.231	0.666
7	tpdb-8.0/TRS/AG01/#3.47.xml	0.319	1.804	0.104	0.88	0.544
8	tpdb-8.0/TRS/AG01/#3.53b.xml	0.249	1.806	0.107	1.393	0.481
9	tpdb-8.0/TRS/AG01/#3.53.xml	1.045	2.244	0.178	2.93	2.181
10	tpdb-8.0/TRS/AG01/#3.55.xml	1.321	2.506	0.198	4.194	3.004
11	tpdb-8.0/TRS/AG01/#3.56.xml	0.249	2.015	0.145	0.873	0.973
12	tpdb-8.0/TRS/AG01/#3.57.xml	1.254	2.393	0.175	3.322	3.702
13	tpdb-8.0/TRS/AG01/#3.5a.xml	0.59	2.116	0.131	2.042	1.632
14	tpdb-8.0/TRS/AG01/#3.6a.xml	0.57	2.292	0.133	2.197	1.643
15	tpdb-8.0/TRS/AG01/#4.30c.xml	5.236	14.461	3.156	60.237	60.193
16	tpdb-8.0/TRS/AotoYamada_05/001.xml	0.156	2.376	42.596	4.269	30.272
17	tpdb-8.0/TRS/AotoYamada_05/002.xml	0.399	2.141	0.116	1.825	60.208
18	tpdb-8.0/TRS/AotoYamada_05/005.xml	0.175	1.791	0.172	0.285	1.341
19	tpdb-8.0/TRS/AotoYamada_05/007.xml	0.404	2.059	0.217	1.869	59.739
20	tpdb-8.0/TRS/AotoYamada_05/010.xml	0.928	23.2	0.716	3.551	60.193
21	tpdb-8.0/TRS/AotoYamada_05/016.xml	0.525	2.383	0.123	2.5	60.198
22	tpdb-8.0/TRS/AotoYamada_05/017.xml	0.169	1.742	0.136	0.236	0.334
23	tpdb-8.0/TRS/AotoYamada_05/019.xml	0.372	1.798	0.11	1.189	17.846
24	tpdb-8.0/TRS/AotoYamada_05/023.xml	0.169	1.793	0.131	0.241	0.699
25	tpdb-8.0/TRS/AotoYamada_05/028.xml	0.361	2.015	0.124	1.654	60.209
26	tpdb-8.0/TRS/Applicative_05/BTreeMember.xml	0.258	2.27	0.129	3.156	9.551
27	tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	0.162	1.685	0.103	0.236	0.338
28	tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml	2.627	8.636	60.1	11.347	35.066
29	tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml	0.315	1.905	0.402	1.6	60.194
30	tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	0.538	1.852	0.111	1.389	60.199
31	tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml	5.267	60.543	60.099	60.27	60.209
32	tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml	5.287	60.662	60.111	60.305	60.205
33	tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml	0.588	2.281	3.783	6.035	60.204
34	tpdb-8.0/TRS/Applicative_05/nonTermF.xml	5.21	11.352	60.094	60.229	60.205
35	tpdb-8.0/TRS/Applicative_05/termMonTypes.xml	0.209	3.336	60.098	17.775	60.208
36	tpdb-8.0/TRS/Applicative_first_order_05/01.xml	0.712	2.383	0.121	3.572	60.208
37	tpdb-8.0/TRS/Applicative_first_order_05/08.xml	0.88	2.806	0.172	3.058	60.211
38	tpdb-8.0/TRS/Applicative_first_order_05/12.xml	0.913	2.631	2.45	4.499	60.204
39	tpdb-8.0/TRS/Applicative_first_order_05/17.xml	0.745	2.751	1.235	2.967	60.208
40	tpdb-8.0/TRS/Applicative_first_order_05/18.xml	0.662	2.378	0.145	2.755	60.207

««

Last