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	7.685
Total time	176.750
# Results	23

TIMEOUT

Average time	60.739
Total time	485.912
# Results	8

YES

Average time	3.800
Total time	129.214
# Results	34

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl	0.951
2	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl	0.79
3	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl	1.708
4	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl	1.454
5	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl	0.85
6	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality1.pl	1.778
7	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality2.pl	1.824
8	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl	1.736
9	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl	0.783
10	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl	0.788
11	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/existpredef.pl	0.778
12	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl	0.874
13	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl	1.786
14	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality2.pl	2.298
15	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl	0.793
16	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl	0.791
17	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nounify.pl	1.804
18	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term2.pl	2.036
19	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/terminate.pl	1.839
20	tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term.pl	0.794
21	tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl	2.206
22	tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl	0.796
23	tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl	0.846
24	tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl	60.533
25	tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl	60.567
26	tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl	0.778
27	tpdb-8.0/LP/PROLOG/prolog_mixed/hanoi.pl	60.906
28	tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl	0.87
29	tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl	30.949
30	tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl	4.483
31	tpdb-8.0/LP/PROLOG/prolog_mixed/numbervars.pl	0.886
32	tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl	1.228
33	tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl	60.797
34	tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-cycle.pl	60.804
35	tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl	60.797
36	tpdb-8.0/LP/PROLOG/prolog_mixed/quicksort.pl	2.378
37	tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl	1.97
38	tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl	25.715
39	tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl	2.133
40	tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl	60.7

««

Last