Index of /project/akt/work/stuart/ALC/QBFcnfSSS

Icon  Name                         Last modified      Size  Description
[   ] p-qbf-cnfSSS-K4-C10-V4-D4.5 1999-12-06 18:17 3.6K [   ] 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.8 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-V4-D4.4 1999-12-06 18:17 3.9K [   ] 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-D6.3 1999-12-06 18:18 4.7K [   ] p-qbf-cnfSSS-K4-C10-V4-D6.6 1999-12-06 18:18 4.8K [   ] p-qbf-cnfSSS-K4-C10-V4-D6.4 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.8 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.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-V8-D4.7 1999-12-06 18:17 6.0K [   ] p-qbf-cnfSSS-K4-C10-V8-D4.5 1999-12-06 18:17 6.1K [   ] p-qbf-cnfSSS-K4-C20-V4-D4.5 1999-12-06 18:17 6.2K [   ] p-qbf-cnfSSS-K4-C10-V8-D4.8 1999-12-06 18:17 6.2K [   ] 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-C20-V4-D4.1 1999-12-06 18:17 6.3K [   ] p-qbf-cnfSSS-K4-C20-V4-D4.4 1999-12-06 18:17 6.3K [   ] p-qbf-cnfSSS-K4-C20-V4-D4.6 1999-12-06 18:17 6.3K [   ] p-qbf-cnfSSS-K4-C20-V4-D4.8 1999-12-06 18:17 6.3K [   ] 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-C20-V4-D4.3 1999-12-06 18:17 6.4K [   ] p-qbf-cnfSSS-K4-C20-V4-D4.7 1999-12-06 18:17 6.5K [   ] p-qbf-cnfSSS-K4-C10-V8-D4.6 1999-12-06 18:17 6.6K [   ] p-qbf-cnfSSS-K4-C20-V4-D4.2 1999-12-06 18:17 6.6K [   ] p-qbf-cnfSSS-K4-C10-V8-D6.2 1999-12-06 18:18 7.5K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.7 1999-12-06 18:18 7.7K [   ] p-qbf-cnfSSS-K4-C10-V8-D6.5 1999-12-06 18:18 7.8K [   ] p-qbf-cnfSSS-K4-C10-V8-D6.3 1999-12-06 18:18 8.0K [   ] p-qbf-cnfSSS-K4-C10-V8-D6.7 1999-12-06 18:18 8.0K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.2 1999-12-06 18:18 8.0K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.5 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.4 1999-12-06 18:18 8.2K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.1 1999-12-06 18:18 8.2K [   ] p-qbf-cnfSSS-K4-C10-V8-D6.8 1999-12-06 18:18 8.2K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.3 1999-12-06 18:18 8.2K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.8 1999-12-06 18:18 8.3K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.4 1999-12-06 18:18 8.3K [   ] p-qbf-cnfSSS-K4-C10-V8-D6.1 1999-12-06 18:18 8.3K [   ] p-qbf-cnfSSS-K4-C20-V4-D6.6 1999-12-06 18:18 8.5K [   ] p-qbf-cnfSSS-K4-C30-V4-D4.8 1999-12-06 18:17 8.7K [   ] p-qbf-cnfSSS-K4-C30-V4-D4.5 1999-12-06 18:17 8.9K [   ] p-qbf-cnfSSS-K4-C30-V4-D4.3 1999-12-06 18:17 8.9K [   ] p-qbf-cnfSSS-K4-C30-V4-D4.7 1999-12-06 18:17 9.0K [   ] p-qbf-cnfSSS-K4-C30-V4-D4.4 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.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-C10-V16-D4.4 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.6 1999-12-06 18:17 10K [   ] 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.4 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C20-V8-D4.8 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.1 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C10-V16-D4.8 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.4 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C20-V8-D4.3 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C20-V8-D4.5 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 [   ] p-qbf-cnfSSS-K4-C10-V16-D4.6 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.3 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.5 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C10-V16-D4.5 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.8 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.8 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C10-V16-D4.3 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.1 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.4 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.6 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.5 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.3 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.2 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.2 1999-12-06 18:17 11K [   ] p-qbf-cnfSSS-K4-C30-V4-D6.7 1999-12-06 18:18 11K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.6 1999-12-06 18:17 12K [   ] p-qbf-cnfSSS-K4-C10-V16-D4.7 1999-12-06 18:17 12K [   ] p-qbf-cnfSSS-K4-C40-V4-D4.7 1999-12-06 18:17 12K [   ] p-qbf-cnfSSS-K4-C10-V16-D6.4 1999-12-06 18:18 13K [   ] p-qbf-cnfSSS-K4-C20-V8-D6.5 1999-12-06 18:18 13K [   ] p-qbf-cnfSSS-K4-C20-V8-D6.1 1999-12-06 18:18 13K [   ] p-qbf-cnfSSS-K4-C50-V4-D4.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-C50-V4-D4.8 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.7 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-C20-V8-D6.6 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C10-V16-D6.6 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C20-V8-D6.8 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C40-V4-D6.8 1999-12-06 18:19 14K [   ] p-qbf-cnfSSS-K4-C40-V4-D6.5 1999-12-06 18:19 14K [   ] p-qbf-cnfSSS-K4-C50-V4-D4.4 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C20-V8-D6.2 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C40-V4-D6.6 1999-12-06 18:19 14K [   ] p-qbf-cnfSSS-K4-C40-V4-D6.3 1999-12-06 18:19 14K [   ] p-qbf-cnfSSS-K4-C20-V8-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-C20-V8-D6.7 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C30-V8-D4.4 1999-12-06 18:17 14K [   ] p-qbf-cnfSSS-K4-C40-V4-D6.4 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-C10-V16-D6.8 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C10-V16-D6.3 1999-12-06 18:18 14K [   ] p-qbf-cnfSSS-K4-C30-V8-D4.3 1999-12-06 18:17 15K [   ] p-qbf-cnfSSS-K4-C30-V8-D4.5 1999-12-06 18:17 15K [   ] p-qbf-cnfSSS-K4-C10-V16-D6.7 1999-12-06 18:18 15K [   ] p-qbf-cnfSSS-K4-C30-V8-D4.8 1999-12-06 18:17 15K [   ] p-qbf-cnfSSS-K4-C10-V16-D6.1 1999-12-06 18:18 15K [   ] p-qbf-cnfSSS-K4-C30-V8-D4.2 1999-12-06 18:17 15K [   ] p-qbf-cnfSSS-K4-C40-V4-D6.7 1999-12-06 18:19 15K [   ] p-qbf-cnfSSS-K4-C10-V16-D6.5 1999-12-06 18:18 15K [   ] p-qbf-cnfSSS-K4-C30-V8-D4.1 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-C50-V4-D6.4 1999-12-06 18:19 17K [   ] p-qbf-cnfSSS-K4-C50-V4-D6.6 1999-12-06 18:19 17K [   ] p-qbf-cnfSSS-K4-C50-V4-D6.1 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-V4-D6.5 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.7 1999-12-06 18:19 18K [   ] p-qbf-cnfSSS-K4-C20-V16-D4.1 1999-12-06 18:17 18K [   ] p-qbf-cnfSSS-K4-C50-V4-D6.3 1999-12-06 18:19 18K [   ] p-qbf-cnfSSS-K4-C20-V16-D4.5 1999-12-06 18:17 19K [   ] p-qbf-cnfSSS-K4-C40-V8-D4.6 1999-12-06 18:18 19K [   ] p-qbf-cnfSSS-K4-C30-V8-D6.4 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.5 1999-12-06 18:18 19K [   ] p-qbf-cnfSSS-K4-C20-V16-D4.2 1999-12-06 18:17 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-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-C40-V8-D4.8 1999-12-06 18:18 19K [   ] p-qbf-cnfSSS-K4-C20-V16-D4.6 1999-12-06 18:17 19K [   ] p-qbf-cnfSSS-K4-C20-V16-D4.3 1999-12-06 18:17 19K [   ] p-qbf-cnfSSS-K4-C40-V8-D4.7 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.2 1999-12-06 18:18 19K [   ] p-qbf-cnfSSS-K4-C30-V8-D6.8 1999-12-06 18:18 20K [   ] p-qbf-cnfSSS-K4-C20-V16-D4.4 1999-12-06 18:17 20K [   ] p-qbf-cnfSSS-K4-C30-V8-D6.3 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.1 1999-12-06 18:18 20K [   ] p-qbf-cnfSSS-K4-C30-V8-D6.6 1999-12-06 18:18 20K [   ] p-qbf-cnfSSS-K4-C50-V8-D4.7 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.6 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-D4.1 1999-12-06 18:18 23K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.4 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.2 1999-12-06 18:18 23K [   ] p-qbf-cnfSSS-K4-C50-V8-D4.4 1999-12-06 18:18 24K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.5 1999-12-06 18:18 24K [   ] p-qbf-cnfSSS-K4-C40-V8-D6.4 1999-12-06 18:19 25K [   ] p-qbf-cnfSSS-K4-C30-V16-D4.3 1999-12-06 18:17 25K [   ] 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-C20-V16-D6.8 1999-12-06 18:18 25K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.3 1999-12-06 18:18 25K [   ] p-qbf-cnfSSS-K4-C40-V8-D6.2 1999-12-06 18:19 25K [   ] p-qbf-cnfSSS-K4-C40-V8-D6.8 1999-12-06 18:19 25K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.1 1999-12-06 18:18 25K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.7 1999-12-06 18:18 26K [   ] p-qbf-cnfSSS-K4-C40-V8-D6.1 1999-12-06 18:19 26K [   ] p-qbf-cnfSSS-K4-C30-V16-D4.7 1999-12-06 18:17 26K [   ] p-qbf-cnfSSS-K4-C40-V8-D6.7 1999-12-06 18:19 26K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.2 1999-12-06 18:18 26K [   ] p-qbf-cnfSSS-K4-C40-V8-D6.3 1999-12-06 18:19 26K [   ] p-qbf-cnfSSS-K4-C30-V16-D4.1 1999-12-06 18:17 26K [   ] p-qbf-cnfSSS-K4-C20-V16-D6.6 1999-12-06 18:18 26K [   ] p-qbf-cnfSSS-K4-C30-V16-D4.4 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.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.8 1999-12-06 18:17 28K [   ] p-qbf-cnfSSS-K4-C50-V8-D6.3 1999-12-06 18:19 29K [   ] p-qbf-cnfSSS-K4-C50-V8-D6.8 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-D6.4 1999-12-06 18:19 31K [   ] p-qbf-cnfSSS-K4-C40-V16-D4.7 1999-12-06 18:18 31K [   ] 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-C40-V16-D4.3 1999-12-06 18:18 33K [   ] p-qbf-cnfSSS-K4-C40-V16-D4.8 1999-12-06 18:18 33K [   ] 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.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-C30-V16-D6.6 1999-12-06 18:19 35K [   ] p-qbf-cnfSSS-K4-C30-V16-D6.1 1999-12-06 18:19 35K [   ] p-qbf-cnfSSS-K4-C40-V16-D4.4 1999-12-06 18:18 36K [   ] p-qbf-cnfSSS-K4-C30-V16-D6.2 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.8 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.7 1999-12-06 18:19 37K [   ] p-qbf-cnfSSS-K4-C30-V16-D6.3 1999-12-06 18:19 37K [   ] 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.3 1999-12-06 18:18 42K [   ] p-qbf-cnfSSS-K4-C50-V16-D4.8 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.4 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-V16-D6.5 1999-12-06 18:19 45K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.3 1999-12-06 18:19 45K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.1 1999-12-06 18:19 46K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.6 1999-12-06 18:19 47K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.8 1999-12-06 18:19 47K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.4 1999-12-06 18:19 48K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.2 1999-12-06 18:19 48K [   ] p-qbf-cnfSSS-K4-C40-V16-D6.7 1999-12-06 18:19 48K [   ] p-qbf-cnfSSS-K4-C50-V16-D6.7 1999-12-06 18:19 54K [   ] p-qbf-cnfSSS-K4-C50-V16-D6.2 1999-12-06 18:19 55K [   ] p-qbf-cnfSSS-K4-C50-V16-D6.8 1999-12-06 18:19 56K [   ] 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.3 1999-12-06 18:19 59K [   ] p-qbf-cnfSSS-K4-C50-V16-D6.1 1999-12-06 18:19 59K