termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Runtime Complexity – Full Rewriting

Statistics

	TCT (1.8.03)	TCT (1.8.02)	CaT (2011)
Score	180	261	154
Number of wins	45	59	37
Number of Timeouts	20	159	0
Total Time	1406344	11279994	1211431

Detailed Statistics

Result

TCT (1.8.03)

TCT (1.8.02)

CaT (2011)

Average time
Total time
# Results

Average time	5.828
Total time	5.828
# Results	1

Average time
Total time
# Results

ERROR

Average time
Total time
# Results

Average time	0.068
Total time	0.405
# Results	6

Average time
Total time
# Results

MAYBE

Average time	43.932
Total time	175.728
# Results	4

Average time	44.135
Total time	1588.855
# Results	36

Average time	5.154
Total time	1159.629
# Results	225

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.346
Total time	2.074
# Results	6

TIMEOUT

Average time	60.115
Total time	1202.306
# Results	20

Average time	60.095
Total time	9555.184
# Results	159

Average time
Total time
# Results

YES(?,O(1))

Average time	0.084
Total time	0.084
# Results	1

Average time	0.091
Total time	0.091
# Results	1

Average time
Total time
# Results

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

Average time	0.102
Total time	0.306
# Results	3

Average time	0.079
Total time	0.237
# Results	3

Average time
Total time
# Results

YES(?,O(n^1))

Average time	0.642
Total time	25.023
# Results	39

Average time	0.881
Total time	44.933
# Results	51

Average time	0.579
Total time	21.407
# Results	37

YES(?,O(n^2))

Average time	1.449
Total time	2.897
# Results	2

Average time	6.033
Total time	84.461
# Results	14

Average time	9.440
Total time	28.321
# Results	3

Actions

Results

««

Last

Termination Problem

TCT (1.8.03)

TCT (1.8.02)

CaT (2011)


1	tpdb-8.0/TRS/AG01/#3.18.xml		0	0
2	tpdb-8.0/TRS/AG01/#3.1.xml	4	3	0
3	tpdb-8.0/TRS/AG01/#3.23.xml	4	4	0
4	tpdb-8.0/TRS/AG01/#3.29.xml	4	4	0
5	tpdb-8.0/TRS/AG01/#3.41.xml	4	4	0
6	tpdb-8.0/TRS/AG01/#3.48.xml		0	0
7	tpdb-8.0/TRS/AG01/#3.49.xml	0	4	0
8	tpdb-8.0/TRS/AG01/#3.4.xml		0	0
9	tpdb-8.0/TRS/AG01/#3.51.xml	4	4	4
10	tpdb-8.0/TRS/AG01/#3.53b.xml	4	3	0
11	tpdb-8.0/TRS/AG01/#3.56.xml	4	4	4
12	tpdb-8.0/TRS/AG01/#3.5a.xml		0	0
13	tpdb-8.0/TRS/AG01/#3.5.xml	4	4	0
14	tpdb-8.0/TRS/AG01/#3.8a.xml		0	0
15	tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml		0	0
16	tpdb-8.0/TRS/AProVE_04/AAECC.xml		0	0
17	tpdb-8.0/TRS/AProVE_04/fac.xml		0	0
18	tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml		0	0
19	tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml		0	0
20	tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml		0	4
21	tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml		0	0
22	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	4	2	4
23	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml		0	4
24	tpdb-8.0/TRS/AProVE_04/rta2.xml	0	4	0
25	tpdb-8.0/TRS/AProVE_04/rta3.xml		0	0
26	tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml		0	0
27	tpdb-8.0/TRS/AProVE_06/div_notTermin.xml		0	0
28	tpdb-8.0/TRS/AProVE_06/factorial1.xml		0	0
29	tpdb-8.0/TRS/AProVE_06/identity.xml	0	4	0
30	tpdb-8.0/TRS/AProVE_06/logarithm.xml		0	0
31	tpdb-8.0/TRS/AProVE_06/modulo.xml		0	0
32	tpdb-8.0/TRS/AProVE_06/nonterm.xml		0	0
33	tpdb-8.0/TRS/AProVE_06/quicksort.xml		0	0
34	tpdb-8.0/TRS/AProVE_06/quot.xml		0	0
35	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	4	0
36	tpdb-8.0/TRS/AProVE_06/tower.xml		0	0
37	tpdb-8.0/TRS/AProVE_07/kabasci01.xml		0	0
38	tpdb-8.0/TRS/AProVE_07/otto01.xml		0	0
39	tpdb-8.0/TRS/AProVE_07/otto03.xml		0	0
40	tpdb-8.0/TRS/AProVE_07/otto04.xml		0	0

««

Last