Computation with Bounded Resources
Research Group

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
1320108814323716698130725393998
Total NO
267829102566282329926901459-

Details

Problem
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.21
YES
NO
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.12a
YES
YES
YES
YES
NO
YES
NO
YES
AG01 innermost 4.13
YES
NO
YES
NO
NO
NO
NO
YES
AG01 innermost 4.14
NO
NO
YES
YES
NO
NO
NO
YES
AG01 innermost 4.15
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.18
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.20
NO
NO
NO
YES
NO
NO
YES
YES
AG01 innermost 4.20a
NO
NO
NO
YES
NO
NO
YES
YES
AG01 innermost 4.21
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.3
YES
NO
YES
NO
NO
NO
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.4
NO
NO
YES
NO
NO
NO
NO
YES
AG01 innermost 4.5
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 forward instantiation
NO
YES
YES
YES
YES
YES
NO
YES
AProVE 04 forward instantiation2
NO
YES
YES
YES
NO
YES
NO
YES
AProVE 04 improved usable
YES
NO
YES
YES
NO
NO
NO
YES
AProVE 04 improved usable2
YES
NO
YES
YES
NO
NO
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 mapHard
YES
NO
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 kabasci06
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 thiemann35
YES
NO
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 thiemann39
YES
NO
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
AProVE AC 04 AC01
YES
YES
NO
YES
YES
YES
YES
YES
AProVE AC 04 AC02
YES
YES
YES
YES
YES
YES
NO
YES
AProVE AC 04 AC03
YES
YES
YES
YES
YES
YES
NO
YES
AProVE AC 04 AC04
YES
YES
YES
YES
YES
YES
NO
YES
AProVE AC 04 AC05
YES
YES
YES
YES
YES
YES
NO
YES
AProVE AC 04 AC06
YES
NO
YES
NO
NO
NO
NO
YES
AProVE AC 04 AC07
YES
YES
NO
YES
YES
YES
YES
YES
AProVE AC 04 AC09
YES
NO
YES
NO
NO
NO
NO
YES
AProVE AC 04 AC10
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC11
NO
NO
NO
YES
NO
NO
YES
YES
AProVE AC 04 AC12
NO
NO
NO
NO
NO
NO
NO
YES
AProVE AC 04 AC13
YES
NO
YES
NO
NO
NO
NO
YES
AProVE AC 04 AC14
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC15
NO
NO
NO
NO
NO
YES
NO
YES
AProVE AC 04 AC16
YES
NO
YES
NO
NO
NO
NO
YES
AProVE AC 04 AC17
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC18
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC19
NO
NO
NO
NO
NO
NO
NO
YES
AProVE AC 04 AC20
YES
YES
YES
YES
YES
YES
NO
YES
AProVE AC 04 AC21
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC22
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC23
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC24
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC26
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC27
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC28
YES
NO
NO
YES
NO
NO
YES
YES
AProVE AC 04 AC41
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 AC48
YES
YES
YES
YES
NO
YES
NO
YES
AProVE AC 04 AC49
YES
NO
NO
YES
NO
NO
YES
YES
AProVE AC 04 AC50
YES
NO
NO
YES
NO
NO
YES
YES
AProVE AC 04 AC51
YES
YES
NO
YES
YES
YES
YES
YES
AProVE AC 04 AC52
NO
YES
YES
YES
NO
YES
NO
YES
AProVE AC 04 AC53
YES
YES
YES
YES
YES
YES
NO
YES
AProVE AC 04 AC54
YES
NO
YES
YES
NO
NO
NO
YES
AProVE AC 04 IJCAR AC1
YES
NO
YES
YES
NO
NO
NO
YES
AotoYamada 05 001
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 002
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 003
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 004
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 005
YES
NO
NO
YES
YES
YES
YES
YES
AotoYamada 05 006
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 007
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 009
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 010
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 011
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 012
NO
NO
YES
YES
NO
YES
NO
YES
AotoYamada 05 013
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 014
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 015
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 016
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 017
NO
NO
NO
YES
YES
YES
YES
YES
AotoYamada 05 019
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 020
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 021
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 022
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 023
YES
NO
NO
YES
YES
YES
YES
YES
AotoYamada 05 024
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 025
NO
NO
NO
YES
YES
YES
YES
YES
AotoYamada 05 026
NO
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 027
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 028
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 Ex1SimplyTyped
YES
NO
YES
YES
YES
YES
NO
YES
AotoYamada 05 Ex5TermProof
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 BTreeMember
NO
NO
YES
NO
NO
YES
NO
YES
Applicative 05 Ex10Functional
YES
NO
YES
YES
NO
NO
NO
YES
Applicative 05 Ex2PrimRec
YES
NO
YES
YES
NO
NO
NO
YES
Applicative 05 Ex2 6 1Composition
NO
NO
NO
YES
YES
YES
YES
YES
Applicative 05 Ex2 8 1ConstSubstFix
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex3Lists
YES
NO
YES
YES
NO
NO
NO
YES
Applicative 05 Ex4MapList
NO
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex5Folding
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex5Sorting
YES
NO
YES
YES
NO
YES
NO
YES
Applicative 05 Ex6Folding
YES
NO
YES
YES
NO
YES
NO
YES
Applicative 05 Ex6Recursor
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex6 11
NO
NO
YES
NO
NO
NO
NO
YES
Applicative 05 Ex7OrdinalRec
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex7Sorting
YES
NO
YES
YES
NO
YES
NO
YES
Applicative 05 Ex7 9
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex8Polymorphic
NO
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Ex9Maps
NO
NO
YES
YES
YES
YES
NO
YES
Applicative 05 Hamming
YES
NO
YES
NO
NO
YES
NO
YES
Applicative 05 ReverseLastInit
YES
NO
NO
YES
YES
YES
YES
YES
Applicative 05 TakeDropWhile
YES
NO
YES
YES
NO
YES
NO
YES
Applicative 05 TreeFlatten
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 TreeHeight
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 TreeLevels
YES
NO
YES
YES
NO
YES
NO
YES
Applicative 05 TreeMap
NO
NO
YES
YES
YES
YES
NO
YES
Applicative 05 TreeSize
NO
NO
YES
YES
YES
YES
NO
YES
Applicative 05 TypeEx1
NO
NO
YES
NO
NO
YES
NO
YES
Applicative 05 TypeEx3
NO
NO
YES
YES
NO
NO
NO
YES
Applicative 05 TypeEx5
YES
NO
NO
YES
YES
YES
YES
YES
Applicative 05 mapDivMinus
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 mapDivMinusHard
YES
NO
YES
YES
YES
YES
NO
YES
Applicative 05 nonTermF
YES
NO
YES
NO
NO
YES
NO
YES
Applicative 05 termMonTypes
YES
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.10
NO
NO
YES
NO
NO
NO
NO
YES
Applicative AG01 innermost 4.13
YES
NO
YES
NO
NO
NO
NO
YES
Applicative AG01 innermost 4.15
NO
NO
YES
YES
NO
NO
NO
YES
Applicative AG01 innermost 4.17
NO
NO
YES
YES
NO
NO
NO
YES
Applicative AG01 innermost 4.19
YES
NO
YES
NO
NO
YES
NO
YES
Applicative AG01 innermost 4.2
NO
NO
YES
YES
NO
NO
NO
YES
Applicative AG01 innermost 4.22
NO
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.24
NO
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.26
YES
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.28
NO
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.3
YES
NO
YES
NO
NO
NO
NO
YES
Applicative AG01 innermost 4.34
YES
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.36
NO
NO
YES
YES
YES
YES
NO
YES
Applicative AG01 innermost 4.5
NO
NO
YES
YES
NO
NO
NO
YES
Applicative AG01 innermost 4.7
NO
NO
YES
YES
NO
NO
NO
YES
Applicative AG01 innermost 4.8
YES
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 01
YES
NO
YES
NO
NO
NO
NO
YES
Applicative first order 05 02
YES
NO
YES
NO
NO
NO
NO
YES
Applicative first order 05 06
NO
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 08
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 11
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 12
YES
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 13
NO
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 17
YES
NO
YES
NO
NO
NO
NO
YES
Applicative first order 05 18
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 21
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 29
NO
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 3.10
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.13
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.16
YES
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 3.18
YES
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 3.2
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.22
YES
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 3.25
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.27
NO
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 3.32
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.36
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.38
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.40
YES
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 3.45
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.48
NO
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 3.52
NO
NO
YES
YES
NO
YES
NO
YES
Applicative first order 05 3.55
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.57
YES
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 3.6
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 3.8
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 30
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 31
NO
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 33
NO
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 hydra
YES
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 minsort
YES
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 motivation
NO
NO
YES
YES
NO
NO
NO
YES
Applicative first order 05 perfect
NO
NO
YES
YES
YES
YES
NO
YES
Applicative first order 05 perfect2
YES
NO
YES
YES
YES
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 01
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 02
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 03
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 04
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 05
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 06
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 07
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 08
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 09
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 10
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 11
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 12
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 13
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 14
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 15
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 16
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 17
NO
NO
NO
YES
NO
NO
YES
YES
Bouchare 06 18
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 Ex18 Luc06
NO
NO
NO
YES
YES
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 boolean rings
YES
NO
YES
NO
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 01
YES
NO
NO
NO
NO
NO
YES
YES
Der95 02
YES
NO
NO
NO
NO
NO
YES
YES
Der95 03
NO
NO
NO
YES
NO
NO
YES
YES
Der95 04
NO
NO
NO
YES
NO
NO
YES
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 09
NO
NO
NO
YES
NO
NO
YES
YES
Der95 11
NO
YES
YES
YES
YES
YES
NO
YES
Der95 12
YES
NO
YES
YES
NO
NO
NO
YES
Der95 13
NO
NO
YES
YES
NO
NO
NO
YES
Der95 17
YES
NO
NO
NO
NO
NO
YES
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 28
NO
NO
YES
YES
NO
NO
NO
YES
Der95 30
NO
NO
YES
YES
YES
YES
NO
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
Endrullis 06 labeling
NO
NO
YES
YES
NO
NO
NO
YES
Endrullis 06 linear1
NO
NO
NO
YES
NO
NO
YES
YES
Endrullis 06 linear2
NO
NO
NO
YES
NO
NO
YES
YES
Endrullis 06 pair2hard
NO
NO
YES
YES
NO
NO
NO
YES
Endrullis 06 pair2simple1
NO
NO
YES
YES
NO
NO
NO
YES
Endrullis 06 pair2simple2
NO
NO
YES
YES
NO
NO
NO
YES
Endrullis 06 pair3hard
NO
NO
YES
YES
NO
NO
NO
YES
Endrullis 06 pair3rotate
NO
NO
NO
YES
NO
NO
YES
YES
Endrullis 06 pair3swap
NO
NO
NO
YES
NO
NO
YES
YES
Endrullis 06 quadruple1
NO
NO
NO
YES
NO
NO
YES
YES
Endrullis 06 quadruple2
NO
NO
NO
YES
NO
NO
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
Gebhardt 06 01
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 02
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 03
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 04
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 05
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 06
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 07
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 08
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 09
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 10
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 11
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 12
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 13
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 14
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 15
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 16
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 17
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 18
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 19
NO
NO
NO
YES
NO
NO
YES
YES
Gebhardt 06 20
NO
NO
NO
YES
NO
NO
YES
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 n008
NO
NO
NO
YES
NO
NO
YES
YES
HirokawaMiddeldorp 04 t000
YES
NO
NO
YES
NO
NO
YES
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 t005
YES
NO
YES
YES
NO
NO
NO
YES
HirokawaMiddeldorp 04 t006
NO
NO
NO
NO
NO
YES
NO
YES
HirokawaMiddeldorp 04 t007
NO
YES
NO
YES
NO
YES
YES
YES
HirokawaMiddeldorp 04 t008
NO
NO
NO
YES
NO
NO
YES
YES
HirokawaMiddeldorp 04 t009
YES
YES
NO
YES
YES
YES
YES
YES
HirokawaMiddeldorp 04 t010
NO
NO
NO
YES
NO
NO
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 107193
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 107220
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 107236
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 123759
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 124211
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 124269
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 124791
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 127538
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128056
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128182
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128280
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128430
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128486
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128515
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128550
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128620
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 128691
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 130161
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 130304
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 130472
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 130962
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 131633
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 131982
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132235
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132478
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132540
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132611
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132622
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132720
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132738
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132782
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132833
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132848
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132864
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132920
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132957
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 132969
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133010
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133079
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133159
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133236
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133432
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133486
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133532
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133827
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 133881
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 134918
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135115
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135328
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135410
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135505
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135601
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135604
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135652
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135659
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135714
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135782
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 135936
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136051
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136280
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136323
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136354
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136463
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136497
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136534
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136562
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136571
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136601
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136623
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136693
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 136934
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137087
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137136
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137316
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137404
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137621
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137623
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137715
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137799
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137809
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 137956
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138089
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138142
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138194
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138254
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138269
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138330
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138468
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138477
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 138993
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139004
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139018
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139025
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139036
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139100
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139163
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139167
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139174
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139180
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139185
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139190
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139214
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139236
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139256
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139282
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139310
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 139378
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140287
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140318
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140359
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140631
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140639
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140654
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140659
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 140664
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 142142
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 142146
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 142150
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 142157
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 147437
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 148543
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149251
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149277
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149297
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149319
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149361
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149415
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149633
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149713
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149849
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 149915
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150067
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150188
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150258
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150468
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150630
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150725
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150815
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150839
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 150877
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 151247
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 152694
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 152786
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 152865
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 152949
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153034
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153090
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153170
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153243
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153288
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153371
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 153444
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157150
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157161
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157275
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157388
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157436
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157466
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157593
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157603
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 157713
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 158152
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 158208
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 158342
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 158477
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 158620
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 159731
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160068
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160210
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160234
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160254
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160263
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160324
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160364
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160398
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160427
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160462
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160475
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 160660
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 161519
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 161533
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 161593
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 161864
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 161917
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 161930
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 162016
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 162075
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 162095
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 162244
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 165713
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 165755
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 165904
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 165936
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 165975
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 166001
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 166465
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 166493
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 166558
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 166848
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167041
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167087
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167240
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167294
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167310
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167391
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167433
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167452
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167526
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167636
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 167742
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 180915
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 182946
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 183803
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 184957
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 185453
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 185628
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186023
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186222
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186333
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186617
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186775
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186810
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186919
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 186973
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 187254
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 187837
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 188004
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 188238
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 188261
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 188296
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 188674
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 188696
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 211915
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 211960
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 211978
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212026
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212037
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212043
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212062
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 212189
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212263
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212308
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212364
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 212534
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 212774
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212795
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 212892
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213051
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213147
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213218
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213281
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213407
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213437
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213537
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 213719
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 213865
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 214169
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 214183
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 214261
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 214320
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 24100
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 25388
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 25395
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 25409
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 25416
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 25422
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 254704
NO
NO
NO
YES
NO
NO
YES
YES
ICFP 2010 25711
NO
NO
NO
YES
NO
NO
YES