Skip navigation

University of Liverpool - Department of Computer Science

  • University Home  / 
  • A-to-Z  / 
  • Staff  / 
  • Students  / 
  • Login


  • Computer Science
  • University home
  •  > Computer Science
  •  > People
  •  > Ullrich Hustadt
  •  > TANCS2000

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

Department of Computer Science, University of Liverpool
Ashton Building, Ashton Street, Liverpool L69 3BX, United Kingdom
+44 (0)151 795 4275

Maintained by Ullrich Hustadt, u.hustadt@liverpool.ac.uk

© University of Liverpool - a member of The Russell Group

Departmental Contacts | University Contacts | Map | Legal | Accessibility