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