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 Prolog
Statistics
Result
AProVE (1.8)
MAYBE
Average time
7.301
Total time
51.107
# Results
7
TIMEOUT
Average time
60.567
Total time
423.970
# Results
7
YES
Average time
3.730
Total time
22.377
# Results
6
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
Termination Problem
AProVE (1.8)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl
9.313
2
tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl
1.834
3
tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl
60.697
4
tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl
1.745
5
tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl
60.563
6
tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl
9.851
7
tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl
2.009
8
tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-cycle.pl
60.524
9
tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl
60.565
10
tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl
60.521
11
tpdb-8.0/LP/PROLOG/talp_maria/aiakl.pl
1.846
12
tpdb-8.0/LP/PROLOG/talp_maria/ann.pl
3.182
13
tpdb-8.0/LP/PROLOG/talp_maria/boyer.pl
2.494
14
tpdb-8.0/LP/PROLOG/talp_maria/browse.pl
30.323
15
tpdb-8.0/LP/PROLOG/talp_maria/grammar.pl
1.914
16
tpdb-8.0/LP/PROLOG/talp_maria/money.pl
3.377
17
tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl
3.392
18
tpdb-8.0/LP/PROLOG/talp_maria/read.pl
60.561
19
tpdb-8.0/LP/PROLOG/talp_maria/serialize.pl
60.539
20
tpdb-8.0/LP/PROLOG/talp_maria/warplan.pl
2.204
Request being processed
Your request is being processed, please wait.