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

Icon  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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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