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.497
Total time	279.855
# Results	187

TIMEOUT

Average time	60.944
Total time	2559.668
# Results	42

YES

Average time	9.464
Total time	586.783
# Results	62

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/TRS/Mixed_outermost/afbg.xml	45.664
2	tpdb-8.0/TRS/Mixed_outermost/even.xml	0.852
3	tpdb-8.0/TRS/Mixed_outermost/ex1.xml	1.227
4	tpdb-8.0/TRS/Mixed_outermost/ex2.xml	7.775
5	tpdb-8.0/TRS/Mixed_outermost/ex3.xml	1.617
6	tpdb-8.0/TRS/Mixed_outermost/ex4.xml	1.029
7	tpdb-8.0/TRS/Mixed_outermost/ex5.xml	1.029
8	tpdb-8.0/TRS/Mixed_outermost/ex6.xml	1.126
9	tpdb-8.0/TRS/Mixed_outermost/gfb.xml	1.096
10	tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml	1.056
11	tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml	1.332
12	tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml	1.977
13	tpdb-8.0/TRS/Mixed_outermost/odd.xml	2.221
14	tpdb-8.0/TRS/Mixed_outermost/patterns1.xml	33.007
15	tpdb-8.0/TRS/Mixed_outermost/patterns2.xml	29.799
16	tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml	0.866
17	tpdb-8.0/TRS/Strategy_outermost_added_08/003.xml	0.897
18	tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml	1.164
19	tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml	1.068
20	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml	0.87
21	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml	20.873
22	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.14.xml	0.848
23	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml	0.827
24	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml	0.821
25	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.17.xml	0.844
26	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml	0.84
27	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml	0.849
28	tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml	0.789
29	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml	0.85
30	tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml	15.151
31	tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml	0.841
32	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml	0.855
33	tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml	0.881
34	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml	0.832
35	tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml	60.658
36	tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml	0.858
37	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml	0.794
38	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml	0.868
39	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml	0.737
40	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml	0.787

««

Last