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
VMTL (1.4)
AProVE (2011-0.1)
TIMEOUT
Average time
60.066
Total time
120.131
# Results
2
Average time
Total time
# Results
YES
Average time
1.612
Total time
8.060
# Results
5
Average time
9.561
Total time
66.926
# Results
7
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
Termination Problem
VMTL (1.4)
AProVE (2011-0.1)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml
60.052
24.111
2
tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml
60.079
35.945
3
tpdb-8.0/TRS/Mixed_CTRS/fib.xml
0.942
1.053
4
tpdb-8.0/TRS/Mixed_CTRS/gcd.xml
1.884
1.408
5
tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml
2.012
1.548
6
tpdb-8.0/TRS/Mixed_CTRS/quick.xml
1.692
1.567
7
tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml
1.53
1.294
Request being processed
Your request is being processed, please wait.