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 (1.9.2)	CaT (2011)
Score	75	211	125
Number of wins	14	52	30
Number of Timeouts	0	0	0
Total Time	14711857	13031449	1381663

Detailed Statistics

Result

TcT-certify (1.9.2)

TcT (1.9.2)

CaT (2011)

MAYBE

Average time	57.897
Total time	14647.875
# Results	253

Average time	54.699
Total time	12197.914
# Results	223

Average time	5.329
Total time	1300.282
# Results	244

YES(O(1),O(1))

Average time
Total time
# Results

Average time	0.249
Total time	0.497
# Results	2

Average time
Total time
# Results

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

Average time	0.184
Total time	2.572
# Results	14

Average time	3.637
Total time	90.922
# Results	25

Average time
Total time
# Results

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

Average time	5.694
Total time	45.551
# Results	8

Average time	34.058
Total time	238.408
# Results	7

Average time
Total time
# Results

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

Average time	15.859
Total time	15.859
# 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	45.075
Total time	45.075
# Results	1

Average time
Total time
# Results

YES(?,O(n^1))

Average time
Total time
# Results

Average time	25.480
Total time	458.633
# Results	18

Average time	0.569
Total time	17.070
# Results	30

YES(?,O(n^2))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	32.156
Total time	64.311
# Results	2

Actions

Results

««

Last

Termination Problem

TcT-certify (1.9.2)

TcT (1.9.2)

CaT (2011)


1	tpdb-8.0/TRS/AG01/#3.13.xml	0	0	0
2	tpdb-8.0/TRS/AG01/#3.16.xml	0	0	0
3	tpdb-8.0/TRS/AG01/#3.17a.xml	0	0	0
4	tpdb-8.0/TRS/AG01/#3.41.xml	0	4	0
5	tpdb-8.0/TRS/AG01/#3.42.xml	0	0	0
6	tpdb-8.0/TRS/AG01/#3.48.xml	0	0	0
7	tpdb-8.0/TRS/AG01/#3.49.xml	0	0	0
8	tpdb-8.0/TRS/AG01/#3.4.xml	0	0	0
9	tpdb-8.0/TRS/AG01/#3.51.xml	2	4	4
10	tpdb-8.0/TRS/AG01/#3.53a.xml	4	4	0
11	tpdb-8.0/TRS/AG01/#3.54.xml	0	0	0
12	tpdb-8.0/TRS/AG01/#3.5b.xml	0	0	0
13	tpdb-8.0/TRS/AG01/#3.6.xml	0	0	0
14	tpdb-8.0/TRS/AG01/#3.8a.xml	0	0	0
15	tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml	0	0	0
16	tpdb-8.0/TRS/AProVE_04/fac.xml	0	0	0
17	tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml	0	0	0
18	tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml	0	4	0
19	tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml	0	0	0
20	tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml	0	0	0
21	tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	0	0	0
22	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	0	0	4
23	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	0	4	4
24	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	0	4	4
25	tpdb-8.0/TRS/AProVE_04/rta1.xml	0	0	0
26	tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml	0	0	0
27	tpdb-8.0/TRS/AProVE_06/div_notTermin.xml	0	0	0
28	tpdb-8.0/TRS/AProVE_06/factorial2.xml	0	0	0
29	tpdb-8.0/TRS/AProVE_06/identity.xml	0	0	0
30	tpdb-8.0/TRS/AProVE_06/modulo.xml	0	0	0
31	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0	0	0
32	tpdb-8.0/TRS/AProVE_06/quicksort.xml	0	0	0
33	tpdb-8.0/TRS/AProVE_06/quot.xml	0	0	0
34	tpdb-8.0/TRS/AProVE_06/sizeChange.xml	0	0	0
35	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	0	0
36	tpdb-8.0/TRS/AProVE_06/tower.xml	0	0	0
37	tpdb-8.0/TRS/AProVE_07/kabasci04.xml	0	0	0
38	tpdb-8.0/TRS/AProVE_07/kabasci05.xml	0	0	0
39	tpdb-8.0/TRS/AProVE_07/otto02.xml	0	0	0
40	tpdb-8.0/TRS/AProVE_07/otto03.xml	0	0	0

««

Last