Index of /project/akt/work/stuart/ALC/QBFLadn
Name
Last modified
Size
Description
p-qbf-cnfLadn-K4-C10-V4-D4.1
1999-12-06 18:17
20K
p-qbf-cnfLadn-K4-C10-V4-D4.2
1999-12-06 18:17
18K
p-qbf-cnfLadn-K4-C10-V4-D4.3
1999-12-06 18:17
19K
p-qbf-cnfLadn-K4-C10-V4-D4.4
1999-12-06 18:17
21K
p-qbf-cnfLadn-K4-C10-V4-D4.5
1999-12-06 18:17
21K
p-qbf-cnfLadn-K4-C10-V4-D4.6
1999-12-06 18:17
21K
p-qbf-cnfLadn-K4-C10-V4-D4.7
1999-12-06 18:17
20K
p-qbf-cnfLadn-K4-C10-V4-D4.8
1999-12-06 18:17
21K
p-qbf-cnfLadn-K4-C10-V4-D6.1
1999-12-06 18:18
31K
p-qbf-cnfLadn-K4-C10-V4-D6.2
1999-12-06 18:18
28K
p-qbf-cnfLadn-K4-C10-V4-D6.3
1999-12-06 18:18
29K
p-qbf-cnfLadn-K4-C10-V4-D6.4
1999-12-06 18:18
31K
p-qbf-cnfLadn-K4-C10-V4-D6.5
1999-12-06 18:18
32K
p-qbf-cnfLadn-K4-C10-V4-D6.6
1999-12-06 18:18
30K
p-qbf-cnfLadn-K4-C10-V4-D6.7
1999-12-06 18:18
27K
p-qbf-cnfLadn-K4-C10-V4-D6.8
1999-12-06 18:18
30K
p-qbf-cnfLadn-K4-C10-V8-D4.1
1999-12-06 18:17
45K
p-qbf-cnfLadn-K4-C10-V8-D4.2
1999-12-06 18:17
44K
p-qbf-cnfLadn-K4-C10-V8-D4.3
1999-12-06 18:17
44K
p-qbf-cnfLadn-K4-C10-V8-D4.4
1999-12-06 18:17
49K
p-qbf-cnfLadn-K4-C10-V8-D4.5
1999-12-06 18:17
44K
p-qbf-cnfLadn-K4-C10-V8-D4.6
1999-12-06 18:17
48K
p-qbf-cnfLadn-K4-C10-V8-D4.7
1999-12-06 18:17
43K
p-qbf-cnfLadn-K4-C10-V8-D4.8
1999-12-06 18:17
42K
p-qbf-cnfLadn-K4-C10-V8-D6.1
1999-12-06 18:18
70K
p-qbf-cnfLadn-K4-C10-V8-D6.2
1999-12-06 18:18
69K
p-qbf-cnfLadn-K4-C10-V8-D6.3
1999-12-06 18:18
66K
p-qbf-cnfLadn-K4-C10-V8-D6.4
1999-12-06 18:18
62K
p-qbf-cnfLadn-K4-C10-V8-D6.5
1999-12-06 18:18
62K
p-qbf-cnfLadn-K4-C10-V8-D6.6
1999-12-06 18:18
71K
p-qbf-cnfLadn-K4-C10-V8-D6.7
1999-12-06 18:18
70K
p-qbf-cnfLadn-K4-C10-V8-D6.8
1999-12-06 18:18
62K
p-qbf-cnfLadn-K4-C10-V16-D4.1
1999-12-06 18:17
91K
p-qbf-cnfLadn-K4-C10-V16-D4.2
1999-12-06 18:17
100K
p-qbf-cnfLadn-K4-C10-V16-D4.3
1999-12-06 18:17
101K
p-qbf-cnfLadn-K4-C10-V16-D4.4
1999-12-06 18:17
102K
p-qbf-cnfLadn-K4-C10-V16-D4.5
1999-12-06 18:17
92K
p-qbf-cnfLadn-K4-C10-V16-D4.6
1999-12-06 18:17
101K
p-qbf-cnfLadn-K4-C10-V16-D4.7
1999-12-06 18:17
98K
p-qbf-cnfLadn-K4-C10-V16-D4.8
1999-12-06 18:17
96K
p-qbf-cnfLadn-K4-C10-V16-D6.1
1999-12-06 18:18
133K
p-qbf-cnfLadn-K4-C10-V16-D6.2
1999-12-06 18:18
147K
p-qbf-cnfLadn-K4-C10-V16-D6.3
1999-12-06 18:18
127K
p-qbf-cnfLadn-K4-C10-V16-D6.4
1999-12-06 18:18
146K
p-qbf-cnfLadn-K4-C10-V16-D6.5
1999-12-06 18:18
132K
p-qbf-cnfLadn-K4-C10-V16-D6.6
1999-12-06 18:18
142K
p-qbf-cnfLadn-K4-C10-V16-D6.7
1999-12-06 18:18
138K
p-qbf-cnfLadn-K4-C10-V16-D6.8
1999-12-06 18:18
147K
p-qbf-cnfLadn-K4-C20-V4-D4.1
1999-12-06 18:17
28K
p-qbf-cnfLadn-K4-C20-V4-D4.2
1999-12-06 18:17
28K
p-qbf-cnfLadn-K4-C20-V4-D4.3
1999-12-06 18:17
28K
p-qbf-cnfLadn-K4-C20-V4-D4.4
1999-12-06 18:17
28K
p-qbf-cnfLadn-K4-C20-V4-D4.5
1999-12-06 18:17
29K
p-qbf-cnfLadn-K4-C20-V4-D4.6
1999-12-06 18:17
28K
p-qbf-cnfLadn-K4-C20-V4-D4.7
1999-12-06 18:17
29K
p-qbf-cnfLadn-K4-C20-V4-D4.8
1999-12-06 18:17
29K
p-qbf-cnfLadn-K4-C20-V4-D6.1
1999-12-06 18:18
44K
p-qbf-cnfLadn-K4-C20-V4-D6.2
1999-12-06 18:18
42K
p-qbf-cnfLadn-K4-C20-V4-D6.3
1999-12-06 18:18
44K
p-qbf-cnfLadn-K4-C20-V4-D6.4
1999-12-06 18:18
43K
p-qbf-cnfLadn-K4-C20-V4-D6.5
1999-12-06 18:18
45K
p-qbf-cnfLadn-K4-C20-V4-D6.6
1999-12-06 18:18
43K
p-qbf-cnfLadn-K4-C20-V4-D6.7
1999-12-06 18:18
45K
p-qbf-cnfLadn-K4-C20-V4-D6.8
1999-12-06 18:18
44K
p-qbf-cnfLadn-K4-C20-V8-D4.1
1999-12-06 18:17
70K
p-qbf-cnfLadn-K4-C20-V8-D4.2
1999-12-06 18:17
68K
p-qbf-cnfLadn-K4-C20-V8-D4.3
1999-12-06 18:17
69K
p-qbf-cnfLadn-K4-C20-V8-D4.4
1999-12-06 18:17
70K
p-qbf-cnfLadn-K4-C20-V8-D4.5
1999-12-06 18:17
66K
p-qbf-cnfLadn-K4-C20-V8-D4.6
1999-12-06 18:17
65K
p-qbf-cnfLadn-K4-C20-V8-D4.7
1999-12-06 18:17
65K
p-qbf-cnfLadn-K4-C20-V8-D4.8
1999-12-06 18:17
69K
p-qbf-cnfLadn-K4-C20-V8-D6.1
1999-12-06 18:18
106K
p-qbf-cnfLadn-K4-C20-V8-D6.2
1999-12-06 18:18
105K
p-qbf-cnfLadn-K4-C20-V8-D6.3
1999-12-06 18:18
100K
p-qbf-cnfLadn-K4-C20-V8-D6.4
1999-12-06 18:18
113K
p-qbf-cnfLadn-K4-C20-V8-D6.5
1999-12-06 18:18
113K
p-qbf-cnfLadn-K4-C20-V8-D6.6
1999-12-06 18:18
103K
p-qbf-cnfLadn-K4-C20-V8-D6.7
1999-12-06 18:18
105K
p-qbf-cnfLadn-K4-C20-V8-D6.8
1999-12-06 18:18
99K
p-qbf-cnfLadn-K4-C20-V16-D4.1
1999-12-06 18:17
170K
p-qbf-cnfLadn-K4-C20-V16-D4.2
1999-12-06 18:17
158K
p-qbf-cnfLadn-K4-C20-V16-D4.3
1999-12-06 18:17
162K
p-qbf-cnfLadn-K4-C20-V16-D4.4
1999-12-06 18:17
151K
p-qbf-cnfLadn-K4-C20-V16-D4.5
1999-12-06 18:17
170K
p-qbf-cnfLadn-K4-C20-V16-D4.6
1999-12-06 18:17
177K
p-qbf-cnfLadn-K4-C20-V16-D4.7
1999-12-06 18:17
162K
p-qbf-cnfLadn-K4-C20-V16-D4.8
1999-12-06 18:17
172K
p-qbf-cnfLadn-K4-C20-V16-D6.1
1999-12-06 18:18
234K
p-qbf-cnfLadn-K4-C20-V16-D6.2
1999-12-06 18:18
238K
p-qbf-cnfLadn-K4-C20-V16-D6.3
1999-12-06 18:18
264K
p-qbf-cnfLadn-K4-C20-V16-D6.4
1999-12-06 18:18
258K
p-qbf-cnfLadn-K4-C20-V16-D6.5
1999-12-06 18:18
243K
p-qbf-cnfLadn-K4-C20-V16-D6.6
1999-12-06 18:18
254K
p-qbf-cnfLadn-K4-C20-V16-D6.7
1999-12-06 18:18
263K
p-qbf-cnfLadn-K4-C20-V16-D6.8
1999-12-06 18:18
254K
p-qbf-cnfLadn-K4-C30-V4-D4.1
1999-12-06 18:17
36K
p-qbf-cnfLadn-K4-C30-V4-D4.2
1999-12-06 18:17
36K
p-qbf-cnfLadn-K4-C30-V4-D4.3
1999-12-06 18:17
35K
p-qbf-cnfLadn-K4-C30-V4-D4.4
1999-12-06 18:17
36K
p-qbf-cnfLadn-K4-C30-V4-D4.5
1999-12-06 18:17
35K
p-qbf-cnfLadn-K4-C30-V4-D4.6
1999-12-06 18:17
36K
p-qbf-cnfLadn-K4-C30-V4-D4.7
1999-12-06 18:17
37K
p-qbf-cnfLadn-K4-C30-V4-D4.8
1999-12-06 18:17
35K
p-qbf-cnfLadn-K4-C30-V4-D6.1
1999-12-06 18:18
55K
p-qbf-cnfLadn-K4-C30-V4-D6.2
1999-12-06 18:18
53K
p-qbf-cnfLadn-K4-C30-V4-D6.3
1999-12-06 18:18
52K
p-qbf-cnfLadn-K4-C30-V4-D6.4
1999-12-06 18:18
54K
p-qbf-cnfLadn-K4-C30-V4-D6.5
1999-12-06 18:18
55K
p-qbf-cnfLadn-K4-C30-V4-D6.6
1999-12-06 18:18
53K
p-qbf-cnfLadn-K4-C30-V4-D6.7
1999-12-06 18:18
54K
p-qbf-cnfLadn-K4-C30-V4-D6.8
1999-12-06 18:18
53K
p-qbf-cnfLadn-K4-C30-V8-D4.1
1999-12-06 18:17
85K
p-qbf-cnfLadn-K4-C30-V8-D4.2
1999-12-06 18:17
84K
p-qbf-cnfLadn-K4-C30-V8-D4.3
1999-12-06 18:17
83K
p-qbf-cnfLadn-K4-C30-V8-D4.4
1999-12-06 18:17
86K
p-qbf-cnfLadn-K4-C30-V8-D4.5
1999-12-06 18:17
86K
p-qbf-cnfLadn-K4-C30-V8-D4.6
1999-12-06 18:17
82K
p-qbf-cnfLadn-K4-C30-V8-D4.7
1999-12-06 18:17
84K
p-qbf-cnfLadn-K4-C30-V8-D4.8
1999-12-06 18:17
86K
p-qbf-cnfLadn-K4-C30-V8-D6.1
1999-12-06 18:18
133K
p-qbf-cnfLadn-K4-C30-V8-D6.2
1999-12-06 18:18
130K
p-qbf-cnfLadn-K4-C30-V8-D6.3
1999-12-06 18:18
133K
p-qbf-cnfLadn-K4-C30-V8-D6.4
1999-12-06 18:18
131K
p-qbf-cnfLadn-K4-C30-V8-D6.5
1999-12-06 18:18
121K
p-qbf-cnfLadn-K4-C30-V8-D6.6
1999-12-06 18:18
129K
p-qbf-cnfLadn-K4-C30-V8-D6.7
1999-12-06 18:18
128K
p-qbf-cnfLadn-K4-C30-V8-D6.8
1999-12-06 18:18
138K
p-qbf-cnfLadn-K4-C30-V16-D4.1
1999-12-06 18:17
210K
p-qbf-cnfLadn-K4-C30-V16-D4.2
1999-12-06 18:17
215K
p-qbf-cnfLadn-K4-C30-V16-D4.3
1999-12-06 18:17
211K
p-qbf-cnfLadn-K4-C30-V16-D4.4
1999-12-06 18:17
226K
p-qbf-cnfLadn-K4-C30-V16-D4.5
1999-12-06 18:17
214K
p-qbf-cnfLadn-K4-C30-V16-D4.6
1999-12-06 18:17
212K
p-qbf-cnfLadn-K4-C30-V16-D4.7
1999-12-06 18:17
220K
p-qbf-cnfLadn-K4-C30-V16-D4.8
1999-12-06 18:17
195K
p-qbf-cnfLadn-K4-C30-V16-D6.1
1999-12-06 18:18
345K
p-qbf-cnfLadn-K4-C30-V16-D6.2
1999-12-06 18:18
352K
p-qbf-cnfLadn-K4-C30-V16-D6.3
1999-12-06 18:18
336K
p-qbf-cnfLadn-K4-C30-V16-D6.4
1999-12-06 18:18
355K
p-qbf-cnfLadn-K4-C30-V16-D6.5
1999-12-06 18:18
354K
p-qbf-cnfLadn-K4-C30-V16-D6.6
1999-12-06 18:19
330K
p-qbf-cnfLadn-K4-C30-V16-D6.7
1999-12-06 18:19
324K
p-qbf-cnfLadn-K4-C30-V16-D6.8
1999-12-06 18:19
333K
p-qbf-cnfLadn-K4-C40-V4-D4.1
1999-12-06 18:17
43K
p-qbf-cnfLadn-K4-C40-V4-D4.2
1999-12-06 18:17
44K
p-qbf-cnfLadn-K4-C40-V4-D4.3
1999-12-06 18:17
43K
p-qbf-cnfLadn-K4-C40-V4-D4.4
1999-12-06 18:17
43K
p-qbf-cnfLadn-K4-C40-V4-D4.5
1999-12-06 18:17
42K
p-qbf-cnfLadn-K4-C40-V4-D4.6
1999-12-06 18:17
43K
p-qbf-cnfLadn-K4-C40-V4-D4.7
1999-12-06 18:17
44K
p-qbf-cnfLadn-K4-C40-V4-D4.8
1999-12-06 18:17
42K
p-qbf-cnfLadn-K4-C40-V4-D6.1
1999-12-06 18:19
63K
p-qbf-cnfLadn-K4-C40-V4-D6.2
1999-12-06 18:19
64K
p-qbf-cnfLadn-K4-C40-V4-D6.3
1999-12-06 18:19
60K
p-qbf-cnfLadn-K4-C40-V4-D6.4
1999-12-06 18:19
62K
p-qbf-cnfLadn-K4-C40-V4-D6.5
1999-12-06 18:19
61K
p-qbf-cnfLadn-K4-C40-V4-D6.6
1999-12-06 18:19
62K
p-qbf-cnfLadn-K4-C40-V4-D6.7
1999-12-06 18:19
63K
p-qbf-cnfLadn-K4-C40-V4-D6.8
1999-12-06 18:19
60K
p-qbf-cnfLadn-K4-C40-V8-D4.1
1999-12-06 18:17
97K
p-qbf-cnfLadn-K4-C40-V8-D4.2
1999-12-06 18:17
98K
p-qbf-cnfLadn-K4-C40-V8-D4.3
1999-12-06 18:17
95K
p-qbf-cnfLadn-K4-C40-V8-D4.4
1999-12-06 18:17
98K
p-qbf-cnfLadn-K4-C40-V8-D4.5
1999-12-06 18:17
95K
p-qbf-cnfLadn-K4-C40-V8-D4.6
1999-12-06 18:17
95K
p-qbf-cnfLadn-K4-C40-V8-D4.7
1999-12-06 18:17
95K
p-qbf-cnfLadn-K4-C40-V8-D4.8
1999-12-06 18:18
96K
p-qbf-cnfLadn-K4-C40-V8-D6.1
1999-12-06 18:19
146K
p-qbf-cnfLadn-K4-C40-V8-D6.2
1999-12-06 18:19
158K
p-qbf-cnfLadn-K4-C40-V8-D6.3
1999-12-06 18:19
154K
p-qbf-cnfLadn-K4-C40-V8-D6.4
1999-12-06 18:19
156K
p-qbf-cnfLadn-K4-C40-V8-D6.5
1999-12-06 18:19
148K
p-qbf-cnfLadn-K4-C40-V8-D6.6
1999-12-06 18:19
154K
p-qbf-cnfLadn-K4-C40-V8-D6.7
1999-12-06 18:19
158K
p-qbf-cnfLadn-K4-C40-V8-D6.8
1999-12-06 18:19
150K
p-qbf-cnfLadn-K4-C40-V16-D4.1
1999-12-06 18:18
242K
p-qbf-cnfLadn-K4-C40-V16-D4.2
1999-12-06 18:18
258K
p-qbf-cnfLadn-K4-C40-V16-D4.3
1999-12-06 18:18
262K
p-qbf-cnfLadn-K4-C40-V16-D4.4
1999-12-06 18:18
238K
p-qbf-cnfLadn-K4-C40-V16-D4.5
1999-12-06 18:18
252K
p-qbf-cnfLadn-K4-C40-V16-D4.6
1999-12-06 18:18
256K
p-qbf-cnfLadn-K4-C40-V16-D4.7
1999-12-06 18:18
256K
p-qbf-cnfLadn-K4-C40-V16-D4.8
1999-12-06 18:18
264K
p-qbf-cnfLadn-K4-C40-V16-D6.1
1999-12-06 18:19
410K
p-qbf-cnfLadn-K4-C40-V16-D6.2
1999-12-06 18:19
420K
p-qbf-cnfLadn-K4-C40-V16-D6.3
1999-12-06 18:19
405K
p-qbf-cnfLadn-K4-C40-V16-D6.4
1999-12-06 18:19
426K
p-qbf-cnfLadn-K4-C40-V16-D6.5
1999-12-06 18:19
412K
p-qbf-cnfLadn-K4-C40-V16-D6.6
1999-12-06 18:19
394K
p-qbf-cnfLadn-K4-C40-V16-D6.7
1999-12-06 18:19
399K
p-qbf-cnfLadn-K4-C40-V16-D6.8
1999-12-06 18:19
384K
p-qbf-cnfLadn-K4-C50-V4-D4.1
1999-12-06 18:18
51K
p-qbf-cnfLadn-K4-C50-V4-D4.2
1999-12-06 18:18
50K
p-qbf-cnfLadn-K4-C50-V4-D4.3
1999-12-06 18:18
50K
p-qbf-cnfLadn-K4-C50-V4-D4.4
1999-12-06 18:18
51K
p-qbf-cnfLadn-K4-C50-V4-D4.5
1999-12-06 18:18
49K
p-qbf-cnfLadn-K4-C50-V4-D4.6
1999-12-06 18:18
51K
p-qbf-cnfLadn-K4-C50-V4-D4.7
1999-12-06 18:18
50K
p-qbf-cnfLadn-K4-C50-V4-D4.8
1999-12-06 18:18
50K
p-qbf-cnfLadn-K4-C50-V4-D6.1
1999-12-06 18:19
70K
p-qbf-cnfLadn-K4-C50-V4-D6.2
1999-12-06 18:19
70K
p-qbf-cnfLadn-K4-C50-V4-D6.3
1999-12-06 18:19
72K
p-qbf-cnfLadn-K4-C50-V4-D6.4
1999-12-06 18:19
73K
p-qbf-cnfLadn-K4-C50-V4-D6.5
1999-12-06 18:19
68K
p-qbf-cnfLadn-K4-C50-V4-D6.6
1999-12-06 18:19
71K
p-qbf-cnfLadn-K4-C50-V4-D6.7
1999-12-06 18:19
71K
p-qbf-cnfLadn-K4-C50-V4-D6.8
1999-12-06 18:19
69K
p-qbf-cnfLadn-K4-C50-V8-D4.1
1999-12-06 18:18
109K
p-qbf-cnfLadn-K4-C50-V8-D4.2
1999-12-06 18:18
111K
p-qbf-cnfLadn-K4-C50-V8-D4.3
1999-12-06 18:18
108K
p-qbf-cnfLadn-K4-C50-V8-D4.4
1999-12-06 18:18
107K
p-qbf-cnfLadn-K4-C50-V8-D4.5
1999-12-06 18:18
109K
p-qbf-cnfLadn-K4-C50-V8-D4.6
1999-12-06 18:18
111K
p-qbf-cnfLadn-K4-C50-V8-D4.7
1999-12-06 18:18
108K
p-qbf-cnfLadn-K4-C50-V8-D4.8
1999-12-06 18:18
108K
p-qbf-cnfLadn-K4-C50-V8-D6.1
1999-12-06 18:19
162K
p-qbf-cnfLadn-K4-C50-V8-D6.2
1999-12-06 18:19
169K
p-qbf-cnfLadn-K4-C50-V8-D6.3
1999-12-06 18:19
169K
p-qbf-cnfLadn-K4-C50-V8-D6.4
1999-12-06 18:19
173K
p-qbf-cnfLadn-K4-C50-V8-D6.5
1999-12-06 18:19
174K
p-qbf-cnfLadn-K4-C50-V8-D6.6
1999-12-06 18:19
172K
p-qbf-cnfLadn-K4-C50-V8-D6.7
1999-12-06 18:19
176K
p-qbf-cnfLadn-K4-C50-V8-D6.8
1999-12-06 18:19
169K
p-qbf-cnfLadn-K4-C50-V16-D4.1
1999-12-06 18:18
286K
p-qbf-cnfLadn-K4-C50-V16-D4.2
1999-12-06 18:18
289K
p-qbf-cnfLadn-K4-C50-V16-D4.3
1999-12-06 18:18
293K
p-qbf-cnfLadn-K4-C50-V16-D4.4
1999-12-06 18:18
278K
p-qbf-cnfLadn-K4-C50-V16-D4.5
1999-12-06 18:18
271K
p-qbf-cnfLadn-K4-C50-V16-D4.6
1999-12-06 18:18
281K
p-qbf-cnfLadn-K4-C50-V16-D4.7
1999-12-06 18:18
271K
p-qbf-cnfLadn-K4-C50-V16-D4.8
1999-12-06 18:18
291K
p-qbf-cnfLadn-K4-C50-V16-D6.1
1999-12-06 18:19
463K
p-qbf-cnfLadn-K4-C50-V16-D6.2
1999-12-06 18:19
465K
p-qbf-cnfLadn-K4-C50-V16-D6.3
1999-12-06 18:19
436K
p-qbf-cnfLadn-K4-C50-V16-D6.4
1999-12-06 18:19
457K
p-qbf-cnfLadn-K4-C50-V16-D6.5
1999-12-06 18:19
478K
p-qbf-cnfLadn-K4-C50-V16-D6.6
1999-12-06 18:19
458K
p-qbf-cnfLadn-K4-C50-V16-D6.7
1999-12-06 18:19
472K
p-qbf-cnfLadn-K4-C50-V16-D6.8
1999-12-06 18:19
472K
Apache/2.4 Server at www.aiai.ed.ac.uk Port 443