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 (TC 2013)
MAYBE
Average time
5.950
Total time
136.853
# Results
23
TIMEOUT
Average time
60.532
Total time
484.257
# Results
8
YES
Average time
3.627
Total time
123.306
# Results
34
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
»
Last
Termination Problem
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl
1.361
2
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl
1.12
3
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl
1.971
4
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl
1.798
5
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl
1.231
6
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality1.pl
2.153
7
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality2.pl
2.192
8
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl
2.096
9
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl
1.125
10
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl
1.128
11
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/existpredef.pl
1.074
12
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl
1.235
13
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl
2.071
14
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality2.pl
2.733
15
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl
1.132
16
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl
1.123
17
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nounify.pl
2.181
18
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term2.pl
2.047
19
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/terminate.pl
1.918
20
tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term.pl
1.113
21
tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl
2.613
22
tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl
1.124
23
tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl
1.206
24
tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl
60.523
25
tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl
60.595
26
tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl
1.105
27
tpdb-8.0/LP/PROLOG/prolog_mixed/hanoi.pl
60.559
28
tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl
1.255
29
tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl
29.535
30
tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl
4.258
31
tpdb-8.0/LP/PROLOG/prolog_mixed/numbervars.pl
1.226
32
tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl
1.543
33
tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl
60.676
34
tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-cycle.pl
60.539
35
tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl
60.408
36
tpdb-8.0/LP/PROLOG/prolog_mixed/quicksort.pl
2.519
37
tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl
2.282
38
tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl
18.965
39
tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl
2.267
40
tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl
60.522
««
«
1
2
»
Last
Request being processed
Your request is being processed, please wait.