cnf-bf:                         ykt  930708

Like cnf-ssa but for bridge faults (rather than single-stuckat faults).
See README for cnf-ssa.

Formula    #fmlas   #fmls  #fmls   #fmlas  #fmlas        comments
subdirs    producd  unsat  solved  solved  selected
           by       Krom   subseq  subseq
           Nemesis  part   by      by 
                           3clng   maxsat
---------------------------------------------------------------------
tdl432.bf    143     94      28       0     < 21>
tdl1355.bf   770    315     306       0     <149>
tdl2670.bf   581    346     170      12     < 53>
tdl6288.bf  
tdl7552.bf