ID: I-Velev03

Submission Date: 08/2003

Description: These 16 suites contain SAT instances encoded from the formal verification of processors using Correspondence Checking.  For more details, see the readme files included with each benchmark set.

Author: Miroslav Velev

References: See [C10], [C11], [C13], [C15], [C17], and [C20] on Miroslav Velev's homepage.

• DLX_IQ_UNSAT_1.0 (tarred & gzipped archive, 570MB) readme
  • satifiable: no
  • number of instances: 32
• DLX_IQ_UNSAT_2.0 (tarred & gzipped archive, 625MB) readme
  • satifiable: no
  • number of instances: 32
• ENGINE_UNSAT_1.0 (tarred & gzipped archive, 10MB) readme
  • satifiable: no
  • number of instances: 10
• LIVENESS_SAT_1.0 (tarred & gzipped archive, 166MB) readme
  • satifiable: yes
  • number of instances: 10
• LIVENESS_UNSAT_1.0 (tarred & gzipped archive, 142MB) readme
  • satifiable: no
  • number of instances: 12
• LIVENESS_UNSAT_2.0 (tarred & gzipped archive, 74MB) readme
  • satifiable: no
  • number of instances: 9
• PIPE_OOO_UNSAT_1.0 (tarred & gzipped archive, 132MB) readme
  • satifiable: no
  • number of instances: 15
• PIPE_OOO_UNSAT_1.1 (tarred & gzipped archive, 83MB) readme
  • satifiable: no
  • number of instances: 14
• PIPE_SAT_1.0 (tarred & gzipped archive, 134MB) readme
  • satifiable: yes
  • number of instances: 10
• PIPE_SAT_1.1 (tarred & gzipped archive, 108MB) readme
  • satifiable: yes
  • number of instances: 10
• PIPE_UNSAT_1.0 (tarred & gzipped archive, 77MB) readme
  • satifiable: no
  • number of instances: 13
• PIPE_UNSAT_1.1 (tarred & gzipped archive, 81MB) readme
  • satifiable: no
  • number of instances: 14
• VLIW_SAT_2.0 (tarred & gzipped archive, 218MB) readme
  • satifiable: yes
  • number of instances: 10
• VLIW_SAT_2.1 (tarred & gzipped archive, 428MB) readme
  • satifiable: yes
  • number of instances: 10
• VLIW_SAT_4.0 (tarred & gzipped archive, 377MB) readme
  • satifiable: yes
  • number of instances: 10
• VLIW_UNSAT_2.0 (tarred & gzipped archive, 94MB) readme
  • satifiable: no
  • number of instances: 9
• VLIW_UNSAT_3.0 (tarred & gzipped archive, 12MB) readme
  • satifiable: no
  • number of instances: 2
• VLIW_UNSAT_4.0 (tarred & gzipped archive, 54MB) readme
  • satifiable: no
  • number of instances: 4