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)

muterm (5.07)

MAYBE

Average time	23.199
Total time	301.591
# Results	13

Average time
Total time
# Results

Average time	42.640
Total time	42.640
# Results	1

NO

Average time
Total time
# Results

Average time	1.013
Total time	4.051
# Results	4

Average time	0.810
Total time	3.239
# Results	4

TIMEOUT

Average time	60.087
Total time	1021.479
# Results	17

Average time	60.679
Total time	667.466
# Results	11

Average time	60.043
Total time	540.385
# Results	9

YES

Average time	4.462
Total time	352.519
# Results	79

Average time	1.732
Total time	162.794
# Results	94

Average time	1.077
Total time	102.319
# Results	95

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

VMTL (1.4)

AProVE (2011-0.1)

muterm (5.07)


1	tpdb-8.0/TRS/CSR_04/Ex1_2_AEL03.xml	1.325	1.234	0.073
2	tpdb-8.0/TRS/CSR_04/Ex1_2_Luc02c.xml	0.587	0.946	0.056
3	tpdb-8.0/TRS/CSR_04/Ex14_AEGL02.xml	0.602	0.89	0.076
4	tpdb-8.0/TRS/CSR_04/Ex14_Luc06.xml	1.927	1.242	0.769
5	tpdb-8.0/TRS/CSR_04/Ex15_Luc06.xml	0.518	0.841	0.041
6	tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml	1.793	0.879	0.062
7	tpdb-8.0/TRS/CSR_04/Ex16_Luc06.xml	0.294	0.911	0.05
8	tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml	0.464	0.834	0.045
9	tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml	0.973	0.901	0.076
10	tpdb-8.0/TRS/CSR_04/Ex1_GM03.xml	60.087	60.498	60.036
11	tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml	0.304	0.896	0.041
12	tpdb-8.0/TRS/CSR_04/Ex1_Luc02b.xml	0.846	1.066	0.061
13	tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml	0.716	0.914	0.063
14	tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml	5.128	0.865	0.078
15	tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml	0.664	0.824	0.04
16	tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml	0.309	0.908	0.041
17	tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml	0.307	0.846	0.041
18	tpdb-8.0/TRS/CSR_04/Ex25_Luc06.xml	0.67	0.854	0.06
19	tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml	2.131	0.95	0.065
20	tpdb-8.0/TRS/CSR_04/Ex2_Luc02a.xml	1.241	1.086	0.066
21	tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml	1.574	0.892	0.059
22	tpdb-8.0/TRS/CSR_04/Ex3_12_Luc96a.xml	0.64	0.98	0.067
23	tpdb-8.0/TRS/CSR_04/Ex3_2_Luc97.xml	2.01	60.672	60.04
24	tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml	1.765	0.896	0.063
25	tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml	0.542	0.778	0.063
26	tpdb-8.0/TRS/CSR_04/Ex4_7_15_Bor03.xml	0.565	0.886	0.078
27	tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml	1.393	1.832	0.364
28	tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml	0.603	1.005	0.066
29	tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml	0.311	0.85	0.042
30	tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml	2.302	1.017	0.345
31	tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml	26.621	2.435	2.945
32	tpdb-8.0/TRS/CSR_04/Ex4_Zan97.xml	0.732	1.062	0.06
33	tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml	27.435	60.632	60.043
34	tpdb-8.0/TRS/CSR_04/Ex5_DLMMU04.xml	2.239	1.054	0.063
35	tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml	0.538	0.844	0.095
36	tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml	48.849	60.623	60.044
37	tpdb-8.0/TRS/CSR_04/Ex6_9_Luc02c.xml	0.653	0.996	0.068
38	tpdb-8.0/TRS/CSR_04/Ex6_GM04.xml	0.426	0.848	0.044
39	tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml	0.695	0.842	0.06
40	tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml	0.956	1.08	0.062

««

«

1

2

3

»

Last