instance | vars | clauses | satisfiable? |
bf0432-007.cnf | 1040 | 3668 | no |
bf1355-075.cnf | 2180 | 6778 | no |
bf1355-638.cnf | 2177 | 4768 | no |
bf2670-001.cnf | 1393 | 3434 | no |
ssa0432-003.cnf | 435 | 1027 | no |
ssa2670-130.cnf | 1359 | 3321 | no |
ssa2670-141.cnf | 986 | 2315 | no |
ssa6288-047.cnf | 10410 | 34238 | no |
ssa7552-038.cnf | 1501 | 3575 | yes |
ssa7552-158.cnf | 1363 | 3034 | yes |
ssa7552-159.cnf | 1363 | 3032 | yes |
ssa7552-160.cnf | 1391 | 3126 | yes |
[LF91] | F.J. Ferguson and T. Larrabee.
Test Pattern Generation for Realistic Bridging Faults in CMOS
ICS. Proceedings of the International Testing
Conference, pages 492-499, 1991. Also available as Technical Report UCSC-CRL-91-30, Computer Research Laboratory, University of California, Santa Cruz. |
[Lar92] | T. Larrabee.
Test Pattern Generation Using Boolean Satisfiability.
IEEE Transactions on Computer-Aided Design, 11(1):6-22, January 1992.
|