Index of /project/akt/work/stuart/ALC/QBFcnfSSS
Name
Last modified
Size
Description
p-qbf-cnfSSS-K4-C10-V4-D4.1
1999-12-06 18:17
3.9K
p-qbf-cnfSSS-K4-C10-V4-D4.2
1999-12-06 18:17
3.8K
p-qbf-cnfSSS-K4-C10-V4-D4.3
1999-12-06 18:17
3.8K
p-qbf-cnfSSS-K4-C10-V4-D4.4
1999-12-06 18:17
3.9K
p-qbf-cnfSSS-K4-C10-V4-D4.5
1999-12-06 18:17
3.6K
p-qbf-cnfSSS-K4-C10-V4-D4.6
1999-12-06 18:17
4.0K
p-qbf-cnfSSS-K4-C10-V4-D4.7
1999-12-06 18:17
4.1K
p-qbf-cnfSSS-K4-C10-V4-D4.8
1999-12-06 18:17
3.8K
p-qbf-cnfSSS-K4-C10-V4-D6.1
1999-12-06 18:18
5.0K
p-qbf-cnfSSS-K4-C10-V4-D6.2
1999-12-06 18:18
5.1K
p-qbf-cnfSSS-K4-C10-V4-D6.3
1999-12-06 18:18
4.7K
p-qbf-cnfSSS-K4-C10-V4-D6.4
1999-12-06 18:18
4.9K
p-qbf-cnfSSS-K4-C10-V4-D6.5
1999-12-06 18:18
5.0K
p-qbf-cnfSSS-K4-C10-V4-D6.6
1999-12-06 18:18
4.8K
p-qbf-cnfSSS-K4-C10-V4-D6.7
1999-12-06 18:18
4.9K
p-qbf-cnfSSS-K4-C10-V4-D6.8
1999-12-06 18:18
4.9K
p-qbf-cnfSSS-K4-C10-V8-D4.1
1999-12-06 18:17
6.4K
p-qbf-cnfSSS-K4-C10-V8-D4.2
1999-12-06 18:17
6.3K
p-qbf-cnfSSS-K4-C10-V8-D4.3
1999-12-06 18:17
6.2K
p-qbf-cnfSSS-K4-C10-V8-D4.4
1999-12-06 18:17
6.3K
p-qbf-cnfSSS-K4-C10-V8-D4.5
1999-12-06 18:17
6.1K
p-qbf-cnfSSS-K4-C10-V8-D4.6
1999-12-06 18:17
6.6K
p-qbf-cnfSSS-K4-C10-V8-D4.7
1999-12-06 18:17
6.0K
p-qbf-cnfSSS-K4-C10-V8-D4.8
1999-12-06 18:17
6.2K
p-qbf-cnfSSS-K4-C10-V8-D6.1
1999-12-06 18:18
8.3K
p-qbf-cnfSSS-K4-C10-V8-D6.2
1999-12-06 18:18
7.5K
p-qbf-cnfSSS-K4-C10-V8-D6.3
1999-12-06 18:18
8.0K
p-qbf-cnfSSS-K4-C10-V8-D6.4
1999-12-06 18:18
8.2K
p-qbf-cnfSSS-K4-C10-V8-D6.5
1999-12-06 18:18
7.8K
p-qbf-cnfSSS-K4-C10-V8-D6.6
1999-12-06 18:18
8.1K
p-qbf-cnfSSS-K4-C10-V8-D6.7
1999-12-06 18:18
8.0K
p-qbf-cnfSSS-K4-C10-V8-D6.8
1999-12-06 18:18
8.2K
p-qbf-cnfSSS-K4-C10-V16-D4.1
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C10-V16-D4.2
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C10-V16-D4.3
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C10-V16-D4.4
1999-12-06 18:17
10K
p-qbf-cnfSSS-K4-C10-V16-D4.5
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C10-V16-D4.6
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C10-V16-D4.7
1999-12-06 18:17
12K
p-qbf-cnfSSS-K4-C10-V16-D4.8
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C10-V16-D6.1
1999-12-06 18:18
15K
p-qbf-cnfSSS-K4-C10-V16-D6.2
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C10-V16-D6.3
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C10-V16-D6.4
1999-12-06 18:18
13K
p-qbf-cnfSSS-K4-C10-V16-D6.5
1999-12-06 18:18
15K
p-qbf-cnfSSS-K4-C10-V16-D6.6
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C10-V16-D6.7
1999-12-06 18:18
15K
p-qbf-cnfSSS-K4-C10-V16-D6.8
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V4-D4.1
1999-12-06 18:17
6.3K
p-qbf-cnfSSS-K4-C20-V4-D4.2
1999-12-06 18:17
6.6K
p-qbf-cnfSSS-K4-C20-V4-D4.3
1999-12-06 18:17
6.4K
p-qbf-cnfSSS-K4-C20-V4-D4.4
1999-12-06 18:17
6.3K
p-qbf-cnfSSS-K4-C20-V4-D4.5
1999-12-06 18:17
6.2K
p-qbf-cnfSSS-K4-C20-V4-D4.6
1999-12-06 18:17
6.3K
p-qbf-cnfSSS-K4-C20-V4-D4.7
1999-12-06 18:17
6.5K
p-qbf-cnfSSS-K4-C20-V4-D4.8
1999-12-06 18:17
6.3K
p-qbf-cnfSSS-K4-C20-V4-D6.1
1999-12-06 18:18
8.2K
p-qbf-cnfSSS-K4-C20-V4-D6.2
1999-12-06 18:18
8.0K
p-qbf-cnfSSS-K4-C20-V4-D6.3
1999-12-06 18:18
8.2K
p-qbf-cnfSSS-K4-C20-V4-D6.4
1999-12-06 18:18
8.3K
p-qbf-cnfSSS-K4-C20-V4-D6.5
1999-12-06 18:18
8.0K
p-qbf-cnfSSS-K4-C20-V4-D6.6
1999-12-06 18:18
8.5K
p-qbf-cnfSSS-K4-C20-V4-D6.7
1999-12-06 18:18
7.7K
p-qbf-cnfSSS-K4-C20-V4-D6.8
1999-12-06 18:18
8.3K
p-qbf-cnfSSS-K4-C20-V8-D4.1
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C20-V8-D4.2
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C20-V8-D4.3
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C20-V8-D4.4
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C20-V8-D4.5
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C20-V8-D4.6
1999-12-06 18:17
10K
p-qbf-cnfSSS-K4-C20-V8-D4.7
1999-12-06 18:17
10K
p-qbf-cnfSSS-K4-C20-V8-D4.8
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C20-V8-D6.1
1999-12-06 18:18
13K
p-qbf-cnfSSS-K4-C20-V8-D6.2
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V8-D6.3
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V8-D6.4
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V8-D6.5
1999-12-06 18:18
13K
p-qbf-cnfSSS-K4-C20-V8-D6.6
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V8-D6.7
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V8-D6.8
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C20-V16-D4.1
1999-12-06 18:17
18K
p-qbf-cnfSSS-K4-C20-V16-D4.2
1999-12-06 18:17
19K
p-qbf-cnfSSS-K4-C20-V16-D4.3
1999-12-06 18:17
19K
p-qbf-cnfSSS-K4-C20-V16-D4.4
1999-12-06 18:17
20K
p-qbf-cnfSSS-K4-C20-V16-D4.5
1999-12-06 18:17
19K
p-qbf-cnfSSS-K4-C20-V16-D4.6
1999-12-06 18:17
19K
p-qbf-cnfSSS-K4-C20-V16-D4.7
1999-12-06 18:17
19K
p-qbf-cnfSSS-K4-C20-V16-D4.8
1999-12-06 18:17
19K
p-qbf-cnfSSS-K4-C20-V16-D6.1
1999-12-06 18:18
25K
p-qbf-cnfSSS-K4-C20-V16-D6.2
1999-12-06 18:18
26K
p-qbf-cnfSSS-K4-C20-V16-D6.3
1999-12-06 18:18
25K
p-qbf-cnfSSS-K4-C20-V16-D6.4
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C20-V16-D6.5
1999-12-06 18:18
24K
p-qbf-cnfSSS-K4-C20-V16-D6.6
1999-12-06 18:18
26K
p-qbf-cnfSSS-K4-C20-V16-D6.7
1999-12-06 18:18
26K
p-qbf-cnfSSS-K4-C20-V16-D6.8
1999-12-06 18:18
25K
p-qbf-cnfSSS-K4-C30-V4-D4.1
1999-12-06 18:17
9.1K
p-qbf-cnfSSS-K4-C30-V4-D4.2
1999-12-06 18:17
9.2K
p-qbf-cnfSSS-K4-C30-V4-D4.3
1999-12-06 18:17
8.9K
p-qbf-cnfSSS-K4-C30-V4-D4.4
1999-12-06 18:17
9.0K
p-qbf-cnfSSS-K4-C30-V4-D4.5
1999-12-06 18:17
8.9K
p-qbf-cnfSSS-K4-C30-V4-D4.6
1999-12-06 18:17
9.1K
p-qbf-cnfSSS-K4-C30-V4-D4.7
1999-12-06 18:17
9.0K
p-qbf-cnfSSS-K4-C30-V4-D4.8
1999-12-06 18:17
8.7K
p-qbf-cnfSSS-K4-C30-V4-D6.1
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.2
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.3
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.4
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.5
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.6
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.7
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V4-D6.8
1999-12-06 18:18
11K
p-qbf-cnfSSS-K4-C30-V8-D4.1
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D4.2
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D4.3
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D4.4
1999-12-06 18:17
14K
p-qbf-cnfSSS-K4-C30-V8-D4.5
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D4.6
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D4.7
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D4.8
1999-12-06 18:17
15K
p-qbf-cnfSSS-K4-C30-V8-D6.1
1999-12-06 18:18
20K
p-qbf-cnfSSS-K4-C30-V8-D6.2
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C30-V8-D6.3
1999-12-06 18:18
20K
p-qbf-cnfSSS-K4-C30-V8-D6.4
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C30-V8-D6.5
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C30-V8-D6.6
1999-12-06 18:18
20K
p-qbf-cnfSSS-K4-C30-V8-D6.7
1999-12-06 18:18
20K
p-qbf-cnfSSS-K4-C30-V8-D6.8
1999-12-06 18:18
20K
p-qbf-cnfSSS-K4-C30-V16-D4.1
1999-12-06 18:17
26K
p-qbf-cnfSSS-K4-C30-V16-D4.2
1999-12-06 18:17
27K
p-qbf-cnfSSS-K4-C30-V16-D4.3
1999-12-06 18:17
25K
p-qbf-cnfSSS-K4-C30-V16-D4.4
1999-12-06 18:17
26K
p-qbf-cnfSSS-K4-C30-V16-D4.5
1999-12-06 18:17
27K
p-qbf-cnfSSS-K4-C30-V16-D4.6
1999-12-06 18:17
27K
p-qbf-cnfSSS-K4-C30-V16-D4.7
1999-12-06 18:17
26K
p-qbf-cnfSSS-K4-C30-V16-D4.8
1999-12-06 18:17
28K
p-qbf-cnfSSS-K4-C30-V16-D6.1
1999-12-06 18:19
35K
p-qbf-cnfSSS-K4-C30-V16-D6.2
1999-12-06 18:19
36K
p-qbf-cnfSSS-K4-C30-V16-D6.3
1999-12-06 18:19
37K
p-qbf-cnfSSS-K4-C30-V16-D6.4
1999-12-06 18:19
36K
p-qbf-cnfSSS-K4-C30-V16-D6.5
1999-12-06 18:19
36K
p-qbf-cnfSSS-K4-C30-V16-D6.6
1999-12-06 18:19
35K
p-qbf-cnfSSS-K4-C30-V16-D6.7
1999-12-06 18:19
37K
p-qbf-cnfSSS-K4-C30-V16-D6.8
1999-12-06 18:19
36K
p-qbf-cnfSSS-K4-C40-V4-D4.1
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C40-V4-D4.2
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C40-V4-D4.3
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C40-V4-D4.4
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C40-V4-D4.5
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C40-V4-D4.6
1999-12-06 18:17
12K
p-qbf-cnfSSS-K4-C40-V4-D4.7
1999-12-06 18:17
12K
p-qbf-cnfSSS-K4-C40-V4-D4.8
1999-12-06 18:17
11K
p-qbf-cnfSSS-K4-C40-V4-D6.1
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V4-D6.2
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V4-D6.3
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V4-D6.4
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V4-D6.5
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V4-D6.6
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V4-D6.7
1999-12-06 18:19
15K
p-qbf-cnfSSS-K4-C40-V4-D6.8
1999-12-06 18:19
14K
p-qbf-cnfSSS-K4-C40-V8-D4.1
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.2
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.3
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.4
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.5
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.6
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.7
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D4.8
1999-12-06 18:18
19K
p-qbf-cnfSSS-K4-C40-V8-D6.1
1999-12-06 18:19
26K
p-qbf-cnfSSS-K4-C40-V8-D6.2
1999-12-06 18:19
25K
p-qbf-cnfSSS-K4-C40-V8-D6.3
1999-12-06 18:19
26K
p-qbf-cnfSSS-K4-C40-V8-D6.4
1999-12-06 18:19
25K
p-qbf-cnfSSS-K4-C40-V8-D6.5
1999-12-06 18:19
25K
p-qbf-cnfSSS-K4-C40-V8-D6.6
1999-12-06 18:19
25K
p-qbf-cnfSSS-K4-C40-V8-D6.7
1999-12-06 18:19
26K
p-qbf-cnfSSS-K4-C40-V8-D6.8
1999-12-06 18:19
25K
p-qbf-cnfSSS-K4-C40-V16-D4.1
1999-12-06 18:18
34K
p-qbf-cnfSSS-K4-C40-V16-D4.2
1999-12-06 18:18
34K
p-qbf-cnfSSS-K4-C40-V16-D4.3
1999-12-06 18:18
33K
p-qbf-cnfSSS-K4-C40-V16-D4.4
1999-12-06 18:18
36K
p-qbf-cnfSSS-K4-C40-V16-D4.5
1999-12-06 18:18
35K
p-qbf-cnfSSS-K4-C40-V16-D4.6
1999-12-06 18:18
34K
p-qbf-cnfSSS-K4-C40-V16-D4.7
1999-12-06 18:18
31K
p-qbf-cnfSSS-K4-C40-V16-D4.8
1999-12-06 18:18
33K
p-qbf-cnfSSS-K4-C40-V16-D6.1
1999-12-06 18:19
46K
p-qbf-cnfSSS-K4-C40-V16-D6.2
1999-12-06 18:19
48K
p-qbf-cnfSSS-K4-C40-V16-D6.3
1999-12-06 18:19
45K
p-qbf-cnfSSS-K4-C40-V16-D6.4
1999-12-06 18:19
48K
p-qbf-cnfSSS-K4-C40-V16-D6.5
1999-12-06 18:19
45K
p-qbf-cnfSSS-K4-C40-V16-D6.6
1999-12-06 18:19
47K
p-qbf-cnfSSS-K4-C40-V16-D6.7
1999-12-06 18:19
48K
p-qbf-cnfSSS-K4-C40-V16-D6.8
1999-12-06 18:19
47K
p-qbf-cnfSSS-K4-C50-V4-D4.1
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.2
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.3
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.4
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.5
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.6
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.7
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D4.8
1999-12-06 18:18
14K
p-qbf-cnfSSS-K4-C50-V4-D6.1
1999-12-06 18:19
18K
p-qbf-cnfSSS-K4-C50-V4-D6.2
1999-12-06 18:19
18K
p-qbf-cnfSSS-K4-C50-V4-D6.3
1999-12-06 18:19
18K
p-qbf-cnfSSS-K4-C50-V4-D6.4
1999-12-06 18:19
17K
p-qbf-cnfSSS-K4-C50-V4-D6.5
1999-12-06 18:19
18K
p-qbf-cnfSSS-K4-C50-V4-D6.6
1999-12-06 18:19
17K
p-qbf-cnfSSS-K4-C50-V4-D6.7
1999-12-06 18:19
18K
p-qbf-cnfSSS-K4-C50-V4-D6.8
1999-12-06 18:19
18K
p-qbf-cnfSSS-K4-C50-V8-D4.1
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D4.2
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D4.3
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D4.4
1999-12-06 18:18
24K
p-qbf-cnfSSS-K4-C50-V8-D4.5
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D4.6
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D4.7
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D4.8
1999-12-06 18:18
23K
p-qbf-cnfSSS-K4-C50-V8-D6.1
1999-12-06 18:19
30K
p-qbf-cnfSSS-K4-C50-V8-D6.2
1999-12-06 18:19
30K
p-qbf-cnfSSS-K4-C50-V8-D6.3
1999-12-06 18:19
29K
p-qbf-cnfSSS-K4-C50-V8-D6.4
1999-12-06 18:19
31K
p-qbf-cnfSSS-K4-C50-V8-D6.5
1999-12-06 18:19
31K
p-qbf-cnfSSS-K4-C50-V8-D6.6
1999-12-06 18:19
31K
p-qbf-cnfSSS-K4-C50-V8-D6.7
1999-12-06 18:19
31K
p-qbf-cnfSSS-K4-C50-V8-D6.8
1999-12-06 18:19
29K
p-qbf-cnfSSS-K4-C50-V16-D4.1
1999-12-06 18:18
43K
p-qbf-cnfSSS-K4-C50-V16-D4.2
1999-12-06 18:18
43K
p-qbf-cnfSSS-K4-C50-V16-D4.3
1999-12-06 18:18
42K
p-qbf-cnfSSS-K4-C50-V16-D4.4
1999-12-06 18:18
42K
p-qbf-cnfSSS-K4-C50-V16-D4.5
1999-12-06 18:18
42K
p-qbf-cnfSSS-K4-C50-V16-D4.6
1999-12-06 18:18
41K
p-qbf-cnfSSS-K4-C50-V16-D4.7
1999-12-06 18:18
41K
p-qbf-cnfSSS-K4-C50-V16-D4.8
1999-12-06 18:18
42K
p-qbf-cnfSSS-K4-C50-V16-D6.1
1999-12-06 18:19
59K
p-qbf-cnfSSS-K4-C50-V16-D6.2
1999-12-06 18:19
55K
p-qbf-cnfSSS-K4-C50-V16-D6.3
1999-12-06 18:19
59K
p-qbf-cnfSSS-K4-C50-V16-D6.4
1999-12-06 18:19
57K
p-qbf-cnfSSS-K4-C50-V16-D6.5
1999-12-06 18:19
57K
p-qbf-cnfSSS-K4-C50-V16-D6.6
1999-12-06 18:19
57K
p-qbf-cnfSSS-K4-C50-V16-D6.7
1999-12-06 18:19
54K
p-qbf-cnfSSS-K4-C50-V16-D6.8
1999-12-06 18:19
56K
Apache/2.4 Server at www.aiai.ed.ac.uk Port 443