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 (TC 2012)

Average time	0.852
Total time	28.110
# Results	33

TIMEOUT

Average time	61.018
Total time	305.089
# Results	5

YES

Average time	11.453
Total time	263.415
# Results	23

Actions

Results

««

Last

Termination Problem

AProVE (TC 2012)


1	tpdb-8.0/TRS/Mixed_outermost/afbg.xml	29.931
2	tpdb-8.0/TRS/Mixed_outermost/even.xml	0.808
3	tpdb-8.0/TRS/Mixed_outermost/ex1.xml	1.154
4	tpdb-8.0/TRS/Mixed_outermost/ex5.xml	0.932
5	tpdb-8.0/TRS/Mixed_outermost/ex6.xml	1.027
6	tpdb-8.0/TRS/Mixed_outermost/gfb.xml	0.982
7	tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml	0.961
8	tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml	1.598
9	tpdb-8.0/TRS/Mixed_outermost/odd.xml	2.001
10	tpdb-8.0/TRS/Mixed_outermost/patterns1.xml	24.129
11	tpdb-8.0/TRS/Mixed_outermost/patterns2.xml	27.922
12	tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml	0.816
13	tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml	1.127
14	tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml	0.855
15	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml	0.824
16	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml	0.818
17	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml	0.809
18	tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml	0.815
19	tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml	0.839
20	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml	0.779
21	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml	0.849
22	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml	0.943
23	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04.xml	43.392
24	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml	0.822
25	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml	0.786
26	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml	0.787
27	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97.xml	0.824
28	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml	0.803
29	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml	0.812
30	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml	0.815
31	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml	0.851
32	tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml	0.867
33	tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml	0.809
34	tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml	60.979
35	tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml	0.802
36	tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml	0.893
37	tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml	0.97
38	tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml	0.788
39	tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml	61.182
40	tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml	0.792

««

Last