termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Prolog

Statistics

Result

AProVE (2011-0.1)

MAYBE

Average time	10.265
Total time	102.652
# Results	10

TIMEOUT

Average time	60.690
Total time	303.450
# Results	5

YES

Average time	2.800
Total time	50.408
# Results	18

Actions

Results

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl	0.966
2	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl	0.779
3	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl	1.648
4	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl	1.477
5	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl	0.806
6	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl	0.775
7	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl	0.856
8	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl	1.803
9	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality2.pl	2.307
10	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl	0.799
11	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl	0.773
12	tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl	2.213
13	tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl	60.471
14	tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl	60.804
15	tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl	31.912
16	tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl	1.174
17	tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl	60.661
18	tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl	60.65
19	tpdb-8.0/LP/PROLOG/prolog_mixed/quicksort.pl	2.361
20	tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl	1.993
21	tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl	25.285
22	tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl	60.864
23	tpdb-8.0/LP/PROLOG/talp_maria/browse.pl	17.4
24	tpdb-8.0/LP/PROLOG/talp_maria/deriv-oii.pl	0.894
25	tpdb-8.0/LP/PROLOG/talp_maria/money.pl	3.275
26	tpdb-8.0/LP/PROLOG/talp_maria/occur.pl	2.593
27	tpdb-8.0/LP/PROLOG/talp_maria/peephole.pl	2.035
28	tpdb-8.0/LP/PROLOG/talp_maria/progeom.pl	40.187
29	tpdb-8.0/LP/PROLOG/talp_maria/qplan.pl	1.817
30	tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl	2.418
31	tpdb-8.0/LP/PROLOG/talp_maria/query.pl	1.367
32	tpdb-8.0/LP/PROLOG/talp_maria/read.pl	1.784
33	tpdb-8.0/LP/PROLOG/talp_maria/warplan.pl	1.363