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 Decision Version of Company Controls

Class Tree	[Root]    Unclassified (3031)    Company Controls (50)    Decision Version of Company Controls (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/93
Submitter	Martin Gebser
Compatible Encodings	company-controls_decision.gringo company-controls_decision-facts.gringo
Output Predicates	checkForMaxControls/1 company/1 owns/3
Instances 1 - 5 of 5	instance-1     instance-2     instance-3     testSAT     testUNSAT    un-/mark all