Instances of family Strategic_Companies solved by sSolve
QBFEVAL'06

InstanceResultTime
x10.8UNSAT0.12
x5.5UNSAT0.13
x5.6UNSAT0.14
x10.4SAT0.14
x15.5UNSAT0.14
x5.1UNSAT0.14
x5.9UNSAT0.15
x10.6UNSAT0.15
x10.1UNSAT0.15
x10.7SAT0.15
x5.0SAT0.15
x5.8UNSAT0.16
x10.5UNSAT0.16
x5.7UNSAT0.16
x5.4UNSAT0.17
x10.2UNSAT0.17
x15.6UNSAT0.18
x5.3UNSAT0.18
x15.1SAT0.18
x20.4UNSAT0.18
x5.2UNSAT0.2
x10.0UNSAT0.2
x10.3UNSAT0.2
x15.0UNSAT0.21
x15.7UNSAT0.21
x15.2UNSAT0.21
x15.3SAT0.21
x15.9UNSAT0.21
x15.4UNSAT0.21
x10.9UNSAT0.25
x15.8SAT0.26
x25.5UNSAT0.35
x20.8SAT0.39
x20.6SAT0.39
x20.5SAT0.42
x20.1UNSAT0.44
x20.9SAT0.45
x20.0SAT0.47
x20.2SAT0.51
x20.7SAT0.52
x25.3UNSAT0.54
x30.2UNSAT0.6
x20.3UNSAT0.62
x25.6UNSAT0.85
x25.9UNSAT1.34
x25.0SAT1.4
x25.8UNSAT1.44
x25.7UNSAT1.5
x30.7UNSAT1.91
x25.1SAT2.1
x25.4UNSAT2.25
x25.2SAT2.29
x30.4SAT5.59
x30.1UNSAT5.83
x30.5UNSAT7.02
x30.9UNSAT8.66
x30.8UNSAT8.99
x30.0UNSAT9.09
x30.6SAT10.91
x30.3SAT13.53
x35.3UNSAT18.05
x35.6UNSAT19.57
x35.7UNSAT22.42
x35.0UNSAT39.34
x35.5UNSAT44.78
x35.2SAT50.21
x35.8SAT53.03
x35.4UNSAT53.66
x35.9SAT59.11
x50.7UNSAT79.16
x40.5UNSAT80.19
x40.6UNSAT80.25
x40.4UNSAT91.72
x35.1SAT91.72
x40.8UNSAT96.14
x40.2UNSAT105.2
x40.0UNSAT161.38
x40.1UNSAT234.88
x40.3UNSAT242.61
x40.9UNSAT309.26
x45.8UNSAT366.63
x45.9UNSAT373.47
x45.0UNSAT380.98
x45.4UNSAT400.39
x45.2UNSAT404.35
x45.3SAT529.94
x45.6UNSAT543.76
x75.9FAIL599.94
x155.4FAIL599.95
x45.5UNSAT775.81
x45.1UNSAT806.64
x40.7SAT879.62
x55.1UNSAT1081.04
x45.7SAT1676.58
x50.8UNSAT2231.48
x50.4UNSAT2402.96
x60.4UNSAT2610.21
x50.0UNSAT2751.1
x55.8UNSAT3422.01
x50.9UNSAT3437.27
x50.1UNSAT3622.22
x50.6UNSAT3843
x50.2UNSAT4122.73
x50.3UNSAT4328.11
x55.4UNSAT4798.66
x55.2UNSAT5859.44
x140.9FAIL5999.76
x350.8FAIL5999.86
x60.1FAIL5999.95
x50.5FAIL6000.08
x55.7FAIL6000.08
x55.0FAIL6000.08
x60.2FAIL6000.14
x55.3FAIL6000.14
x55.5FAIL6000.15
x60.0FAIL6000.15
x235.7FAIL6000.15
x350.0FAIL6000.16
x70.8FAIL6000.16
x90.8FAIL6000.16
x55.6FAIL6000.17
x80.0FAIL6000.17
x120.0FAIL6000.17
x65.8FAIL6000.17
x210.9FAIL6000.18
x55.9FAIL6000.18
x60.3FAIL6000.18
x65.1FAIL6000.18
x60.5FAIL6000.18
x65.3FAIL6000.18
x135.1FAIL6000.19
x105.3FAIL6000.19
x60.9FAIL6000.19
x95.3FAIL6000.19
x140.1FAIL6000.19
x65.0FAIL6000.19
x65.2FAIL6000.19
x130.9FAIL6000.19
x120.7FAIL6000.2
x190.2FAIL6000.2
x80.1FAIL6000.2
x145.8FAIL6000.2
x95.1FAIL6000.21
x115.3FAIL6000.21
x170.4FAIL6000.21
x100.4FAIL6000.21
x80.2FAIL6000.21
x85.0FAIL6000.21
x200.1FAIL6000.21
x145.9FAIL6000.21
x195.4FAIL6000.21
x145.3FAIL6000.21
x65.4FAIL6000.22
x230.7FAIL6000.22
x160.7FAIL6000.22
x400.6FAIL6000.22
x85.1FAIL6000.22
x130.7FAIL6000.22
x170.6FAIL6000.22
x110.8FAIL6000.22
x115.6FAIL6000.22
x155.2FAIL6000.22
x165.1FAIL6000.22
x90.1FAIL6000.22
x95.0FAIL6000.23
x165.3FAIL6000.23
x60.7FAIL6000.23
x95.9FAIL6000.23
x75.3FAIL6000.23
x125.0FAIL6000.23
x65.9FAIL6000.23
x70.0FAIL6000.23
x75.6FAIL6000.23
x80.4FAIL6000.23
x150.8FAIL6000.23
x125.3FAIL6000.23
x160.4FAIL6000.24
x175.6FAIL6000.24
x200.4FAIL6000.24
x75.8FAIL6000.24
x80.6FAIL6000.24
x95.8FAIL6000.24
x140.6FAIL6000.24
x140.7FAIL6000.24
x300.4FAIL6000.24
x400.4FAIL6000.24
x210.8FAIL6000.24
x215.7FAIL6000.24
x80.9FAIL6000.24
x90.5FAIL6000.24
x130.5FAIL6000.24
x165.6FAIL6000.24
x235.0FAIL6000.24
x125.2FAIL6000.24
x130.0FAIL6000.24
x70.9FAIL6000.24
x190.8FAIL6000.25
x90.2FAIL6000.25
x160.5FAIL6000.25
x75.1FAIL6000.25
x130.3FAIL6000.25
x165.4FAIL6000.25
x170.2FAIL6000.25
x65.6FAIL6000.25
x210.0FAIL6000.25
x135.2FAIL6000.25
x400.5FAIL6000.25
x190.3FAIL6000.25
x350.2FAIL6000.25
x90.6FAIL6000.25
x160.9FAIL6000.25
x110.7FAIL6000.25
x120.3FAIL6000.25
x85.9FAIL6000.25
x230.3FAIL6000.25
x235.1FAIL6000.25
x300.0FAIL6000.25
x205.3FAIL6000.25
x145.2FAIL6000.25
x160.3FAIL6000.25
x175.5FAIL6000.25
x100.7FAIL6000.25
x70.1FAIL6000.25
x115.7FAIL6000.25
x235.3FAIL6000.25
x150.9FAIL6000.25
x190.0FAIL6000.26
x60.6FAIL6000.26
x115.0FAIL6000.26
x120.6FAIL6000.26
x125.4FAIL6000.26
x135.0FAIL6000.26
x145.4FAIL6000.26
x195.7FAIL6000.26
x70.3FAIL6000.26
x135.9FAIL6000.26
x185.4FAIL6000.26
x60.8FAIL6000.26
x120.8FAIL6000.26
x180.7FAIL6000.26
x110.5FAIL6000.26
x85.7FAIL6000.26
x230.1FAIL6000.26
x190.4FAIL6000.26
x200.0FAIL6000.26
x160.1FAIL6000.26
x165.7FAIL6000.26
x95.5FAIL6000.26
x160.2FAIL6000.26
x165.8FAIL6000.26
x185.8FAIL6000.26
x190.6FAIL6000.26
x100.6FAIL6000.26
x185.9FAIL6000.26
x95.7FAIL6000.26
x240.1FAIL6000.26
x140.5FAIL6000.26
x150.1FAIL6000.26
x350.6FAIL6000.27
x115.8FAIL6000.27
x400.3FAIL6000.27
x175.7FAIL6000.27
x100.9FAIL6000.27
x240.3FAIL6000.27
x70.4FAIL6000.27
x75.2FAIL6000.27
x85.6FAIL6000.27
x95.2FAIL6000.27
x140.8FAIL6000.27
x155.6FAIL6000.27
x350.9FAIL6000.27
x100.3FAIL6000.27
x65.7FAIL6000.27
x145.7FAIL6000.27
x75.4FAIL6000.27
x85.8FAIL6000.27
x225.4FAIL6000.27
x230.2FAIL6000.27
x95.4FAIL6000.27
x175.3FAIL6000.27
x80.3FAIL6000.27
x245.5FAIL6000.27
x400.0FAIL6000.27
x200.2FAIL6000.27
x105.7FAIL6000.27
x220.0FAIL6000.27
x85.2FAIL6000.27
x235.2FAIL6000.27
x105.0FAIL6000.27
x75.7FAIL6000.27
x80.5FAIL6000.27
x180.4FAIL6000.28
x105.9FAIL6000.28
x130.2FAIL6000.28
x235.4FAIL6000.28
x135.8FAIL6000.28
x170.1FAIL6000.28
x105.2FAIL6000.28
x110.3FAIL6000.28
x115.1FAIL6000.28
x115.9FAIL6000.28
x225.1FAIL6000.28
x155.5FAIL6000.28
x200.6FAIL6000.28
x110.4FAIL6000.28
x140.0FAIL6000.28
x230.9FAIL6000.28
x240.5FAIL6000.28
x250.1FAIL6000.28
x155.7FAIL6000.28
x160.0FAIL6000.28
x175.2FAIL6000.28
x215.0FAIL6000.28
x115.4FAIL6000.28
x300.7FAIL6000.28
x400.7FAIL6000.28
x240.7FAIL6000.28
x215.2FAIL6000.28
x90.0FAIL6000.28
x230.4FAIL6000.28
x120.5FAIL6000.28
x225.7FAIL6000.28
x230.5FAIL6000.28
x240.9FAIL6000.28
x155.3FAIL6000.29
x165.2FAIL6000.29
x100.8FAIL6000.29
x105.1FAIL6000.29
x250.6FAIL6000.29
x190.1FAIL6000.29
x80.7FAIL6000.29
x90.3FAIL6000.29
x115.2FAIL6000.29
x225.2FAIL6000.29
x90.4FAIL6000.29
x230.0FAIL6000.29
x230.8FAIL6000.29
x245.2FAIL6000.29
x145.6FAIL6000.29
x150.4FAIL6000.29
x350.1FAIL6000.29
x205.0FAIL6000.29
x120.1FAIL6000.29
x125.7FAIL6000.29
x150.5FAIL6000.29
x185.6FAIL6000.29
x205.9FAIL6000.29
x215.8FAIL6000.29
x130.6FAIL6000.29
x135.4FAIL6000.29
x145.0FAIL6000.29
x155.0FAIL6000.29
x155.8FAIL6000.29
x75.5FAIL6000.29
x125.9FAIL6000.29
x235.9FAIL6000.29
x140.3FAIL6000.29
x210.4FAIL6000.29
x220.8FAIL6000.29
x300.1FAIL6000.29
x190.7FAIL6000.29
x195.5FAIL6000.29
x205.4FAIL6000.29
x210.5FAIL6000.29
x110.1FAIL6000.29
x110.9FAIL6000.29
x130.1FAIL6000.29
x135.7FAIL6000.29
x250.5FAIL6000.29
x70.2FAIL6000.3
x75.0FAIL6000.3
x110.2FAIL6000.3
x220.2FAIL6000.3
x225.8FAIL6000.3
x240.2FAIL6000.3
x170.9FAIL6000.3
x100.1FAIL6000.3
x205.6FAIL6000.3
x225.9FAIL6000.3
x125.5FAIL6000.3
x160.6FAIL6000.3
x195.0FAIL6000.3
x205.7FAIL6000.3
x215.6FAIL6000.3
x80.8FAIL6000.3
x130.4FAIL6000.3
x175.9FAIL6000.3
x200.7FAIL6000.3
x70.5FAIL6000.3
x210.1FAIL6000.3
x135.3FAIL6000.3
x180.0FAIL6000.3
x70.6FAIL6000.3
x250.2FAIL6000.3
x180.9FAIL6000.3
x185.7FAIL6000.3
x190.5FAIL6000.3
x195.3FAIL6000.3
x100.5FAIL6000.3
x205.2FAIL6000.3
x215.1FAIL6000.3
x90.7FAIL6000.3
x250.3FAIL6000.3
x155.9FAIL6000.3
x185.0FAIL6000.3
x120.4FAIL6000.3
x240.8FAIL6000.3
x250.4FAIL6000.3
x105.8FAIL6000.3
x85.3FAIL6000.3
x220.9FAIL6000.3
x215.4FAIL6000.31
x225.0FAIL6000.31
x245.8FAIL6000.31
x180.5FAIL6000.31
x190.9FAIL6000.31
x175.8FAIL6000.31
x195.8FAIL6000.31
x240.4FAIL6000.31
x300.5FAIL6000.31
x220.6FAIL6000.31
x350.3FAIL6000.31
x180.1FAIL6000.31
x215.9FAIL6000.31
x115.5FAIL6000.31
x300.8FAIL6000.31
x165.0FAIL6000.31
x400.8FAIL6000.31
x110.0FAIL6000.31
x240.0FAIL6000.31
x150.0FAIL6000.31
x165.9FAIL6000.31
x180.3FAIL6000.31
x220.1FAIL6000.31
x245.7FAIL6000.31
x195.6FAIL6000.32
x205.5FAIL6000.32
x210.6FAIL6000.32
x150.2FAIL6000.32
x145.5FAIL6000.32
x250.7FAIL6000.32
x180.6FAIL6000.32
x100.2FAIL6000.32
x235.6FAIL6000.32
x250.0FAIL6000.32
x250.8FAIL6000.32
x205.8FAIL6000.32
x220.5FAIL6000.32
x300.6FAIL6000.32
x180.8FAIL6000.32
x105.5FAIL6000.32
x210.2FAIL6000.32
x120.2FAIL6000.32
x245.4FAIL6000.32
x170.5FAIL6000.32
x70.7FAIL6000.32
x225.5FAIL6000.32
x125.1FAIL6000.32
x225.6FAIL6000.32
x140.4FAIL6000.32
x300.9FAIL6000.32
x90.9FAIL6000.32
x400.2FAIL6000.33
x100.0FAIL6000.33
x85.4FAIL6000.33
x85.5FAIL6000.33
x165.5FAIL6000.33
x185.5FAIL6000.33
x125.8FAIL6000.33
x150.6FAIL6000.33
x105.6FAIL6000.33
x210.3FAIL6000.33
x155.1FAIL6000.33
x180.2FAIL6000.33
x95.6FAIL6000.33
x130.8FAIL6000.33
x245.6FAIL6000.33
x170.7FAIL6000.33
x200.3FAIL6000.33
x215.3FAIL6000.33
x230.6FAIL6000.34
x185.3FAIL6000.34
x210.7FAIL6000.34
x245.1FAIL6000.34
x175.0FAIL6000.34
x175.1FAIL6000.34
x195.1FAIL6000.34
x200.8FAIL6000.34
x205.1FAIL6000.34
x110.6FAIL6000.34
x235.8FAIL6000.34
x150.7FAIL6000.34
x350.4FAIL6000.34
x135.6FAIL6000.34
x350.5FAIL6000.34
x185.1FAIL6000.34
x300.2FAIL6000.35
x170.0FAIL6000.35
x185.2FAIL6000.35
x350.7FAIL6000.35
x200.5FAIL6000.35
x235.5FAIL6000.35
x245.9FAIL6000.35
x220.4FAIL6000.35
x160.8FAIL6000.35
x220.7FAIL6000.35
x400.9FAIL6000.35
x245.0FAIL6000.36
x65.5FAIL6000.36
x215.5FAIL6000.36
x220.3FAIL6000.36
x195.9FAIL6000.36
x225.3FAIL6000.36
x245.3FAIL6000.36
x195.2FAIL6000.36
x145.1FAIL6000.36
x300.3FAIL6000.37
x170.3FAIL6000.37
x120.9FAIL6000.37
x250.9FAIL6000.37
x140.2FAIL6000.37
x135.5FAIL6000.37
x175.4FAIL6000.37
x400.1FAIL6000.37
x125.6FAIL6000.38
x150.3FAIL6000.39
x105.4FAIL6000.39
x240.6FAIL6000.39
x200.9FAIL6000.4
x170.8FAIL6000.42