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 Outermost

Statistics

Result

AProVE (2011-0.1)

Average time	1.024
Total time	29.688
# Results	29

TIMEOUT

Average time	60.932
Total time	548.388
# Results	9

YES

Average time	9.269
Total time	213.185
# Results	23

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/TRS/Mixed_outermost/afbg.xml	45.0
2	tpdb-8.0/TRS/Mixed_outermost/even.xml	0.846
3	tpdb-8.0/TRS/Mixed_outermost/ex1.xml	1.203
4	tpdb-8.0/TRS/Mixed_outermost/ex2.xml	7.301
5	tpdb-8.0/TRS/Mixed_outermost/ex3.xml	1.535
6	tpdb-8.0/TRS/Mixed_outermost/ex4.xml	1.014
7	tpdb-8.0/TRS/Mixed_outermost/ex6.xml	1.132
8	tpdb-8.0/TRS/Mixed_outermost/gfb.xml	1.109
9	tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml	1.332
10	tpdb-8.0/TRS/Mixed_outermost/odd.xml	2.226
11	tpdb-8.0/TRS/Mixed_outermost/patterns1.xml	32.497
12	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml	0.866
13	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml	0.838
14	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml	0.783
15	tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml	0.756
16	tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml	0.851
17	tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml	60.777
18	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml	0.838
19	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml	4.403
20	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml	0.764
21	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml	0.786
22	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml	11.236
23	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03.xml	0.834
24	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml	0.936
25	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml	61.03
26	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml	0.742
27	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml	8.876
28	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml	0.841
29	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml	0.863
30	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml	0.808
31	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml	0.735
32	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml	0.847
33	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml	20.556
34	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml	0.79
35	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml	61.065
36	tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97.xml	0.743
37	tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml	0.772
38	tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml	0.747
39	tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml	60.667
40	tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml	0.736

««

Last