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