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 104_rand_45_250_1727042043_0

Name	104_rand_45_250_1727042043_0
Classes	[Root]    Unclassified (3031)    BoundedSpanningTree (30)
Submitter	Martin Gebser
Author
Description	45 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). vtx(36). vtx(37). vtx(38). vtx(39). vtx(40). vtx(41). vtx(42). vtx(43). vtx(44). vtx(45). edge(32,11). edge(37,25). edge(43,40). edge(11,26). edge(25,9). edge(39,7). edge(3,37). edge(11,22). edge(36,23). edge(4,29). edge(31,20). edge(20,42). edge(14,12). edge(5,26). edge(30,7). edge(31,17). edge(18,23). edge(41,15). edge(17,7). edge(41,42). edge(15,34). edge(3,18). edge(26,14). edge(39,17). edge(36,43). edge(45,22). edge(18,19). edge(18,32). edge(31,23). edge(13,15). edge(29,43). edge(31,1). edge(20,27). edge(16,36). edge(33,11). edge(32,3). edge(45,35). edge(20,25). edge(3,14). edge(41,39). edge(11,41). edge(15,29). edge(14,33). edge(15,44). edge(10,27). edge(14,38). edge(25,44). edge(38,44). edge(26,8). edge(35,14). edge(19,22). edge(16,18). edge(12,35). edge(43,15). edge(3,39). edge(8,14). edge(34,23). edge(42,3). edge(10,12). edge(1,20). edge(38,14). edge(13,17). edge(13,6). edge(16,38). edge(6,32). edge(27,22). edge(5,39). edge(11,2). edge(41,16). edge(28,29). edge(38,25). edge(31,3). edge(36,32). edge(23,29). edge(1,35). edge(1,13). edge(40,16). edge(6,8). edge(22,12). edge(39,3). edge(33,44). edge(42,44). edge(1,4). edge(13,41). edge(19,40). edge(25,12). edge(19,10). edge(15,10). edge(42,37). edge(38,42). edge(27,38). edge(10,21). edge(9,15). edge(28,30). edge(33,15). edge(20,29). edge(13,20). edge(33,26). edge(16,6). edge(21,40). edge(18,40). edge(5,33). edge(4,1). edge(24,42). edge(42,5). edge(35,7). edge(26,43). edge(22,9). edge(28,3). edge(30,16). edge(17,5). edge(45,30). edge(25,32). edge(11,40). edge(38,31). edge(34,10). edge(25,38). edge(42,29). edge(38,21). edge(25,35). edge(41,6). edge(12,17). edge(14,39). edge(20,44). edge(10,37). edge(4,9). edge(21,28). edge(40,32). edge(22,33). edge(17,10). edge(43,41). edge(3,40). edge(24,41). edge(15,4). edge(30,41). edge(17,26). edge(2,28). edge(42,16). edge(22,17). edge(15,31). edge(8,18). edge(40,29). edge(45,34). edge(15,22). edge(22,31). edge(31,19). edge(27,34). edge(29,28). edge(10,13). edge(24,26). edge(39,25). edge(9,36). edge(41,31). edge(7,10). edge(17,14). edge(27,11). edge(43,26). edge(45,12). edge(2,21). edge(43,33). edge(40,25). edge(22,7). edge(31,5). edge(35,40). edge(18,13). edge(21,11). edge(38,30). edge(1,33). edge(15,7). edge(42,32). edge(21,23). edge(42,18). edge(4,42). edge(30,6). edge(18,27). edge(39,12). edge(7,15). edge(18,38). edge(19,8). edge(32,36). edge(20,8). edge(2,12). edge(37,2). edge(45,7). edge(9,41). edge(39,29). edge(19,35). edge(2,23). edge(32,31). edge(29,4). edge(13,23). edge(15,19). edge(37,33). edge(43,2). edge(15,5). edge(3,27). edge(26,4). edge(13,22). edge(42,41). edge(41,32). edge(42,19). edge(2,22). edge(40,24). edge(36,13). edge(16,23). edge(24,27). edge(18,22). edge(28,32). edge(27,31). edge(14,23). edge(35,39). edge(27,2). edge(43,12). edge(9,40). edge(30,27). edge(22,32). edge(3,16). edge(11,39). edge(29,26). edge(17,8). edge(8,34). edge(29,35). edge(21,10). edge(21,34). edge(33,10). edge(28,14). edge(12,44). edge(37,10). edge(10,1). edge(4,40). edge(28,25). edge(26,30). edge(40,36). edge(24,17). edge(40,31). edge(24,29). edge(14,4). edge(24,34). edge(38,11). edge(44,21). edge(25,11). edge(20,17). edge(21,29). edge(17,24). edge(24,44). edge(7,22). edge(12,2). edge(7,35). edge(30,20). edge(4,34).