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 Contextsensitive

Statistics

Result

VMTL (1.4)

AProVE (1.8)

muterm (5.05)

Jambox (2009_b)

MAYBE

Average time	48.017
Total time	48.017
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

Average time	11.881
Total time	95.047
# Results	8

TIMEOUT

Average time	60.224
Total time	421.570
# Results	7

Average time	60.623
Total time	181.870
# Results	3

Average time	62.470
Total time	187.411
# Results	3

Average time	60.267
Total time	60.267
# Results	1

YES

Average time	6.708
Total time	194.545
# Results	29

Average time	3.084
Total time	104.862
# Results	34

Average time	1.277
Total time	43.428
# Results	34

Average time	2.292
Total time	64.185
# Results	28

Actions

Results

Termination Problem

VMTL (1.4)

AProVE (1.8)

muterm (5.05)

Jambox (2009_b)


1	tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml	1.635	1.844	0.109	0.389
2	tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml	0.385	1.912	0.084	1.047
3	tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml	5.125	1.872	0.121	0.25
4	tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml	0.722	1.761	0.084	0.232
5	tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml	0.337	1.899	0.084	1.194
6	tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml	0.385	1.862	0.085	0.243
7	tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml	2.429	1.929	0.11	0.635
8	tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml	1.608	1.864	0.108	0.282
9	tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml	1.5	2.188	0.157	8.639
10	tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml	0.646	1.859	0.108	2.496
11	tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml	2.441	2.03	0.375	0.509
12	tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml	29.062	3.181	2.642	4.44
13	tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml	48.017	60.541	60.112	8.984
14	tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml	0.752	1.804	0.109	0.284
15	tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml	1.642	2.176	0.121	10.911
16	tpdb-8.0/TRS/CSR_04/ExIntrod_Zan97.xml	60.225	60.732	60.45	3.862
17	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete-noand.xml	5.808	6.57	0.776	5.073
18	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml	60.25	2.674	4.193	10.124
19	tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml	60.215	4.885	0.57	60.267
20	tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts-noand.xml	54.496	2.489	0.147	11.83
21	tpdb-8.0/TRS/Maude_06/MYNAT_complete.xml	60.239	6.053	18.36	6.785
22	tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml	1.647	2.294	0.111	1.039
23	tpdb-8.0/TRS/Maude_06/MYNAT_nokinds.xml	60.233	3.064	1.996	3.197
24	tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml	0.386	1.866	0.113	0.284
25	tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml	60.207	60.597	66.849	42.473
26	tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml	8.15	8.501	0.385	3.313
27	tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds.xml	1.118	2.282	0.145	0.547
28	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml	0.804	1.918	0.125	0.456
29	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml	0.546	1.852	0.13	0.284
30	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml	0.891	1.911	0.138	1.459
31	tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml	0.911	1.907	0.119	1.391
32	tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml	0.992	1.955	0.165	0.296
33	tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml	0.863	1.907	0.108	0.618
34	tpdb-8.0/TRS/Transformed_outermost_08/f20.xml	51.444	5.937	3.623	5.852
35	tpdb-8.0/TRS/Transformed_outermost_08/f30.xml	16.131	6.362	0.404	7.105
36	tpdb-8.0/TRS/Transformed_outermost_08/f4.xml	1.689	2.128	0.218	1.655
37	tpdb-8.0/TRS/Transformed_outermost_08/morse.xml	60.201	10.126	7.305	11.054