TANCS2000 Benchmarks

p-psat-cnf-tancs2000.tar.gz

p-psat-inv-cnf-tancs2000.tar.gz

p-qbf-cnf-tancs2000.tar.gz

p-qbf-cnfLadn-tancs2000.tar.gz

p-qbf-cnfSSS-tancs2000.tar.gz

p-qbf-cpdl-cnf-tancs2000.tar.gz

p-qbf-cpdl-cnfLadn-tancs2000.tar.gz

p-qbf-cpdl-cnfSSS-tancs2000.tar.gz

p-qbf-inv-cnf-tancs2000.tar.gz

p-qbf-inv-cnfLadn-tancs2000.tar.gz

p-qbf-inv-cnfSSS-tancs2000.tar.gz