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 (TC 2012)

MAYBE

Average time	26.705
Total time	133.525
# Results	5

Average time
Total time
# Results

NO

Average time
Total time
# Results

Average time	1.072
Total time	2.144
# Results	2

TIMEOUT

Average time	60.089
Total time	240.356
# Results	4

Average time	60.814
Total time	60.814
# Results	1

YES

Average time	3.548
Total time	102.901
# Results	29

Average time	1.936
Total time	67.776
# Results	35

Actions

Results

Termination Problem

VMTL (1.4)

AProVE (TC 2012)


1	tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml	1.172	0.93
2	tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml	1.006	1.139
3	tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml	0.685	0.862
4	tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml	0.314	0.88
5	tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml	1.88	1.0
6	tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml	0.561	0.828
7	tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml	0.319	0.87
8	tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml	0.991	0.91
9	tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml	1.023	1.162
10	tpdb-8.0/TRS/CSR_04/Ex9_Luc04.xml	1.597	1.053
11	tpdb-8.0/TRS/CSR_04/Ex9_Luc06.xml	52.101	1.081
12	tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml	1.56	1.373
13	tpdb-8.0/TRS/CSR_04/ExIntrod_GM01.xml	0.795	0.972
14	tpdb-8.0/TRS/CSR_04/ExIntrod_GM04.xml	0.79	0.978
15	tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml	2.258	1.244
16	tpdb-8.0/TRS/CSR_04/ExProp7_Luc06.xml	3.612	0.941
17	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete.xml	60.09	16.961
18	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml	60.095	1.447
19	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml	5.42	0.97
20	tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml	60.09	60.814
21	tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand-peanoSimple.xml	3.55	2.38
22	tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand.xml	60.081	2.63
23	tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml	0.445	0.955
24	tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand.xml	28.621	1.111
25	tpdb-8.0/TRS/Maude_06/OvConsOS_complete-noand.xml	11.308	5.914
26	tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts-noand.xml	44.073	1.174
27	tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml	7.271	4.763
28	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml	0.731	0.936
29	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml	3.31	1.737
30	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex3.xml	1.193	1.021
31	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex4.xml	0.485	0.891
32	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml	0.492	0.914
33	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml	0.856	0.992
34	tpdb-8.0/TRS/Transformed_outermost_08/ex5.3.xml	0.638	0.966
35	tpdb-8.0/TRS/Transformed_outermost_08/ex5.4.xml	38.158	1.069
36	tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml	0.771	1.049
37	tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml	0.972	0.946
38	tpdb-8.0/TRS/Transformed_outermost_08/f30.xml	17.468	4.871