Instances of family Strategic_Companies solved by SQBF
QBFEVAL'06

InstanceResultTime
x5.5UNSAT0
x5.0SAT0
x5.6UNSAT0
x5.8UNSAT0
x5.7UNSAT0.01
x5.2UNSAT0.01
x5.1UNSAT0.02
x5.9UNSAT0.02
x10.6UNSAT0.02
x10.8UNSAT0.03
x10.4SAT0.03
x10.5UNSAT0.03
x10.0UNSAT0.03
x10.1UNSAT0.03
x10.7SAT0.03
x10.2UNSAT0.04
x10.3UNSAT0.04
x10.9UNSAT0.04
x5.4UNSAT0.04
x5.3UNSAT0.05
x15.3SAT0.09
x15.5UNSAT0.1
x15.6UNSAT0.1
x15.7UNSAT0.11
x15.4UNSAT0.12
x15.8SAT0.13
x15.0UNSAT0.14
x15.1SAT0.14
x15.9UNSAT0.17
x15.2UNSAT0.18
x20.0SAT0.43
x20.8SAT0.51
x20.6SAT0.52
x20.4UNSAT0.55
x20.9SAT0.8
x20.3UNSAT0.81
x20.5SAT0.87
x20.7SAT0.93
x20.1UNSAT0.99
x20.2SAT1.27
x25.3UNSAT3.62
x25.2SAT3.92
x25.9UNSAT4.53
x25.8UNSAT4.58
x25.5UNSAT4.89
x25.4UNSAT5.63
x25.7UNSAT5.87
x25.6UNSAT6.7
x25.0SAT8.75
x25.1SAT10.12
x30.4SAT14.68
x30.6SAT19.43
x30.5UNSAT21.24
x30.1UNSAT21.98
x30.2UNSAT24.45
x30.9UNSAT26.25
x30.8UNSAT26.94
x30.7UNSAT46.07
x30.3SAT46.16
x30.0UNSAT59.31
x35.2SAT88.57
x50.2UNSAT241.29
x35.4UNSAT280.48
x45.6UNSAT310.59
x40.8UNSAT390.02
x70.7FAIL600
x95.0FAIL600
x35.7UNSAT645.88
x55.9FAIL838.49
x45.1UNSAT945.07
x40.3UNSAT1030.6
x50.9FAIL1105.1
x70.5FAIL1258.67
x60.4FAIL1374.1
x40.1FAIL1508.33
x35.6FAIL1655.9
x50.1UNSAT1719.47
x90.9FAIL1736.94
x55.8UNSAT1769.01
x35.0FAIL2028.5
x75.2FAIL2159.1
x35.8SAT2565.42
x50.8UNSAT2757.79
x400.9FAIL2964.39
x50.0UNSAT2968.5
x40.2UNSAT3099.03
x40.6UNSAT3217.22
x215.2FAIL3456.17
x190.8FAIL3466.39
x400.2FAIL3521.68
x300.6FAIL3607.82
x400.6FAIL3624.5
x185.6FAIL3635.99
x235.3FAIL3643.84
x235.7FAIL3659.13
x215.7FAIL3690.69
x230.2FAIL3723.72
x215.9FAIL3726.29
x60.9FAIL3728.81
x160.6FAIL3745.21
x55.7UNSAT3745.93
x210.8FAIL3758.66
x210.3FAIL3765.2
x205.8FAIL3832.16
x240.1FAIL3833.98
x350.5FAIL3834.49
x210.5FAIL3855.63
x185.9FAIL3872.9
x200.0FAIL3885
x250.6FAIL3914.59
x230.4FAIL3940.76
x230.0FAIL3945.59
x175.2FAIL3966.04
x250.2FAIL3970.63
x235.6FAIL3978.8
x205.4FAIL3997.46
x180.5FAIL4012.11
x350.7FAIL4023.39
x245.6FAIL4023.84
x165.6FAIL4026.79
x200.2FAIL4071.01
x400.5FAIL4076.32
x210.9FAIL4108.82
x130.2FAIL4109.26
x235.4FAIL4134.8
x250.5FAIL4138.5
x400.0FAIL4141.59
x175.6FAIL4152.11
x400.7FAIL4217.71
x300.5FAIL4282.19
x300.0FAIL4290.27
x250.0FAIL4311.45
x350.9FAIL4334.97
x175.7FAIL4336.48
x200.6FAIL4337.53
x170.3FAIL4376.17
x170.7FAIL4401.21
x185.1FAIL4405.33
x400.4FAIL4409.12
x350.6FAIL4415.54
x165.8FAIL4420.9
x130.6FAIL4426.1
x350.0FAIL4430.62
x190.5FAIL4434.36
x225.3FAIL4452.07
x225.5FAIL4468.61
x350.4FAIL4481.24
x210.1FAIL4486.15
x170.1FAIL4490.78
x195.9FAIL4491.54
x160.3FAIL4494.58
x210.6FAIL4508.23
x175.5FAIL4522.48
x190.6FAIL4527.08
x250.9FAIL4555.16
x170.8FAIL4602.6
x160.5FAIL4608.64
x170.2FAIL4622.78
x400.3FAIL4623.8
x190.0FAIL4657.1
x165.0FAIL4678.94
x145.8FAIL4689.88
x300.3FAIL4695.98
x175.8FAIL4713.04
x185.8FAIL4725.93
x175.4FAIL4759.84
x230.5FAIL4775.36
x175.1FAIL4815.6
x300.2FAIL4837.39
x160.9FAIL4841.8
x210.2FAIL4843.67
x200.7FAIL4843.74
x210.7FAIL4844.02
x165.7FAIL4844.44
x350.8FAIL4863.63
x75.7FAIL4895.37
x170.9FAIL4897.22
x245.9FAIL4934.85
x120.1FAIL4946.21
x300.1FAIL4948.44
x300.4FAIL4957.74
x180.6FAIL4958.36
x35.3UNSAT4967.58
x245.4FAIL4975.12
x350.2FAIL4992.4
x300.9FAIL5003.24
x155.7FAIL5024.28
x300.8FAIL5024.9
x145.2FAIL5026.52
x200.4FAIL5045.37
x400.1FAIL5046.1
x225.8FAIL5075.46
x115.5FAIL5112.72
x155.9FAIL5170.26
x215.1FAIL5176.29
x130.0FAIL5180.6
x205.6FAIL5214.26
x115.4FAIL5232.73
x210.4FAIL5255.41
x145.4FAIL5258.14
x230.1FAIL5297.35
x160.7FAIL5297.66
x130.8FAIL5331
x155.2FAIL5383.22
x220.6FAIL5397.19
x145.9FAIL5402.85
x195.7FAIL5408.35
x200.1FAIL5411.16
x125.6FAIL5487.32
x185.2FAIL5489.06
x165.5FAIL5550.57
x150.6FAIL5562.7
x130.4FAIL5565.23
x155.6FAIL5600.18
x240.7FAIL5613.99
x245.3FAIL5627.64
x125.0FAIL5666.74
x135.2FAIL5669.54
x250.1FAIL5674.7
x135.5FAIL5690.24
x195.2FAIL5696.49
x65.9FAIL5723.98
x135.0FAIL5749.39
x240.8FAIL5751.86
x175.3FAIL5793.4
x250.8FAIL5826.05
x165.1FAIL5834.93
x50.5FAIL5845.85
x225.4FAIL5846.03
x135.1FAIL5847.11
x55.5FAIL5868.34
x170.0FAIL5872.74
x140.9FAIL5890.49
x80.3FAIL5903.03
x60.5FAIL5905.18
x70.2FAIL5911.02
x95.9FAIL5911.94
x80.0FAIL5917.87
x245.8FAIL5922.88
x65.5FAIL5925.29
x55.0FAIL5933.54
x140.0FAIL5933.69
x90.2FAIL5934.79
x65.1FAIL5935.57
x100.0FAIL5936.27
x145.3FAIL5938.32
x65.0FAIL5939.63
x45.4FAIL5940.58
x85.3FAIL5941.49
x95.3FAIL5944.28
x70.6FAIL5944.69
x70.3FAIL5947.17
x70.4FAIL5947.35
x45.7FAIL5948.66
x145.6FAIL5951.59
x90.8FAIL5952.74
x100.2FAIL5953.12
x95.8FAIL5954.5
x85.7FAIL5954.62
x85.2FAIL5955.09
x70.9FAIL5956.02
x80.9FAIL5956.52
x70.1FAIL5957.05
x85.8FAIL5957.5
x60.7FAIL5958.97
x125.2FAIL5961.19
x140.3FAIL5963.24
x125.9FAIL5963.97
x90.6FAIL5964.69
x245.1FAIL5965.93
x90.4FAIL5967.34
x70.0FAIL5969.03
x105.1FAIL5969.24
x95.6FAIL5970.41
x85.1FAIL5973.62
x145.1FAIL5973.87
x105.8FAIL5974.12
x85.9FAIL5975.45
x55.4FAIL5977.19
x100.4FAIL5977.29
x120.2FAIL5977.34
x70.8FAIL5977.45
x75.5FAIL5978.63
x60.6FAIL5980.16
x180.0FAIL5980.53
x100.9FAIL5982.86
x120.7FAIL5983.36
x135.8FAIL5983.58
x95.2FAIL5984.03
x75.6FAIL5984.06
x135.4FAIL5984.46
x90.7FAIL5985.7
x80.7FAIL5986
x65.3FAIL5987.45
x115.6FAIL5987.91
x55.2FAIL5988.24
x80.1FAIL5989.29
x145.7FAIL5989.85
x110.3FAIL5990.06
x90.0FAIL5991.11
x40.9FAIL5991.11
x120.0FAIL5992.23
x115.3FAIL5992.56
x115.2FAIL5993.72
x75.1FAIL5993.73
x55.3FAIL5994.59
x110.5FAIL5995.07
x150.8FAIL5995.26
x75.8FAIL5995.58
x110.2FAIL5995.59
x65.2FAIL5996.07
x40.4FAIL5996.42
x50.7FAIL5996.79
x95.7FAIL5997.79
x100.6FAIL5997.81
x100.3FAIL5999.06
x150.5FAIL5999.28
x125.8FAIL6000.42
x95.4FAIL6000.42
x235.0FAIL6000.42
x235.8FAIL6000.42
x240.6FAIL6000.42
x140.2FAIL6000.42
x145.0FAIL6000.42
x160.0FAIL6000.42
x160.8FAIL6000.42
x170.4FAIL6000.42
x45.2FAIL6000.42
x180.8FAIL6000.42
x190.4FAIL6000.42
x55.1FAIL6000.42
x60.2FAIL6000.42
x200.8FAIL6000.42
x205.1FAIL6000.42
x65.8FAIL6000.42
x205.9FAIL6000.42
x105.5FAIL6000.42
x75.4FAIL6000.42
x215.0FAIL6000.42
x110.6FAIL6000.42
x80.2FAIL6000.42
x215.8FAIL6000.42
x85.0FAIL6000.42
x230.3FAIL6000.42
x95.5FAIL6000.42
x235.1FAIL6000.42
x130.7FAIL6000.42
x235.9FAIL6000.42
x245.5FAIL6000.42
x250.3FAIL6000.42
x150.7FAIL6000.42
x155.0FAIL6000.42
x300.7FAIL6000.42
x155.8FAIL6000.42
x160.1FAIL6000.42
x350.3FAIL6000.42
x35.1FAIL6000.42
x35.9FAIL6000.42
x170.5FAIL6000.42
x40.5FAIL6000.42
x180.1FAIL6000.42
x45.3FAIL6000.42
x180.9FAIL6000.42
x185.7FAIL6000.42
x195.3FAIL6000.42
x60.3FAIL6000.42
x200.9FAIL6000.42
x100.5FAIL6000.42
x205.2FAIL6000.42
x105.6FAIL6000.42
x110.7FAIL6000.42
x220.7FAIL6000.42
x120.3FAIL6000.42
x125.1FAIL6000.42
x235.2FAIL6000.42
x240.0FAIL6000.42
x135.6FAIL6000.42
x140.4FAIL6000.42
x250.4FAIL6000.42
x150.0FAIL6000.42
x155.1FAIL6000.42
x160.2FAIL6000.42
x170.6FAIL6000.42
x400.8FAIL6000.42
x180.2FAIL6000.42
x185.0FAIL6000.42
x195.4FAIL6000.42
x205.3FAIL6000.42
x105.7FAIL6000.42
x110.0FAIL6000.42
x110.8FAIL6000.42
x80.4FAIL6000.42
x220.0FAIL6000.42
x220.8FAIL6000.42
x120.4FAIL6000.42
x225.6FAIL6000.42
x125.3FAIL6000.42
x130.1FAIL6000.42
x130.9FAIL6000.42
x135.7FAIL6000.42
x240.9FAIL6000.42
x140.5FAIL6000.42
x245.7FAIL6000.42
x150.1FAIL6000.42
x150.9FAIL6000.42
x165.9FAIL6000.42
x40.7FAIL6000.42
x180.3FAIL6000.42
x45.5FAIL6000.42
x50.3FAIL6000.42
x190.7FAIL6000.42
x195.5FAIL6000.42
x200.3FAIL6000.42
x100.7FAIL6000.42
x105.0FAIL6000.42
x110.1FAIL6000.42
x215.3FAIL6000.42
x110.9FAIL6000.42
x80.5FAIL6000.42
x220.1FAIL6000.42
x115.7FAIL6000.42
x220.9FAIL6000.42
x120.5FAIL6000.42
x90.1FAIL6000.42
x225.7FAIL6000.42
x125.4FAIL6000.42
x230.6FAIL6000.42
x240.2FAIL6000.42
x245.0FAIL6000.42
x140.6FAIL6000.42
x150.2FAIL6000.42
x155.3FAIL6000.42
x160.4FAIL6000.42
x165.2FAIL6000.42
x40.0FAIL6000.42
x180.4FAIL6000.42
x50.4FAIL6000.42
x195.6FAIL6000.42
x100.8FAIL6000.42
x65.4FAIL6000.42
x205.5FAIL6000.42
x105.9FAIL6000.42
x75.0FAIL6000.42
x215.4FAIL6000.42
x115.0FAIL6000.42
x80.6FAIL6000.42
x220.2FAIL6000.42
x115.8FAIL6000.42
x85.4FAIL6000.42
x225.0FAIL6000.42
x120.6FAIL6000.42
x125.5FAIL6000.42
x95.1FAIL6000.42
x230.7FAIL6000.42
x130.3FAIL6000.42
x235.5FAIL6000.42
x240.3FAIL6000.42
x135.9FAIL6000.42
x140.7FAIL6000.42
x145.5FAIL6000.42
x250.7FAIL6000.42
x150.3FAIL6000.42
x155.4FAIL6000.42
x165.3FAIL6000.42
x35.5FAIL6000.42
x185.3FAIL6000.42
x190.1FAIL6000.42
x190.9FAIL6000.42
x55.6FAIL6000.42
x200.5FAIL6000.42
x100.1FAIL6000.42
x105.2FAIL6000.42
x215.5FAIL6000.42
x220.3FAIL6000.42
x115.9FAIL6000.42
x85.5FAIL6000.42
x225.1FAIL6000.42
x90.3FAIL6000.42
x225.9FAIL6000.42
x230.8FAIL6000.42
x240.4FAIL6000.42
x245.2FAIL6000.42
x140.8FAIL6000.42
x150.4FAIL6000.42
x155.5FAIL6000.42
x165.4FAIL6000.42
x175.0FAIL6000.42
x45.0FAIL6000.42
x45.8FAIL6000.42
x185.4FAIL6000.42
x50.6FAIL6000.42
x190.2FAIL6000.42
x195.0FAIL6000.42
x195.8FAIL6000.42
x60.0FAIL6000.42
x60.8FAIL6000.42
x65.6FAIL6000.42
x205.7FAIL6000.42
x105.3FAIL6000.42
x210.0FAIL6000.42
x110.4FAIL6000.42
x215.6FAIL6000.42
x80.8FAIL6000.42
x220.4FAIL6000.42
x85.6FAIL6000.42
x225.2FAIL6000.42
x120.8FAIL6000.42
x125.7FAIL6000.42
x230.9FAIL6000.42
x130.5FAIL6000.42
x135.3FAIL6000.42
x240.5FAIL6000.42
x140.1FAIL6000.42
x350.1FAIL6000.42
x175.9FAIL6000.42
x180.7FAIL6000.42
x45.9FAIL6000.42
x185.5FAIL6000.42
x190.3FAIL6000.42
x195.1FAIL6000.42
x60.1FAIL6000.42
x205.0FAIL6000.42
x65.7FAIL6000.42
x105.4FAIL6000.42
x75.3FAIL6000.42
x220.5FAIL6000.42
x120.9FAIL6000.42
x90.5FAIL6000.42
x115.1FAIL6001.44
x75.9FAIL6002.91