termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Runtime Complexity – Full Rewriting

Statistics

	TcT-certify (1.9.2)	TcT (2.0.1)	CaT (2011)
Score	60	180	104
Number of wins	12	45	25
Number of Timeouts	0	0	0
Total Time	11312745	10325349	912591

Detailed Statistics

Result

TcT-certify (1.9.2)

TcT (2.0.1)

CaT (2011)

MAYBE

Average time	60.031
Total time	11285.761
# Results	188

Average time	57.387
Total time	9239.297
# Results	161

Average time	4.938
Total time	883.854
# Results	179

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

Average time	0.243
Total time	2.920
# Results	12

Average time	15.703
Total time	235.552
# Results	15

Average time
Total time
# Results

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

Average time	1.953
Total time	9.767
# Results	5

Average time	48.085
Total time	288.509
# Results	6

Average time
Total time
# Results

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

Average time	14.297
Total time	14.297
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time
Total time
# Results

Average time	48.408
Total time	48.408
# Results	1

Average time
Total time
# Results

YES(?,O(n^1))

Average time
Total time
# Results

Average time	22.330
Total time	513.583
# Results	23

Average time	0.597
Total time	14.916
# Results	25

YES(?,O(n^2))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	6.911
Total time	13.821
# Results	2

Actions

Results

««

Last

Termination Problem

TcT-certify (1.9.2)

TcT (2.0.1)

CaT (2011)


1	tpdb-8.0/TRS/AG01/#3.13.xml	0	0	0
2	tpdb-8.0/TRS/AG01/#3.17.xml	0	0	0
3	tpdb-8.0/TRS/AG01/#3.23.xml	0	4	0
4	tpdb-8.0/TRS/AG01/#3.35.xml	4	4	4
5	tpdb-8.0/TRS/AG01/#3.41.xml	0	4	0
6	tpdb-8.0/TRS/AG01/#3.53.xml	0	0	0
7	tpdb-8.0/TRS/AG01/#3.57.xml	0	0	0
8	tpdb-8.0/TRS/AG01/#3.8a.xml	0	0	0
9	tpdb-8.0/TRS/AG01/#3.8b.xml	0	0	0
10	tpdb-8.0/TRS/AProVE_04/AAECC.xml	0	0	0
11	tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml	0	4	0
12	tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml	0	0	0
13	tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml	0	0	0
14	tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	0	4	4
15	tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	0	0	0
16	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	0	4	4
17	tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	0	0	0
18	tpdb-8.0/TRS/AProVE_04/rta2.xml	0	0	0
19	tpdb-8.0/TRS/AProVE_06/factorial1.xml	0	0	0
20	tpdb-8.0/TRS/AProVE_06/factorial2.xml	0	0	0
21	tpdb-8.0/TRS/AProVE_06/logarithm.xml	0	0	0
22	tpdb-8.0/TRS/AProVE_06/modulo.xml	0	0	0
23	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0	0	0
24	tpdb-8.0/TRS/AProVE_06/quicksort.xml	0	0	0
25	tpdb-8.0/TRS/AProVE_06/sizeChange.xml	0	0	0
26	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	0	0
27	tpdb-8.0/TRS/AProVE_06/tower.xml	0	0	0
28	tpdb-8.0/TRS/AProVE_07/kabasci01.xml	0	0	0
29	tpdb-8.0/TRS/AProVE_07/kabasci03.xml	0	0	0
30	tpdb-8.0/TRS/AProVE_07/kabasci05.xml	0	0	0
31	tpdb-8.0/TRS/AProVE_07/otto01.xml	0	0	0
32	tpdb-8.0/TRS/AProVE_07/otto06.xml	0	0	0
33	tpdb-8.0/TRS/AProVE_07/otto07.xml	0	0	0
34	tpdb-8.0/TRS/AProVE_07/thiemann01.xml	0	0	0
35	tpdb-8.0/TRS/AProVE_07/thiemann19.xml	0	0	0
36	tpdb-8.0/TRS/AProVE_07/thiemann34.xml	0	0	0
37	tpdb-8.0/TRS/AProVE_07/thiemann36.xml	0	0	0
38	tpdb-8.0/TRS/AProVE_07/thiemann38.xml	0	0	0
39	tpdb-8.0/TRS/AProVE_08/id_inc.xml	0	0	0
40	tpdb-8.0/TRS/AProVE_08/log.xml	0	0	0

««

Last