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 Wire Routing

Class Tree	[Root]    Grids (772)    Wire Routing (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/79
Submitter	Martin Gebser
Compatible Encodings	wire-routing_decision.gringo
Output Predicates	allow/2 block/2 pt/1 terminal/3 wire/1
Instances 1 - 5 of 5	wire.10.x.10.b.5.a.20_unsat.data     wire.10.x.10.b.5.a.25_sat.data     wire.10.x.10.b.5.a.35_sat.data     wire.12.x.12.b.5.a.15_unsat.data     wire.12.x.12.b.5.a.20_unsat.data    un-/mark all