Instances of family Strategic_Companies solved by Qbfl
QBFEVAL'06

InstanceResultTime
x5.5UNSAT0
x5.1UNSAT0
x5.3UNSAT0
x5.4UNSAT0.01
x10.1UNSAT0.01
x5.0SAT0.01
x5.6UNSAT0.01
x5.7UNSAT0.01
x5.2UNSAT0.01
x5.9UNSAT0.01
x10.0UNSAT0.02
x10.6UNSAT0.02
x10.9UNSAT0.02
x5.8UNSAT0.02
x10.5UNSAT0.02
x10.2UNSAT0.03
x10.8UNSAT0.03
x10.4SAT0.03
x10.7SAT0.04
x10.3UNSAT0.05
x15.6UNSAT0.08
x15.0UNSAT0.12
x15.3SAT0.13
x15.4UNSAT0.13
x15.1SAT0.15
x15.8SAT0.16
x15.9UNSAT0.18
x15.7UNSAT0.22
x15.2UNSAT0.26
x15.5UNSAT0.27
x20.2SAT0.43
x20.4UNSAT0.67
x20.1UNSAT1.13
x25.9UNSAT1.22
x20.8SAT1.42
x20.0SAT1.71
x20.7SAT1.75
x20.9SAT2.22
x20.5SAT2.7
x20.3UNSAT3.05
x20.6SAT3.13
x40.1UNSAT3.27
x25.5UNSAT3.93
x25.7UNSAT4.96
x30.5UNSAT8.47
x30.0UNSAT11.29
x25.6UNSAT15.32
x25.1SAT16.78
x25.3UNSAT21.71
x40.4UNSAT22.91
x25.0SAT26.93
x30.2UNSAT27.35
x25.8UNSAT28.17
x25.2SAT32.67
x25.4UNSAT36.62
x45.9UNSAT43.14
x35.0UNSAT50.47
x30.7UNSAT54.45
x30.8UNSAT56.64
x45.6UNSAT59.61
x30.3SAT64.45
x30.1UNSAT78.64
x35.3UNSAT93.91
x40.5UNSAT123.49
x30.4SAT163.41
x30.6SAT168.71
x30.9UNSAT205.26
x35.4UNSAT376.1
x35.5UNSAT533.92
x45.8UNSAT804.1
x35.7UNSAT864.72
x45.1UNSAT906.54
x35.1SAT924.91
x35.6UNSAT1132.85
x35.8SAT1446.58
x60.1UNSAT1761.56
x45.0UNSAT1848.3
x50.3UNSAT1926.35
x45.2UNSAT2336.21
x40.8UNSAT3283.8
x40.9UNSAT3751.88
x35.9SAT5243.15
x35.2SAT5444.38
x50.7UNSAT5514.86
x50.5FAIL5992.27
x55.4FAIL5994.22
x45.4FAIL5994.34
x80.2FAIL5994.35
x75.8FAIL5994.38
x75.2FAIL5994.62
x75.5FAIL5994.7
x70.9FAIL5994.71
x80.1FAIL5994.73
x80.3FAIL5994.89
x40.6FAIL5994.95
x75.9FAIL5995.04
x70.8FAIL5995.07
x40.3FAIL5995.11
x50.9FAIL5995.12
x75.3FAIL5995.39
x40.0FAIL5995.39
x60.3FAIL5995.57
x75.0FAIL5995.67
x80.0FAIL5995.8
x75.4FAIL5995.84
x45.5FAIL5995.88
x40.7FAIL5995.92
x75.7FAIL5995.94
x50.0FAIL5996
x50.1FAIL5996.02
x75.1FAIL5996.02
x60.6FAIL5996.18
x45.3FAIL5996.22
x85.2FAIL5996.22
x105.8FAIL5996.22
x55.2FAIL5996.29
x50.8FAIL5996.37
x40.2FAIL5996.45
x60.2FAIL5996.51
x65.7FAIL5996.6
x50.4FAIL5996.65
x60.4FAIL5996.68
x60.8FAIL5996.73
x120.9FAIL5996.73
x55.6FAIL5996.74
x45.7FAIL5996.75
x130.2FAIL5996.79
x50.2FAIL5996.81
x65.3FAIL5996.88
x115.5FAIL5996.89
x55.3FAIL5996.9
x60.0FAIL5996.91
x60.9FAIL5996.92
x55.9FAIL5996.92
x235.3FAIL5996.95
x110.0FAIL5997.01
x55.8FAIL5997.07
x50.6FAIL5997.09
x120.2FAIL5997.11
x105.6FAIL5997.12
x100.6FAIL5997.14
x65.5FAIL5997.14
x125.8FAIL5997.15
x115.9FAIL5997.18
x120.8FAIL5997.21
x105.5FAIL5997.25
x135.3FAIL5997.33
x85.4FAIL5997.33
x125.6FAIL5997.39
x55.5FAIL5997.42
x55.1FAIL5997.46
x115.8FAIL5997.5
x65.1FAIL5997.52
x70.2FAIL5997.59
x55.7FAIL5997.62
x60.5FAIL5997.63
x120.7FAIL5997.63
x70.7FAIL5997.64
x165.6FAIL5997.65
x65.2FAIL5997.71
x65.4FAIL5997.72
x155.0FAIL5997.75
x100.4FAIL5997.76
x155.5FAIL5997.78
x175.8FAIL5997.8
x65.9FAIL5997.85
x135.6FAIL5997.85
x90.3FAIL5997.85
x60.7FAIL5997.87
x190.4FAIL5997.88
x70.4FAIL5997.9
x90.4FAIL5997.9
x150.8FAIL5997.9
x70.5FAIL5997.94
x220.5FAIL5997.95
x110.2FAIL5997.97
x80.6FAIL5997.97
x170.8FAIL5997.99
x140.9FAIL5998
x85.7FAIL5998
x90.7FAIL5998.01
x70.6FAIL5998.03
x95.5FAIL5998.08
x75.6FAIL5998.1
x80.4FAIL5998.12
x85.8FAIL5998.13
x80.9FAIL5998.22
x220.6FAIL5998.22
x55.0FAIL5998.23
x70.0FAIL5998.26
x85.9FAIL5998.27
x65.8FAIL5998.28
x95.6FAIL5998.3
x230.3FAIL5998.31
x80.5FAIL5998.31
x95.4FAIL5998.32
x190.0FAIL5998.32
x85.5FAIL5998.33
x65.0FAIL5998.34
x105.7FAIL5998.34
x85.3FAIL5998.34
x80.8FAIL5998.35
x195.4FAIL5998.36
x235.5FAIL5998.39
x85.1FAIL5998.4
x90.1FAIL5998.4
x190.1FAIL5998.41
x70.1FAIL5998.42
x90.9FAIL5998.42
x300.2FAIL5998.44
x185.3FAIL5998.45
x70.3FAIL5998.45
x200.2FAIL5998.48
x95.9FAIL5998.48
x300.3FAIL5998.48
x95.3FAIL5998.49
x100.7FAIL5998.49
x95.2FAIL5998.52
x350.0FAIL5998.53
x350.8FAIL5998.54
x115.4FAIL5998.54
x120.5FAIL5998.54
x95.0FAIL5998.55
x95.1FAIL5998.56
x105.9FAIL5998.58
x105.2FAIL5998.59
x100.1FAIL5998.6
x90.8FAIL5998.61
x105.4FAIL5998.62
x90.6FAIL5998.63
x100.5FAIL5998.64
x100.8FAIL5998.64
x100.2FAIL5998.66
x125.0FAIL5998.67
x115.6FAIL5998.67
x120.1FAIL5998.69
x120.4FAIL5998.74
x115.3FAIL5998.76
x145.7FAIL5998.78
x155.9FAIL5998.81
x125.1FAIL5998.82
x130.6FAIL5998.83
x85.0FAIL5998.83
x115.7FAIL5998.83
x165.3FAIL5998.84
x170.7FAIL5998.85
x110.1FAIL5998.86
x95.8FAIL5998.87
x100.0FAIL5998.87
x100.3FAIL5998.89
x115.2FAIL5998.91
x85.6FAIL5998.91
x110.5FAIL5998.91
x90.5FAIL5998.92
x130.3FAIL5998.97
x130.1FAIL5999
x105.1FAIL5999
x105.0FAIL5999.01
x105.3FAIL5999.03
x90.2FAIL5999.03
x65.6FAIL5999.04
x125.5FAIL5999.05
x130.8FAIL5999.07
x125.9FAIL5999.09
x100.9FAIL5999.11
x95.7FAIL5999.15
x80.7FAIL5999.15
x120.0FAIL5999.18
x110.7FAIL5999.18
x135.7FAIL5999.19
x125.2FAIL5999.21
x120.3FAIL5999.23
x150.2FAIL5999.23
x140.3FAIL5999.25
x135.5FAIL5999.26
x160.2FAIL5999.26
x90.0FAIL5999.27
x125.7FAIL5999.33
x135.9FAIL5999.33
x150.0FAIL5999.34
x145.2FAIL5999.35
x155.7FAIL5999.38
x165.7FAIL5999.38
x145.6FAIL5999.4
x110.6FAIL5999.4
x130.0FAIL5999.42
x150.6FAIL5999.46
x145.8FAIL5999.47
x110.8FAIL5999.5
x145.4FAIL5999.5
x155.3FAIL5999.5
x110.3FAIL5999.5
x125.4FAIL5999.52
x110.4FAIL5999.54
x140.2FAIL5999.54
x125.3FAIL5999.55
x135.1FAIL5999.55
x135.2FAIL5999.56
x195.0FAIL5999.56
x165.1FAIL5999.56
x150.7FAIL5999.57
x120.6FAIL5999.57
x140.0FAIL5999.62
x150.9FAIL5999.62
x170.9FAIL5999.62
x115.1FAIL5999.63
x160.8FAIL5999.65
x150.1FAIL5999.69
x130.5FAIL5999.7
x200.1FAIL5999.71
x150.3FAIL5999.71
x130.4FAIL5999.72
x110.9FAIL5999.72
x135.0FAIL5999.72
x145.0FAIL5999.73
x155.1FAIL5999.74
x185.4FAIL5999.75
x140.6FAIL5999.76
x180.5FAIL5999.76
x165.4FAIL5999.8
x160.6FAIL5999.81
x195.8FAIL5999.81
x190.3FAIL5999.81
x145.1FAIL5999.81
x160.1FAIL5999.81
x130.7FAIL5999.82
x165.0FAIL5999.82
x210.5FAIL5999.82
x135.8FAIL5999.82
x155.8FAIL5999.87
x160.3FAIL5999.88
x170.6FAIL5999.89
x115.0FAIL5999.89
x140.4FAIL5999.9
x185.0FAIL5999.91
x155.2FAIL5999.91
x175.1FAIL5999.92
x130.9FAIL5999.92
x165.9FAIL5999.92
x205.5FAIL5999.93
x190.9FAIL5999.93
x145.5FAIL5999.94
x155.4FAIL5999.94
x150.5FAIL5999.95
x170.4FAIL5999.95
x180.4FAIL5999.95
x145.9FAIL5999.96
x165.5FAIL5999.97
x150.4FAIL5999.98
x205.1FAIL5999.99
x140.1FAIL6000
x160.7FAIL6000.01
x160.9FAIL6000.01
x140.7FAIL6000.03
x185.8FAIL6000.04
x185.9FAIL6000.04
x185.6FAIL6000.06
x195.5FAIL6000.06
x210.1FAIL6000.07
x190.5FAIL6000.07
x200.9FAIL6000.07
x190.8FAIL6000.07
x175.7FAIL6000.07
x195.1FAIL6000.08
x200.7FAIL6000.08
x185.1FAIL6000.08
x195.6FAIL6000.08
x180.0FAIL6000.09
x180.1FAIL6000.09
x205.2FAIL6000.09
x180.8FAIL6000.1
x175.3FAIL6000.1
x175.5FAIL6000.1
x180.7FAIL6000.11
x190.7FAIL6000.11
x170.0FAIL6000.11
x185.5FAIL6000.12
x215.0FAIL6000.12
x160.5FAIL6000.12
x135.4FAIL6000.13
x175.2FAIL6000.13
x210.2FAIL6000.13
x185.7FAIL6000.13
x190.6FAIL6000.13
x210.8FAIL6000.15
x205.0FAIL6000.15
x195.3FAIL6000.15
x240.8FAIL6000.15
x215.8FAIL6000.16
x170.5FAIL6000.16
x245.6FAIL6000.16
x165.8FAIL6000.16
x215.7FAIL6000.17
x205.3FAIL6000.17
x140.5FAIL6000.17
x180.3FAIL6000.17
x165.2FAIL6000.17
x240.5FAIL6000.18
x180.6FAIL6000.19
x170.3FAIL6000.19
x200.8FAIL6000.19
x220.7FAIL6000.19
x170.1FAIL6000.19
x200.3FAIL6000.2
x160.4FAIL6000.2
x160.0FAIL6000.21
x175.4FAIL6000.23
x205.6FAIL6000.23
x235.7FAIL6000.24
x210.3FAIL6000.25
x215.9FAIL6000.25
x215.3FAIL6000.25
x240.4FAIL6000.26
x205.7FAIL6000.27
x215.6FAIL6000.27
x195.9FAIL6000.27
x230.2FAIL6000.27
x235.9FAIL6000.28
x245.5FAIL6000.28
x145.3FAIL6000.28
x220.3FAIL6000.28
x225.1FAIL6000.28
x200.5FAIL6000.29
x170.2FAIL6000.3
x220.4FAIL6000.3
x175.0FAIL6000.31
x225.7FAIL6000.31
x200.4FAIL6000.31
x225.9FAIL6000.31
x250.9FAIL6000.32
x195.2FAIL6000.32
x230.5FAIL6000.32
x240.2FAIL6000.32
x190.2FAIL6000.33
x235.4FAIL6000.33
x220.2FAIL6000.33
x210.7FAIL6000.33
x220.1FAIL6000.34
x235.6FAIL6000.35
x245.3FAIL6000.35
x200.6FAIL6000.36
x250.1FAIL6000.36
x235.0FAIL6000.36
x175.6FAIL6000.36
x230.8FAIL6000.37
x140.8FAIL6000.37
x235.2FAIL6000.37
x240.1FAIL6000.37
x225.2FAIL6000.38
x175.9FAIL6000.38
x200.0FAIL6000.38
x245.0FAIL6000.38
x210.6FAIL6000.38
x225.0FAIL6000.38
x220.9FAIL6000.39
x215.5FAIL6000.39
x250.8FAIL6000.41
x240.7FAIL6000.41
x205.8FAIL6000.42
x225.3FAIL6000.42
x230.4FAIL6000.42
x210.0FAIL6000.43
x225.4FAIL6000.45
x205.4FAIL6000.45
x155.6FAIL6000.46
x180.9FAIL6000.46
x250.2FAIL6000.47
x215.1FAIL6000.47
x245.1FAIL6000.47
x235.8FAIL6000.48
x205.9FAIL6000.48
x250.4FAIL6000.48
x215.2FAIL6000.48
x235.1FAIL6000.49
x220.8FAIL6000.49
x245.7FAIL6000.49
x245.2FAIL6000.52
x180.2FAIL6000.52
x245.4FAIL6000.53
x245.9FAIL6000.53
x240.6FAIL6000.54
x225.5FAIL6000.55
x220.0FAIL6000.55
x250.5FAIL6000.55
x230.6FAIL6000.55
x250.0FAIL6000.57
x230.0FAIL6000.57
x210.9FAIL6000.57
x300.6FAIL6000.57
x210.4FAIL6000.57
x225.8FAIL6000.58
x240.3FAIL6000.58
x240.9FAIL6000.59
x240.0FAIL6000.6
x230.9FAIL6000.62
x230.1FAIL6000.62
x350.6FAIL6000.62
x185.2FAIL6000.62
x215.4FAIL6000.62
x250.6FAIL6000.63
x250.7FAIL6000.64
x250.3FAIL6000.65
x230.7FAIL6000.65
x225.6FAIL6000.67
x300.5FAIL6000.69
x300.9FAIL6000.69
x350.4FAIL6000.7
x300.0FAIL6000.72
x400.9FAIL6000.73
x300.4FAIL6000.75
x300.7FAIL6000.75
x300.1FAIL6000.75
x350.5FAIL6000.75
x245.8FAIL6000.75
x195.7FAIL6000.75
x300.8FAIL6000.76
x400.2FAIL6000.76
x400.5FAIL6000.77
x350.3FAIL6000.77
x400.6FAIL6000.8
x400.7FAIL6000.8
x400.1FAIL6000.82
x400.8FAIL6000.84
x350.7FAIL6000.84
x400.4FAIL6000.85
x350.9FAIL6000.86
x400.3FAIL6000.87
x350.2FAIL6000.88
x400.0FAIL6000.89
x350.1FAIL6000.9