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 122_rand_35_250_1700138097_0

Name	122_rand_35_250_1700138097_0
Classes	[Root]    Unclassified (3031)    BoundedSpanningTree (30)
Submitter	Martin Gebser
Author
Description	35 vertices, 250 edges, d=2 and d=4
Created	2009-03-30 13:03
Modified	2008-11-29 00:07
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	bound(2). vtx(1). vtx(2). vtx(3). vtx(4). vtx(5). vtx(6). vtx(7). vtx(8). vtx(9). vtx(10). vtx(11). vtx(12). vtx(13). vtx(14). vtx(15). vtx(16). vtx(17). vtx(18). vtx(19). vtx(20). vtx(21). vtx(22). vtx(23). vtx(24). vtx(25). vtx(26). vtx(27). vtx(28). vtx(29). vtx(30). vtx(31). vtx(32). vtx(33). vtx(34). vtx(35). edge(11,29). edge(11,31). edge(10,22). edge(29,30). edge(17,6). edge(8,30). edge(23,10). edge(19,5). edge(13,22). edge(32,3). edge(8,15). edge(22,7). edge(32,19). edge(31,7). edge(13,5). edge(9,24). edge(33,19). edge(19,8). edge(6,13). edge(2,22). edge(18,10). edge(20,35). edge(10,32). edge(34,30). edge(22,21). edge(2,19). edge(5,32). edge(25,17). edge(1,33). edge(6,34). edge(17,24). edge(6,23). edge(2,8). edge(9,20). edge(17,25). edge(25,2). edge(25,35). edge(33,12). edge(6,32). edge(6,28). edge(18,7). edge(11,22). edge(4,35). edge(4,33). edge(9,3). edge(14,33). edge(9,1). edge(35,16). edge(10,19). edge(33,35). edge(9,34). edge(25,8). edge(32,1). edge(14,29). edge(7,6). edge(11,13). edge(16,33). edge(16,15). edge(1,20). edge(13,10). edge(22,26). edge(8,31). edge(27,7). edge(11,2). edge(26,9). edge(1,34). edge(7,25). edge(6,4). edge(25,20). edge(32,31). edge(9,5). edge(5,25). edge(20,6). edge(9,32). edge(16,31). edge(23,24). edge(26,15). edge(31,2). edge(16,21). edge(10,16). edge(19,17). edge(6,25). edge(21,30). edge(9,17). edge(26,33). edge(3,30). edge(24,23). edge(35,33). edge(20,16). edge(29,8). edge(4,20). edge(22,35). edge(22,2). edge(20,32). edge(18,4). edge(13,23). edge(28,34). edge(17,2). edge(15,8). edge(35,4). edge(8,2). edge(34,31). edge(25,33). edge(29,9). edge(14,23). edge(16,18). edge(7,2). edge(17,28). edge(4,2). edge(25,21). edge(5,2). edge(8,33). edge(35,25). edge(34,15). edge(5,35). edge(17,1). edge(24,15). edge(29,32). edge(29,17). edge(13,11). edge(23,15). edge(28,16). edge(18,29). edge(5,3). edge(33,7). edge(11,30). edge(7,35). edge(28,22). edge(32,26). edge(6,1). edge(25,23). edge(1,13). edge(2,30). edge(10,31). edge(11,23). edge(2,34). edge(15,19). edge(27,19). edge(22,24). edge(26,32). edge(19,33). edge(32,12). edge(20,28). edge(2,25). edge(29,26). edge(12,29). edge(4,14). edge(24,13). edge(10,34). edge(1,16). edge(33,2). edge(14,12). edge(21,5). edge(31,8). edge(29,22). edge(4,13). edge(19,1). edge(24,4). edge(28,26). edge(29,21). edge(16,5). edge(15,20). edge(19,4). edge(33,28). edge(2,33). edge(8,34). edge(34,22). edge(26,6). edge(27,20). edge(27,31). edge(32,10). edge(31,21). edge(11,7). edge(9,26). edge(12,24). edge(27,8). edge(23,29). edge(5,31). edge(28,4). edge(17,3). edge(22,8). edge(8,14). edge(9,4). edge(9,22). edge(28,35). edge(10,4). edge(24,20). edge(34,16). edge(27,22). edge(18,1). edge(35,3). edge(11,35). edge(34,9). edge(8,23). edge(17,11). edge(31,4). edge(3,15). edge(32,2). edge(34,6). edge(1,21). edge(18,19). edge(9,28). edge(1,26). edge(30,18). edge(2,26). edge(21,4). edge(5,17). edge(6,29). edge(17,31). edge(3,16). edge(1,3). edge(1,15). edge(30,32). edge(4,12). edge(15,12). edge(23,13). edge(3,7). edge(24,32). edge(1,6). edge(27,4). edge(21,28). edge(6,21). edge(8,6). edge(23,2). edge(3,27). edge(13,17). edge(4,16). edge(20,2). edge(35,6). edge(25,3). edge(13,16). edge(12,11). edge(7,4). edge(15,27). edge(32,20). edge(13,4). edge(26,1). edge(27,18). edge(34,24). edge(25,18). edge(25,14). edge(21,2). edge(30,31). edge(4,7). edge(7,10). edge(11,21). edge(2,7). edge(6,14). edge(14,16). edge(24,6).