Detail page for Strategic_Companies family


	Submitter:	Marco Maratea

	Suite:	Faber-Leone-Maratea-Ricca

	Domain:	Planning

	Description:	QBF-based encoding of Strategic Companies problems.

	Number of instances:	1060

	Results:	2018 - Track 5 2017 - Track 5 2016 - Track 8 2010 - Track 4 2006 - Track 1

	Instances:	x10.0 x10.1 x10.10 x10.11 x10.12 x10.13 x10.14 x10.15 x10.16 x10.17 x10.18 x10.19 x10.2 x10.3 x10.4 x10.5 x10.6 x10.7 x10.8 x10.9 x100.0 x100.1 x100.10 x100.11 x100.12 x100.13 x100.14 x100.15 x100.16 x100.17 x100.18 x100.19 x100.2 x100.3 x100.4 x100.5 x100.6 x100.7 x100.8 x100.9 x105.0 x105.1 x105.10 x105.11 x105.12 x105.13 x105.14 x105.15 x105.16 x105.17 x105.18 x105.19 x105.2 x105.3 x105.4 x105.5 x105.6 x105.7 x105.8 x105.9 x110.0 x110.1 x110.10 x110.11 x110.12 x110.13 x110.14 x110.15 x110.16 x110.17 x110.18 x110.19 x110.2 x110.3 x110.4 x110.5 x110.6 x110.7 x110.8 x110.9 x115.0 x115.1 x115.10 x115.11 x115.12 x115.13 x115.14 x115.15 x115.16 x115.17 x115.18 x115.19 x115.2 x115.3 x115.4 x115.5 x115.6 x115.7 x115.8 x115.9 x120.0 x120.1 x120.10 x120.11 x120.12 x120.13 x120.14 x120.15 x120.16 x120.17 x120.18 x120.19 x120.2 x120.3 x120.4 x120.5 x120.6 x120.7 x120.8 x120.9 x125.0 x125.1 x125.10 x125.11 x125.12 x125.13 x125.14 x125.15 x125.16 x125.17 x125.18 x125.19 x125.2 x125.3 x125.4 x125.5 x125.6 x125.7 x125.8 x125.9 x130.0 x130.1 x130.10 x130.11 x130.12 x130.13 x130.14 x130.15 x130.16 x130.17 x130.18 x130.19 x130.2 x130.3 x130.4 x130.5 x130.6 x130.7 x130.8 x130.9 x135.0 x135.1 x135.10 x135.11 x135.12 x135.13 x135.14 x135.15 x135.16 x135.17 x135.18 x135.19 x135.2 x135.3 x135.4 x135.5 x135.6 x135.7 x135.8 x135.9 x140.0 x140.1 x140.10 x140.11 x140.12 x140.13 x140.14 x140.15 x140.16 x140.17 x140.18 x140.19 x140.2 x140.3 x140.4 x140.5 x140.6 x140.7 x140.8 x140.9 x145.0 x145.1 x145.10 x145.11 x145.12 x145.13 x145.14 x145.15 x145.16 x145.17 x145.18 x145.19 x145.2 x145.3 x145.4 x145.5 x145.6 x145.7 x145.8 x145.9 x15.0 x15.1 x15.10 x15.11 x15.12 x15.13 x15.14 x15.15 x15.16 x15.17 x15.18 x15.19 x15.2 x15.3 x15.4 x15.5 x15.6 x15.7 x15.8 x15.9 x150.0 x150.1 x150.10 x150.11 x150.12 x150.13 x150.14 x150.15 x150.16 x150.17 x150.18 x150.19 x150.2 x150.3 x150.4 x150.5 x150.6 x150.7 x150.8 x150.9 x155.0 x155.1 x155.10 x155.11 x155.12 x155.13 x155.14 x155.15 x155.16 x155.17 x155.18 x155.19 x155.2 x155.3 x155.4 x155.5 x155.6 x155.7 x155.8 x155.9 x160.0 x160.1 x160.10 x160.11 x160.12 x160.13 x160.14 x160.15 x160.16 x160.17 x160.18 x160.19 x160.2 x160.3 x160.4 x160.5 x160.6 x160.7 x160.8 x160.9 x165.0 x165.1 x165.10 x165.11 x165.12 x165.13 x165.14 x165.15 x165.16 x165.17 x165.18 x165.19 x165.2 x165.3 x165.4 x165.5 x165.6 x165.7 x165.8 x165.9 x170.0 x170.1 x170.10 x170.11 x170.12 x170.13 x170.14 x170.15 x170.16 x170.17 x170.18 x170.19 x170.2 x170.3 x170.4 x170.5 x170.6 x170.7 x170.8 x170.9 x175.0 x175.1 x175.10 x175.11 x175.12 x175.13 x175.14 x175.15 x175.16 x175.17 x175.18 x175.19 x175.2 x175.3 x175.4 x175.5 x175.6 x175.7 x175.8 x175.9 x180.0 x180.1 x180.10 x180.11 x180.12 x180.13 x180.14 x180.15 x180.16 x180.17 x180.18 x180.19 x180.2 x180.3 x180.4 x180.5 x180.6 x180.7 x180.8 x180.9 x185.0 x185.1 x185.10 x185.11 x185.12 x185.13 x185.14 x185.15 x185.16 x185.17 x185.18 x185.19 x185.2 x185.3 x185.4 x185.5 x185.6 x185.7 x185.8 x185.9 x190.0 x190.1 x190.10 x190.11 x190.12 x190.13 x190.14 x190.15 x190.16 x190.17 x190.18 x190.19 x190.2 x190.3 x190.4 x190.5 x190.6 x190.7 x190.8 x190.9 x195.0 x195.1 x195.10 x195.11 x195.12 x195.13 x195.14 x195.15 x195.16 x195.17 x195.18 x195.19 x195.2 x195.3 x195.4 x195.5 x195.6 x195.7 x195.8 x195.9 x20.0 x20.1 x20.10 x20.11 x20.12 x20.13 x20.14 x20.15 x20.16 x20.17 x20.18 x20.19 x20.2 x20.3 x20.4 x20.5 x20.6 x20.7 x20.8 x20.9 x200.0 x200.1 x200.10 x200.11 x200.12 x200.13 x200.14 x200.15 x200.16 x200.17 x200.18 x200.19 x200.2 x200.3 x200.4 x200.5 x200.6 x200.7 x200.8 x200.9 x205.0 x205.1 x205.10 x205.11 x205.12 x205.13 x205.14 x205.15 x205.16 x205.17 x205.18 x205.19 x205.2 x205.3 x205.4 x205.5 x205.6 x205.7 x205.8 x205.9 x210.0 x210.1 x210.10 x210.11 x210.12 x210.13 x210.14 x210.15 x210.16 x210.17 x210.18 x210.19 x210.2 x210.3 x210.4 x210.5 x210.6 x210.7 x210.8 x210.9 x215.0 x215.1 x215.10 x215.11 x215.12 x215.13 x215.14 x215.15 x215.16 x215.17 x215.18 x215.19 x215.2 x215.3 x215.4 x215.5 x215.6 x215.7 x215.8 x215.9 x220.0 x220.1 x220.10 x220.11 x220.12 x220.13 x220.14 x220.15 x220.16 x220.17 x220.18 x220.19 x220.2 x220.3 x220.4 x220.5 x220.6 x220.7 x220.8 x220.9 x225.0 x225.1 x225.10 x225.11 x225.12 x225.13 x225.14 x225.15 x225.16 x225.17 x225.18 x225.19 x225.2 x225.3 x225.4 x225.5 x225.6 x225.7 x225.8 x225.9 x230.0 x230.1 x230.10 x230.11 x230.12 x230.13 x230.14 x230.15 x230.16 x230.17 x230.18 x230.19 x230.2 x230.3 x230.4 x230.5 x230.6 x230.7 x230.8 x230.9 x235.0 x235.1 x235.10 x235.11 x235.12 x235.13 x235.14 x235.15 x235.16 x235.17 x235.18 x235.19 x235.2 x235.3 x235.4 x235.5 x235.6 x235.7 x235.8 x235.9 x240.0 x240.1 x240.10 x240.11 x240.12 x240.13 x240.14 x240.15 x240.16 x240.17 x240.18 x240.19 x240.2 x240.3 x240.4 x240.5 x240.6 x240.7 x240.8 x240.9 x245.0 x245.1 x245.10 x245.11 x245.12 x245.13 x245.14 x245.15 x245.16 x245.17 x245.18 x245.19 x245.2 x245.3 x245.4 x245.5 x245.6 x245.7 x245.8 x245.9 x25.0 x25.1 x25.10 x25.11 x25.12 x25.13 x25.14 x25.15 x25.16 x25.17 x25.18 x25.19 x25.2 x25.3 x25.4 x25.5 x25.6 x25.7 x25.8 x25.9 x250.0 x250.1 x250.10 x250.11 x250.12 x250.13 x250.14 x250.15 x250.16 x250.17 x250.18 x250.19 x250.2 x250.3 x250.4 x250.5 x250.6 x250.7 x250.8 x250.9 x30.0 x30.1 x30.10 x30.11 x30.12 x30.13 x30.14 x30.15 x30.16 x30.17 x30.18 x30.19 x30.2 x30.3 x30.4 x30.5 x30.6 x30.7 x30.8 x30.9 x300.0 x300.1 x300.10 x300.11 x300.12 x300.13 x300.14 x300.15 x300.16 x300.17 x300.18 x300.19 x300.2 x300.3 x300.4 x300.5 x300.6 x300.7 x300.8 x300.9 x35.0 x35.1 x35.10 x35.11 x35.12 x35.13 x35.14 x35.15 x35.16 x35.17 x35.18 x35.19 x35.2 x35.3 x35.4 x35.5 x35.6 x35.7 x35.8 x35.9 x350.0 x350.1 x350.10 x350.11 x350.12 x350.13 x350.14 x350.15 x350.16 x350.17 x350.18 x350.19 x350.2 x350.3 x350.4 x350.5 x350.6 x350.7 x350.8 x350.9 x40.0 x40.1 x40.10 x40.11 x40.12 x40.13 x40.14 x40.15 x40.16 x40.17 x40.18 x40.19 x40.2 x40.3 x40.4 x40.5 x40.6 x40.7 x40.8 x40.9 x400.0 x400.1 x400.10 x400.11 x400.12 x400.13 x400.14 x400.15 x400.16 x400.17 x400.18 x400.19 x400.2 x400.3 x400.4 x400.5 x400.6 x400.7 x400.8 x400.9 x45.0 x45.1 x45.10 x45.11 x45.12 x45.13 x45.14 x45.15 x45.16 x45.17 x45.18 x45.19 x45.2 x45.3 x45.4 x45.5 x45.6 x45.7 x45.8 x45.9 x5.0 x5.1 x5.10 x5.11 x5.12 x5.13 x5.14 x5.15 x5.16 x5.17 x5.18 x5.19 x5.2 x5.3 x5.4 x5.5 x5.6 x5.7 x5.8 x5.9 x50.0 x50.1 x50.10 x50.11 x50.12 x50.13 x50.14 x50.15 x50.16 x50.17 x50.18 x50.19 x50.2 x50.3 x50.4 x50.5 x50.6 x50.7 x50.8 x50.9 x55.0 x55.1 x55.10 x55.11 x55.12 x55.13 x55.14 x55.15 x55.16 x55.17 x55.18 x55.19 x55.2 x55.3 x55.4 x55.5 x55.6 x55.7 x55.8 x55.9 x60.0 x60.1 x60.10 x60.11 x60.12 x60.13 x60.14 x60.15 x60.16 x60.17 x60.18 x60.19 x60.2 x60.3 x60.4 x60.5 x60.6 x60.7 x60.8 x60.9 x65.0 x65.1 x65.10 x65.11 x65.12 x65.13 x65.14 x65.15 x65.16 x65.17 x65.18 x65.19 x65.2 x65.3 x65.4 x65.5 x65.6 x65.7 x65.8 x65.9 x70.0 x70.1 x70.10 x70.11 x70.12 x70.13 x70.14 x70.15 x70.16 x70.17 x70.18 x70.19 x70.2 x70.3 x70.4 x70.5 x70.6 x70.7 x70.8 x70.9 x75.0 x75.1 x75.10 x75.11 x75.12 x75.13 x75.14 x75.15 x75.16 x75.17 x75.18 x75.19 x75.2 x75.3 x75.4 x75.5 x75.6 x75.7 x75.8 x75.9 x80.0 x80.1 x80.10 x80.11 x80.12 x80.13 x80.14 x80.15 x80.16 x80.17 x80.18 x80.19 x80.2 x80.3 x80.4 x80.5 x80.6 x80.7 x80.8 x80.9 x85.0 x85.1 x85.10 x85.11 x85.12 x85.13 x85.14 x85.15 x85.16 x85.17 x85.18 x85.19 x85.2 x85.3 x85.4 x85.5 x85.6 x85.7 x85.8 x85.9 x90.0 x90.1 x90.10 x90.11 x90.12 x90.13 x90.14 x90.15 x90.16 x90.17 x90.18 x90.19 x90.2 x90.3 x90.4 x90.5 x90.6 x90.7 x90.8 x90.9 x95.0 x95.1 x95.10 x95.11 x95.12 x95.13 x95.14 x95.15 x95.16 x95.17 x95.18 x95.19 x95.2 x95.3 x95.4 x95.5 x95.6 x95.7 x95.8 x95.9

The Quantified Boolean Formulas Satisfiability Library

Detail page for Strategic_Companies family