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 TRS Equational

Statistics

Result

AProVE (1.8)

MAYBE

Average time	9.315
Total time	37.258
# Results	4

Average time	10.207
Total time	20.414
# Results	2

TIMEOUT

Average time	60.459
Total time	181.377
# Results	3

YES

Average time	4.944
Total time	123.600
# Results	25

Actions

Results

Termination Problem

AProVE (1.8)


1	tpdb-8.0/TRS/AProVE_AC_04/AC03.xml	1.63
2	tpdb-8.0/TRS/AProVE_AC_04/AC04.xml	3.716
3	tpdb-8.0/TRS/AProVE_AC_04/AC06.xml	1.684
4	tpdb-8.0/TRS/AProVE_AC_04/AC12.xml	1.687
5	tpdb-8.0/TRS/AProVE_AC_04/AC15.xml	1.639
6	tpdb-8.0/TRS/AProVE_AC_04/AC18.xml	13.296
7	tpdb-8.0/TRS/AProVE_AC_04/AC20.xml	3.738
8	tpdb-8.0/TRS/AProVE_AC_04/AC22.xml	12.978
9	tpdb-8.0/TRS/AProVE_AC_04/AC26.xml	1.687
10	tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml	4.288
11	tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml	1.698
12	tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml	1.74
13	tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml	5.765
14	tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml	60.398
15	tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml	13.12
16	tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml	3.859
17	tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml	2.51
18	tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml	1.708
19	tpdb-8.0/TRS/Mixed_AC/differ.xml	1.689
20	tpdb-8.0/TRS/Mixed_AC/intersect.xml	1.739
21	tpdb-8.0/TRS/Mixed_AC/kusakari1.xml	5.311
22	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml	15.261
23	tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml	5.153
24	tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml	26.916
25	tpdb-8.0/TRS/Mixed_C/AC42.xml	2.675
26	tpdb-8.0/TRS/Mixed_C/AC43.xml	2.681
27	tpdb-8.0/TRS/Mixed_C/AC44.xml	2.93
28	tpdb-8.0/TRS/Mixed_C/AC45.xml	2.916
29	tpdb-8.0/TRS/Mixed_C/maude2.xml	4.042
30	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml	60.492
31	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml	60.487
32	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml	17.807
33	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml	7.979
34	tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml	7.43