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 a5.10.1.tweaked.3.asp

Name	a5.10.1.tweaked.3.asp
Classes	[Root]    Unclassified (3031)    Fastfood (266)    Decision Version of Fastfood (241)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Submitter	Martin Gebser
Author	Wolfgang Faber
Description
Created	2009-04-08 19:40
Modified	2009-04-08 19:40
Languages	Facts
Language Features
Compatible Encodings	checkdepots.dlv checkdepots.lparse fastfood_decision.gringo
Output Predicates	depot/2 restaurant/2
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	restaurant(alsbach_west,535). restaurant(bad_bellingen_west,794). restaurant(baden_baden_west,655). restaurant(berfa_nord,386). restaurant(bergstrasse_ost,542). restaurant(breisgau_ost,761). restaurant(bruchsal_ost,604). restaurant(bruchsal_west,604). restaurant(buehl_ost,635). restaurant(limes_west,442). restaurant(graefenhausen_ost,511). restaurant(graefenhausen_west,511). restaurant(hardtwald_ost,580). restaurant(hardtwald_west,582). restaurant(mahlberg_ost,720). restaurant(mahlberg_west,720). restaurant(reinhardshain_nord,426). restaurant(reinhardshain_sued,426). restaurant(renchtal_ost,687). restaurant(renchtal_west,687). restaurant(rimberg_nord,377). restaurant(schauinsland_west,750). restaurant(wetterau_ost,462). restaurant(wetterau_west,462). restaurant(weil_am_rhein,812). depot(buehl_ost,635). depot(bad_bellingen_west,794). depot(bruchsal_west,604). depot(graefenhausen_west,511). depot(mahlberg_west,720). depot(reinhardshain_sued,426). depot(renchtal_west,687). depot(rimberg_nord,377). depot(schauinsland_west,750). depot(wetterau_west,462).