Instances of family Strategic_Companies solved by yQuaffle
QBFEVAL'06

InstanceResultTime
x10.8UNSAT0
x5.0SAT0
x5.1UNSAT0
x15.2UNSAT0
x5.4UNSAT0
x15.9UNSAT0
x10.1UNSAT0
x10.2UNSAT0.01
x5.5UNSAT0.01
x10.3UNSAT0.01
x5.6UNSAT0.01
x10.4SAT0.01
x15.5UNSAT0.01
x5.7UNSAT0.01
x5.2UNSAT0.01
x10.5UNSAT0.01
x5.3UNSAT0.01
x5.9UNSAT0.01
x20.3UNSAT0.01
x10.6UNSAT0.01
x10.0UNSAT0.01
x25.8UNSAT0.02
x15.4UNSAT0.02
x10.9UNSAT0.02
x15.0UNSAT0.02
x5.8UNSAT0.02
x10.7SAT0.02
x15.1SAT0.03
x15.7UNSAT0.03
x15.8SAT0.03
x15.6UNSAT0.04
x30.1UNSAT0.04
x15.3SAT0.04
x20.0SAT0.06
x20.8SAT0.07
x20.4UNSAT0.07
x20.9SAT0.08
x20.7SAT0.09
x20.1UNSAT0.1
x20.6SAT0.11
x20.2SAT0.12
x20.5SAT0.13
x25.3UNSAT0.14
x25.0SAT0.17
x25.7UNSAT0.22
x25.6UNSAT0.25
x25.9UNSAT0.29
x25.1SAT0.3
x25.4UNSAT0.33
x25.2SAT0.36
x30.8UNSAT0.42
x30.7UNSAT0.5
x30.0UNSAT0.52
x25.5UNSAT0.61
x30.9UNSAT0.62
x35.5UNSAT0.72
x30.5UNSAT0.82
x45.0UNSAT0.83
x30.4SAT0.94
x50.7UNSAT1.05
x45.8UNSAT1.6
x40.8UNSAT1.71
x30.2UNSAT1.74
x30.6SAT1.83
x35.8SAT1.88
x30.3SAT2.02
x35.6UNSAT2.03
x40.0UNSAT2.73
x35.4UNSAT3.16
x55.2UNSAT4.58
x40.4UNSAT4.61
x45.6UNSAT4.72
x40.1UNSAT6.17
x55.1UNSAT6.96
x35.3UNSAT7.11
x45.4UNSAT7.29
x35.1SAT8.49
x50.4UNSAT11.16
x50.3UNSAT13.91
x35.0UNSAT19.67
x35.7UNSAT21.22
x40.3UNSAT21.66
x55.4UNSAT27.86
x35.9SAT29.73
x40.5UNSAT31.09
x55.3UNSAT33.62
x35.2SAT46.55
x50.0UNSAT47.26
x65.7UNSAT54.66
x55.9UNSAT126.7
x60.4UNSAT156.08
x40.9UNSAT171.21
x45.2UNSAT203.27
x50.8UNSAT215.38
x45.1UNSAT225.68
x40.2UNSAT310.78
x60.5UNSAT359.42
x230.0FAIL533.45
x180.5FAIL538.8
x215.1FAIL539.14
x245.8FAIL539.29
x180.6FAIL540.06
x235.3FAIL540.45
x240.1FAIL540.55
x210.0FAIL540.71
x180.9FAIL541.99
x225.6FAIL542.16
x200.6FAIL542.36
x200.4FAIL542.75
x190.7FAIL542.88
x230.1FAIL543.2
x215.2FAIL543.32
x165.6FAIL543.36
x235.9FAIL544.25
x190.5FAIL544.33
x210.4FAIL544.63
x135.7FAIL545.09
x225.8FAIL545.28
x170.9FAIL545.28
x150.8FAIL545.64
x215.6FAIL545.78
x200.3FAIL546.49
x250.1FAIL546.55
x235.4FAIL546.63
x210.6FAIL546.78
x195.0FAIL547.01
x175.2FAIL547.14
x245.9FAIL547.19
x235.0FAIL547.36
x220.6FAIL547.52
x165.2FAIL547.57
x180.1FAIL547.6
x240.5FAIL547.96
x165.7FAIL548.16
x170.8FAIL548.2
x250.2FAIL548.29
x210.9FAIL548.36
x205.4FAIL548.38
x145.2FAIL548.5
x250.0FAIL548.69
x235.7FAIL548.81
x160.9FAIL548.87
x240.8FAIL549.02
x75.8FAIL549.11
x225.0FAIL549.31
x160.6FAIL549.42
x160.5FAIL549.46
x195.9FAIL549.47
x120.9FAIL549.49
x190.8FAIL549.55
x300.0FAIL549.69
x170.6FAIL549.84
x175.0FAIL549.92
x240.0FAIL550.17
x205.8FAIL550.44
x130.9FAIL550.45
x225.7FAIL550.67
x210.5FAIL550.86
x200.1FAIL550.97
x180.0FAIL551.14
x165.5FAIL551.16
x185.4FAIL551.54
x195.3FAIL551.74
x175.3FAIL551.84
x195.2FAIL551.85
x190.3FAIL551.88
x210.2FAIL552.1
x170.1FAIL552.14
x205.0FAIL552.48
x210.3FAIL552.59
x210.7FAIL552.67
x170.3FAIL552.67
x85.0FAIL552.68
x175.7FAIL552.74
x190.0FAIL552.83
x200.7FAIL552.85
x125.3FAIL552.92
x185.2FAIL552.94
x150.3FAIL552.98
x185.6FAIL553.11
x175.5FAIL553.22
x165.4FAIL553.25
x150.2FAIL553.27
x90.7FAIL553.44
x145.1FAIL553.49
x135.8FAIL553.5
x125.0FAIL553.56
x205.6FAIL553.58
x165.0FAIL553.59
x170.2FAIL553.71
x170.0FAIL553.77
x145.3FAIL553.88
x135.3FAIL553.92
x175.8FAIL553.98
x145.5FAIL554.1
x155.8FAIL554.16
x125.5FAIL554.17
x150.9FAIL554.22
x145.4FAIL554.23
x180.3FAIL554.31
x155.1FAIL554.36
x150.6FAIL554.51
x160.4FAIL554.52
x150.4FAIL554.54
x230.4FAIL554.67
x90.8FAIL554.81
x195.7FAIL555.06
x155.6FAIL555.08
x230.8FAIL555.1
x115.5FAIL555.16
x125.8FAIL555.23
x215.7FAIL555.26
x160.2FAIL555.35
x165.8FAIL555.44
x155.9FAIL555.46
x155.7FAIL555.47
x160.8FAIL555.47
x160.7FAIL555.56
x185.5FAIL555.58
x185.1FAIL555.75
x160.3FAIL555.95
x90.2FAIL555.97
x140.0FAIL556.15
x140.9FAIL556.25
x105.1FAIL556.27
x145.8FAIL556.55
x115.0FAIL556.62
x130.2FAIL556.87
x90.4FAIL556.89
x145.7FAIL557.03
x90.0FAIL557.14
x135.5FAIL557.23
x125.2FAIL557.24
x165.1FAIL557.28
x135.6FAIL557.37
x120.1FAIL557.5
x110.7FAIL557.58
x135.2FAIL557.6
x140.7FAIL557.62
x105.8FAIL557.7
x140.5FAIL557.79
x185.7FAIL557.86
x85.2FAIL557.96
x115.2FAIL557.96
x140.3FAIL557.97
x125.1FAIL557.98
x130.1FAIL558.06
x95.9FAIL558.06
x120.8FAIL558.15
x105.6FAIL558.25
x110.5FAIL558.39
x110.0FAIL558.41
x120.5FAIL558.46
x130.0FAIL558.47
x65.6FAIL558.51
x130.4FAIL558.54
x145.6FAIL558.64
x110.4FAIL558.65
x95.7FAIL558.72
x120.3FAIL558.83
x120.7FAIL558.86
x130.5FAIL558.93
x100.2FAIL559.08
x100.8FAIL559.13
x190.2FAIL559.28
x85.5FAIL559.36
x135.1FAIL559.37
x125.6FAIL559.5
x110.3FAIL559.53
x105.3FAIL559.55
x95.2FAIL559.7
x170.7FAIL559.76
x70.2FAIL559.88
x125.9FAIL560.03
x130.7FAIL560.05
x130.6FAIL560.25
x125.4FAIL560.26
x185.9FAIL560.48
x120.6FAIL560.48
x115.4FAIL560.57
x80.4FAIL560.64
x95.6FAIL560.8
x135.4FAIL561.02
x95.3FAIL561.02
x85.3FAIL561.07
x155.2FAIL561.07
x105.7FAIL561.24
x115.1FAIL561.25
x135.0FAIL561.34
x75.0FAIL561.35
x95.1FAIL561.44
x100.6FAIL561.64
x120.4FAIL561.7
x130.8FAIL562
x115.6FAIL562.17
x95.8FAIL562.31
x150.5FAIL562.48
x115.7FAIL562.57
x160.0FAIL562.65
x65.8FAIL562.66
x90.5FAIL562.78
x70.8FAIL562.86
x65.9FAIL562.98
x70.1FAIL563.45
x70.3FAIL563.49
x175.6FAIL563.5
x80.3FAIL563.69
x85.9FAIL563.89
x70.6FAIL564.04
x80.1FAIL564.06
x80.6FAIL564.15
x110.2FAIL564.41
x115.3FAIL565.1
x100.3FAIL565.21
x50.2FAIL565.31
x80.7FAIL565.65
x100.0FAIL565.75
x235.8FAIL565.76
x100.9FAIL566.23
x65.3FAIL567.17
x60.3FAIL567.57
x60.0FAIL567.78
x65.5FAIL568.25
x90.6FAIL568.82
x150.7FAIL569.32
x100.5FAIL569.44
x80.0FAIL569.93
x55.0FAIL570.17
x65.0FAIL571.22
x225.3FAIL573.15
x230.2FAIL578.24
x85.7FAIL578.4
x350.8FAIL581.43
x60.1FAIL582.53
x145.9FAIL582.94
x70.9FAIL584.68
x140.1FAIL585.61
x95.4FAIL586.6
x70.4FAIL586.85
x175.1FAIL586.9
x210.1FAIL586.92
x350.2FAIL587.84
x85.8FAIL588.3
x60.6FAIL588.56
x400.3FAIL588.98
x60.7FAIL589.99
x80.9FAIL590.04
x235.1FAIL590.28
x400.5FAIL590.67
x85.1FAIL590.7
x55.7FAIL591.04
x45.5FAIL591.52
x65.4FAIL591.52
x400.4FAIL592
x50.9FAIL592.76
x300.8FAIL592.77
x400.0FAIL592.8
x55.8FAIL592.94
x240.9FAIL593.08
x230.7FAIL593.18
x60.8FAIL593.78
x350.4FAIL593.98
x70.0FAIL594.51
x400.2FAIL594.52
x400.9FAIL594.72
x75.9FAIL594.86
x75.6FAIL595.21
x55.6FAIL595.34
x400.6FAIL595.5
x245.7FAIL595.81
x65.2FAIL595.85
x235.5FAIL596.01
x50.6FAIL596.04
x300.2FAIL596.22
x40.6FAIL596.34
x245.2FAIL596.37
x300.3FAIL596.47
x115.8FAIL596.56
x225.4FAIL596.63
x50.1FAIL596.69
x240.3FAIL596.76
x350.7FAIL596.78
x300.9FAIL596.87
x60.2FAIL597.04
x220.7FAIL597.08
x240.4FAIL597.09
x215.3FAIL597.17
x180.2FAIL597.28
x245.0FAIL597.45
x45.7FAIL597.48
x140.4FAIL597.49
x240.2FAIL597.49
x75.1FAIL597.49
x155.0FAIL597.56
x170.4FAIL597.62
x350.0FAIL597.66
x40.7FAIL597.75
x185.0FAIL597.82
x220.9FAIL597.88
x50.5FAIL597.88
x245.1FAIL597.89
x230.9FAIL597.9
x225.2FAIL597.91
x220.8FAIL597.98
x180.7FAIL598.04
x230.6FAIL598.05
x300.4FAIL598.1
x205.3FAIL598.13
x240.7FAIL598.16
x215.8FAIL598.2
x155.3FAIL598.21
x215.0FAIL598.25
x220.3FAIL598.4
x190.1FAIL598.46
x150.0FAIL598.53
x170.5FAIL598.54
x195.1FAIL598.59
x180.8FAIL598.61
x185.3FAIL598.64
x250.8FAIL598.65
x145.0FAIL598.69
x200.5FAIL598.7
x60.9FAIL598.7
x220.0FAIL598.72
x120.2FAIL598.73
x245.3FAIL598.74
x205.7FAIL598.75
x125.7FAIL598.83
x45.9FAIL598.84
x175.9FAIL598.88
x400.7FAIL598.91
x165.3FAIL598.97
x195.6FAIL599.09
x70.5FAIL599.11
x200.8FAIL599.12
x205.2FAIL599.15
x220.5FAIL599.24
x115.9FAIL599.25
x130.3FAIL599.25
x45.3FAIL599.26
x100.7FAIL599.26
x110.9FAIL599.28
x215.5FAIL599.29
x105.5FAIL599.33
x140.2FAIL599.35
x205.5FAIL599.4
x155.5FAIL599.44
x190.4FAIL599.49
x165.9FAIL599.52
x105.0FAIL599.59
x205.9FAIL599.63
x195.4FAIL599.64
x85.4FAIL599.66
x190.9FAIL599.66
x95.5FAIL599.68
x155.4FAIL599.7
x140.6FAIL599.71
x75.4FAIL599.73
x75.2FAIL599.74
x195.8FAIL599.8
x80.2FAIL599.81
x80.8FAIL599.81
x180.4FAIL599.84
x220.1FAIL599.87
x150.1FAIL599.88
x105.2FAIL599.88
x75.3FAIL599.88
x75.7FAIL599.92
x160.1FAIL599.94
x110.8FAIL599.94
x135.9FAIL599.97
x75.5FAIL599.98
x55.5SAT1298.02
x85.6UNSAT1960.59
x65.1UNSAT3143.74
x300.5FAIL5711.89
x230.3FAIL5717.02
x300.1FAIL5717.66
x250.5FAIL5721.18
x250.6FAIL5743.34
x240.6FAIL5743.45
x185.8FAIL5749.88
x235.6FAIL5755.9
x250.3FAIL5759.9
x175.4FAIL5767.95
x225.9FAIL5774.44
x300.6FAIL5776.89
x215.9FAIL5783.4
x200.0FAIL5797.98
x190.6FAIL5803.37
x230.5FAIL5806.09
x250.4FAIL5820.64
x235.2FAIL5858.39
x245.6FAIL5867.81
x225.1FAIL5871.99
x210.8FAIL5920.99
x215.4FAIL5928.58
x200.2FAIL5962.91
x220.4FAIL5972.74
x195.5FAIL5989.74
x350.1FAIL5997.94
x350.6FAIL5998
x70.7FAIL5998.35
x350.5FAIL5998.42
x350.9FAIL5998.45
x200.9FAIL5998.57
x220.2FAIL5998.61
x400.1FAIL5998.62
x90.3FAIL5998.63
x400.8FAIL5998.67
x90.1FAIL5998.72
x110.1FAIL5998.74
x245.4FAIL5998.76
x245.5FAIL5998.81
x350.3FAIL5998.82
x250.9FAIL5998.85
x205.1FAIL5998.86
x225.5FAIL5998.89
x250.7FAIL5998.92
x95.0FAIL5998.99
x300.7FAIL5999.01
x105.9FAIL5999.17
x110.6FAIL5999.19
x105.4FAIL5999.19
x140.8FAIL5999.23
x100.4FAIL5999.29
x120.0FAIL5999.39
x90.9FAIL5999.46
x100.1FAIL5999.46
x80.5FAIL5999.52