Instances of family Strategic_Companies solved by qube3.0
QBFEVAL'06

InstanceResultTime
x5.3UNSAT0
x5.9UNSAT0
x10.7SAT0
x10.2UNSAT0.01
x10.8UNSAT0.01
x5.5UNSAT0.01
x5.0SAT0.01
x5.1UNSAT0.01
x5.7UNSAT0.01
x5.4UNSAT0.01
x10.3UNSAT0.02
x5.6UNSAT0.02
x15.5UNSAT0.02
x5.8UNSAT0.02
x10.5UNSAT0.02
x10.1UNSAT0.02
x15.4UNSAT0.03
x10.9UNSAT0.03
x5.2UNSAT0.03
x15.7UNSAT0.03
x10.0UNSAT0.03
x10.6UNSAT0.03
x15.8SAT0.03
x25.4UNSAT0.04
x15.6UNSAT0.04
x15.1SAT0.04
x20.4UNSAT0.04
x15.3SAT0.04
x10.4SAT0.05
x15.0UNSAT0.05
x25.6UNSAT0.05
x15.2UNSAT0.05
x20.5SAT0.06
x20.6SAT0.06
x30.7UNSAT0.06
x20.8SAT0.06
x15.9UNSAT0.06
x25.7UNSAT0.07
x20.1UNSAT0.08
x20.2SAT0.08
x20.7SAT0.09
x20.3UNSAT0.09
x30.2UNSAT0.09
x25.9UNSAT0.1
x25.3UNSAT0.1
x20.9SAT0.1
x20.0SAT0.12
x35.0UNSAT0.14
x30.5UNSAT0.14
x25.8UNSAT0.15
x25.0SAT0.16
x25.2SAT0.16
x35.3UNSAT0.16
x45.6UNSAT0.16
x25.5UNSAT0.17
x25.1SAT0.21
x45.0UNSAT0.21
x40.8UNSAT0.23
x40.4UNSAT0.24
x30.9UNSAT0.25
x55.3UNSAT0.26
x45.9UNSAT0.26
x50.4UNSAT0.27
x45.4UNSAT0.3
x30.8UNSAT0.3
x40.9UNSAT0.3
x35.6UNSAT0.3
x30.1UNSAT0.32
x30.4SAT0.33
x35.7UNSAT0.36
x70.7UNSAT0.37
x30.0UNSAT0.38
x45.8UNSAT0.38
x30.6SAT0.41
x35.2SAT0.41
x40.1UNSAT0.41
x70.8UNSAT0.43
x50.2UNSAT0.43
x40.0UNSAT0.43
x35.5UNSAT0.43
x45.2UNSAT0.45
x50.0UNSAT0.47
x50.8UNSAT0.48
x30.3SAT0.49
x70.0UNSAT0.5
x35.4UNSAT0.54
x55.4UNSAT0.56
x65.2UNSAT0.58
x60.4UNSAT0.58
x35.8SAT0.61
x40.5UNSAT0.73
x55.1UNSAT0.75
x75.5UNSAT0.75
x70.5UNSAT0.8
x75.1UNSAT0.82
x35.1SAT0.84
x50.9UNSAT0.87
x85.4UNSAT0.87
x55.8UNSAT0.87
x35.9SAT0.89
x60.6UNSAT0.95
x75.6UNSAT0.96
x50.7UNSAT0.96
x80.4UNSAT0.98
x40.3UNSAT1.08
x100.4UNSAT1.09
x55.9UNSAT1.13
x50.3UNSAT1.13
x65.6UNSAT1.14
x45.1UNSAT1.14
x85.2UNSAT1.17
x60.9UNSAT1.25
x85.8UNSAT1.27
x45.5UNSAT1.3
x100.0UNSAT1.31
x65.7UNSAT1.32
x60.0UNSAT1.39
x75.3UNSAT1.46
x75.2UNSAT1.47
x40.2UNSAT1.56
x120.2UNSAT1.57
x120.0UNSAT1.62
x40.6UNSAT1.64
x80.8UNSAT1.81
x110.9UNSAT1.82
x80.5UNSAT1.83
x60.7UNSAT1.86
x60.1UNSAT1.86
x55.2UNSAT1.93
x105.2UNSAT2.06
x40.7SAT2.11
x85.6UNSAT2.11
x50.6UNSAT2.19
x65.3UNSAT2.21
x75.9UNSAT2.21
x65.9UNSAT2.53
x55.7UNSAT2.58
x50.1UNSAT2.67
x45.3SAT2.72
x110.8UNSAT2.72
x70.2UNSAT2.73
x60.8UNSAT2.77
x115.8UNSAT2.99
x160.4UNSAT3.05
x65.4UNSAT3.09
x90.1UNSAT3.22
x60.3UNSAT3.24
x180.7UNSAT3.26
x100.5UNSAT3.48
x60.5UNSAT3.61
x125.0UNSAT3.66
x85.7UNSAT3.79
x45.7SAT3.8
x155.1UNSAT3.91
x75.8UNSAT3.94
x75.7UNSAT4.16
x85.1UNSAT4.39
x65.8UNSAT4.75
x120.5UNSAT4.76
x140.9UNSAT4.76
x90.2UNSAT5.08
x145.5UNSAT5.13
x70.3UNSAT5.17
x115.6UNSAT5.2
x120.3UNSAT5.24
x145.8UNSAT5.27
x135.7UNSAT5.3
x80.3UNSAT5.32
x95.0UNSAT5.51
x105.9UNSAT5.73
x95.3UNSAT5.95
x50.5UNSAT6.17
x95.4UNSAT6.19
x105.1UNSAT6.24
x75.0UNSAT6.4
x115.1UNSAT6.45
x95.7UNSAT6.73
x110.5UNSAT6.94
x85.3UNSAT6.96
x65.5UNSAT7.16
x130.8UNSAT7.25
x60.2UNSAT7.53
x90.7UNSAT7.62
x70.6UNSAT7.84
x55.5SAT7.93
x150.6UNSAT8.18
x85.9UNSAT8.74
x130.2UNSAT8.85
x145.0UNSAT8.96
x110.6UNSAT9.11
x95.5UNSAT10.2
x65.0UNSAT10.23
x70.4UNSAT10.23
x105.3UNSAT10.4
x95.8UNSAT10.43
x95.2UNSAT10.69
x105.0UNSAT10.99
x100.6UNSAT11.33
x100.7UNSAT11.53
x80.6UNSAT12.35
x165.6UNSAT12.51
x55.6UNSAT12.65
x55.0UNSAT12.82
x110.2UNSAT13.36
x140.5UNSAT13.42
x65.1UNSAT13.5
x100.3UNSAT13.62
x80.9UNSAT13.69
x70.1UNSAT13.73
x80.2UNSAT14.1
x160.3UNSAT14.1
x155.5UNSAT14.19
x130.4UNSAT14.32
x75.4UNSAT14.49
x115.9UNSAT16.2
x245.9UNSAT16.69
x95.6UNSAT16.76
x105.8UNSAT17.15
x85.0UNSAT18.07
x105.5UNSAT18.29
x95.1UNSAT18.58
x85.5UNSAT18.61
x105.6UNSAT19.12
x110.0UNSAT19.19
x90.6UNSAT21.28
x155.0UNSAT21.69
x130.7UNSAT23.26
x115.2UNSAT23.74
x145.3UNSAT23.76
x155.6UNSAT24
x195.6UNSAT24.02
x220.3UNSAT25.46
x170.1UNSAT25.57
x160.7UNSAT26.25
x205.3UNSAT26.54
x70.9UNSAT28.29
x135.2UNSAT28.54
x110.7UNSAT29.58
x90.8UNSAT30.04
x135.9UNSAT30.09
x100.8UNSAT31.19
x150.5UNSAT31.19
x145.4UNSAT34.15
x145.7UNSAT34.54
x125.3UNSAT36.59
x120.9UNSAT36.88
x100.2UNSAT40.79
x225.0UNSAT41.17
x90.4UNSAT41.96
x205.4UNSAT42.55
x130.5UNSAT43.92
x135.3UNSAT44.87
x90.9UNSAT46.02
x140.4UNSAT46.42
x120.8UNSAT48.71
x100.9UNSAT49.1
x180.0UNSAT51.04
x245.7UNSAT51.25
x220.7UNSAT51.76
x140.7UNSAT53.14
x175.8UNSAT55.65
x150.7UNSAT58.3
x125.7UNSAT61.25
x135.8UNSAT61.32
x95.9UNSAT61.52
x150.2UNSAT63.52
x135.4UNSAT64.26
x215.8UNSAT64.68
x140.8UNSAT64.95
x110.4UNSAT68.69
x200.1UNSAT68.79
x165.3UNSAT68.98
x80.0UNSAT71.07
x120.1UNSAT73.12
x125.6UNSAT79.32
x175.3UNSAT83.64
x100.1UNSAT86.97
x110.1UNSAT90.47
x130.3UNSAT92.1
x105.7UNSAT93.68
x130.9UNSAT93.8
x80.1UNSAT94.06
x105.4UNSAT94.78
x195.3UNSAT100.48
x90.5UNSAT106.19
x155.2UNSAT116.99
x170.8UNSAT122.93
x120.4UNSAT126.22
x120.7UNSAT130.12
x125.9UNSAT147.6
x165.4UNSAT149.98
x90.0UNSAT157.56
x80.7UNSAT158.8
x160.6UNSAT159.67
x230.6UNSAT168.55
x135.6UNSAT173.61
x210.4UNSAT183.01
x125.2UNSAT184.71
x180.9UNSAT202.5
x115.5UNSAT205.08
x165.7UNSAT205.43
x150.8UNSAT213.29
x150.3UNSAT217.99
x185.8UNSAT228.46
x190.8UNSAT248.45
x205.0UNSAT253.06
x150.1UNSAT267.06
x90.3UNSAT270.2
x215.0UNSAT295.03
x175.5UNSAT301.08
x125.8UNSAT303.39
x180.1UNSAT303.66
x115.0UNSAT313.03
x135.5UNSAT330.6
x155.8UNSAT345.58
x215.5UNSAT356.31
x140.3UNSAT366.46
x210.0UNSAT367.09
x125.5UNSAT370.58
x180.8UNSAT379.17
x205.9UNSAT392.6
x115.4UNSAT424.53
x115.7UNSAT483.37
x120.6UNSAT488.83
x155.9UNSAT489.45
x130.1UNSAT510.69
x210.2UNSAT560.75
x220.6UNSAT587.87
x145.1UNSAT661.69
x230.4UNSAT713.4
x185.5UNSAT752.26
x145.9UNSAT760.25
x110.3UNSAT775.18
x160.8UNSAT803
x245.1UNSAT812.25
x195.5UNSAT815.35
x170.5UNSAT817.65
x135.1UNSAT824.53
x230.8UNSAT835.3
x165.8UNSAT876.41
x160.2UNSAT876.59
x200.5UNSAT903.58
x195.7UNSAT908.52
x135.0UNSAT915.04
x140.2UNSAT1053.31
x125.4UNSAT1068.14
x170.4UNSAT1152.44
x165.1UNSAT1190.34
x235.8UNSAT1213.67
x180.2UNSAT1219.81
x125.1UNSAT1422.8
x150.0UNSAT1609.4
x160.9UNSAT1695.33
x175.0UNSAT1709.31
x235.9UNSAT1904.68
x175.6UNSAT1934.22
x240.5UNSAT2131.4
x235.7UNSAT2359.93
x155.4UNSAT2490.24
x130.6UNSAT2632.66
x210.6UNSAT2669.46
x145.2UNSAT2751.19
x160.0UNSAT2839.36
x170.9UNSAT3084.52
x220.5UNSAT3169.83
x155.7UNSAT3193
x245.0UNSAT3420.2
x200.7UNSAT3572.83
x225.3UNSAT3897.88
x150.4UNSAT3914.74
x190.6UNSAT4058.56
x200.3UNSAT4261.08
x190.5UNSAT4413.38
x140.6UNSAT4537.69
x185.2UNSAT4582.56
x230.7UNSAT4980.95
x400.4FAIL5997.27
x300.4FAIL5997.66
x400.0FAIL5997.73
x400.2FAIL5997.85
x350.6FAIL5998.12
x400.8FAIL5998.36
x400.5FAIL5998.68
x350.8FAIL5998.89
x350.3FAIL5998.93
x350.7FAIL5998.96
x400.6FAIL5998.99
x300.0FAIL5999.09
x350.1FAIL5999.12
x350.9FAIL5999.14
x400.1FAIL5999.18
x400.3FAIL5999.24
x165.2UNSAT5999.29
x350.4FAIL5999.39
x400.9FAIL5999.42
x350.0FAIL5999.42
x400.7FAIL5999.43
x300.2FAIL5999.45
x350.5FAIL5999.52
x350.2FAIL5999.54
x300.5FAIL5999.6
x300.3FAIL5999.8
x300.7FAIL5999.85
x300.6FAIL5999.86
x300.1FAIL5999.87
x300.9FAIL5999.97
x225.5FAIL5999.98
x300.8FAIL6000.04
x235.5FAIL6000.04
x250.6FAIL6000.06
x240.8FAIL6000.08
x240.2FAIL6000.08
x235.3FAIL6000.13
x220.8FAIL6000.14
x250.2FAIL6000.15
x240.0FAIL6000.15
x250.8FAIL6000.15
x245.2FAIL6000.16
x205.6FAIL6000.17
x250.3FAIL6000.19
x215.2FAIL6000.19
x200.6FAIL6000.19
x230.2FAIL6000.21
x240.1FAIL6000.21
x245.8FAIL6000.21
x250.7FAIL6000.21
x250.1FAIL6000.21
x245.4FAIL6000.23
x195.1FAIL6000.23
x205.5FAIL6000.24
x245.6FAIL6000.25
x230.0FAIL6000.25
x235.0FAIL6000.26
x240.7FAIL6000.26
x235.2FAIL6000.26
x230.1FAIL6000.26
x170.3FAIL6000.26
x240.6FAIL6000.27
x235.4FAIL6000.27
x215.7FAIL6000.27
x235.1FAIL6000.28
x230.9FAIL6000.28
x200.9FAIL6000.29
x190.7FAIL6000.3
x210.7FAIL6000.3
x225.1FAIL6000.3
x240.3FAIL6000.3
x250.5FAIL6000.31
x240.4FAIL6000.31
x225.4FAIL6000.32
x220.0FAIL6000.32
x250.4FAIL6000.32
x215.3FAIL6000.32
x210.8FAIL6000.32
x235.6FAIL6000.33
x205.1FAIL6000.34
x205.2FAIL6000.34
x215.1FAIL6000.34
x215.6FAIL6000.34
x250.9FAIL6000.34
x175.1FAIL6000.34
x225.9FAIL6000.36
x210.1FAIL6000.36
x205.7FAIL6000.37
x225.2FAIL6000.37
x250.0FAIL6000.37
x200.8FAIL6000.38
x215.9FAIL6000.38
x225.6FAIL6000.38
x200.2FAIL6000.38
x225.7FAIL6000.38
x245.3FAIL6000.38
x195.9FAIL6000.38
x210.5FAIL6000.39
x195.0FAIL6000.39
x230.3FAIL6000.4
x185.0FAIL6000.4
x180.3FAIL6000.4
x215.4FAIL6000.4
x200.0FAIL6000.41
x220.9FAIL6000.41
x230.5FAIL6000.41
x240.9FAIL6000.41
x245.5FAIL6000.42
x185.7FAIL6000.42
x190.9FAIL6000.42
x180.5FAIL6000.43
x200.4FAIL6000.44
x170.2FAIL6000.45
x210.3FAIL6000.46
x185.9FAIL6000.46
x165.9FAIL6000.47
x225.8FAIL6000.47
x190.2FAIL6000.47
x195.8FAIL6000.47
x220.1FAIL6000.48
x170.7FAIL6000.48
x180.4FAIL6000.48
x175.4FAIL6000.49
x195.4FAIL6000.49
x210.9FAIL6000.49
x185.1FAIL6000.5
x190.0FAIL6000.5
x190.4FAIL6000.51
x220.2FAIL6000.51
x180.6FAIL6000.51
x195.2FAIL6000.52
x170.0FAIL6000.52
x190.1FAIL6000.52
x205.8FAIL6000.52
x170.6FAIL6000.53
x175.7FAIL6000.53
x185.4FAIL6000.53
x185.3FAIL6000.54
x190.3FAIL6000.54
x165.0FAIL6000.56
x155.3FAIL6000.56
x145.6FAIL6000.56
x175.2FAIL6000.58
x175.9FAIL6000.58
x130.0FAIL6000.59
x185.6FAIL6000.6
x160.5FAIL6000.6
x220.4FAIL6000.61
x165.5FAIL6000.61
x160.1FAIL6000.63
x150.9FAIL6000.63
x140.1FAIL6000.67
x115.3FAIL6000.69
x140.0FAIL6000.7