termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Derivational Complexity - Full Rewriting

Statistics

	TcT-certify (1.9.2)	TcT (2.0.1)	CaTCert (2012alpha)	CaT (2011)
Score	197	282	195	299
Number of wins	30	54	29	59
Number of Timeouts	0	0	0	0
Total Time	9091311	9679649	4710485	6812066

Detailed Statistics

Result

TcT-certify (1.9.2)

TcT (2.0.1)

CaTCert (2012alpha)

CaT (2011)

MAYBE

Average time	57.339
Total time	8944.840
# Results	156

Average time	53.823
Total time	7696.701
# Results	143

Average time	27.296
Total time	4230.944
# Results	155

Average time	42.669
Total time	5973.649
# Results	140

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

Average time	0.157
Total time	1.099
# Results	7

Average time	54.064
Total time	54.064
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time
Total time
# Results

Average time	59.062
Total time	59.062
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time	0.813
Total time	23.578
# Results	29

Average time	49.487
Total time	148.460
# Results	3

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time	19.009
Total time	114.051
# Results	6

Average time	59.091
Total time	118.182
# Results	2

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time	3.872
Total time	7.743
# Results	2

Average time
Total time
# Results

Average time
Total time
# Results

Average time
Total time
# Results

YES(?,O(n^1))

Average time
Total time
# Results

Average time	25.569
Total time	639.226
# Results	25

Average time	0.457
Total time	3.199
# Results	7

Average time	1.170
Total time	35.094
# Results	30

YES(?,O(n^2))

Average time
Total time
# Results

Average time	34.625
Total time	727.124
# Results	21

Average time	7.288
Total time	211.360
# Results	29

Average time	23.554
Total time	635.953
# Results	27

YES(?,O(n^3))

Average time
Total time
# Results

Average time	59.208
Total time	236.830
# Results	4

Average time	27.598
Total time	82.793
# Results	3

Average time	55.781
Total time	111.561
# Results	2

YES(?,O(n^4))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	30.365
Total time	182.189
# Results	6

Average time	55.809
Total time	55.809
# Results	1

Actions

Results

««

Last

Termination Problem

TcT-certify (1.9.2)

TcT (2.0.1)

CaTCert (2012alpha)

CaT (2011)


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

««

Last