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 209_rand_45_138_1119571853_0

Name	209_rand_45_138_1119571853_0
Classes	[Root]    Unclassified (3031)    WeightedSpanningTree (30)
Submitter	Martin Gebser
Author
Description	varying sizes and bounds
Created	2009-03-30 13:03
Modified	2008-11-29 00:07
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	bound(39). 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(33,12). edge(31,38). edge(35,32). edge(40,45). edge(15,14). edge(28,27). edge(28,1). edge(22,10). edge(17,6). edge(37,36). edge(32,17). edge(3,37). edge(1,38). edge(45,37). edge(36,41). edge(2,24). edge(8,33). edge(17,43). edge(19,12). edge(43,33). edge(25,15). edge(8,25). edge(37,17). edge(41,42). edge(9,32). edge(29,25). edge(35,21). edge(26,27). edge(21,17). edge(18,17). edge(18,41). edge(25,6). edge(13,22). edge(24,19). edge(12,3). edge(43,27). edge(10,23). edge(18,27). edge(19,15). edge(35,6). edge(44,14). edge(40,19). edge(39,21). edge(39,11). edge(29,34). edge(35,34). edge(2,11). edge(13,25). edge(6,38). edge(4,24). edge(19,23). edge(38,8). edge(28,36). edge(16,43). edge(4,27). edge(36,14). edge(10,25). edge(3,44). edge(26,13). edge(11,6). edge(42,35). edge(33,24). edge(41,25). edge(28,19). edge(44,5). edge(11,7). edge(33,2). edge(29,9). edge(11,44). edge(7,14). edge(25,42). edge(28,35). edge(22,30). edge(43,44). edge(8,40). edge(34,40). edge(18,29). edge(20,45). edge(3,18). edge(5,14). edge(24,37). edge(15,7). edge(1,26). edge(6,7). edge(40,31). edge(4,22). edge(20,25). edge(7,8). edge(27,4). edge(6,35). edge(44,39). edge(29,16). edge(23,3). edge(16,25). edge(21,20). edge(38,45). edge(12,8). edge(7,12). edge(19,28). edge(43,22). edge(4,18). edge(2,10). edge(25,29). edge(14,31). edge(18,12). edge(25,2). edge(28,2). edge(5,44). edge(26,25). edge(19,25). edge(30,26). edge(31,42). edge(14,42). edge(15,41). edge(40,36). edge(45,12). edge(38,9). edge(37,22). edge(23,22). edge(39,35). edge(1,40). edge(18,2). edge(44,16). edge(28,24). edge(34,1). edge(27,33). edge(14,40). edge(30,29). edge(35,25). edge(19,34). edge(36,12). edge(33,21). edge(10,5). edge(21,28). edge(7,20). edge(43,34). edge(44,31). edge(35,2). wtedge(33,12,22). wtedge(31,38,19). wtedge(35,32,41). wtedge(40,45,2). wtedge(15,14,7). wtedge(28,27,39). wtedge(28,1,37). wtedge(22,10,18). wtedge(17,6,15). wtedge(37,36,22). wtedge(32,17,40). wtedge(3,37,26). wtedge(1,38,11). wtedge(45,37,4). wtedge(36,41,32). wtedge(2,24,5). wtedge(8,33,30). wtedge(17,43,33). wtedge(19,12,24). wtedge(43,33,43). wtedge(25,15,33). wtedge(8,25,35). wtedge(37,17,14). wtedge(41,42,1). wtedge(9,32,35). wtedge(29,25,42). wtedge(35,21,6). wtedge(26,27,35). wtedge(21,17,40). wtedge(18,17,14). wtedge(18,41,20). wtedge(25,6,28). wtedge(13,22,26). wtedge(24,19,32). wtedge(12,3,17). wtedge(43,27,13). wtedge(10,23,24). wtedge(18,27,12). wtedge(19,15,3). wtedge(35,6,11). wtedge(44,14,34). wtedge(40,19,22). wtedge(39,21,2). wtedge(39,11,18). wtedge(29,34,35). wtedge(35,34,3). wtedge(2,11,39). wtedge(13,25,20). wtedge(6,38,5). wtedge(4,24,30). wtedge(19,23,8). wtedge(38,8,20). wtedge(28,36,37). wtedge(16,43,14). wtedge(4,27,19). wtedge(36,14,27). wtedge(10,25,21). wtedge(3,44,16). wtedge(26,13,27). wtedge(11,6,43). wtedge(42,35,42). wtedge(33,24,16). wtedge(41,25,3). wtedge(28,19,15). wtedge(44,5,35). wtedge(11,7,32). wtedge(33,2,43). wtedge(29,9,36). wtedge(11,44,32). wtedge(7,14,3). wtedge(25,42,45). wtedge(28,35,44). wtedge(22,30,40). wtedge(43,44,27). wtedge(8,40,15). wtedge(34,40,41). wtedge(18,29,16). wtedge(20,45,2). wtedge(3,18,26). wtedge(5,14,32). wtedge(24,37,7). wtedge(15,7,20). wtedge(1,26,37). wtedge(6,7,45). wtedge(40,31,40). wtedge(4,22,31). wtedge(20,25,8). wtedge(7,8,10). wtedge(27,4,27). wtedge(6,35,39). wtedge(44,39,30). wtedge(29,16,13). wtedge(23,3,23). wtedge(16,25,6). wtedge(21,20,5). wtedge(38,45,7). wtedge(12,8,38). wtedge(7,12,38). wtedge(19,28,20). wtedge(43,22,11). wtedge(4,18,42). wtedge(2,10,8). wtedge(25,29,13). wtedge(14,31,24). wtedge(18,12,14). wtedge(25,2,21). wtedge(28,2,38). wtedge(5,44,16). wtedge(26,25,40). wtedge(19,25,40). wtedge(30,26,20). wtedge(31,42,11). wtedge(14,42,1). wtedge(15,41,44). wtedge(40,36,6). wtedge(45,12,2). wtedge(38,9,9). wtedge(37,22,7). wtedge(23,22,29). wtedge(39,35,34). wtedge(1,40,8). wtedge(18,2,7). wtedge(44,16,38). wtedge(28,24,9). wtedge(34,1,7). wtedge(27,33,5). wtedge(14,40,29). wtedge(30,29,8). wtedge(35,25,40). wtedge(19,34,12). wtedge(36,12,34). wtedge(33,21,44). wtedge(10,5,29). wtedge(21,28,26). wtedge(7,20,8). wtedge(43,34,16). wtedge(44,31,43). wtedge(35,2,12).