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 (TC 2012)
TIMEOUT
Average time
60.052
Total time
120.103
# Results
2
Average time
Total time
# Results
YES
Average time
1.481
Total time
7.406
# Results
5
Average time
8.696
Total time
60.869
# Results
7
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
Termination Problem
VMTL (1.4)
AProVE (TC 2012)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml
60.049
23.782
2
tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml
60.054
30.126
3
tpdb-8.0/TRS/Mixed_CTRS/fib.xml
0.919
1.083
4
tpdb-8.0/TRS/Mixed_CTRS/gcd.xml
1.603
1.414
5
tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml
1.829
1.574
6
tpdb-8.0/TRS/Mixed_CTRS/quick.xml
1.549
1.575
7
tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml
1.506
1.315
Request being processed
Your request is being processed, please wait.