Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
Color Group 1
Add all to Cart
Pagination
1
2
3
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class Color Group 1
Class Tree
[Root]
Graphs (3030)
Colored (79)
Color Group 1
(60)
Description
This is a suite of instances each containing a graph along with colors.
Submitter
Martin Gebser
Compatible Encodings
graph-coloring_decision.gringo
Output Predicates
colour/1
link/2
node/1
Instances
1 - 20 of 60
 
graph-colouring-nodes=125-density=0.1-instance=1
 
graph-colouring-nodes=125-density=0.1-instance=10
 
graph-colouring-nodes=125-density=0.1-instance=2
 
graph-colouring-nodes=125-density=0.1-instance=3
 
graph-colouring-nodes=125-density=0.1-instance=4
 
graph-colouring-nodes=125-density=0.1-instance=5
 
graph-colouring-nodes=125-density=0.1-instance=6
 
graph-colouring-nodes=125-density=0.1-instance=7
 
graph-colouring-nodes=125-density=0.1-instance=8
 
graph-colouring-nodes=125-density=0.1-instance=9
 
graph-colouring-nodes=130-density=0.1-instance=1
 
graph-colouring-nodes=130-density=0.1-instance=10
 
graph-colouring-nodes=130-density=0.1-instance=2
 
graph-colouring-nodes=130-density=0.1-instance=3
 
graph-colouring-nodes=130-density=0.1-instance=4
 
graph-colouring-nodes=130-density=0.1-instance=5
 
graph-colouring-nodes=130-density=0.1-instance=6
 
graph-colouring-nodes=130-density=0.1-instance=7
 
graph-colouring-nodes=130-density=0.1-instance=8
 
graph-colouring-nodes=130-density=0.1-instance=9
un-/mark all