Computation with Bounded Resources

Descripton

On this page we compare Small Polynomial Path Orders with Small Polynomial Path Orders in the Dependency Pair setting and various other thechniques. The experiments were generated using this test file and this TCT configuration. The testbed can be downloaded from here.

Overview

	PopstarSmall	DP+PopstarSmall	DP+Matrices	Mpo
O(1)	4	20	20	-
O(n^1)	20	72	98	-
O(n^2)	23	11	17	-
O(n^3)	6	3	8	-
O(n^7)	1	-	-	-
PRIMREC	-	-	-	76
Total YES	54	106	143	76
Total MAYBE	702	583	411	677
Total TIMEOUT	-	15	137	1
Strict Wins	-	1	46	20

Average Execution Time (in seconds)

	PopstarSmall	DP+PopstarSmall	DP+Matrices	Mpo
O(1)	0.168	0.237	0.268	-
O(n^1)	0.168	0.308	0.437	-
O(n^2)	0.189	0.445	4.668	-
O(n^3)	0.227	0.604	11.720	-
O(n^7)	0.415	-	-	-
PRIMREC	-	-	-	0.236
Total YES	0.188	0.317	1.547	0.236
Total MAYBE	0.340	1.196	18.297	0.414

Details

Problem (all selected)	PopstarSmall	DP+PopstarSmall	DP+Matrices	Mpo
AG01 3.1	MAYBE	O(n^1)	O(n^1)	MAYBE
AG01 3.10	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 3.12	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.13	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.15	MAYBE	MAYBE	O(n^1)	MAYBE
AG01 3.16	MAYBE	MAYBE	MAYBE	PRIMREC
AG01 3.18	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.2	MAYBE	O(n^2)	MAYBE	MAYBE
AG01 3.23	MAYBE	O(n^1)	O(n^1)	MAYBE
AG01 3.24	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 3.26	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.29	O(n^1)	O(1)	O(1)	MAYBE
AG01 3.31	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.33	MAYBE	O(1)	O(1)	MAYBE
AG01 3.35	O(n^1)	O(n^1)	O(n^1)	PRIMREC
AG01 3.36	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.37	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 3.38	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 3.41	MAYBE	MAYBE	O(n^3)	MAYBE
AG01 3.42	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 3.47	MAYBE	missing	missing	MAYBE
AG01 3.48	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.49	MAYBE	missing	missing	MAYBE
AG01 3.5	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 3.52	MAYBE	missing	missing	MAYBE
AG01 3.53	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.53a	O(n^1)	O(1)	O(1)	MAYBE
AG01 3.53b	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 3.54	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.55	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 3.5a	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.5b	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.6	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.6a	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 3.6b	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.7	MAYBE	O(n^1)	O(n^1)	PRIMREC
AG01 3.8a	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 3.8b	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 4.30c	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.19	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.22	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.23	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.24	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 innermost 4.25	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.26	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.27	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.28	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 innermost 4.29	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 innermost 4.30	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.30a	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.30b	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.31	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 innermost 4.32	MAYBE	missing	missing	MAYBE
AG01 innermost 4.33	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 innermost 4.34	MAYBE	MAYBE	O(n^2)	MAYBE
AG01 innermost 4.35	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 innermost 4.36	MAYBE	MAYBE	TIMEOUT	MAYBE
AG01 innermost 4.37	MAYBE	O(n^1)	O(n^1)	MAYBE
AProVE 04 AAECC	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 04 AAECC-ring	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 04 IJCAR 1	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 04 JFP Ex51	MAYBE	MAYBE	O(n^2)	MAYBE
AProVE 04 LPAR intlist	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 04 fac	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 04 rta1	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 04 rta2	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 04 rta3	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 div notCeTermin	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 factorial1	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 factorial2	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 identity	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 06 logarithm	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 06 modulo	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 nonterm	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 06 quicksort	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 quot	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 sizeChange	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 tower	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 tower sizeChange	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 kabasci04	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto01	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 otto02	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto03	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto04	MAYBE	MAYBE	missing	MAYBE
AProVE 07 otto05	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto06	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto07	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto08	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto09	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto10	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto11	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto12	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto13	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann01	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann02	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann03	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann04	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann05	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann06	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann07	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann08	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann10	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann11	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann12	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann13	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann14	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann15	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann16	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann17	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann18	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann19	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann20	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann21	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann22	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann23	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann24	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann25	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann26	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann27	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann28	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann29	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann30	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann31	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann32	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann33	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 07 thiemann34	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann36	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann37	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann38	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann40	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann41	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 id inc	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 log	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 parting01 reverse	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 parting02 doublelist	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 parting03 minsort	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 parting04 maxsort h	MAYBE	MAYBE	missing	MAYBE
AProVE 08 parting05 maxsort	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 08 round	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 round nonterm	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 thiemann40 modified	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive div	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive divhard	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive gcd	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive gcd2	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive gcdhard	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive log	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive maxsort	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive maxsortcondition	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive minsort	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive mod	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive qsort	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive qsortlast	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive qsortmiddle	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 09 Inductive zerolist	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 10 andIsNat	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 challenge fab	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 double	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 downfrom	MAYBE	MAYBE	TIMEOUT	MAYBE
AProVE 10 ex1	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex3	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex4	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex5	O(n^2)	O(n^1)	O(n^1)	PRIMREC
AProVE 10 halfdouble	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 isList	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 isNat	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 scnp	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 1	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 10	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 11	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 12	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 13	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 14	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 15	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 16	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 17	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 18	MAYBE	MAYBE	TIMEOUT	MAYBE
Beerendonk 07 19	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 2	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 20	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 21	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 22	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 23	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 24	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 3	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 4	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 5	MAYBE	MAYBE	TIMEOUT	MAYBE
Beerendonk 07 6	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 7	MAYBE	MAYBE	TIMEOUT	MAYBE
Beerendonk 07 8	MAYBE	MAYBE	TIMEOUT	MAYBE
Beerendonk 07 9	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex14 AEGL02	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex15 Luc98	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex16 Luc06	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 2 AEL03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 2 Luc02c	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 GL02a	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 GM03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 GM99	MAYBE	O(1)	O(1)	MAYBE
CSR 04 Ex1 Luc02b	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 Luc04b	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 Zan97	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex26 Luc03b	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex2 Luc02a	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex2 Luc03b	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex3 12 Luc96a	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex3 2 Luc97	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex3 3 25 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex49 GM04	MAYBE	O(n^2)	O(n^1)	MAYBE
CSR 04 Ex4 4 Luc96b	MAYBE	missing	missing	MAYBE
CSR 04 Ex4 7 15 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 7 37 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 7 56 Bor03	MAYBE	missing	missing	MAYBE
CSR 04 Ex4 7 77 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 Zan97	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex5 DLMMU04	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex5 Zan97	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex6 9 Luc02c	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex6 GM04	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex6 Luc98	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex7 BLR02	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex8 BLR02	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex9 BLR02	MAYBE	MAYBE	TIMEOUT	MAYBE
CSR 04 Ex9 Luc04	MAYBE	O(1)	O(1)	MAYBE
CSR 04 Ex9 Luc06	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExAppendixB AEL03	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExConc Zan97	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExIntrod GM01	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExIntrod GM04	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExIntrod GM99	MAYBE	MAYBE	TIMEOUT	MAYBE
CSR 04 ExIntrod Zan97	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExProp7 Luc06	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExSec4 2 DLMMU04	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 ack prolog	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 append	MAYBE	MAYBE	O(n^1)	MAYBE
CiME 04 append-hard	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 append-wrong	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 fact-hard	MAYBE	MAYBE	TIMEOUT	MAYBE
CiME 04 filliatre	MAYBE	MAYBE	TIMEOUT	MAYBE
CiME 04 filliatre2	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 filliatre3	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 list-sum-prod	MAYBE	MAYBE	MAYBE	PRIMREC
CiME 04 maude2	MAYBE	MAYBE	MAYBE	MAYBE
Der95 06	O(n^1)	O(n^1)	O(n^1)	PRIMREC
Der95 08	MAYBE	MAYBE	O(n^1)	PRIMREC
Der95 11	MAYBE	MAYBE	O(n^1)	PRIMREC
Der95 18	MAYBE	O(n^1)	O(n^1)	PRIMREC
Der95 21	MAYBE	MAYBE	MAYBE	MAYBE
Der95 27	MAYBE	missing	missing	MAYBE
Der95 32	MAYBE	MAYBE	MAYBE	MAYBE
Endrullis 06 direct	MAYBE	missing	missing	MAYBE
GTSSK07 cade01	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade03	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade04t	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade05t	MAYBE	MAYBE	TIMEOUT	MAYBE
GTSSK07 cade06	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade07	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade08	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade09	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade10	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade11	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade12t	MAYBE	MAYBE	TIMEOUT	MAYBE
GTSSK07 cade13t	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade14	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade15	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade16	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade17	MAYBE	MAYBE	TIMEOUT	MAYBE
HirokawaMiddeldorp 04 n002	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 n003	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 n004	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 n005	MAYBE	missing	missing	MAYBE
HirokawaMiddeldorp 04 n006	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 n007	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t001	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t002	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t003	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t004	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t009	MAYBE	MAYBE	TIMEOUT	MAYBE
HirokawaMiddeldorp 04 t011	MAYBE	missing	missing	MAYBE
HirokawaMiddeldorp 04 t013	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t014	MAYBE	O(n^2)	O(n^2)	MAYBE
ICFP 2010 25731	MAYBE	missing	missing	MAYBE
ICFP 2010 26069	MAYBE	missing	missing	MAYBE
ICFP 2010 26103	MAYBE	missing	missing	MAYBE
ICFP 2010 26123	MAYBE	missing	missing	MAYBE
ICFP 2010 26130	MAYBE	missing	missing	MAYBE
ICFP 2010 26186	MAYBE	missing	missing	MAYBE
ICFP 2010 26226	MAYBE	missing	missing	MAYBE
ICFP 2010 26291	MAYBE	missing	missing	MAYBE
ICFP 2010 264370	MAYBE	O(n^1)	O(n^1)	PRIMREC
ICFP 2010 264405	MAYBE	O(n^1)	O(n^1)	PRIMREC
ICFP 2010 26683	MAYBE	missing	missing	MAYBE
ICFP 2010 27030	MAYBE	missing	missing	MAYBE
ICFP 2010 27131	MAYBE	missing	missing	MAYBE
ICFP 2010 27134	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 27213	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 27235	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 27280	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 28293	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 28464	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 28643	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 28838	MAYBE	TIMEOUT	TIMEOUT	MAYBE
ICFP 2010 40093	MAYBE	missing	missing	MAYBE
ICFP 2010 40708	MAYBE	MAYBE	TIMEOUT	MAYBE
Maude 06 LISTUTILITIES nosorts	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 LISTUTILITIES nosorts-noand	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 LengthOfFiniteLists nosorts	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 Length...iteLists nosorts-noand	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 MYNAT nosorts	O(n^2)	O(n^2)	MAYBE	PRIMREC
Maude 06 MYNAT nosorts-noand	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 MYNAT nosorts-noand-peanoSimple	MAYBE	MAYBE	O(n^1)	MAYBE
Maude 06 MYNAT nosorts-peanoSimple	O(n^1)	O(n^1)	O(n^1)	PRIMREC
Maude 06 OvConsOS nosorts	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 OvConsOS nosorts-noand	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 csrdiv	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 emmes	MAYBE	MAYBE	MAYBE	MAYBE
Mixed CTRS quick	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed SRS 06-oppelt08	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed SRS 08-oppelt08	MAYBE	missing	missing	MAYBE
Mixed SRS 1	MAYBE	missing	missing	MAYBE
Mixed TRS Ex1 Luc04b GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed TRS gcd	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS gcdMinMax	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed TRS gcd triple	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed TRS jones1	O(n^2)	O(n^1)	O(n^1)	MAYBE
Mixed TRS jones2	MAYBE	missing	missing	MAYBE
Mixed TRS jones4	O(n^1)	O(n^1)	O(n^1)	PRIMREC
Mixed TRS jones5	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS jones6	MAYBE	MAYBE	O(n^1)	MAYBE
Mixed TRS minsort	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS perfect	MAYBE	O(n^1)	O(n^1)	MAYBE
Mixed TRS perfect2	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS test1	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS while	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost cade04	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost cade05	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed innermost muladd	MAYBE	MAYBE	TIMEOUT	MAYBE
Mixed innermost test76	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost test77	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost test830	MAYBE	O(n^1)	O(n^1)	MAYBE
Mixed outermost non-lin1	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost non-lin2	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost non-lin3	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 bintrees	MAYBE	MAYBE	O(n^2)	MAYBE
Rubio 04 division	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 elimdupl	MAYBE	MAYBE	O(n^3)	MAYBE
Rubio 04 enno	MAYBE	MAYBE	TIMEOUT	MAYBE
Rubio 04 gcd	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 gm	MAYBE	O(n^1)	O(n^1)	MAYBE
Rubio 04 gmnp	MAYBE	O(n^1)	O(n^1)	MAYBE
Rubio 04 koen	MAYBE	O(n^1)	O(n^1)	PRIMREC
Rubio 04 logarquot	MAYBE	O(n^3)	O(n^3)	MAYBE
Rubio 04 ma96	MAYBE	MAYBE	TIMEOUT	MAYBE
Rubio 04 mfp95	MAYBE	O(n^1)	O(n^1)	MAYBE
Rubio 04 nestrec	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 polo2	MAYBE	MAYBE	O(n^1)	PRIMREC
Rubio 04 prov	MAYBE	O(n^1)	O(n^1)	MAYBE
Rubio 04 quick	MAYBE	MAYBE	TIMEOUT	MAYBE
Rubio 04 revlist	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 selsort	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 test4	MAYBE	MAYBE	O(n^2)	MAYBE
Rubio 04 test829	MAYBE	O(n^1)	O(n^1)	MAYBE
Rubio 04 wst99	MAYBE	MAYBE	TIMEOUT	MAYBE
SK90 2.09	O(n^1)	O(n^1)	O(n^1)	MAYBE
SK90 2.11	O(n^2)	O(n^1)	O(n^1)	PRIMREC
SK90 2.12	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.13	O(n^2)	O(n^2)	O(n^1)	PRIMREC
SK90 2.15	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.16	O(n^2)	O(n^2)	O(n^2)	MAYBE
SK90 2.17	O(n^1)	O(n^2)	O(n^1)	PRIMREC
SK90 2.18	O(n^2)	O(n^3)	O(n^2)	PRIMREC
SK90 2.19	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.20	O(n^2)	O(n^1)	O(n^1)	PRIMREC
SK90 2.21	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.22	O(n^2)	O(n^2)	MAYBE	PRIMREC
SK90 2.23	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.24	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.25	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.26	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.27	MAYBE	MAYBE	TIMEOUT	PRIMREC
SK90 2.28	MAYBE	missing	missing	MAYBE
SK90 2.29	O(n^3)	O(n^1)	O(n^1)	PRIMREC
SK90 2.30	O(1)	O(1)	O(1)	PRIMREC
SK90 2.31	O(n^2)	O(n^1)	O(n^1)	PRIMREC
SK90 2.36	MAYBE	missing	missing	MAYBE
SK90 2.37	MAYBE	O(1)	O(1)	MAYBE
SK90 2.39	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.40	MAYBE	O(n^1)	O(n^1)	PRIMREC
SK90 2.41	O(n^1)	O(n^1)	O(n^1)	PRIMREC
SK90 2.43	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 2.44	MAYBE	MAYBE	O(n^1)	MAYBE
SK90 2.45	O(n^2)	O(n^1)	O(n^1)	MAYBE
SK90 2.47	O(n^1)	O(n^1)	O(n^1)	PRIMREC
SK90 2.48	O(n^3)	O(n^1)	O(n^1)	PRIMREC
SK90 2.50	O(n^1)	O(n^1)	O(n^1)	PRIMREC
SK90 2.51	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.52	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.53	MAYBE	missing	missing	MAYBE
SK90 2.54	O(n^1)	O(n^1)	O(n^1)	MAYBE
SK90 2.55	O(n^1)	O(n^1)	O(n^1)	MAYBE
SK90 2.59	O(n^1)	O(n^1)	O(n^1)	PRIMREC
SK90 4.05	MAYBE	MAYBE	MAYBE	PRIMREC
SK90 4.12	MAYBE	MAYBE	O(n^1)	MAYBE
SK90 4.13	MAYBE	MAYBE	O(n^3)	MAYBE
SK90 4.16	MAYBE	MAYBE	O(n^1)	PRIMREC
SK90 4.17	MAYBE	MAYBE	O(n^3)	MAYBE
SK90 4.18	MAYBE	O(1)	O(1)	MAYBE
SK90 4.24	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.25	MAYBE	MAYBE	O(n^1)	PRIMREC
SK90 4.29	O(n^1)	O(n^1)	O(n^1)	PRIMREC
SK90 4.30	MAYBE	MAYBE	O(n^3)	MAYBE
SK90 4.31	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.34	MAYBE	missing	missing	MAYBE
SK90 4.35	MAYBE	O(n^1)	O(n^1)	MAYBE
SK90 4.38	MAYBE	missing	missing	MAYBE
SK90 4.42	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.45	O(n^1)	O(n^1)	O(n^1)	PRIMREC
SK90 4.47	MAYBE	O(n^1)	O(n^1)	MAYBE
SK90 4.54	MAYBE	missing	missing	MAYBE
SK90 4.57	MAYBE	O(1)	O(1)	MAYBE
SK90 4.59	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.60	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.61	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 05 TRS aprove2	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS aprove3	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS cime3	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS cime4	MAYBE	O(n^1)	O(n^1)	MAYBE
Secret 05 TRS cime5	MAYBE	MAYBE	missing	MAYBE
Secret 05 TRS tpa1	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 05 TRS tpa2	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 05 TRS tpa3	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 05 TRS tpa4	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 05 TRS tpa5	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 05 TRS ttt2	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 SRS 5-matchbox	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS addList	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS divExp	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS division	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS double	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS logarithm	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS nrOfNodes	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS reverse	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS sumList	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS times	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS toList	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa04	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa05	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa06	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa07	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa08	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa09	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 06 TRS tpa10	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 07 TRS aprove01	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove02	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove03	MAYBE	MAYBE	TIMEOUT	MAYBE
Secret 07 TRS aprove04	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove05	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove06	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove07	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove08	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove09	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove10	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS secret3	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.12a	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex14 AEGL02	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex14 AEGL02 FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex14 AEGL02 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex14 AEGL02 Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex14 Luc06 GM	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex15 Luc06 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex15 Luc98	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex16 Luc06 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 2 AEL03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 2 Luc02c	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GL02a	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GL02a L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM99	MAYBE	O(1)	O(1)	MAYBE
Strategy outermost added 08 Ex1 GM99 FR	MAYBE	O(1)	O(1)	MAYBE
Strategy outermost added 08 Ex1 GM99 GM	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM99 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Luc02b	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex1 Luc04b FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Luc04b Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Zan97	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Zan97 FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Zan97 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex24 GM04 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Strategy outerm...added 08 Ex24 Luc06 FR	MAYBE	O(1)	O(1)	MAYBE
Strategy outerm...added 08 Ex24 Luc06 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Strategy outermost added 08 Ex24 Luc06 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex26 Luc03b	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex2 Luc03b	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex3 12 Luc96a	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex3 2 Luc97	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex3 3 25 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex4 4 Luc96b	MAYBE	missing	missing	MAYBE
Strategy outerm...dded 08 Ex4 4 Luc96b Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 7 15 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 7 37 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 7 56 Bor03	MAYBE	missing	missing	MAYBE
Strategy outerm...dded 08 Ex4 7 77 Bor03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex4 Zan97	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex5 Zan97	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex6 9 Luc02c	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex6 GM04	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex6 GM04 FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex6 Luc98	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex7 BLR02	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex8 BLR02	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 BLR02	MAYBE	MAYBE	TIMEOUT	MAYBE
Strategy outermost added 08 Ex9 Luc04 FR	MAYBE	O(1)	O(1)	MAYBE
Strategy outermost added 08 Ex9 Luc04 GM	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 Luc04 L	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 Luc06 FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...d 08 ExAppendixB AEL03	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 ExConc Zan97	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 ExConc Zan97 Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 ExIntrod GM01	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 ExIntrod GM01 FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 ExIntrod GM01 Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 ExIntrod GM04	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 ExIntrod GM04 FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 ExIntrod GM04 Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 ExIntrod GM99	MAYBE	MAYBE	TIMEOUT	MAYBE
Strategy outerm...dded 08 ExIntrod Zan97	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...Lists nosorts-noand FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...FiniteLists nosorts FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...FiniteLists nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Strategy outerm...Lists nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...onsOS nosorts-noand FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ConsOS nosorts-noand Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...08 OvConsOS nosorts FR	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...08 OvConsOS nosorts GM	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... 08 OvConsOS nosorts Z	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...onsOS nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 jwno1	MAYBE	MAYBE	TIMEOUT	MAYBE
Strategy outermost added 08 jwno4	MAYBE	missing	missing	MAYBE
Strategy outermost added 08 jwno6	MAYBE	missing	missing	MAYBE
Strategy outermost added 08 muladd	MAYBE	MAYBE	TIMEOUT	MAYBE
Strategy outermost added 08 test75	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test76	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test77	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test9	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 toyama	MAYBE	O(1)	O(1)	MAYBE
Strategy removed AG01 4.30c	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 ackantiinn	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 add	O(n^1)	O(n^1)	O(n^1)	PRIMREC
TCT 09 addmult	O(n^2)	O(n^2)	MAYBE	PRIMREC
TCT 09 append	O(n^1)	O(n^1)	O(n^1)	PRIMREC
TCT 09 dexpdp	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 dexpdp2	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 expantiinn	MAYBE	MAYBE	TIMEOUT	PRIMREC
TCT 09 insertsort	MAYBE	MAYBE	MAYBE	PRIMREC
TCT 09 lcs	MAYBE	MAYBE	MAYBE	PRIMREC
TCT 09 ma1	O(n^2)	O(n^1)	O(n^1)	MAYBE
TCT 09 ma3	O(n^2)	O(n^2)	O(n^1)	MAYBE
TCT 09 ma4	MAYBE	MAYBE	MAYBE	PRIMREC
TCT 09 ma6	O(n^3)	O(n^3)	MAYBE	PRIMREC
TCT 09 ma7	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 ma8	MAYBE	O(n^1)	O(n^1)	MAYBE
TCT 09 ma9	MAYBE	MAYBE	O(n^1)	MAYBE
TCT 09 mergesort	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 nonmultrec	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 qbf	MAYBE	MAYBE	O(n^1)	PRIMREC
TCT 09 revappend	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 shuffle	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 supexpur	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex14 AEGL02 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex14 Luc06 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex15 Luc06 FR	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex15 Luc06 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex15 Luc06 Z	MAYBE	O(1)	O(1)	MAYBE
Transformed CSR 04 Ex15 Luc98 GM	MAYBE	MAYBE	O(n^1)	MAYBE
Transformed CSR 04 Ex16 Luc06 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex18 Luc06 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex1 2 AEL03 GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR 04 Ex1 2 Luc02c GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex1 GL02a GM	MAYBE	MAYBE	O(n^1)	PRIMREC
Transformed CSR 04 Ex1 GM03 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 GM99 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 Luc02b GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 Luc02b Z	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex1 Luc04b GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex1 Zan97 GM	MAYBE	MAYBE	O(n^1)	PRIMREC
Transformed CSR 04 Ex23 Luc06 GM	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex24 GM04 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex24 Luc06 GM	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex25 Luc06 GM	O(n^3)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex26 Luc03b GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR 04 Ex26 Luc03b L	O(n^2)	O(1)	O(1)	PRIMREC
Transformed CSR 04 Ex2 Luc02a GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex2 Luc02a L	MAYBE	MAYBE	MAYBE	PRIMREC
Transformed CSR 04 Ex2 Luc02a Z	MAYBE	MAYBE	MAYBE	PRIMREC
Transformed CSR 04 Ex2 Luc03b GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex2 Luc03b L	O(1)	O(1)	O(1)	PRIMREC
Transformed CSR 04 Ex2 Luc03b Z	MAYBE	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex3 12 Luc96a GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex3 12 Luc96a Z	O(n^3)	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex3 2 Luc97 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex3 3 25 Bor03 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex49 GM04 GM	MAYBE	MAYBE	O(n^2)	MAYBE
Transformed CSR 04 Ex4 4 Luc96b GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex4 7 15 Bor03 GM	MAYBE	MAYBE	O(n^2)	MAYBE
Transformed CSR 04 Ex4 7 15 Bor03 L	MAYBE	O(1)	O(1)	MAYBE
Transformed CSR 04 Ex4 7 15 Bor03 Z	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex4 7 37 Bor03 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 7 37 Bor03 Z	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex4 7 56 Bor03 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 7 56 Bor03 Z	O(n^3)	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex4 7 77 Bor03 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 DLMMU04 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 Zan97 FR	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex4 Zan97 GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR 04 Ex4 Zan97 Z	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex5 7 Luc97 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex5 DLMMU04 GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR 04 Ex5 Zan97 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex5 Zan97 Z	MAYBE	MAYBE	O(n^1)	MAYBE
Transformed CSR 04 Ex6 15 AEL02 GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR 04 Ex6 9 Luc02c FR	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex6 9 Luc02c GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex6 9 Luc02c Z	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex6 GM04 GM	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex6 Luc98 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex6 Luc98 L	O(1)	O(1)	O(1)	PRIMREC
Transformed CSR 04 Ex6 Luc98 Z	O(n^1)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 Ex7 BLR02 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex7 BLR02 Z	MAYBE	O(n^1)	O(n^1)	MAYBE
Transformed CSR 04 Ex8 BLR02 FR	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex8 BLR02 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex8 BLR02 Z	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex9 BLR02 GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex9 BLR02 L	O(1)	O(1)	O(1)	PRIMREC
Transformed CSR 04 Ex9 BLR02 Z	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 Ex9 Luc04 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex9 Luc06 GM	MAYBE	MAYBE	O(n^1)	MAYBE
Transformed CSR 04 ExAppendixB AEL03 GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR 04 ExAppendixB AEL03 Z	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExConc Zan97 FR	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 ExConc Zan97 GM	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 ExIntrod GM01 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExIntrod GM04 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExIntrod GM99 GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 ExIntrod Zan97 GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExProp7 Luc06 GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 ExProp7 Luc06 L	MAYBE	MAYBE	O(n^2)	MAYBE
Transformed CSR 04 ExProp7 Luc06 Z	MAYBE	MAYBE	O(n^2)	MAYBE
Transformed CSR 04 ExSec11 1 Luc02a GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExSec4 2 DLMMU04 GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 ExSec4 2 DLMMU04 Z	O(n^7)	O(n^1)	O(n^1)	MAYBE
Transformed CSR...TUTILITIES complete GM	MAYBE	TIMEOUT	TIMEOUT	missing
Transformed CSR...TIES complete noand GM	missing	TIMEOUT	TIMEOUT	TIMEOUT
Transformed CSR...STUTILITIES nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...ITIES nokinds noand GM	MAYBE	TIMEOUT	TIMEOUT	missing
Transformed CSR...LITIES nosorts-noand Z	MAYBE	MAYBE	O(n^1)	MAYBE
Transformed CSR...STUTILITIES nosorts GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR...ISTUTILITIES nosorts Z	MAYBE	MAYBE	O(n^1)	MAYBE
Transformed CSR...ITIES nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...initeLists complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...ists complete noand GM	MAYBE	TIMEOUT	TIMEOUT	MAYBE
Transformed CSR...FiniteLists nokinds GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...Lists nokinds noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...FiniteLists nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...Lists nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...YNAT complete noand GM	MAYBE	TIMEOUT	TIMEOUT	MAYBE
Transformed CSR 04 MYNAT nokinds GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...MYNAT nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...MYNAT nosorts-noand FR	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT nosorts FR	O(n^2)	O(n^2)	MAYBE	PRIMREC
Transformed CSR 04 MYNAT nosorts GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...MYNAT nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 OvConsOS complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...nsOS complete noand GM	MAYBE	TIMEOUT	TIMEOUT	missing
Transformed CSR 04 OvConsOS nokinds GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR...onsOS nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 OvConsOS nosorts GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...onsOS nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...PALINDROME complete GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...ROME complete noand GM	MAYBE	TIMEOUT	TIMEOUT	MAYBE
Transformed CSR 04 PALINDROME nokinds GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...DROME nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 PALINDROME nosorts GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...DROME nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PEANO complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR...EANO complete noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE
Transformed CSR 04 PEANO nokinds GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...PEANO nokinds noand GM	MAYBE	MAYBE	missing	MAYBE
Transformed CSR...PEANO nosorts-noand FR	MAYBE	MAYBE	O(n^1)	MAYBE
Transformed CSR 04 PEANO nosorts FR	O(n^2)	O(n^1)	O(n^1)	PRIMREC
Transformed CSR 04 PEANO nosorts GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...PEANO nosorts noand GM	MAYBE	MAYBE	MAYBE	MAYBE
Transformed outermost 08 ex5.3	MAYBE	MAYBE	MAYBE	MAYBE
Transformed outermost 08 ex5.8	MAYBE	MAYBE	MAYBE	MAYBE
Various 04 11	MAYBE	MAYBE	MAYBE	MAYBE
Various 04 15	MAYBE	MAYBE	O(n^3)	MAYBE
Various 04 22	MAYBE	O(n^1)	O(n^1)	MAYBE
Various 04 23	MAYBE	MAYBE	O(n^1)	MAYBE
Various 04 24	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 06 jwmatchb1	MAYBE	missing	missing	MAYBE
Waldmann 06 jwmatchb2	MAYBE	missing	missing	MAYBE
Waldmann 07 siz...size-11-alpha-3-num-12	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-132	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-133	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-238	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-249	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-263	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-275	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-296	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-297	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-298	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-300	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-304	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-353	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-359	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-361	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-362	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-363	MAYBE	MAYBE	TIMEOUT	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-429	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-441	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-448	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...size-12-alpha-3-num-47	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...size-12-alpha-3-num-48	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...size-12-alpha-3-num-49	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-540	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-541	MAYBE	MAYBE	MAYBE	MAYBE
Waldmann 07 siz...ize-12-alpha-3-num-543	MAYBE	MAYBE	missing	MAYBE
Zantema 04 z009	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 04 z010	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 04 z042	MAYBE	missing	missing	MAYBE
Zantema 04 z043	MAYBE	missing	missing	MAYBE
Zantema 04 z044	MAYBE	missing	missing	MAYBE
Zantema 04 z045	MAYBE	missing	missing	MAYBE
Zantema 04 z046	MAYBE	missing	missing	MAYBE
Zantema 04 z047	MAYBE	missing	missing	MAYBE
Zantema 04 z076	MAYBE	MAYBE	O(n^3)	MAYBE
Zantema 04 z077	MAYBE	MAYBE	MAYBE	PRIMREC
Zantema 04 z078	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 05 z12	MAYBE	missing	missing	MAYBE
Zantema 05 z13	MAYBE	missing	missing	MAYBE
Zantema 05 z14	MAYBE	missing	missing	MAYBE
Zantema 05 z15	MAYBE	missing	missing	MAYBE
Zantema 05 z16	MAYBE	missing	missing	MAYBE
Zantema 05 z17	MAYBE	missing	missing	MAYBE
Zantema 05 z18	MAYBE	missing	missing	MAYBE
Zantema 05 z23	MAYBE	missing	missing	MAYBE
Zantema 05 z24	MAYBE	missing	missing	MAYBE
Zantema 05 z27	MAYBE	missing	missing	MAYBE
Zantema 08 cariboo nl 5	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 ex2	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 from one	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 from one a	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 from three	MAYBE	MAYBE	MAYBE	MAYBE