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 Relative

Statistics

Result

TTT2Cert (2013_2)

AProVE-CeTA (TC 2013)

AProVE (TC 2013)

TTT2 (2013_1)

MAYBE

Average time	7.505
Total time	142.595
# Results	19

Average time	1.693
Total time	1.693
# Results	1

Average time
Total time
# Results

Average time	59.566
Total time	1131.752
# Results	19

NO

Average time	0.573
Total time	2.290
# Results	4

Average time	5.156
Total time	41.244
# Results	8

Average time	4.490
Total time	35.923
# Results	8

Average time	0.794
Total time	3.175
# Results	4

TIMEOUT

Average time
Total time
# Results

Average time	60.863
Total time	730.360
# Results	12

Average time	61.022
Total time	549.198
# Results	9

Average time
Total time
# Results

YES

Average time	0.929
Total time	19.517
# Results	21

Average time	4.473
Total time	102.879
# Results	23

Average time	3.383
Total time	91.331
# Results	27

Average time	1.776
Total time	37.305
# Results	21

Actions

Results

««

«

1

2

»

Last

Termination Problem

TTT2Cert (2013_2)

AProVE-CeTA (TC 2013)

AProVE (TC 2013)

TTT2 (2013_1)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	7.568	61.084	60.982	59.609
2	tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml	7.62	61.519	61.138	59.608
3	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	7.418	3.462	1.349	59.521
4	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	2.249	4.577	2.851	3.492
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	7.449	60.719	60.959	59.54
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	0.521	3.236	1.17	0.692
7	tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml	7.471	60.879	60.927	59.527
8	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	0.668	3.409	1.246	1.752
9	tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml	7.425	60.653	61.133	59.52
10	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	7.608	22.199	6.233	59.648
11	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	7.586	8.061	7.591	59.619
12	tpdb-8.0/TRS/Relative_05/rt1-1.xml	0.509	3.233	1.125	0.745
13	tpdb-8.0/TRS/Relative_05/rt1-2.xml	0.543	3.236	1.136	0.741
14	tpdb-8.0/TRS/Relative_05/rt1-3.xml	0.963	3.3	1.016	1.522
15	tpdb-8.0/TRS/Relative_05/rt1-4.xml	0.634	3.3	1.32	1.261
16	tpdb-8.0/TRS/Relative_05/rt1-5.xml	0.966	3.265	1.239	2.283
17	tpdb-8.0/TRS/Relative_05/rt2-1.xml	0.515	3.32	1.183	0.897
18	tpdb-8.0/TRS/Relative_05/rt2-2.xml	0.643	3.219	1.381	0.787
19	tpdb-8.0/TRS/Relative_05/rt2-3.xml	0.626	3.383	1.261	1.185
20	tpdb-8.0/TRS/Relative_05/rt2-4.xml	0.522	3.303	1.243	0.845
21	tpdb-8.0/TRS/Relative_05/rt2-5.xml	0.67	3.421	1.156	0.958
22	tpdb-8.0/TRS/Relative_05/rt2-7.xml	0.756	3.394	2.187	1.371
23	tpdb-8.0/TRS/Relative_05/rt2-8.xml	7.422	3.201	1.185	59.524
24	tpdb-8.0/TRS/Relative_05/rt3-1.xml	0.567	3.383	1.362	0.991
25	tpdb-8.0/TRS/Relative_05/rt3-2.xml	0.681	3.332	1.276	1.587
26	tpdb-8.0/TRS/Relative_05/rt3-3.xml	7.414	3.097	1.148	59.516
27	tpdb-8.0/TRS/Relative_05/rt3-4.xml	7.425	1.693	20.121	59.581
28	tpdb-8.0/TRS/Relative_05/rt3-5.xml	0.876	3.732	3.111	2.747
29	tpdb-8.0/TRS/Relative_05/rt3-6.xml	0.712	3.338	1.12	0.708
30	tpdb-8.0/TRS/Relative_05/rt3-7.xml	0.704	3.461	1.301	1.459
31	tpdb-8.0/TRS/Relative_05/rt3-8.xml	0.51	3.153	1.138	0.683
32	tpdb-8.0/TRS/Relative_05/rt3-9.xml	0.938	3.436	1.472	2.246
33	tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml	7.48	60.674	6.738	59.561
34	tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml	7.482	60.727	13.005	59.559
35	tpdb-8.0/TRS/Relative_05/rtL-cbo.xml	7.464	60.635	61.151	59.551
36	tpdb-8.0/TRS/Relative_05/rtL-evnz.xml	7.525	18.108	27.198	59.566
37	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	0.547	3.649	1.615	1.092
38	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	1.214	3.512	1.47	3.577
39	tpdb-8.0/TRS/Relative_05/rtL-me3.xml	2.832	3.875	1.719	4.608
40	tpdb-8.0/TRS/Relative_05/rtL-pwl.xml	7.484	61.004	5.756	59.562

««

«

1

2

»

Last