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

AProVE (2011-0.1)

TTT2 (2011 fixed)

MAYBE

Average time
Total time
# Results

Average time	59.516
Total time	1190.314
# Results	20

NO

Average time	4.396
Total time	35.167
# Results	8

Average time	0.756
Total time	3.023
# Results	4

TIMEOUT

Average time	61.087
Total time	549.783
# Results	9

Average time
Total time
# Results

YES

Average time	7.594
Total time	205.026
# Results	27

Average time	1.703
Total time	34.069
# Results	20

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (2011-0.1)

TTT2 (2011 fixed)


1	tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml	61.225	59.557
2	tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml	61.253	59.567
3	tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml	1.039	59.468
4	tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml	2.905	4.507
5	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml	61.021	59.488
6	tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml	0.898	0.679
7	tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml	60.978	59.482
8	tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml	1.341	1.698
9	tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml	61.227	59.48
10	tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml	7.112	59.589
11	tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml	41.489	59.569
12	tpdb-8.0/TRS/Relative_05/rt1-1.xml	0.912	0.726
13	tpdb-8.0/TRS/Relative_05/rt1-2.xml	0.932	0.739
14	tpdb-8.0/TRS/Relative_05/rt1-3.xml	0.936	1.869
15	tpdb-8.0/TRS/Relative_05/rt1-4.xml	1.073	1.238
16	tpdb-8.0/TRS/Relative_05/rt1-5.xml	0.977	2.317
17	tpdb-8.0/TRS/Relative_05/rt2-1.xml	0.937	0.864
18	tpdb-8.0/TRS/Relative_05/rt2-2.xml	0.906	0.77
19	tpdb-8.0/TRS/Relative_05/rt2-3.xml	0.955	0.832
20	tpdb-8.0/TRS/Relative_05/rt2-4.xml	0.96	0.872
21	tpdb-8.0/TRS/Relative_05/rt2-5.xml	0.929	1.007
22	tpdb-8.0/TRS/Relative_05/rt2-7.xml	1.769	1.431
23	tpdb-8.0/TRS/Relative_05/rt2-8.xml	0.91	59.472
24	tpdb-8.0/TRS/Relative_05/rt3-1.xml	1.677	1.431
25	tpdb-8.0/TRS/Relative_05/rt3-2.xml	0.971	1.558
26	tpdb-8.0/TRS/Relative_05/rt3-3.xml	0.893	59.47
27	tpdb-8.0/TRS/Relative_05/rt3-4.xml	19.246	59.523
28	tpdb-8.0/TRS/Relative_05/rt3-5.xml	4.902	2.238
29	tpdb-8.0/TRS/Relative_05/rt3-6.xml	0.866	0.699
30	tpdb-8.0/TRS/Relative_05/rt3-7.xml	1.085	1.523
31	tpdb-8.0/TRS/Relative_05/rt3-8.xml	0.869	0.676
32	tpdb-8.0/TRS/Relative_05/rt3-9.xml	1.206	2.258
33	tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml	15.277	59.51
34	tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml	48.501	59.507
35	tpdb-8.0/TRS/Relative_05/rtL-cbo.xml	61.027	59.503
36	tpdb-8.0/TRS/Relative_05/rtL-evnz.xml	28.46	59.516
37	tpdb-8.0/TRS/Relative_05/rtL-evo.xml	1.232	0.969
38	tpdb-8.0/TRS/Relative_05/rtL-me2.xml	1.165	3.958
39	tpdb-8.0/TRS/Relative_05/rtL-me3.xml	1.481	59.507
40	tpdb-8.0/TRS/Relative_05/rtL-pwl.xml	43.577	59.511

««

«

1

2

»

Last