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 (2011-0.1)

MAYBE

Average time	22.688
Total time	136.127
# Results	6

Average time
Total time
# Results

NO

Average time
Total time
# Results

Average time	1.053
Total time	2.105
# Results	2

TIMEOUT

Average time	60.083
Total time	360.495
# Results	6

Average time	60.641
Total time	363.846
# Results	6

YES

Average time	6.197
Total time	161.129
# Results	26

Average time	1.894
Total time	56.806
# Results	30

Actions

Results

Termination Problem

VMTL (1.4)

AProVE (2011-0.1)


1	tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml	0.434	0.809
2	tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml	0.979	0.905
3	tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml	0.663	0.913
4	tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml	4.98	0.848
5	tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml	0.319	0.855
6	tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml	1.417	0.876
7	tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml	2.259	1.025
8	tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml	34.465	60.676
9	tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml	49.35	60.569
10	tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml	0.718	0.828
11	tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml	0.952	1.052
12	tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml	1.074	1.117
13	tpdb-8.0/TRS/CSR_04/Ex9_BLR02.xml	1.854	0.966
14	tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml	1.637	1.813
15	tpdb-8.0/TRS/CSR_04/ExConc_Zan97.xml	0.488	0.812
16	tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml	2.355	1.263
17	tpdb-8.0/TRS/Maude_06/emmes.xml	60.086	60.51
18	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts-noand.xml	6.599	0.963
19	tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml	5.376	1.142
20	tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml	60.071	4.313
21	tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml	60.102	60.748
22	tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml	1.282	1.084
23	tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml	1.293	1.013
24	tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml	60.075	60.576
25	tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds.xml	60.094	60.767
26	tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds-noand.xml	1.664	1.322
27	tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts.xml	0.363	0.838
28	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml	0.725	0.913
29	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml	3.151	1.739
30	tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml	0.93	0.958
31	tpdb-8.0/TRS/Transformed_outermost_08/ex5.5.xml	37.186	1.041
32	tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml	1.032	0.907
33	tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml	0.771	0.885
34	tpdb-8.0/TRS/Transformed_outermost_08/f20.xml	55.629	5.208
35	tpdb-8.0/TRS/Transformed_outermost_08/f30.xml	17.683	6.36
36	tpdb-8.0/TRS/Transformed_outermost_08/f40.xml	57.988	6.709
37	tpdb-8.0/TRS/Transformed_outermost_08/f4.xml	1.64	1.053
38	tpdb-8.0/TRS/Transformed_outermost_08/morse.xml	60.067	8.381