Navigation
Home
Login
Register
«
Competition 
Competition List
Download current tools
«
Termexec 
Create an Experiment
View Experiments
View Tools
«
Help 
Registration
Tool management
Query interface
Category Results for TRS Relative

Statistics

Result
AProVE (1.8)
Jambox (2009_b)
MAYBE
Average time
Total time
# Results
Average time 4.300
Total time 25.801
# Results 6
NO
Average time 1.840
Total time 9.200
# Results 5
Average time
Total time
# Results
TIMEOUT
Average time 60.724
Total time 364.346
# Results 6
Average time 60.278
Total time 301.388
# Results 5
YES
Average time 2.920
Total time 26.281
# Results 9
Average time 1.030
Total time 9.270
# Results 9

Actions

Results

Termination Problem
AProVE (1.8)
Jambox (2009_b)
 
 
 
1
tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml
60.877
60.313
2
tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml
60.723
60.288
3
tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml
1.852
1.974
4
tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml
3.048
0.779
5
tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml
60.731
60.264
6
tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml
1.742
8.686
7
tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml
60.697
5.725
8
tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml
1.917
0.799
9
tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml
60.555
4.035
10
tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml
6.946
4.441
11
tpdb-8.0/TRS/Relative_05/rt1-3.xml
1.753
0.244
12
tpdb-8.0/TRS/Relative_05/rt2-2.xml
1.737
0.235
13
tpdb-8.0/TRS/Relative_05/rt2-7.xml
4.731
1.415
14
tpdb-8.0/TRS/Relative_05/rt3-6.xml
1.759
1.863
15
tpdb-8.0/TRS/Relative_05/rt3-8.xml
1.688
3.518
16
tpdb-8.0/TRS/Relative_05/rtL-evo.xml
2.159
60.25
17
tpdb-8.0/TRS/Relative_05/rtL-me2.xml
1.931
0.282
18
tpdb-8.0/TRS/Relative_05/rtL-me3.xml
2.027
0.357
19
tpdb-8.0/TRS/Relative_05/rtL-rw2.xml
60.763
60.273
20
tpdb-8.0/TRS/Relative_05/rtL-wl1nz.xml
2.191
0.718
Powered by Seam. Generated by seam-gen.
Version 3alpha.09.05.2011