Navigation
«
»
Public
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 Conditional
Statistics
Result
AProVE (TC 2013)
YES
Average time
9.153
Total time
64.072
# Results
7
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
Termination Problem
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml
24.401
2
tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml
30.72
3
tpdb-8.0/TRS/Mixed_CTRS/fib.xml
1.432
4
tpdb-8.0/TRS/Mixed_CTRS/gcd.xml
1.773
5
tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml
1.973
6
tpdb-8.0/TRS/Mixed_CTRS/quick.xml
1.992
7
tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml
1.781
Request being processed
Your request is being processed, please wait.