termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Derivational Complexity - Full Rewriting

Statistics

	CaT (2011)	matchbox-poly (1.0.3)	TCT (1.8.02)
Score	268	189	252
Number of wins	64	45	55
Number of Timeouts	7	21	176
Total Time	8744598	8807226	10763008

Detailed Statistics

Result

CaT (2011)

matchbox-poly (1.0.3)

TCT (1.8.02)

ERROR

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.215
Total time	3.653
# Results	17

MAYBE

Average time	45.394
Total time	7626.275
# Results	168

Average time
Total time
# Results

Average time
Total time
# Results

MAYBE(Omega(EXP),O(INF))

Average time
Total time
# Results

Average time	0.216
Total time	8.218
# Results	38

Average time
Total time
# Results

MAYBE(Omega(n^1),O(INF))

Average time
Total time
# Results

Average time	51.251
Total time	5381.357
# Results	105

Average time
Total time
# Results

MAYBE(Omega(n^2),O(INF))

Average time
Total time
# Results

Average time	50.870
Total time	1170.019
# Results	23

Average time
Total time
# Results

Average time	0.315
Total time	5.035
# Results	16

Average time
Total time
# Results

Average time
Total time
# Results

NO(Omega(INF),O(INF))

Average time
Total time
# Results

Average time	0.146
Total time	3.497
# Results	24

Average time
Total time
# Results

TIMEOUT

Average time	60.154
Total time	421.076
# Results	7

Average time	60.049
Total time	1261.025
# Results	21

Average time	60.111
Total time	10579.515
# Results	176

YES(Omega(n^1),O(n^1))

Average time
Total time
# Results

Average time	0.986
Total time	24.643
# Results	25

Average time
Total time
# Results

YES(Omega(n^1),O(n^2))

Average time
Total time
# Results

Average time	50.137
Total time	902.465
# Results	18

Average time
Total time
# Results

YES(Omega(n^2),O(n^2))

Average time
Total time
# Results

Average time	1.447
Total time	5.788
# Results	4

Average time
Total time
# Results

YES(Omega(n^2),O(n^3))

Average time
Total time
# Results

Average time	50.214
Total time	50.214
# Results	1

Average time
Total time
# Results

YES(?,O(n^1))

Average time	1.412
Total time	60.736
# Results	43

Average time
Total time
# Results

Average time	0.252
Total time	9.317
# Results	37

YES(?,O(n^2))

Average time	21.060
Total time	463.320
# Results	22

Average time
Total time
# Results

Average time	0.606
Total time	13.323
# Results	22

YES(?,O(n^3))

Average time	56.052
Total time	168.156
# Results	3

Average time
Total time
# Results

Average time	18.189
Total time	109.131
# Results	6

YES(?,O(n^4))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	48.069
Total time	48.069
# Results	1

Actions

Results

««

Last

Termination Problem

CaT (2011)

matchbox-poly (1.0.3)

TCT (1.8.02)


1	tpdb-8.0/TRS/AG01/#3.12.xml	0	0	0
2	tpdb-8.0/TRS/AG01/#3.15.xml	4	4	4
3	tpdb-8.0/TRS/AG01/#3.17a.xml	0	0	0
4	tpdb-8.0/TRS/AG01/#3.24.xml	4	4	4
5	tpdb-8.0/TRS/AG01/#3.26.xml	0	0	0
6	tpdb-8.0/TRS/AG01/#3.33.xml	4	4	4
7	tpdb-8.0/TRS/AG01/#3.37.xml	4	4	4
8	tpdb-8.0/TRS/AG01/#3.49.xml	0	0	0
9	tpdb-8.0/TRS/AG01/#3.51.xml	4	4	4
10	tpdb-8.0/TRS/AG01/#3.56.xml	4	3	3
11	tpdb-8.0/TRS/AG01/#3.7.xml	4	3	3
12	tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	0	0	0
13	tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	0	0	0
14	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	4	0	3
15	tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	0	0	0
16	tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	0	0	0
17	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	4	0	3
18	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	4	4	2
19	tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	0	0	0
20	tpdb-8.0/TRS/AProVE_06/identity.xml	0	0	0
21	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0	0	0
22	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	0	0
23	tpdb-8.0/TRS/AProVE_08/round_nonterm.xml	0	0	0
24	tpdb-8.0/TRS/AProVE_08/round.xml	0	0	0
25	tpdb-8.0/TRS/AProVE_10/ex5.xml	4	4	4
26	tpdb-8.0/TRS/Bouchare_06/12.xml	4	0	0
27	tpdb-8.0/TRS/CiME_04/dpqs.xml	4	4	4
28	tpdb-8.0/TRS/CiME_04/filliatre2.xml	0	0	0
29	tpdb-8.0/TRS/CiME_04/filliatre.xml	0	0	0
30	tpdb-8.0/TRS/Der95/06.xml	0	0	0
31	tpdb-8.0/TRS/Der95/07.xml	4	4	4
32	tpdb-8.0/TRS/Der95/20.xml	0	0	0
33	tpdb-8.0/TRS/Der95/27.xml	4	4	4
34	tpdb-8.0/TRS/Endrullis_06/direct.xml	4	4	4
35	tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml	0	0	0
36	tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml	0	0	0
37	tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml	0	0	0
38	tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml	0	0	0
39	tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml	0	0	0
40	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml	0	0	0

««

Last