Derivational Complexity Analysis Revisited
Experiments
Home Direct Techniques Dependency Pair Framework
Information
Results Statistic
The experiments were generated using this test file and this TCT configuration file together with version 1.8 of TCT. We used this version of cdiprover3, called with this script for preprocessing input and postprocessing output to match some format changes which were introduced after development of cdiprover3 was finished. The testbed can be downloaded from here.

Bounds

BoundsCDIEDAIDATRITRI2
Upper Bound O(1)
0
0
0
0
1
1
Upper Bound O(n^1)
363
0
41
53
65
32
Upper Bound O(n^2)
0
89
110
115
113
124
Upper Bound O(n^3)
0
0
36
9
25
0
Upper Bound O(n^4)
0
0
7
0
4
0
Upper Bound O(n^5)
0
0
1
0
1
0
Upper Bound O(n^6)
0
0
0
0
1
0
Answer YES
363
89
195
177
210
157
Answer MAYBE
62
623
250
448
455
1149
Answer TIMEOUT
1430
805
1410
1230
1190
372
Strict Wins
299
0
7
5
17
1

Execution Times

BoundsCDIEDAIDATRITRI2
Upper Bound O(1)
0.0
0.0
0.0
0.0
5.033183e-2
3.0875921e-2
Upper Bound O(n^1)
2.0384576
0.0
0.12003325
0.7086795
0.31758252
0.22308457
Upper Bound O(n^2)
0.0
3.6924946
1.1103528
3.251986
0.98535615
0.5294416
Upper Bound O(n^3)
0.0
0.0
9.703086
11.332553
7.697056
0.0
Upper Bound O(n^4)
0.0
0.0
19.44113
0.0
8.427483
0.0
Upper Bound O(n^5)
0.0
0.0
28.044418
0.0
6.989795
0.0
Upper Bound O(n^6)
0.0
0.0
0.0
0.0
54.540836
0.0
Answer YES
2.0384576
3.6924946
3.2846332
2.901307
1.998597
0.4638237
Answer MAYBE
22.030996
9.39434
31.837605
29.645308
10.800912
1.6948967

Details

ProblemBoundsCDIEDAIDATRITRI2
AG01 3.12TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
AG01 3.15TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
AG01 3.17TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
AG01 3.17aMAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
AG01 3.24YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))
AG01 3.26TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
AG01 3.33YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
AG01 3.35TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
AG01 3.37YES(?,O(n^1))MAYBEYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^2))MAYBE
AG01 3.49TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
AG01 3.51YES(?,O(n^1))MAYBEYES(?,O(n^3))YES(?,O(n^3))MAYBEMAYBE
AG01 3.56TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
AG01 3.7TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
AG01 innermost 4.17TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
AG01 innermost 4.18TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
AG01 innermost 4.20TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
AG01 innermost 4.20aTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))
AG01 innermost 4.21TIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^1))YES(?,O(n^1))MAYBE
AG01 innermost 4.24TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
AG01 innermost 4.25MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
AG01 innermost 4.28TIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^2))TIMEOUTMAYBE
AG01 innermost 4.31TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
AG01 innermost 4.37YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
AG01 innermost 4.37aYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))
AG01 innermost 4.5TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
AProVE 04 LPAR intlistTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
AProVE 04 Liveness6.1TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
AProVE 04 Liveness6.2TIMEOUTMAYBETIMEOUTTIMEOUTYES(?,O(n^4))MAYBE
AProVE 04 Liveness6.3TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
AProVE 04 Liveness6.4TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
AProVE 04 Liveness8TIMEOUTMAYBETIMEOUTYES(?,O(n^3))YES(?,O(n^3))MAYBE
AProVE 04 Liveness WRSTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
AProVE 06 identityTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
AProVE 06 nontermMAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
AProVE 06 tower sizeChangeTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
AProVE 08 roundMAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
AProVE 08 round nontermMAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
AProVE 10 ex5YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
AotoYamada 05 005TIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
AotoYamada 05 017YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
ProblemBoundsCDIEDAIDATRITRI2
AotoYamada 05 023TIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
AotoYamada 05 025YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Applicative 05 Ex2 6 1CompositionYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Applicative 05 ReverseLastInitTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Applicative 05 TypeEx5TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Bouchare 06 01TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Bouchare 06 02TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
Bouchare 06 03TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 04TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 05TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 06TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 07TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 09TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 10TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 11TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Bouchare 06 12TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 13TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Bouchare 06 14MAYBEMAYBETIMEOUTMAYBEMAYBEMAYBE
Bouchare 06 15TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Bouchare 06 16TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Bouchare 06 17TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Bouchare 06 18TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
CSR 04 Ex15 Luc06YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
CSR 04 Ex16 Luc06TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 Ex1 Luc04bTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 Ex1 Zan97TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 Ex23 Luc06YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))
CSR 04 Ex25 Luc06YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
CSR 04 Ex4 7 15 Bor03TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
CSR 04 Ex4 7 77 Bor03TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 Ex5 Zan97TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 Ex6 GM04TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 Ex9 Luc06TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 ExConc Zan97TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 ExIntrod GM01TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 ExIntrod GM04TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
CSR 04 ExProp7 Luc06TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
CiME 04 dpqsYES(?,O(n^1))MAYBEYES(?,O(n^3))YES(?,O(n^1))MAYBEMAYBE
CiME 04 filliatreTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
CiME 04 filliatre2TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Der95 01YES(?,O(n^1))Timeout/ErrorYES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Der95 02YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Der95 03YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Der95 04TIMEOUTYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Der95 06TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Der95 07TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Der95 09MAYBEMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Der95 17TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Der95 20TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Der95 27TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Endrullis 06 directYES(?,O(n^1))TIMEOUTYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^1))MAYBE
Endrullis 06 linear1TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Endrullis 06 linear2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Endrullis 06 pair3rotateMAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Endrullis 06 pair3swapTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Endrullis 06 quadruple1YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Endrullis 06 quadruple2YES(?,O(n^1))TIMEOUTYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^2))MAYBE
Gebhardt 06 01TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 02TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Gebhardt 06 03TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 04TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Gebhardt 06 05TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 06TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 07TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 08TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 09TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Gebhardt 06 10TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 11TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 12TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 13TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 14TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Gebhardt 06 15TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 16TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 17TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 18TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Gebhardt 06 19TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Gebhardt 06 20TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
HirokawaMiddeldorp 04 n002TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
HirokawaMiddeldorp 04 n003TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
HirokawaMiddeldorp 04 n004TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
HirokawaMiddeldorp 04 n005TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
HirokawaMiddeldorp 04 n006TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
HirokawaMiddeldorp 04 t000MAYBETIMEOUTTIMEOUTMAYBEMAYBEMAYBE
HirokawaMiddeldorp 04 t004TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
HirokawaMiddeldorp 04 t006MAYBEYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
HirokawaMiddeldorp 04 t007TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
HirokawaMiddeldorp 04 t008TIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^2))TIMEOUTMAYBE
HirokawaMiddeldorp 04 t009TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
HirokawaMiddeldorp 04 t010TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
HirokawaMiddeldorp 04 t011TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
HirokawaMiddeldorp 04 t012TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
ICFP 2010 107193TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 107220TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 107236TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 123759TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 124211YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 124269TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 124791TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 127538TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 128056TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 128182TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 128280YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 128430TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 128486TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 128515TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 128550TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 128620TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 128691TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 130161TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 130304TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 130472TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 130962TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 131633TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 131982TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 132235YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 132478TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132540TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132611YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 132622TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 132720TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132738TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 132782TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132833TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132848TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132864TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 132920TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132957YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 132969TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 133010TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 133079TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 133159TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 133236YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 133432TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 133486TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 133532TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 133827YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 133881TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 134918TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 135115TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 135328TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 135410TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 135505TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 135601TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 135604YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 135652YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 135659TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 135714TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 135782TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 135936YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 136051YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 136280TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136323TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136354TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136463TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136497TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136534TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136562YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 136571TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136601TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 136623YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 136693TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 136934TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137087TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137136TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137316TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137404TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 137621TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137623YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 137715TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137799TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 137809YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 137956TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 138089YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 138142TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 138194YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 138254YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 138269YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 138330YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 138468TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 138477YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 138993TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139004TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139018TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139025TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139036TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 139100TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139163TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139167TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139174TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139180TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 139185TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139190YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139214TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139236TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139256TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139282TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139310TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 139378TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 140287TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 140318TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 140359TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 140631TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 140639TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 140654TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 140659TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 140664TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 142142TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 142146TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 142150TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 142157TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 147437TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 148543TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149251TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149277TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149297TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149319TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149361TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149415TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149633TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 149713TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149849TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 149915TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150067TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150188TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150258TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150468TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150630TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150725TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150815TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150839TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 150877TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 151247TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 152694TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 152786TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 152865TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 152949YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 153034TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 153090TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 153170TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 153243TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 153288TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 153371TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 153444TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 157150TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 157161TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 157275TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 157388TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 157436TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 157466TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 157593TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 157603TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 157713TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 158152TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 158208TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 158342TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 158477TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 158620TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 159731TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160068TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 160210TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160234TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160254TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160263TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 160324TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160364TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160398TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160427TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160462TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160475TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 160660TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 161519TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 161533TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 161593TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 161864TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 161917TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 161930TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 162016TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 162075TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 162095TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 162244TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 165713TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 165755TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 165904TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 165936TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 165975TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 166001TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 166465TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 166493TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 166558TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 166848TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167041TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167087TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167240TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167294TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167310TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167391TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167433TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167452TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167526TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 167636TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 167742TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 180915TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 182946TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 183803TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 184957TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 185453TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 185628TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 186023TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 186222TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 186333TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 186617TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 186775TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 186810TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 186919TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 186973TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 187254TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 187837TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 188004TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 188238TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 188261TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 188296TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 188674TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 188696TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 211471TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 211639MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 211857TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 211915TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 211960TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 211978TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212026TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212037TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212043TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212062TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212094TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212117TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212189TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212263YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212308TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212364TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 212421YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212480TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212534TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212612TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212693TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212774TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212795YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 212892TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213051TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 213147YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213218TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213281TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 213407TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213437TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213537TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 213560TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213611MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 213719TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 213865TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 214011TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 214091TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 214169YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 214183TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 214261TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 214320TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 230780TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 230819MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 230948MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231043MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231149MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231230TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231300TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231378MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231480TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 231604TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 24100YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 246924MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 247020MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 247254TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 247504TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 247906TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 247992TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 248060TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 249386TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 249459MAYBETimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 249663TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25192YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))
ICFP 2010 25388TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25395TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25409TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25416TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25422TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 254704TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25711TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25726TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25731YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 25734TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25736TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25743TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25775TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 25808TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 25849TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 259405TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 259625TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26069YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 26103YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 26105TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26110TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26116TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26123YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 26127TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26130YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 26132TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26186YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 26226YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 26291TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 262998TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 263745TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 264033TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 264370YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 264405YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
ICFP 2010 26683TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26741TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26845TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26862TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26871YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26875TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26879TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26882TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26886TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 26896TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26903TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26910TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26916TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26919TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26923TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26927TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26931TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26933TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26940TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 26943TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26946TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26949TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26951TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26954TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26957TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26960TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26965TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26969TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26972TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26974TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26976YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26978TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26980TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26986TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26993TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 26998TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27001TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27003YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27006TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 27009TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27013TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27015TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27019TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27023TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27026TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27028TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27030TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27034TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27036TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27039TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27131TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27134TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27213TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27235TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 27280TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 28293TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 28464TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 28643TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 28838TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 29415TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3268YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 3336YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 3385YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 3450YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3467YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3498YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3533YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3562YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3589YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3633YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3680YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3705YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3729YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3746YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3762YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3770YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))
ICFP 2010 3786YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3817YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3831YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 3842YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3856YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3861YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3865YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3916YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3927YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 3930YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3939YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 39830TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 39849TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 3989YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 3995YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4002YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 40033TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 40093YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4017YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4029YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4036YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4046YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4051YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 40540TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4057YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 40708YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4074YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 40976TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4106YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 41378YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4141YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 41427TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4157YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 41688TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4181YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 41838TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 41843TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 41865TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4200YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4206YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 42170TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 42321TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 42466TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 4248YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 42683TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4282YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4314YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 43266TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 43603YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 43621TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 43650YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4374YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 43987TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4412YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 44332TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4484YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4487YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 45720TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 45757TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 45970YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4816YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4819YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4824YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 48262TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 48267TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4827YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 48328TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 48374TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4840YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4847YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4854YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 48686YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4893YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4920YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4934YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4938YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4943YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4953YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 4964YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4970YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ICFP 2010 4979YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 4991YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 5011YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 5076YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 50904TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 5109YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 5130YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 51424YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 51577YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 51842YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 53216YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 54097YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 54532YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 54622YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 56144TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 57132TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 57278TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 57355TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 57453YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 57799TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 57852TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 58125TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 58194TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 58221YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 58301TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 63142TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 64160YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 65081YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 68322YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 68535YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 68989YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 81452YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 84886YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 84977TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85039YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85079YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85267YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85294YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85345YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85380TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85477YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85590YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85650YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 85675YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85721YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85749YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85782YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85834YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85874YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 85920TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86025YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86052YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86452YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86499YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86526YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86559YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86577YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 86617YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86636YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86745YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86816YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 86857YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 88143YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 88156YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 88172YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 88183YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 88208TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 88283YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 91210TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 91218TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 91233TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 91242TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 91254TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 95858YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 95899YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 95952YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 95978YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96029YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96065YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96086YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96104YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96119YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96156YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 96176YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96198YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96224YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96239YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96256YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96274YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96289YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96302YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96334YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96370YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96403YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96417YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96438YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96464YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96485YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96523YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96563YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 96612YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96642YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 96673YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ProblemBoundsCDIEDAIDATRITRI2
ICFP 2010 97885TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 97888TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 97901TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 97917TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 97929TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
ICFP 2010 98362YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTTimeout/Error
ICFP 2010 98623TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
Maude 06 LengthOfFiniteLists nosortsTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Maude 06 LengthOfFiniteLists nosorts-noandTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Maude 06 MYNAT nosorts-noand-peanoSimpleTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Maude 06 MYNAT nosorts-peanoSimpleTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Maude 06 OvConsOS nosortsTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Maude 06 OvConsOS nosorts-noandTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Maude 06 PALINDROME nokindsTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Maude 06 PALINDROME nokinds-noandTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Maude 06 PALINDROME nosortsTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Maude 06 PALINDROME nosorts-noandTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Mixed HO 10 inlambTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed HO 10 prenexYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Mixed SRS 01TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Mixed SRS 01-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 02TIMEOUTTIMEOUTMAYBEMAYBETIMEOUTMAYBE
Mixed SRS 02-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 03MAYBEMAYBETIMEOUTMAYBETIMEOUTMAYBE
Mixed SRS 03-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 04MAYBEMAYBETIMEOUTMAYBETIMEOUTMAYBE
Mixed SRS 04-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 05MAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 05-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 06TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Mixed SRS 06-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 07TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Mixed SRS 07-oppelt08TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 08TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed SRS 08-oppelt08TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 09TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed SRS 1TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 2TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS 3TIMEOUTMAYBEYES(?,O(n^4))TIMEOUTYES(?,O(n^2))MAYBE
Mixed SRS 4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Mixed SRS s6TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS touzetTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed SRS turing addTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Mixed SRS turing copyTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed SRS turing multTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed TRS 1YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed TRS 2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed TRS 4YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed TRS 6TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed TRS Ex1 Luc04b GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Mixed TRS beansTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed TRS jones1TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Mixed TRS jones4YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Mixed TRS jones6TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Mixed innermost gkgTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed innermost innermost2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed innermost n001TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed innermost test830YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
Mixed innermost test833TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed outermost afbgTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Mixed outermost evenTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Mixed outermost ex1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed outermost ex3TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed outermost ex4TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed outermost ex5TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed outermost ex6MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Mixed outermost gfbTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed outermost oddTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Mixed outermost patterns1TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Mixed outermost patterns2TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Rubio 04 aotoTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))
Rubio 04 bintreesTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Rubio 04 bn129MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Rubio 04 gmnpYES(?,O(n^1))MAYBETIMEOUTMAYBEMAYBEMAYBE
Rubio 04 koenMAYBEYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Rubio 04 lescanneMAYBEMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Rubio 04 lindauYES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^1))MAYBE
Rubio 04 mfp90bYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Rubio 04 mfp95YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))
Rubio 04 nestrecTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Rubio 04 p266YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Rubio 04 test4YES(?,O(n^1))MAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
Rubio 04 test829YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 2.01TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.02MAYBEMAYBETIMEOUTMAYBETIMEOUTMAYBE
SK90 2.03TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.04MAYBEMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.06TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.09TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.10TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
SK90 2.11TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.14TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
SK90 2.31TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.33TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.34TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
SK90 2.36TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.38TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.39TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
SK90 2.41TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.42TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
SK90 2.46TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.47TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.48YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 2.49YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 2.50TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
SK90 2.53TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.54TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.55TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.56YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 2.60YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 2.61YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 4.01YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
SK90 4.04MAYBEMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.07TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.08TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.11TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.12TIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.15TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.16YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.19MAYBETIMEOUTYES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
ProblemBoundsCDIEDAIDATRITRI2
SK90 4.25TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.26TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
SK90 4.29TIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.30TIMEOUTMAYBEYES(?,O(n^3))TIMEOUTYES(?,O(n^4))MAYBE
SK90 4.32TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
SK90 4.33YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 4.34TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
SK90 4.35YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
SK90 4.36YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.37YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
SK90 4.38TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.39MAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.43TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
SK90 4.44YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.45YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 4.46YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
SK90 4.47YES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^2))
SK90 4.48TIMEOUTYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
SK90 4.51YES(?,O(n^1))MAYBEYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^3))MAYBE
SK90 4.52TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
ProblemBoundsCDIEDAIDATRITRI2
SK90 4.56YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
Secret 05 SRS aprove1TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Secret 05 SRS aprove2TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Secret 05 SRS aprove3TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 SRS aprove4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 SRS aprove5TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 05 SRS jambox1TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 05 SRS jambox2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 SRS jambox3MAYBETIMEOUTMAYBEMAYBETIMEOUTMAYBE
Secret 05 SRS jambox4TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 SRS jambox5TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 05 SRS matchbox1TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 SRS matchbox2YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Secret 05 SRS torpa1MAYBETIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 05 SRS torpa2TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 SRS torpa3TIMEOUTMAYBEYES(?,O(n^4))TIMEOUTYES(?,O(n^2))MAYBE
Secret 05 SRS torpa4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 TRS matchbox2YES(?,O(n^1))MAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 TRS teparla1TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 05 TRS teparla2MAYBETIMEOUTTIMEOUTMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Secret 05 TRS teparla3TIMEOUTTIMEOUTMAYBEMAYBEMAYBEMAYBE
Secret 05 TRS ttt2TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 06 SRS 1MAYBEMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 06 SRS 1-matchboxTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 10TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 2-matchboxTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 3TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 06 SRS 3-matchboxTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 5TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 5-matchboxTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 6TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 7TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 06 SRS 8TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS 9TIMEOUTMAYBEMAYBEMAYBETIMEOUTMAYBE
Secret 06 SRS aprove00TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove01TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove02TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove03TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove04TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Secret 06 SRS aprove05TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove06TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove07TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove08TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS aprove09TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS multum1TIMEOUTMAYBEMAYBEMAYBETIMEOUTMAYBE
Secret 06 SRS multum2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS multum3TIMEOUTMAYBEMAYBEMAYBETIMEOUTMAYBE
Secret 06 SRS multum4YES(?,O(n^1))Timeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS multum5TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 06 SRS multum6TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS secr1TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Secret 06 SRS secr10TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 06 SRS secr2TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Secret 06 SRS secr3TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 06 SRS secr4TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Secret 06 SRS secr5TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS secr6TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 SRS secr7TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Secret 06 SRS secr8TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Secret 06 SRS secr9TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 TRS 10YES(?,O(n^1))TIMEOUTTIMEOUTMAYBEYES(?,O(n^5))MAYBE
Secret 06 TRS 2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 TRS 3TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 06 TRS 4MAYBETIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 06 TRS 5TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 TRS 6TIMEOUTTIMEOUTYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^3))MAYBE
Secret 06 TRS 7TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Secret 06 TRS 8YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 06 TRS 9YES(?,O(n^1))TIMEOUTYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^3))MAYBE
Secret 06 TRS tpa01MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 06 TRS tpa02TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 06 TRS tpa03MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 07 SRS djTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Secret 07 SRS num-514TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS num-515TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS num-518TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 07 SRS num-519TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS num-520TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 07 SRS num-521TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Secret 07 SRS num-525TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS num-527TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS num-530TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS num-539TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS x01TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 07 SRS x02TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Secret 07 SRS x03TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 07 SRS x04TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS x05TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS x06TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 07 SRS x07TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 07 SRS x08TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Secret 07 SRS x09TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Secret 07 SRS x10TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Secret 07 TRS 1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Secret 07 TRS 2TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Secret 07 TRS 3TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Secret 07 TRS 4TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Secret 07 TRS 5TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Secret 07 TRS 7TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Strategy outermost added 08 4.17TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Strategy outermost added 08 4.18TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Strategy outermost added 08 Ex14 AEGL02 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex14 Luc06 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex15 Luc06 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex16 Luc06 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex1 GL02a LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex1 GM99 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex1 Luc04b FRTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex1 Luc04b ZTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex1 Zan97TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex1 Zan97 FRTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 Ex1 Zan97 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex24 GM04 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex24 Luc06 LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex4 7 15 Bor03TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Strategy outermost added 08 Ex4 7 77 Bor03TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex5 Zan97TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex6 GM04TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 Ex6 GM04 FRTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Strategy outermost added 08 Ex9 Luc06 FRTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Strategy outermost added 08 ExConc Zan97TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 ExConc Zan97 ZTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 ExIntrod GM01TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 ExIntrod GM01 FRTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 ExIntrod GM01 ZTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 ExIntrod GM04TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 ExIntrod GM04 FRTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Strategy outermost added 08 ExIntrod GM04 ZTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Strategy outermost added 08 LengthOfFiniteLists nosorts-noand FRTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 LengthOfFiniteLists nosorts FRTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Strategy outermost added 08 LengthOfFiniteLists nosorts GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 LengthOfFiniteLists nosorts iGMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 LengthOfFiniteLists nosorts noand GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 OvConsOS nosorts-noand FRTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 OvConsOS nosorts-noand ZMAYBETIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 OvConsOS nosorts FRTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 OvConsOS nosorts GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 OvConsOS nosorts ZTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 OvConsOS nosorts noand GMTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Strategy outermost added 08 PALINDROME complete-noand LTIMEOUTMAYBEMAYBETIMEOUTMAYBEMAYBE
Strategy outermost added 08 PALINDROME nokinds-noand LTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 gkgTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Strategy outermost added 08 jwno1TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Strategy outermost added 08 jwno4TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Strategy outermost added 08 jwno6TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Strategy outermost added 08 jwno9TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Strategy outermost added 08 n001TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
TCT 09 ackhofbauerMAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
TCT 09 addTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
TCT 09 appendTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
TCT 09 expantiinnTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
TCT 09 ma3YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
TCT 09 ma9YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))
TCT 09 revappendTIMEOUTTIMEOUTMAYBEMAYBEMAYBEMAYBE
TCT 09 shuffleTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
TCT 09 supexpdgTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
TCT 09 supexpurTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
TCT 09 z86TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup01TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Trafo 06 dup05TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup06TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup07TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup08TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup09TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Trafo 06 dup10TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup11TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup12TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Trafo 06 dup13TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup14TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup15TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 dup16TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Trafo 06 dup17MAYBETIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Trafo 06 hom01TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 hom02TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 hom03TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un02TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un04TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un05TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un06TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Trafo 06 un07TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un08TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un09TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un10TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un11TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un12TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un13TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un14TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un15TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un16TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un17TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Trafo 06 un18TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex15 Luc06 CTIMEOUTTIMEOUTTIMEOUTMAYBEYES(?,O(n^6))MAYBE
Transformed CSR 04 Ex15 Luc06 FRTIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^3))MAYBE
Transformed CSR 04 Ex15 Luc06 GMTIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^2))MAYBE
Transformed CSR 04 Ex15 Luc06 ZYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
Transformed CSR 04 Ex15 Luc06 iGMTIMEOUTTIMEOUTYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^3))MAYBE
Transformed CSR 04 Ex16 Luc06 CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 Ex16 Luc06 FRTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 Ex16 Luc06 GMTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Transformed CSR 04 Ex16 Luc06 iGMTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 Ex18 Luc06 CTIMEOUTTIMEOUTYES(?,O(n^3))TIMEOUTYES(?,O(n^4))MAYBE
Transformed CSR 04 Ex18 Luc06 FRTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex18 Luc06 GMTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex18 Luc06 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Transformed CSR 04 Ex18 Luc06 ZYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex18 Luc06 iGMTIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex1 Luc04b CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex1 Luc04b GMTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Transformed CSR 04 Ex1 Luc04b iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex1 Zan97 CTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex1 Zan97 GMYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex1 Zan97 iGMTIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^2))MAYBE
Transformed CSR 04 Ex23 Luc06 CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex23 Luc06 FRTIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex23 Luc06 GMTIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex23 Luc06 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Transformed CSR 04 Ex23 Luc06 ZYES(?,O(n^1))TIMEOUTYES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex23 Luc06 iGMTIMEOUTTIMEOUTYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^3))MAYBE
Transformed CSR 04 Ex25 Luc06 CTIMEOUTTIMEOUTYES(?,O(n^3))TIMEOUTYES(?,O(n^3))MAYBE
ProblemBoundsCDIEDAIDATRITRI2
Transformed CSR 04 Ex25 Luc06 FRTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 Ex25 Luc06 GMTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex25 Luc06 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex25 Luc06 ZYES(?,O(n^1))MAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 Ex25 Luc06 iGMTIMEOUTTIMEOUTYES(?,O(n^3))YES(?,O(n^2))YES(?,O(n^3))MAYBE
Transformed CSR 04 Ex26 Luc03b LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex2 Luc03b LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex3 3 25 Bor03 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex4 4 Luc96b LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex4 7 15 Bor03 CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex4 7 15 Bor03 FRTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex4 7 15 Bor03 GMTIMEOUTMAYBEYES(?,O(n^3))TIMEOUTYES(?,O(n^3))MAYBE
Transformed CSR 04 Ex4 7 15 Bor03 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex4 7 15 Bor03 ZYES(?,O(n^1))TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex4 7 15 Bor03 iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 Ex4 7 77 Bor03 CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 Ex4 7 77 Bor03 FRYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex4 7 77 Bor03 GMTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex4 7 77 Bor03 iGMTIMEOUTMAYBEYES(?,O(n^4))TIMEOUTYES(?,O(n^3))MAYBE
Transformed CSR 04 Ex5 Zan97 CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Transformed CSR 04 Ex5 Zan97 FRTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 Ex5 Zan97 GMMAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 Ex5 Zan97 ZYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex5 Zan97 iGMTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 Ex6 GM04 CTIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Transformed CSR 04 Ex6 GM04 GMYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex6 GM04 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(1))YES(?,O(1))
Transformed CSR 04 Ex6 GM04 iGMYES(?,O(n^1))MAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
Transformed CSR 04 Ex6 Luc98 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex9 BLR02 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
Transformed CSR 04 Ex9 Luc06 CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 Ex9 Luc06 GMTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 Ex9 Luc06 iGMTIMEOUTMAYBEYES(?,O(n^4))TIMEOUTYES(?,O(n^3))MAYBE
Transformed CSR 04 ExConc Zan97 CTIMEOUTMAYBEYES(?,O(n^3))MAYBEYES(?,O(n^3))MAYBE
Transformed CSR 04 ExConc Zan97 FRTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 ExConc Zan97 GMTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 ExConc Zan97 LYES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Transformed CSR 04 ExConc Zan97 iGMTIMEOUTMAYBEYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^2))MAYBE
Transformed CSR 04 ExIntrod GM01 CTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Transformed CSR 04 ExIntrod GM01 GMTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Transformed CSR 04 ExIntrod GM01 iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 ExIntrod GM04 CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 ExIntrod GM04 GMTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 ExIntrod GM04 iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 ExProp7 Luc06 CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 ExProp7 Luc06 FRTIMEOUTMAYBEYES(?,O(n^3))MAYBETIMEOUTMAYBE
Transformed CSR 04 ExProp7 Luc06 GMTIMEOUTMAYBEYES(?,O(n^4))TIMEOUTTIMEOUTMAYBE
Transformed CSR 04 ExProp7 Luc06 LYES(?,O(n^1))MAYBEYES(?,O(n^3))YES(?,O(n^1))TIMEOUTMAYBE
Transformed CSR 04 ExProp7 Luc06 ZYES(?,O(n^1))MAYBEYES(?,O(n^3))MAYBETIMEOUTMAYBE
Transformed CSR 04 ExProp7 Luc06 iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 LengthOfFiniteLists nosorts CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 LengthOfFiniteLists nosorts GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 LengthOfFiniteLists nosorts iGMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 LengthOfFiniteLists nosorts noand CTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 LengthOfFiniteLists nosorts noand GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 LengthOfFiniteLists nosorts noand iGMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 OvConsOS nosorts CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 OvConsOS nosorts GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 OvConsOS nosorts iGMTIMEOUTTIMEOUTMAYBETIMEOUTTIMEOUTMAYBE
Transformed CSR 04 OvConsOS nosorts noand CMAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Transformed CSR 04 OvConsOS nosorts noand GMTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 OvConsOS nosorts noand iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 PALINDROME nokinds-noand FRTIMEOUTMAYBEMAYBETIMEOUTMAYBEMAYBE
Transformed CSR 04 PALINDROME nokinds-noand ZTIMEOUTMAYBEMAYBETIMEOUTMAYBEMAYBE
Transformed CSR 04 PALINDROME nokinds CMAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 PALINDROME nokinds FRMAYBETIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Transformed CSR 04 PALINDROME nokinds GMTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Transformed CSR 04 PALINDROME nokinds ZTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Transformed CSR 04 PALINDROME nokinds iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 PALINDROME nokinds noand CTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 PALINDROME nokinds noand GMTIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Transformed CSR 04 PALINDROME nokinds noand iGMTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed CSR 04 PALINDROME nosorts-noand FRTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 PALINDROME nosorts CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PALINDROME nosorts FRTIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 PALINDROME nosorts GMTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 PALINDROME nosorts iGMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PALINDROME nosorts noand CTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PALINDROME nosorts noand GMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PALINDROME nosorts noand iGMTIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Transformed CSR 04 PEANO nosorts-noand FRTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 PEANO nosorts CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PEANO nosorts FRTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Transformed CSR 04 PEANO nosorts GMTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed CSR 04 PEANO nosorts iGMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PEANO nosorts noand CTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed CSR 04 PEANO nosorts noand GMTIMEOUTMAYBEMAYBEMAYBETIMEOUTMAYBE
Transformed CSR 04 PEANO nosorts noand iGMTIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Transformed outermost 08 cariboo ex1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed outermost 08 cariboo ex3TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Transformed outermost 08 ex5.4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed outermost 08 ex5.5MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed outermost 08 ex5.6MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed outermost 08 ex5.7TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Transformed outermost 08 f20TIMEOUTTimeout/ErrorTIMEOUTTIMEOUTTIMEOUTTIMEOUT
Transformed outermost 08 f30TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
Transformed outermost 08 f4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Transformed outermost 08 f40TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
Transformed outermost 08 morseTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Various 04 07YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^2))
ProblemBoundsCDIEDAIDATRITRI2
Various 04 15TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Various 04 18TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Various 04 19TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Various 04 21TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Various 04 23TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Various 04 24TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Various 04 25YES(?,O(n^1))MAYBEYES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Various 04 27YES(?,O(n^1))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))YES(?,O(n^1))YES(?,O(n^1))
Waldmann 06 SRS eTIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 06 SRS jw1TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS jw3TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS jw4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS jw5TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS piTIMEOUTMAYBEYES(?,O(n^3))MAYBEYES(?,O(n^3))MAYBE
Waldmann 06 SRS sym-1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 06 SRS sym-2TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 06 SRS sym-4TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 06 SRS sym-5MAYBETIMEOUTMAYBEMAYBETIMEOUTMAYBE
Waldmann 06 SRS sym-6TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Waldmann 06 SRS uni-1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 06 SRS uni-2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS uni-3TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS uni-4TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 06 SRS uni-5TIMEOUTMAYBEMAYBETIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS uni-6TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS uni-7MAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 SRS z086-variantTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwaprove1TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwaprove2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwcime1TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 06 jwcime2YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwmatchb1TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwmatchb2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwno2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwno3TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwno5TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwno7TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 06 jwno8TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 06 jwtpa1YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 06 jwtpa2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 06 jwtttTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-2-num-1TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-2-num-2TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-2-num-3TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-2-num-4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-1TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-10TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-11TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-12TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-13TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-14TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-15TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-16TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-17TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-18TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-19TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-2TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-20TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-21TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-3TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size11 size-11-alpha-3-num-4TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-5TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-6TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size11 size-11-alpha-3-num-7TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-8TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size11 size-11-alpha-3-num-9TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-1TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-10TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-11TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-12TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-13TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-14TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-15TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-16TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-17TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-18TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-19TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-2TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-20TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-21TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-2-num-22TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-3TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-2-num-4TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-5TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-6TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-7TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-2-num-8TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-1TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-10TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-100TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-101TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-104TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-105TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-106TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-107TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-108TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-109TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-11TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-110TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-111TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-112TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-113TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-114TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-120TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-121TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-122TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-123TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-124TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-125TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-126TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-127TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-128TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-129TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-13TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-131TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-132TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-133TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-134TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-135TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-14TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-140TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-146TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-149TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-15TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-152TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-158TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-159TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-16TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-160TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-163TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-164TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-165TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-168TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-17TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-170TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-174TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-176TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-177TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-178TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-179TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-180TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-181TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-186TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-19TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-190TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-191TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-194TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-195TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-198TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-199TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-20TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-200TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-201TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-202TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-203TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-204TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-206TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-207TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-209TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-21TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-210TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-211TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-213TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-215TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-217TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-219TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-22TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-220TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-221TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-222TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-223TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-224TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-225TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-226TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-227TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-23TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-231TIMEOUTMAYBETIMEOUTYES(?,O(n^1))MAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-232TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-233TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-236TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-237TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-238TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-239TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-241TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-243TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-247TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-248TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-249TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-255TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-257TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-260TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-263TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-265TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-267TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-270TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-271TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-272TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-273TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-274TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-275TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-279TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-281TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-282TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-283TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-284TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-285TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-286TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-287TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-288TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-289TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-291TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-292TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-293TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-294TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-296TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-297TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-298TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-299TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-3TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-30TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-300TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-301TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-303TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-304TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-309TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-31TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-32TIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-327TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-328TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-330TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-335TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-337TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-338TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-339TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-340TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-341TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-343TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-345TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-346TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-347TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-348TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-35TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-350TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-351TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-352TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-353TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-354TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-355TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-356TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-359TIMEOUTMAYBEMAYBETIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-360TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-361TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-362TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-363TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-366TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-367TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-368TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-369TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-373TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-374TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-375TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-376TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-377TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-378TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-382TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-383TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-384TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-385TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-386TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-389TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-391TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-392TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-395TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-396TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-399TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-4TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-40TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-400TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-401TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-402TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-403TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-406TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-408TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-409TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-41TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-410TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-412TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-413TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-414TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-415TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-416TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-417TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-418TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-427TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-429TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-430TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-431TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-434TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-435TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-436TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-437TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-438TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-439TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-44TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-441TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-443TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-446TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-448TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-45TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-450TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-451TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-452TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-453TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-454TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-455TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-456TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-460TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-461TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-462TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-465TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-467TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-468TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-469TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-47TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-470TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-472TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-473TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-474TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-475TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-476TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-477TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-478TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-479TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-48TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-480TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-482TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-484TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-485TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-487TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-488TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-489TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-49TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-491TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-492TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-493TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-494TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-495TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-497TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-498TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-499TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-502TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-503TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-506TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-507TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-508TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-51TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-511TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-52TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-522TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-526TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-532TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-535TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-536TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-540TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-541TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-543TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-545TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-546TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-547TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-548TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-549TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-550TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-551TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-552TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-553TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-556TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-558TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-559TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-560TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-561TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-563TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-564TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-565TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-566TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-568TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-57TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-59TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-61TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-64TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-65TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-66TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-67TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-7TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-70TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-71TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-72TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-74TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-76TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-82TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-83TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Waldmann 07 size12 size-12-alpha-3-num-84TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-85TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-86TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-88TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-9TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-90TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-91TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-92TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Waldmann 07 size12 size-12-alpha-3-num-94TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-95TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-98TIMEOUTMAYBEMAYBETIMEOUTMAYBEMAYBE
Waldmann 07 size12 size-12-alpha-3-num-99TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 04 syracuseTIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z001TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z002YES(?,O(n^1))MAYBEYES(?,O(n^3))YES(?,O(n^3))YES(?,O(n^2))MAYBE
Zantema 04 z003YES(?,O(n^1))TIMEOUTTIMEOUTMAYBEYES(?,O(n^3))MAYBE
Zantema 04 z004TIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Zantema 04 z005YES(?,O(n^1))MAYBEMAYBEMAYBETIMEOUTMAYBE
Zantema 04 z006TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Zantema 04 z007TIMEOUTMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
ProblemBoundsCDIEDAIDATRITRI2
Zantema 04 z008TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z009TIMEOUTMAYBEYES(?,O(n^4))TIMEOUTYES(?,O(n^4))MAYBE
Zantema 04 z010TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z011TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z012TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z013TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z014TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z015TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z017TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z018TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z019TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z020TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z021TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z022TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z023TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z024YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^1))MAYBE
Zantema 04 z025TIMEOUTMAYBEYES(?,O(n^3))MAYBEYES(?,O(n^2))YES(?,O(n^2))
Zantema 04 z026TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z027YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z028TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 04 z029YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z030TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z031TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z032YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z033YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z034TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z035TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z036TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z037YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z038TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z039YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z040YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z041TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z042TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z043YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z044TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z045YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z046TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z047YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z048YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 04 z049YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))MAYBE
Zantema 04 z050YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Zantema 04 z051YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z052YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z053YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z054YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z055YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z056YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z057YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z058YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))MAYBE
Zantema 04 z059YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z060YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z061YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))MAYBE
Zantema 04 z062YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Zantema 04 z063YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTYES(?,O(n^1))MAYBE
Zantema 04 z064YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z065TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z066TIMEOUTMAYBEYES(?,O(n^3))TIMEOUTYES(?,O(n^3))TIMEOUT
Zantema 04 z067TIMEOUTMAYBEYES(?,O(n^3))MAYBETIMEOUTMAYBE
Zantema 04 z068TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 04 z069TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z070TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z071TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 04 z072TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z073TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z074TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z075TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z076TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Zantema 04 z077TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z078TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Zantema 04 z079TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z081TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z082TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z083TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z084TIMEOUTMAYBEYES(?,O(n^5))MAYBEYES(?,O(n^3))MAYBE
Zantema 04 z085TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^1))
Zantema 04 z087TIMEOUTMAYBEYES(?,O(n^4))TIMEOUTTIMEOUTMAYBE
Zantema 04 z088TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z089TIMEOUTTIMEOUTMAYBEMAYBETIMEOUTMAYBE
Zantema 04 z090TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 04 z091TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z092TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Zantema 04 z093MAYBEMAYBEYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Zantema 04 z094TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 04 z095YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z096TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z097YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z098TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z100TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Zantema 04 z101TIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^1))YES(?,O(n^2))
Zantema 04 z102TIMEOUTMAYBETIMEOUTMAYBEYES(?,O(n^2))MAYBE
Zantema 04 z103TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z104TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z105TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z106TIMEOUTMAYBETIMEOUTTIMEOUTMAYBEMAYBE
Zantema 04 z107TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z108TIMEOUTMAYBEYES(?,O(n^3))TIMEOUTYES(?,O(n^3))MAYBE
Zantema 04 z109MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 04 z110TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z111TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 04 z112TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z113TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z114TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z115TIMEOUTMAYBETIMEOUTYES(?,O(n^2))YES(?,O(n^2))MAYBE
Zantema 04 z116TIMEOUTMAYBETIMEOUTTIMEOUTYES(?,O(n^2))MAYBE
Zantema 04 z117MAYBETIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z118TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z119TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z120MAYBEMAYBEMAYBEMAYBETIMEOUTMAYBE
Zantema 04 z121TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z122TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z123TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 04 z124TIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Zantema 04 z125TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 04 z126MAYBEMAYBEYES(?,O(n^3))YES(?,O(n^1))YES(?,O(n^1))MAYBE
Zantema 04 z127TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 04 z128TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw01YES(?,O(n^1))MAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw02YES(?,O(n^1))MAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw03YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 05 jw04YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw05YES(?,O(n^1))MAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw06YES(?,O(n^1))MAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw07YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw08YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw09YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw11YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw12YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw13YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw14YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw15YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw16YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw17YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw18YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw19YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw20YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw21YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw22YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw23YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw24YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 05 jw25YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw26YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw27YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw28YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw29YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw30YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw31YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw32YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw33YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw34YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw35YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw36YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw37YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw38YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw39YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw40YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw41YES(?,O(n^1))TIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 jw42YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 jw43YES(?,O(n^1))TIMEOUTYES(?,O(n^3))YES(?,O(n^1))YES(?,O(n^2))MAYBE
Zantema 05 jw44TIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
ProblemBoundsCDIEDAIDATRITRI2
Zantema 05 jw47TIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))YES(?,O(n^2))
Zantema 05 jw50YES(?,O(n^1))TIMEOUTYES(?,O(n^3))YES(?,O(n^1))YES(?,O(n^2))MAYBE
Zantema 05 z01TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z02YES(?,O(n^1))MAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 05 z03YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z05TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z06TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z07TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z08TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z11TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Zantema 05 z12TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z13TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z14TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 z15TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z16TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 z17TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z18TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 z19MAYBETIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Zantema 05 z20TIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Zantema 05 z21TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 05 z22TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 z23TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z24TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 05 z25TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 05 z26MAYBETIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))
Zantema 05 z29TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 05 z30YES(?,O(n^1))TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUT
Zantema 06 01TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 06 02TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 03TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 04TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 06 05TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 06TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 07TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 08TIMEOUTTIMEOUTTIMEOUTMAYBETIMEOUTMAYBE
Zantema 06 09TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 10TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 06 11TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 12TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 13TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 06 14TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 15TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 16TIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^1))MAYBE
Zantema 06 17TIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^2))YES(?,O(n^2))
Zantema 06 18TIMEOUTTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 abcTIMEOUTTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBE
Zantema 06 beans1TIMEOUTTIMEOUTYES(?,O(n^3))TIMEOUTTIMEOUTMAYBE
Zantema 06 beans2TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 06 beans3TIMEOUTMAYBETIMEOUTMAYBETIMEOUTMAYBE
Zantema 06 beans4TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 beans5TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 beans6TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 beans7TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 loop1TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 loop2TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 while1TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 06 while2TIMEOUTTIMEOUTTIMEOUTTIMEOUTYES(?,O(n^3))MAYBE
Zantema 08 assoc c rhsTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 assoc f rhsTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 bintreeTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 08 cariboo add2TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 cariboo add2aTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 cariboo add3MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 cariboo nl 1MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 cariboo nl 3MAYBETIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Zantema 08 cariboo nl 5MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 cariboo nl 6MAYBEMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 countbinTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 countterTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex2TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex3TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex4TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 08 ex5TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex6TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex7TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex8TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ex9TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 f 2 1TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 f 2 2TIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
ProblemBoundsCDIEDAIDATRITRI2
Zantema 08 f 5TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 08 f 5 1TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 08 f 5 2TIMEOUTMAYBETIMEOUTMAYBEMAYBEMAYBE
Zantema 08 ffb SLTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 ffgTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 fgTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 g 2 constTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 g 2 f varTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 inn outTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 morseTIMEOUTTIMEOUTTIMEOUTMAYBEMAYBEMAYBE
Zantema 08 outermost grTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE
Zantema 08 yoyo 2TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 08 yoyo 3TIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 08 yoyo 3aTIMEOUTMAYBETIMEOUTTIMEOUTTIMEOUTMAYBE
Zantema 08 yoyo 3bTIMEOUTMAYBEMAYBEMAYBEMAYBEMAYBE