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 (1.8)
VMTL (1.4)
TIMEOUT
Average time
Total time
# Results
Average time
60.201
Total time
120.402
# Results
2
YES
Average time
12.768
Total time
89.374
# Results
7
Average time
1.750
Total time
8.748
# Results
5
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
Termination Problem
AProVE (1.8)
VMTL (1.4)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml
37.053
60.201
2
tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml
41.219
60.201
3
tpdb-8.0/TRS/Mixed_CTRS/fib.xml
1.911
0.996
4
tpdb-8.0/TRS/Mixed_CTRS/gcd.xml
2.301
1.855
5
tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml
2.348
1.967
6
tpdb-8.0/TRS/Mixed_CTRS/quick.xml
2.368
2.026
7
tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml
2.174
1.904
Request being processed
Your request is being processed, please wait.