Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance Class Factoring

Class Tree	[Root]    Unclassified (3031)    Factoring (10)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 1 - 10 of 10	fact.grnd.sat.10     fact.grnd.sat.15     fact.grnd.sat.20     fact.grnd.sat.24     fact.grnd.sat.30     fact.grnd.unsat.10     fact.grnd.unsat.15     fact.grnd.unsat.20     fact.grnd.unsat.24     fact.grnd.unsat.30    un-/mark all