Experiments - Research Group

The experiments were generated using this test file. The testbed can be downloaded from here.

Statistics

	CaT	IRC1	IRC2	RC1	RC2
O(1)	-	10	3	10	3
O(n^1)	438	391	485	383	483
O(n^2)	13	2	14	1	7
O(n^3)	1	4	3	3	2
O(n^4)	1	-	-	-	-
Total YES	453	407	505	397	495
Total MAYBE	1015	1278	421	1289	429
Total NO	120	-	-	-	-
Total TIMEOUT	-	-	769	-	768
Strict Wins	11	2	9	-	-

Some comments: It was recently agreed upon within developers of complexity tools that context-sensitive problems should be considered for runtime complexity analysis, where the replacment map is simply ignored.
However, the version used to test CaT is not yet equipped to handle CSR problems in this way. This explains the "timeout/error" warning given in the CaT column for these examples.
Furthermore, CaT is also equipped with a non-termination check. However, for the current competition semantics in complexity this is not taken into account, or counted.

Results

Problem (all selected)	CaT	IRC1	IRC2	RC1	RC2
AG01 3.1	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
AG01 3.10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.13	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.15	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.16	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.17	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.17a	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.18	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.19	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.22	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.23	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
AG01 3.24	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.26	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.29	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.31	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.33	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
AG01 3.35	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.36	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.37	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.38	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.39	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
AG01 3.4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.40	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.41	MAYBE	O(n^1)	O(n^3)	MAYBE	O(n^3)
AG01 3.42	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.47	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.48	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.49	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.5	MAYBE	MAYBE	O(n^2)	MAYBE	O(n^2)
AG01 3.51	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.52	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
AG01 3.53	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.53a	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.53b	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
AG01 3.54	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.55	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.56	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.57	MAYBE	MAYBE	MAYBE	MAYBE	TIMEOUT
AG01 3.5a	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.5b	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.6	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.6a	MAYBE	MAYBE	O(n^2)	MAYBE	O(n^2)
AG01 3.6b	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 3.7	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 3.8a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 3.8b	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 4.30c	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.14	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
AG01 innermost 4.16	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.17	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 innermost 4.19	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.20a	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 innermost 4.22	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.23	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.24	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.25	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.26	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.27	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.28	O(n^2)	O(n^1)	O(n^2)	O(n^1)	O(n^2)
AG01 innermost 4.29	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.30	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.30a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.30b	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.31	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 innermost 4.32	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AG01 innermost 4.33	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.34	MAYBE	MAYBE	O(n^2)	MAYBE	O(n^2)
AG01 innermost 4.35	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.36	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AG01 innermost 4.37	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 innermost 4.37a	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AG01 innermost 4.7	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 AAECC	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 AAECC-ring	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 IJCAR 1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 04 IJCAR 12	MAYBE	MAYBE	MAYBE	MAYBE	TIMEOUT
AProVE 04 IJCAR 18	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 IJCAR 26	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 IJCAR 26a	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 JFP Ex31	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 JFP Ex51	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 LPAR intlist	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 Liveness6.1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 Liveness6.2	O(n^2)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 Liveness6.3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AProVE 04 Liveness6.4	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 Liveness8	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AProVE 04 Liveness WRS	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AProVE 04 fac	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 rta1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 04 rta2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 04 rta3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 div notCeTermin	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 div notTermin	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 factorial1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 factorial2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 identity	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 logarithm	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 modulo	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 nonterm	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 quicksort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 quot	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 sizeChange	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 06 tower	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 06 tower sizeChange	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 kabasci01	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 kabasci02	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 kabasci03	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 kabasci04	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 kabasci05	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto01	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto02	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto05	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto07	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto09	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto11	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 otto12	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 otto13	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann01	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann02	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann05	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann07	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann08	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann09	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann11	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann13	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann14	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann15	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann16	MAYBE	MAYBE	TIMEOUT	MAYBE	MAYBE
AProVE 07 thiemann17	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann18	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann19	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann20	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann21	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann22	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann23	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann24	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann25	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann26	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann27	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann28	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann29	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann30	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann31	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann32	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann33	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann34	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann36	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann37	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann38	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 thiemann40	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 thiemann41	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 wiehe01	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 wiehe02	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 wiehe03	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 wiehe05	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 wiehe06	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 wiehe07	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 wiehe08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 wiehe09	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 07 wiehe11	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 07 wiehe12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 08 id inc	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 log	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 08 parting01 reverse	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 08 parting02 doublelist	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 08 parting03 minsort	MAYBE	MAYBE	TIMEOUT	MAYBE	missing
AProVE 08 parting04 maxsort h	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 08 parting05 maxsort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 08 round	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 round nonterm	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 08 thiemann40 modified	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 09 Inductive div	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive divhard	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive gcd	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive gcd2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive gcdhard	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive log	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive maxsort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive maxsortcondition	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive minsort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive mod	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive qsort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive qsortlast	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive qsortmiddle	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 09 Inductive zerolist	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
AProVE 10 Zantema06-03-modified	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 andIsNat	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 challenge fab	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 double	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 downfrom	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 ex5	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
AProVE 10 halfdouble	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 isList	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 isNat	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AProVE 10 scnp	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 11	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 12	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 13	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 14	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 15	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 16	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 17	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 18	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 19	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Beerendonk 07 2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 20	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Beerendonk 07 21	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 22	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 23	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 24	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Beerendonk 07 6	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 7	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Beerendonk 07 8	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Beerendonk 07 9	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Bouchare 06 12	O(n^1)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex14 AEGL02	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex14 Luc06	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex15 Luc06	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
CSR 04 Ex15 Luc98	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex16 Luc06	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex1 2 AEL03	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 2 Luc02c	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 GL02a	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 GM03	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex1 GM99	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 Luc02b	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex1 Luc04b	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex1 Zan97	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex23 Luc06	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
CSR 04 Ex24 GM04	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex24 Luc06	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex25 Luc06	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
CSR 04 Ex26 Luc03b	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex2 Luc02a	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex2 Luc03b	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex3 12 Luc96a	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex3 2 Luc97	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex3 3 25 Bor03	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex49 GM04	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 4 Luc96b	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 7 15 Bor03	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex4 7 37 Bor03	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 7 56 Bor03	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 7 77 Bor03	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex4 DLMMU04	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex4 Zan97	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex5 7 Luc97	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex5 DLMMU04	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex5 Zan97	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex6 15 AEL02	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex6 9 Luc02c	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex6 GM04	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 Ex6 Luc98	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex7 BLR02	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex8 BLR02	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex9 BLR02	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex9 Luc04	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 Ex9 Luc06	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 ExAppendixB AEL03	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExConc Zan97	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 ExIntrod GM01	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 ExIntrod GM04	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 ExIntrod GM99	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExIntrod Zan97	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExProp7 Luc06	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CSR 04 ExSec11 1 Luc02a	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExSec11 1 Luc02a-TRCSR	missing	MAYBE	MAYBE	MAYBE	MAYBE
CSR 04 ExSec4 2 DLMMU04	missing	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 ack prolog	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 append	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
CiME 04 append-hard	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
CiME 04 append-wrong	MAYBE	MAYBE	TIMEOUT	MAYBE	MAYBE
CiME 04 big	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 dpqs	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
CiME 04 fact-hard	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 filliatre	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 filliatre2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 filliatre3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 intersect	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 list-sum-prod	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 list-sum-prod-assoc	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 list-sum-prod-assoc-append	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 list-sum-prod-bin	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 list-sum-prod-bin-assoc	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 list-su...od-bin-assoc-distr-app	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 log2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 lse	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 maude2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 mucrl1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 ternary	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 ternary-hard	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
CiME 04 tree	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Der95 06	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Der95 07	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Der95 08	MAYBE	O(n^1)	O(n^1)	MAYBE	O(n^1)
Der95 11	MAYBE	O(n^1)	O(n^1)	MAYBE	O(n^1)
Der95 12	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Der95 18	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Der95 20	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Der95 21	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Der95 27	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Der95 31	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Der95 32	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Der95 33	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Endrullis 06 direct	O(n^1)	O(n^3)	O(n^1)	O(n^3)	O(n^1)
GTSSK07 cade01	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade04t	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade05t	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
GTSSK07 cade07	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade08	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade09	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade10	MAYBE	MAYBE	TIMEOUT	MAYBE	MAYBE
GTSSK07 cade11	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade12t	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade13t	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
GTSSK07 cade14	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
GTSSK07 cade15	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
GTSSK07 cade16	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
GTSSK07 cade17	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 n002	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 n003	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 n004	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 n005	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 n006	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 n007	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t001	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 t002	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
HirokawaMiddeldorp 04 t003	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 t004	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 t009	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 t011	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
HirokawaMiddeldorp 04 t012	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 t013	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
HirokawaMiddeldorp 04 t014	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
ICFP 2010 157388	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 158152	O(n^1)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
ICFP 2010 160263	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 211471	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 211639	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 211857	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 211960	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 212094	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 212117	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 212421	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 212480	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 212612	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
ICFP 2010 212693	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 213281	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 213437	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 213560	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 213611	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 214011	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 214091	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 230780	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 230819	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 230948	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 231043	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 231149	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 231230	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 231300	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 231378	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 231480	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 231604	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 246924	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 247020	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 247254	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 247504	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 247906	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 247992	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 248060	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 249386	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 249459	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 249663	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 25192	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 25731	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26069	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26103	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26123	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26130	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26186	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26226	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 26291	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 264370	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
ICFP 2010 264405	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
ICFP 2010 26683	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
ICFP 2010 27030	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 27131	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 27134	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 27213	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 27235	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 27280	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 28293	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 28464	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 28643	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 28838	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 40093	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 40708	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 45720	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 45757	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 48262	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 54532	missing	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 54622	missing	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 57355	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
ICFP 2010 58194	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
ICFP 2010 58301	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
MNZ 10 labelled	MAYBE	missing	TIMEOUT	missing	TIMEOUT
MNZ 10 nrvsq	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LISTUTILITIES complete	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LISTUTILITIES complete-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LISTUTILITIES nokinds	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LISTUTILITIES nokinds-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LISTUTILITIES nosorts	missing	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 LISTUTILITIES nosorts-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LengthOfFiniteLists complete	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 Length...teLists complete-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 LengthOfFiniteLists nokinds	missing	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 Length...iteLists nokinds-noand	missing	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 LengthOfFiniteLists nosorts	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 Length...iteLists nosorts-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT complete	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT complete-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT ...lete-noand-peanoSimple	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT complete-peanoSimple	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT nokinds	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT nokinds-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT nokinds-noand-peanoSimple	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT nokinds-peanoSimple	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 MYNAT nosorts	missing	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 MYNAT nosorts-noand	missing	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 MYNAT nosorts-noand-peanoSimple	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Maude 06 MYNAT nosorts-peanoSimple	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Maude 06 OvConsOS complete	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 OvConsOS complete-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 OvConsOS nokinds	missing	MAYBE	MAYBE	MAYBE	MAYBE
Maude 06 OvConsOS nokinds-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 OvConsOS nosorts	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 OvConsOS nosorts-noand	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 PALINDROME complete	missing	MAYBE	O(n^1)	MAYBE	O(n^1)
Maude 06 PALINDROME complete-noand	missing	MAYBE	O(n^1)	MAYBE	O(n^1)
Maude 06 PALINDROME nokinds	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Maude 06 PALINDROME nokinds-noand	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Maude 06 PALINDROME nosorts	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Maude 06 PALINDROME nosorts-noand	missing	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Maude 06 csrdiv	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Maude 06 emmes	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed CTRS quick	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed SRS 01-oppelt08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed SRS 06-oppelt08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed SRS 07	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Mixed SRS 07-oppelt08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed SRS 08-oppelt08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed SRS 1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed SRS turing add	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Mixed SRS turing copy	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Mixed SRS turing mult	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Mixed TRS Ex1 Luc04b GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS gcd	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS gcdMinMax	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS gcd triple	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS hydra	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS hydra-Zantema06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS jones1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Mixed TRS jones2	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Mixed TRS jones4	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Mixed TRS jones5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS jones6	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Mixed TRS minsort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS perfect	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Mixed TRS perfect2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed TRS test1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed TRS while	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost cade04	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost cade05	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed innermost cade12	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost cade13	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost innermost4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost innermost5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost muladd	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost test10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost test76	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost test77	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed innermost test830	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Mixed innermost tricky1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed innermost wiehe13	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed innermost wiehe14	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost afbg	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost even	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost ex1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost ex2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost ex3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost ex4	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost ex5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost ex6	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost gfb	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost non-lin1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost non-lin2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost non-lin3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Mixed outermost odd	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost patterns1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Mixed outermost patterns2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 bintrees	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Rubio 04 bn122	MAYBE	MAYBE	O(n^2)	MAYBE	O(n^2)
Rubio 04 division	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 elimdupl	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 enno	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 gcd	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 gm	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Rubio 04 gmnp	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Rubio 04 koen	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Rubio 04 logarquot	MAYBE	MAYBE	O(n^2)	MAYBE	O(n^2)
Rubio 04 ma96	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 mfp95	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
Rubio 04 nestrec	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 p266	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Rubio 04 polo2	MAYBE	O(n^1)	O(n^1)	MAYBE	O(n^1)
Rubio 04 prov	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Rubio 04 quick	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 quotminus	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Rubio 04 revlist	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 selsort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Rubio 04 test4	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Rubio 04 test829	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Rubio 04 wst99	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.02	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.03	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.07	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.09	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.11	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.13	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.14	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.15	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.16	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.17	MAYBE	O(n^1)	O(n^1)	MAYBE	O(n^1)
SK90 2.18	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.19	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.20	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
SK90 2.21	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.22	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.23	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.24	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.25	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.26	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.27	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.28	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.29	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
SK90 2.30	MAYBE	O(1)	O(1)	O(1)	O(1)
SK90 2.31	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.36	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.37	MAYBE	MAYBE	O(1)	MAYBE	O(1)
SK90 2.38	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.39	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.40	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
SK90 2.41	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.42	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.43	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.44	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
SK90 2.45	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
SK90 2.47	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.48	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.49	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.50	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.51	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 2.52	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 2.53	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.54	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.55	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 2.59	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
SK90 2.61	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.05	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.06	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.07	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.09	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 4.10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.12	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.13	MAYBE	O(n^1)	O(n^3)	MAYBE	O(n^3)
SK90 4.16	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.17	MAYBE	O(n^2)	O(n^2)	MAYBE	MAYBE
SK90 4.18	MAYBE	O(1)	O(1)	O(1)	O(1)
SK90 4.22	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.24	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 4.25	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.26	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.28	MAYBE	O(n^1)	O(n^1)	MAYBE	O(n^1)
SK90 4.29	O(n^1)	O(n^1)	O(n^1)	MAYBE	O(n^1)
SK90 4.30	O(n^1)	O(n^3)	O(n^1)	O(n^3)	O(n^1)
SK90 4.31	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.34	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 4.35	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
SK90 4.38	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.42	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.43	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 4.45	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.47	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
SK90 4.48	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.51	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
SK90 4.53	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.54	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.57	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 4.59	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SK90 4.60	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
SK90 4.61	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 SRS aprove1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 SRS aprove2	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS aprove3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 SRS aprove5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 SRS jambox1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS jambox3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS jambox5	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS matchbox2	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS torpa1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS torpa3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 05 SRS torpa4	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS aprove2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS aprove3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS aprove4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS aprove5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS cime2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS cime3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS cime4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS cime5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS tpa1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS tpa2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS tpa3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS tpa4	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS tpa5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 05 TRS ttt1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 05 TRS ttt2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS 1-matchbox	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS 10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS 5-matchbox	O(n^1)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS 7	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS 9	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS aprove00	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS aprove01	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS aprove02	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Secret 06 SRS aprove03	MAYBE	O(n^1)	O(n^1)	MAYBE	O(n^1)
Secret 06 SRS aprove04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS aprove05	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS aprove06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 SRS aprove07	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Secret 06 SRS aprove08	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Secret 06 SRS aprove09	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Secret 06 SRS secr3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS secr4	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS secr5	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 SRS secr8	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS 10	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 TRS 4	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 TRS 6	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 06 TRS addList	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS divExp	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS division	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS double	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS gen-1	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Secret 06 TRS gen-17	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS gen-28	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS logarithm	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS nrOfNodes	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS reverse	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS sumList	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS times	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS toList	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS tpa04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS tpa05	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS tpa06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 06 TRS tpa07	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS tpa08	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS tpa09	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 06 TRS tpa10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 SRS num-514	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS num-515	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS num-518	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 SRS num-519	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 SRS num-520	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS num-521	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS num-525	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 SRS num-527	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 SRS num-530	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS num-539	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS x01	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 SRS x02	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 SRS x03	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS x05	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 SRS x10	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Secret 07 TRS 3	O(n^1)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove01	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove02	MAYBE	MAYBE	MAYBE	MAYBE	TIMEOUT
Secret 07 TRS aprove03	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove05	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove06	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove07	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Secret 07 TRS aprove08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove09	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS aprove10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS secret1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS secret3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS secret4	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Secret 07 TRS secret5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 4.12a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.13	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.14	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Strategy outermost added 08 4.15	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.16	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.17	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Strategy outermost added 08 4.18	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Strategy outermost added 08 4.2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 4.3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 4.7	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex14 AEGL02	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex14 AEGL02 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	MAYBE
Strategy outerm...added 08 Ex14 AEGL02 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 Ex14 AEGL02 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 Ex14 Luc06 FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex14 Luc06 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex14 Luc06 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex15 Luc06 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex15 Luc98	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex15 Luc98 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex16 Luc06 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 2 AEL03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex1 2 AEL03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 2 Luc02c	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex1 2 Luc02c L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GL02a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GL02a L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 GL02a Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 GM03	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 GM03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM03 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 GM99	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM99 FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM99 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 GM99 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 GM99 iGM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 Luc02b	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Luc02b L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex1 Luc04b FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 Luc04b L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex1 Luc04b Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 Zan97	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 Zan97 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex1 Zan97 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex24 GM04	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex24 GM04 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex24 GM04 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 Ex24 Luc06 FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex24 Luc06 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex24 Luc06 L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...dded 08 Ex24 Luc06 iGM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex26 Luc03b	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex2 Luc03b	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex3 12 Luc96a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 Ex3 12 Luc96a L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex3 2 Luc97	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex3 2 Luc97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex3 3 25 Bor03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 Ex3 3 25 Bor03 Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex49 GM04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex4 4 Luc96b	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 Ex4 4 Luc96b FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 4 Luc96b Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 7 15 Bor03	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...dded 08 Ex4 7 37 Bor03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 Ex4 7 37 Bor03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 7 56 Bor03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 Ex4 7 56 Bor03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 7 77 Bor03	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ed 08 Ex4 7 77 Bor03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex4 DLMMU04 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 Ex4 DLMMU04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex4 DLMMU04 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex4 Zan97	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex4 Zan97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex5 7 Luc97	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex5 7 Luc97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex5 DLMMU04 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 Ex5 DLMMU04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...added 08 Ex5 DLMMU04 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex5 Zan97	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex5 Zan97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex6 15 AEL02	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex6 15 AEL02 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex6 15 AEL02 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex6 9 Luc02c	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...dded 08 Ex6 9 Luc02c L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex6 GM04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex6 GM04 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 Ex6 Luc98	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex7 BLR02	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex7 BLR02 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex8 BLR02	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex8 BLR02 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 BLR02	MAYBE	missing	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 Luc04 FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 Luc04 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 Luc04 L	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 Ex9 Luc06 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...d 08 ExAppendixB AEL03	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...08 ExAppendixB AEL03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 ExConc Zan97	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...dded 08 ExConc Zan97 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 ExIntrod GM01	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ed 08 ExIntrod GM01 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ded 08 ExIntrod GM01 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 ExIntrod GM01 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 ExIntrod GM04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ed 08 ExIntrod GM04 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ded 08 ExIntrod GM04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 ExIntrod GM04 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...added 08 ExIntrod GM99	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 ExIntrod GM99 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 ExIntrod GM99 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...dded 08 ExIntrod Zan97	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 ExIntrod Zan97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 ExIntrod Zan97 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ed 08 ExSec11 1 Luc02a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... 08 ExSec4 2 DLMMU04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ITIES complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...STUTILITIES complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...LITIES nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ISTUTILITIES nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...LITIES nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ISTUTILITIES nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ists complete-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...Lists complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...Lists complete-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...FiniteLists complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...Lists nokinds-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...eLists nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...eLists nokinds-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...FiniteLists nokinds FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...fFiniteLists nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...fFiniteLists nokinds Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...Lists nosorts-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...eLists nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...FiniteLists nosorts FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...FiniteLists nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...fFiniteLists nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...initeLists nosorts iGM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Strategy outerm...Lists nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...MYNAT complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 MYNAT complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... MYNAT nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 MYNAT nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... MYNAT nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 MYNAT nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...onsOS complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...08 OvConsOS complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...onsOS nokinds-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ConsOS nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ConsOS nokinds-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm... 08 OvConsOS nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...onsOS nosorts-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...ConsOS nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ConsOS nosorts-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...08 OvConsOS nosorts FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...08 OvConsOS nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm... 08 OvConsOS nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... 08 OvConsOS nosorts Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...onsOS nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...DROME complete-noand L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm... PALINDROME complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...NDROME nokinds-noand L	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outerm...8 PALINDROME nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...8 PALINDROME nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...PEANO complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ed 08 PEANO complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... PEANO nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 PEANO nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm... PEANO nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outerm...ded 08 PEANO nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 gkg	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Strategy outermost added 08 jwno1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 jwno4	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 jwno6	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Strategy outermost added 08 jwno9	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Strategy outermost added 08 muladd	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 n001	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Strategy outermost added 08 test10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test75	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test76	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test77	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 test9	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy outermost added 08 toyama	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Strategy removed AG01 4.30c	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 ackantiinn	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 ackantiinn2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 add	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
TCT 09 addmult	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 append	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
TCT 09 dexpdp	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 dexpdp2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 expantiinn	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 insertsort	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 lcs	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 ma1	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
TCT 09 ma3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
TCT 09 ma4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 ma6	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 ma7	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 ma8	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
TCT 09 ma9	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
TCT 09 mergesort	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 nonmultrec	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
TCT 09 qbf	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 revappend	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 shuffle	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 supexpdg	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
TCT 09 supexpur	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex14 AEGL02 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex14 AEGL02 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex14 Luc06 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex14 Luc06 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex15 Luc06 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex15 Luc06 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex15 Luc06 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex15 Luc06 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex15 Luc98 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex15 Luc98 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex15 Luc98 GM	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex15 Luc98 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex15 Luc98 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex16 Luc06 C	O(n^1)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex16 Luc06 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex18 Luc06 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex18 Luc06 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex18 Luc06 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex18 Luc06 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex1 2 AEL03 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 2 AEL03 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 2 AEL03 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 2 AEL03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 2 AEL03 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 2 Luc02c C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 2 Luc02c FR	MAYBE	MAYBE	O(n^1)	MAYBE	MAYBE
Transformed CSR 04 Ex1 2 Luc02c GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 2 Luc02c L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 2 Luc02c Z	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex1 GL02a C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GL02a FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GL02a GM	MAYBE	MAYBE	O(n^1)	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GM03 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GM03 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GM03 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GM03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 GM99 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 GM99 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 Luc02b C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 Luc02b FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 Luc02b GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 Luc02b L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 Luc02b Z	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 Ex1 Luc04b C	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 Ex1 Luc04b GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex1 Luc04b L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex1 Zan97 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex1 Zan97 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex23 Luc06 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex23 Luc06 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex23 Luc06 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex23 Luc06 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex24 GM04 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex24 GM04 FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex24 GM04 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex24 GM04 Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex24 Luc06 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex24 Luc06 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex25 Luc06 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex25 Luc06 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex25 Luc06 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex25 Luc06 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex26 Luc03b C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex26 Luc03b FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex26 Luc03b GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex26 Luc03b L	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex26 Luc03b Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex2 Luc02a C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex2 Luc02a FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex2 Luc02a GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex2 Luc02a L	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex2 Luc02a Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex2 Luc03b C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex2 Luc03b FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex2 Luc03b GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex2 Luc03b L	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
Transformed CSR 04 Ex2 Luc03b Z	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex3 12 Luc96a C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 12 Luc96a FR	MAYBE	MAYBE	O(n^2)	MAYBE	missing
Transformed CSR 04 Ex3 12 Luc96a GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 12 Luc96a L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex3 12 Luc96a Z	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 Ex3 2 Luc97 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 2 Luc97 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 2 Luc97 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 2 Luc97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex3 2 Luc97 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 3 25 Bor03 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 3 25 Bor03 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 3 25 Bor03 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex49 GM04 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex49 GM04 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex49 GM04 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex49 GM04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex49 GM04 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 4 Luc96b C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 4 Luc96b GM	MAYBE	MAYBE	O(n^2)	MAYBE	MAYBE
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 15 Bor03 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 15 Bor03 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 15 Bor03 GM	O(n^1)	O(n^3)	O(n^1)	O(n^2)	O(n^1)
Transformed CSR 04 Ex4 7 15 Bor03 L	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 15 Bor03 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 37 Bor03 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 7 37 Bor03 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 7 37 Bor03 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 7 37 Bor03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 7 37 Bor03 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 7 56 Bor03 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 7 56 Bor03 FR	MAYBE	MAYBE	O(n^2)	MAYBE	MAYBE
Transformed CSR 04 Ex4 7 56 Bor03 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 7 56 Bor03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 7 56 Bor03 Z	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 Ex4 7 77 Bor03 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex4 7 77 Bor03 GM	O(n^2)	O(n^3)	O(n^2)	O(n^3)	O(n^2)
Transformed CSR 04 Ex4 7 77 Bor03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 DLMMU04 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 DLMMU04 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 DLMMU04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 Zan97 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 Zan97 FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 Zan97 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex4 Zan97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex4 Zan97 Z	MAYBE	MAYBE	O(n^3)	MAYBE	MAYBE
Transformed CSR 04 Ex5 7 Luc97 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 7 Luc97 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 7 Luc97 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 7 Luc97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex5 7 Luc97 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 DLMMU04 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 DLMMU04 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 DLMMU04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex5 Zan97 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex5 Zan97 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex5 Zan97 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex5 Zan97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex5 Zan97 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex6 15 AEL02 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 15 AEL02 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 15 AEL02 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 15 AEL02 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex6 9 Luc02c C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 9 Luc02c FR	MAYBE	MAYBE	O(n^2)	MAYBE	MAYBE
Transformed CSR 04 Ex6 9 Luc02c GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 9 Luc02c L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex6 9 Luc02c Z	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 Ex6 GM04 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex6 GM04 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex6 Luc98 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 Luc98 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 Luc98 GM	MAYBE	MAYBE	O(n^2)	MAYBE	TIMEOUT
Transformed CSR 04 Ex6 Luc98 L	O(n^1)	O(1)	O(n^1)	O(1)	O(n^1)
Transformed CSR 04 Ex6 Luc98 Z	MAYBE	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex7 BLR02 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex7 BLR02 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex7 BLR02 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex7 BLR02 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex7 BLR02 Z	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 Ex8 BLR02 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex8 BLR02 FR	MAYBE	MAYBE	O(n^2)	MAYBE	TIMEOUT
Transformed CSR 04 Ex8 BLR02 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex8 BLR02 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex8 BLR02 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 BLR02 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 BLR02 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 BLR02 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 BLR02 L	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 Ex9 BLR02 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 Luc04 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 Luc04 GM	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 Ex9 Luc06 C	O(n^1)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 Ex9 Luc06 GM	O(n^2)	O(n^2)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExAppendixB AEL03 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExAppendixB AEL03 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	MAYBE
Transformed CSR 04 ExAppendixB AEL03 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExAppendixB AEL03 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExAppendixB AEL03 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExConc Zan97 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExConc Zan97 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExConc Zan97 GM	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExIntrod GM01 C	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 ExIntrod GM01 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod GM01 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExIntrod GM04 C	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR 04 ExIntrod GM04 GM	O(n^3)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod GM04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExIntrod GM99 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod GM99 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod GM99 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod GM99 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExIntrod Zan97 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod Zan97 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod Zan97 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExIntrod Zan97 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExProp7 Luc06 C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExProp7 Luc06 FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExProp7 Luc06 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExProp7 Luc06 L	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExProp7 Luc06 Z	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 ExSec11 1 Luc02a C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExSec11 1 Luc02a FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExSec11 1 Luc02a GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExSec11 1 Luc02a L	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExSec11 1 Luc02a Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExSec4 2 DLMMU04 C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExSec4 2 DLMMU04 FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExSec4 2 DLMMU04 GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 ExSec4 2 DLMMU04 L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 ExSec4 2 DLMMU04 Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...TIES complete-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ITIES complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...ITIES complete-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...STUTILITIES complete C	MAYBE	missing	TIMEOUT	missing	TIMEOUT
Transformed CSR...TUTILITIES complete FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...TUTILITIES complete GM	MAYBE	missing	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...STUTILITIES complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...STUTILITIES complete Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ITIES complete noand C	MAYBE	missing	TIMEOUT	missing	TIMEOUT
Transformed CSR...TIES complete noand GM	MAYBE	missing	TIMEOUT	missing	TIMEOUT
Transformed CSR...ITIES nokinds-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...LITIES nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...LITIES nokinds-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ISTUTILITIES nokinds C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...STUTILITIES nokinds FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...STUTILITIES nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ISTUTILITIES nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...ISTUTILITIES nokinds Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...LITIES nokinds noand C	MAYBE	MAYBE	TIMEOUT	missing	TIMEOUT
Transformed CSR...ITIES nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ITIES nosorts-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...LITIES nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...LITIES nosorts-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ISTUTILITIES nosorts C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...STUTILITIES nosorts FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...STUTILITIES nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ISTUTILITIES nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...ISTUTILITIES nosorts Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...LITIES nosorts noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ITIES nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...Lists complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...FiniteLists complete C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...initeLists complete FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...initeLists complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...FiniteLists complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...FiniteLists complete Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...Lists complete noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ists complete noand GM	MAYBE	MAYBE	TIMEOUT	missing	TIMEOUT
Transformed CSR...eLists nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...fFiniteLists nokinds C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...FiniteLists nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...fFiniteLists nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...eLists nokinds noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...Lists nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...eLists nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...fFiniteLists nosorts C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR...FiniteLists nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...fFiniteLists nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...eLists nosorts noand C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR...Lists nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...YNAT complete-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...MYNAT complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...MYNAT complete-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT complete C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT complete FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT complete Z	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...MYNAT complete noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...YNAT complete noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...MYNAT nokinds-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT nokinds-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nokinds C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nokinds FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT nokinds Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nokinds noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...MYNAT nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...MYNAT nosorts-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT nosorts C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nosorts FR	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 MYNAT nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 MYNAT nosorts noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...MYNAT nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...nsOS complete-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...onsOS complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...onsOS complete-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS complete C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS complete FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 OvConsOS complete Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...onsOS complete noand C	MAYBE	missing	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...nsOS complete noand GM	MAYBE	missing	TIMEOUT	missing	TIMEOUT
Transformed CSR...ConsOS nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 OvConsOS nokinds C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS nokinds FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 OvConsOS nokinds Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ConsOS nokinds noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...onsOS nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ConsOS nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 OvConsOS nosorts C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 OvConsOS nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 OvConsOS nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...ConsOS nosorts noand C	MAYBE	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Transformed CSR...onsOS nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ROME complete-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...DROME complete-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME complete C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PALINDROME complete FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PALINDROME complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PALINDROME complete Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...DROME complete noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...ROME complete noand GM	MAYBE	missing	TIMEOUT	missing	TIMEOUT
Transformed CSR...DROME nokinds-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...NDROME nokinds-noand Z	O(n^2)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME nokinds C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 PALINDROME nokinds FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PALINDROME nokinds Z	O(n^2)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...NDROME nokinds noand C	MAYBE	MAYBE	O(n^1)	MAYBE	O(n^1)
Transformed CSR...DROME nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME nosorts C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 PALINDROME nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PALINDROME nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...NDROME nosorts noand C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR...DROME nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...EANO complete-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PEANO complete-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR...PEANO complete-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO complete C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO complete FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO complete GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO complete L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PEANO complete Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PEANO complete noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...EANO complete noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PEANO nokinds-noand FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO nokinds-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PEANO nokinds-noand Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO nokinds C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO nokinds FR	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO nokinds GM	MAYBE	MAYBE	TIMEOUT	MAYBE	missing
Transformed CSR 04 PEANO nokinds L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PEANO nokinds Z	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO nokinds noand C	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PEANO nokinds noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR...PEANO nosorts-noand FR	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 PEANO nosorts-noand L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PEANO nosorts C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 PEANO nosorts FR	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR 04 PEANO nosorts GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed CSR 04 PEANO nosorts L	NO	MAYBE	MAYBE	MAYBE	MAYBE
Transformed CSR 04 PEANO nosorts noand C	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Transformed CSR...PEANO nosorts noand GM	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 cariboo ex1	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 cariboo ex2	missing	MAYBE	MAYBE	MAYBE	MAYBE
Transformed outermost 08 cariboo ex3	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 ex5.3	missing	MAYBE	MAYBE	MAYBE	MAYBE
Transformed outermost 08 ex5.4	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 ex5.5	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 ex5.6	missing	MAYBE	MAYBE	MAYBE	MAYBE
Transformed outermost 08 ex5.7	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 ex5.8	missing	MAYBE	MAYBE	MAYBE	MAYBE
Transformed outermost 08 f20	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 f30	missing	missing	TIMEOUT	missing	TIMEOUT
Transformed outermost 08 f4	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 f40	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Transformed outermost 08 morse	missing	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 04	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 08	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 11	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Various 04 12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 13	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 14	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Various 04 15	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Various 04 18	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Various 04 22	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Various 04 23	O(n^2)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Various 04 24	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 06 SRS e	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 06 SRS jw3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 06 SRS pi	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 06 jwmatchb1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 06 jwmatchb2	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-2-num-1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-2-num-2	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-3-num-1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-11-alpha-3-num-10	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-11-alpha-3-num-11	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...size-11-alpha-3-num-12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-11-alpha-3-num-14	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-11-alpha-3-num-15	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-11-alpha-3-num-16	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 size11 size-11-alpha-3-num-2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 size11 size-11-alpha-3-num-4	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-3-num-5	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-3-num-6	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-3-num-7	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-3-num-8	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size11 size-11-alpha-3-num-9	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...size-12-alpha-2-num-13	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-2-num-17	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-2-num-18	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size12 size-12-alpha-2-num-2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 size12 size-12-alpha-2-num-6	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 size12 size-12-alpha-2-num-8	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-10	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-104	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-105	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-106	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-107	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-108	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-109	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-11	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-110	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-111	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-112	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-113	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-114	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-120	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-121	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-122	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-123	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-124	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-125	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-126	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-127	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-128	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-129	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-13	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-131	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-132	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-133	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-14	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-15	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-158	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-16	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-17	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-170	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-174	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-179	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-198	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-199	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-21	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-211	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-217	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-22	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-222	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-224	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-227	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-231	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-232	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-233	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-236	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-237	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-238	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-243	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-247	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-248	O(n^1)	MAYBE	O(n^1)	MAYBE	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-249	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-260	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-263	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-267	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-270	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-271	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-272	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-274	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-275	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-286	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-289	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-291	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-292	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-293	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-294	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-296	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-297	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-298	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-299	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-30	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-300	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-301	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-303	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-304	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-309	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-32	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-327	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-328	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-330	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-335	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-337	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-338	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-339	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-340	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-341	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-345	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-346	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-347	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-348	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-35	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-353	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-354	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-355	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-356	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-359	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-360	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-361	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-362	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-363	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-366	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-367	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-368	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-369	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-373	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-374	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-375	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-376	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-377	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-378	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-382	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-383	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-384	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-385	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-386	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-391	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-395	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-396	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 size12 size-12-alpha-3-num-4	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-40	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-400	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-401	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-402	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-403	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-406	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-408	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-409	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-41	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-410	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-429	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-430	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-431	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-434	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-435	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-436	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-437	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-438	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-439	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-441	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-443	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-446	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-448	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-450	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-451	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-456	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-465	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-469	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-47	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-472	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-473	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-476	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-477	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-48	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-480	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-482	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-485	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-487	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-488	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-489	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-49	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-491	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-492	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-497	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-502	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-506	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-508	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-511	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-522	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-532	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-535	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-536	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-540	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-541	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-543	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-545	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-546	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-547	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-548	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-549	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...ize-12-alpha-3-num-550	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-551	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-552	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-553	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-556	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-558	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-559	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-560	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-561	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-563	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-564	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-565	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...ize-12-alpha-3-num-566	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-57	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-59	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-64	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-65	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-66	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-67	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size12 size-12-alpha-3-num-7	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-71	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-72	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-83	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-84	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-85	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-86	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-88	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 size12 size-12-alpha-3-num-9	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-91	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Waldmann 07 siz...size-12-alpha-3-num-92	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Waldmann 07 siz...size-12-alpha-3-num-98	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 syracuse	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z002	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z003	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z004	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z005	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z008	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z009	O(n^4)	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z010	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z013	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z014	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z017	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z018	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z020	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z026	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z042	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z043	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z044	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z045	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z046	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z047	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z065	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z072	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z073	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z074	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z075	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z076	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z077	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z078	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z079	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z081	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z082	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z083	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z090	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z091	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z092	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z094	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z100	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 04 z103	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z105	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z106	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z107	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z111	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z114	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z117	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z118	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z120	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z123	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z124	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 04 z125	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 05 z10	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z12	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z13	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z14	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z15	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z16	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z17	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z18	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z23	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z24	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 05 z26	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 05 z27	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 05 z28	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 06 01	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 02	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 06 03	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 04	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 05	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 06	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 07	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 08	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 09	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 10	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 15	O(n^1)	O(n^1)	TIMEOUT	O(n^1)	TIMEOUT
Zantema 06 beans1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 beans2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 06 beans3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 beans6	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 06 loop1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 06 while1	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 06 while2	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 08 assoc c rhs	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 assoc f rhs	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 bintree	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 cariboo add1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo add2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 cariboo add2a	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 cariboo add3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo len3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo nl 1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo nl 2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo nl 3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo nl 4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo nl 5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 cariboo nl 6	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 countbin	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 countter	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 dupl rhs	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 ex0	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 ex1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ex2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ex3	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ex4	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 08 ex5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ex6	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ex7	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ex8	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 08 ex9	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 f 2 1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 f 2 2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 f 5	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 f 5 1	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 f 5 2	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ffb SL	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 ffg	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 fg	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 from one	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 from one a	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 from three	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 g 2 const	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 g 2 f var	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 inn out	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 08 morse	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 outermost gr	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 toyama stop	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 toyama stop2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Zantema 08 yoyo 2	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 08 yoyo 3	O(n^1)	O(n^1)	O(n^1)	O(n^1)	O(n^1)
Zantema 08 yoyo 3a	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT
Zantema 08 yoyo 3b	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT