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 benchmark1_12classes.dlv.dat.l

Name	benchmark1_12classes.dlv.dat.l
Classes	[Root]    Unclassified (3031)    CarSequencing (54)
Submitter	Martin Gebser
Author
Description
Created	2009-03-30 13:03
Modified	2008-11-29 00:08
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	% csp001: car sequencing % data file classes(1). classes(2). classes(3). classes(4). classes(5). classes(6). classes(7). classes(8). classes(9). classes(10). classes(11). classes(12). cars(1). cars(2). cars(3). cars(4). cars(5). cars(6). cars(7). cars(8). cars(9). cars(10). cars(11). cars(12). cars(13). cars(14). cars(15). cars(16). cars(17). cars(18). cars(19). cars(20). cars(21). cars(22). cars(23). cars(24). cars(25). cars(26). cars(27). cars(28). cars(29). cars(30). cars(31). cars(32). cars(33). cars(34). cars(35). cars(36). cars(37). cars(38). cars(39). cars(40). cars(41). cars(42). cars(43). cars(44). cars(45). cars(46). cars(47). cars(48). cars(49). cars(50). cars(51). cars(52). cars(53). cars(54). cars(55). cars(56). cars(57). options(1). options(2). options(3). options(4). options(5). % max number of cars with i-th option per block maxCarsInBlock(1,2).maxCarsInBlock(2,3). maxCarsInBlock(3,2).maxCarsInBlock(4,3). maxCarsInBlock(5,2). % block size per option blockSize(1,2).blockSize(2,3).blockSize(3,3). blockSize(4,5).blockSize(5,5). % number of cars to be produced for each class carPerClass(1,6).carPerClass(2,10).carPerClass(3,2). carPerClass(4,2).carPerClass(5,8).carPerClass(6,15). carPerClass(7,1).carPerClass(8,5).carPerClass(9,2). carPerClass(10,3).carPerClass(11,2).carPerClass(12,1). % option included in class % optInClass(C,Opt,1) means that for class C option Opt is request, % not otherwise optInClass(1,1,1).optInClass(1,2,0).optInClass(1,3,0).optInClass(1,4,1).optInClass(1,5,0). optInClass(2,1,1).optInClass(2,2,1).optInClass(2,3,1).optInClass(2,4,0).optInClass(2,5,0). optInClass(3,1,1).optInClass(3,2,1).optInClass(3,3,0).optInClass(3,4,0).optInClass(3,5,1). optInClass(4,1,0).optInClass(4,2,1).optInClass(4,3,1).optInClass(4,4,0).optInClass(4,5,0). optInClass(5,1,0).optInClass(5,2,0).optInClass(5,3,0).optInClass(5,4,1).optInClass(5,5,0). optInClass(6,1,0).optInClass(6,2,1).optInClass(6,3,0).optInClass(6,4,0).optInClass(6,5,0). optInClass(7,1,0).optInClass(7,2,1).optInClass(7,3,1).optInClass(7,4,1).optInClass(7,5,0). optInClass(8,1,0).optInClass(8,2,0).optInClass(8,3,1).optInClass(8,4,1).optInClass(8,5,0). optInClass(9,1,1).optInClass(9,2,0).optInClass(9,3,1).optInClass(9,4,1).optInClass(9,5,0). optInClass(10,1,0).optInClass(10,2,0).optInClass(10,3,1).optInClass(10,4,0).optInClass(10,5,0). optInClass(11,1,1).optInClass(11,2,0).optInClass(11,3,1).optInClass(11,4,0).optInClass(11,5,0). optInClass(12,1,1).optInClass(12,2,1).optInClass(12,3,1).optInClass(12,4,0).optInClass(12,5,1).