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 (TC 2012)

MAYBE

Average time	6.072
Total time	85.009
# Results	14

YES

Average time	2.355
Total time	44.747
# Results	19

Actions

Results

Termination Problem

AProVE (TC 2012)


1	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl	1.015
2	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl	0.842
3	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl	1.599
4	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl	0.871
5	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl	1.69
6	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl	0.842
7	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl	0.863
8	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl	0.901
9	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl	1.676
10	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl	0.831
11	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/terminate.pl	1.691
12	tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl	2.663
13	tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl	0.823
14	tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl	0.914
15	tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl	19.219
16	tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl	3.551
17	tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl	2.768
18	tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl	3.654
19	tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl	1.659
20	tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl	19.89
21	tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl	1.645
22	tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl	28.213
23	tpdb-8.0/LP/PROLOG/talp_maria/bid.pl	3.2
24	tpdb-8.0/LP/PROLOG/talp_maria/boyer.pl	1.931
25	tpdb-8.0/LP/PROLOG/talp_maria/browse.pl	1.115
26	tpdb-8.0/LP/PROLOG/talp_maria/deriv.pl	0.926
27	tpdb-8.0/LP/PROLOG/talp_maria/grammar2.pl	1.238
28	tpdb-8.0/LP/PROLOG/talp_maria/hanoiapp.pl	15.712
29	tpdb-8.0/LP/PROLOG/talp_maria/occur.pl	1.666
30	tpdb-8.0/LP/PROLOG/talp_maria/qplan.pl	1.74
31	tpdb-8.0/LP/PROLOG/talp_maria/query.pl	1.33
32	tpdb-8.0/LP/PROLOG/talp_maria/rdtok.pl	1.459
33	tpdb-8.0/LP/PROLOG/talp_maria/read.pl	1.619