Computation with Bounded Resources

Setup

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

Overview

	collapsing	constructor	duplicating	leftlinear	orthogonal	overlay	rightlinear	wellformed
Total YES	836	757	802	1453	397	786	761	1575
Total NO	739	818	773	122	1177	788	814	-

Details

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