Instances of family Strategic_Companies solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
x5.6UNSAT0
x5.1UNSAT0
x5.7UNSAT0
x5.3UNSAT0
x5.4UNSAT0.01
x5.5UNSAT0.01
x5.2UNSAT0.01
x5.9UNSAT0.01
x10.6UNSAT0.02
x10.7SAT0.02
x10.2UNSAT0.02
x10.8UNSAT0.02
x10.3UNSAT0.02
x10.9UNSAT0.02
x5.8UNSAT0.02
x10.0UNSAT0.03
x5.0SAT0.03
x10.1UNSAT0.04
x10.4SAT0.04
x10.5UNSAT0.04
x15.5UNSAT0.08
x15.8SAT0.1
x15.6UNSAT0.1
x15.2UNSAT0.12
x15.3SAT0.13
x15.9UNSAT0.13
x15.0UNSAT0.13
x15.7UNSAT0.13
x15.4UNSAT0.14
x15.1SAT0.14
x20.8SAT0.57
x20.6SAT0.7
x20.5SAT0.73
x20.0SAT0.74
x20.4UNSAT0.78
x20.1UNSAT0.99
x20.3UNSAT1.02
x20.2SAT1.18
x20.9SAT1.22
x20.7SAT1.42
x25.8UNSAT3.09
x25.3UNSAT4.25
x25.9UNSAT4.71
x25.0SAT4.89
x25.7UNSAT4.96
x25.2SAT5
x25.4UNSAT5.64
x25.5UNSAT5.83
x25.6UNSAT7.18
x25.1SAT10.91
x30.4SAT15.72
x30.1UNSAT18.84
x30.6SAT23.41
x30.8UNSAT26.73
x30.2UNSAT27.06
x30.9UNSAT28.64
x30.5UNSAT39.09
x115.4FAIL40.43
x110.9FAIL42.34
x115.1FAIL42.7
x50.7FAIL43.01
x110.3FAIL43.13
x115.6FAIL43.62
x50.9FAIL43.66
x120.3FAIL43.9
x110.4FAIL43.97
x70.2FAIL44.03
x55.5FAIL44.15
x70.3FAIL44.81
x75.6FAIL44.93
x70.0FAIL45.36
x115.5FAIL45.47
x70.9FAIL45.62
x115.0FAIL45.7
x70.6FAIL46.18
x120.1FAIL46.32
x50.8FAIL46.32
x50.4FAIL46.34
x50.5FAIL46.4
x110.5FAIL46.49
x120.8FAIL46.55
x120.4FAIL46.67
x120.2FAIL46.84
x110.8FAIL47.63
x70.7FAIL47.67
x110.2FAIL47.71
x75.2FAIL47.75
x75.7FAIL48
x80.0FAIL48.28
x75.9FAIL48.32
x50.1FAIL48.64
x120.5FAIL48.74
x125.2FAIL48.76
x110.7FAIL48.8
x50.0FAIL48.83
x115.7FAIL49.27
x120.6FAIL49.61
x115.9FAIL49.76
x115.2FAIL50.04
x130.0FAIL50.07
x40.2FAIL50.09
x75.4FAIL50.53
x125.8FAIL50.68
x75.3FAIL51.07
x120.7FAIL51.11
x115.8FAIL51.19
x125.1FAIL51.38
x80.4FAIL51.65
x55.1FAIL51.66
x125.9FAIL51.71
x125.7FAIL51.76
x130.6FAIL51.78
x70.5FAIL51.84
x115.3FAIL52.07
x130.2FAIL52.07
x80.9FAIL52.32
x125.0FAIL52.62
x350.5FAIL52.68
x60.0FAIL52.71
x60.1FAIL52.83
x130.1FAIL53.05
x120.0FAIL53.16
x85.5FAIL53.18
x55.2FAIL53.36
x125.5FAIL53.44
x135.3FAIL53.6
x130.9FAIL53.7
x75.8FAIL53.72
x130.5FAIL53.8
x70.4FAIL54.03
x130.4FAIL54.17
x70.8FAIL54.18
x120.9FAIL54.19
x130.8FAIL54.2
x85.6FAIL54.55
x60.6FAIL54.71
x55.9FAIL55.25
x40.7FAIL55.32
x125.6FAIL55.95
x135.0FAIL56.1
x400.6FAIL56.11
x110.6FAIL56.19
x130.3FAIL56.29
x45.7FAIL56.43
x55.6FAIL56.45
x125.3FAIL56.7
x135.1FAIL56.87
x60.9FAIL57.03
x135.4FAIL57.13
x60.8FAIL57.26
x60.7FAIL57.43
x60.2FAIL57.49
x30.0UNSAT57.5
x45.3FAIL57.53
x135.6FAIL57.71
x55.4FAIL57.72
x135.9FAIL57.79
x70.1FAIL57.81
x135.7FAIL57.86
x60.5FAIL57.94
x80.7FAIL58.07
x125.4FAIL58.1
x140.8FAIL58.57
x55.7FAIL58.64
x85.4FAIL58.83
x45.1FAIL58.87
x85.2FAIL59.22
x80.1FAIL59.38
x85.7FAIL59.44
x135.8FAIL59.79
x60.3FAIL59.9
x80.6FAIL60.12
x90.6FAIL60.21
x60.4FAIL60.21
x85.9FAIL60.26
x75.5FAIL60.59
x80.5FAIL60.72
x140.9FAIL60.73
x85.8FAIL60.87
x80.2FAIL60.94
x30.7UNSAT61.09
x80.3FAIL61.27
x140.2FAIL61.4
x95.3FAIL61.49
x135.2FAIL61.52
x75.0FAIL61.62
x140.5FAIL61.71
x140.3FAIL61.75
x135.5FAIL61.79
x75.1FAIL61.86
x90.5FAIL61.99
x140.0FAIL62.33
x65.0FAIL62.39
x95.7FAIL62.44
x95.0FAIL62.69
x95.5FAIL62.7
x140.1FAIL63.41
x350.4FAIL63.51
x140.7FAIL63.51
x45.4FAIL64.03
x90.7FAIL64.12
x65.9FAIL64.13
x65.5FAIL64.15
x40.4FAIL64.54
x45.6FAIL64.6
x90.4FAIL65.08
x180.5FAIL65.45
x85.1FAIL65.51
x350.0FAIL65.66
x350.2FAIL65.73
x65.7FAIL65.85
x100.6FAIL65.98
x55.0FAIL66.15
x145.9FAIL66.36
x50.2FAIL66.36
x145.6FAIL66.46
x100.1FAIL66.51
x350.9FAIL66.64
x145.2FAIL67.03
x140.6FAIL67.09
x90.3FAIL67.13
x100.0FAIL67.2
x130.7FAIL67.41
x90.2FAIL67.46
x90.8FAIL67.47
x90.1FAIL67.5
x145.7FAIL67.69
x85.3FAIL67.75
x95.6FAIL67.76
x190.1FAIL68.05
x65.6FAIL68.28
x100.2FAIL68.74
x90.9FAIL68.75
x100.4FAIL68.77
x400.0FAIL68.77
x400.4FAIL68.89
x90.0FAIL68.96
x50.3FAIL69.51
x100.8FAIL69.67
x180.7FAIL70.22
x180.3FAIL70.23
x185.1FAIL70.26
x95.9FAIL70.36
x95.4FAIL70.77
x350.3FAIL71.21
x400.2FAIL71.23
x105.2FAIL71.24
x180.4FAIL71.32
x190.0FAIL71.68
x180.2FAIL71.71
x140.4FAIL72.08
x145.4FAIL72.25
x150.4FAIL72.26
x185.9FAIL72.28
x40.1FAIL72.41
x35.0FAIL72.44
x45.8FAIL72.48
x185.5FAIL72.63
x95.8FAIL72.69
x150.6FAIL72.74
x145.3FAIL72.84
x95.1FAIL73.08
x40.3FAIL73.14
x185.3FAIL73.24
x150.5FAIL73.37
x100.9FAIL73.55
x145.5FAIL73.69
x35.1FAIL73.82
x95.2FAIL73.91
x185.4FAIL73.97
x195.0FAIL74.07
x180.0FAIL74.07
x100.3FAIL74.33
x155.5FAIL74.4
x45.9FAIL74.41
x150.8FAIL74.74
x65.4FAIL74.96
x185.0FAIL75.05
x150.2FAIL75.08
x85.0FAIL75.17
x195.9FAIL75.45
x105.7FAIL75.68
x100.7FAIL75.83
x190.4FAIL75.87
x65.8FAIL75.89
x145.0FAIL75.97
x150.7FAIL76.02
x190.5FAIL76.13
x40.6FAIL76.32
x190.9FAIL76.52
x150.9FAIL76.55
x150.1FAIL76.64
x180.8FAIL76.68
x45.5FAIL76.7
x30.3SAT76.87
x195.1FAIL76.91
x185.7FAIL77.47
x105.6FAIL77.49
x400.9FAIL77.52
x205.5FAIL77.57
x65.3FAIL77.6
x145.8FAIL77.99
x185.6FAIL78.12
x190.7FAIL78.12
x105.0FAIL78.14
x55.3FAIL78.18
x190.8FAIL78.19
x195.5FAIL78.31
x190.2FAIL78.33
x350.7FAIL78.47
x55.8FAIL78.62
x40.5FAIL78.89
x155.3FAIL78.89
x195.6FAIL79.08
x105.8FAIL79.24
x155.7FAIL79.28
x105.1FAIL79.47
x150.3FAIL79.87
x155.6FAIL80.02
x160.5FAIL80.3
x195.2FAIL80.5
x200.6FAIL80.91
x65.1FAIL80.91
x155.8FAIL80.94
x170.4FAIL80.97
x110.0FAIL81.11
x145.1FAIL81.18
x165.1FAIL81.36
x185.8FAIL81.42
x195.3FAIL81.58
x100.5FAIL81.6
x45.2FAIL81.77
x155.2FAIL81.79
x190.6FAIL81.84
x160.3FAIL81.86
x155.9FAIL81.89
x65.2FAIL81.97
x190.3FAIL82
x40.8FAIL82.27
x165.5FAIL82.43
x160.9FAIL83.04
x205.2FAIL83.72
x200.0FAIL83.73
x195.4FAIL83.82
x220.9FAIL83.87
x155.1FAIL83.89
x150.0FAIL83.96
x80.8FAIL84.32
x205.9FAIL84.41
x400.8FAIL84.62
x105.9FAIL85
x155.4FAIL85.23
x105.4FAIL85.27
x200.8FAIL85.91
x105.5FAIL86.27
x210.6FAIL86.3
x210.9FAIL86.63
x160.0FAIL86.65
x160.6FAIL86.83
x155.0FAIL86.92
x200.9FAIL87
x160.4FAIL87.31
x200.4FAIL87.33
x205.7FAIL87.67
x200.7FAIL88.13
x200.5FAIL88.29
x105.3FAIL88.54
x160.2FAIL88.61
x50.6FAIL88.86
x165.3FAIL88.87
x400.5FAIL89.16
x170.9FAIL89.23
x165.4FAIL89.29
x245.2FAIL89.4
x165.6FAIL89.4
x205.3FAIL90
x400.7FAIL90.12
x195.7FAIL90.34
x400.1FAIL90.39
x165.2FAIL90.39
x350.8FAIL90.5
x170.8FAIL90.79
x205.4FAIL91.01
x210.5FAIL91.02
x165.7FAIL91.48
x40.0FAIL91.54
x195.8FAIL91.61
x215.5FAIL91.7
x210.8FAIL92.12
x200.3FAIL92.39
x350.6FAIL92.52
x215.6FAIL92.83
x160.8FAIL92.83
x210.7FAIL92.9
x165.9FAIL93.4
x175.2FAIL93.6
x160.1FAIL93.81
x205.1FAIL93.84
x40.9FAIL94.02
x170.7FAIL94.48
x245.0FAIL94.59
x205.0FAIL94.66
x200.2FAIL95.66
x45.0FAIL95.76
x220.2FAIL95.76
x165.0FAIL95.87
x225.2FAIL95.95
x205.8FAIL96.01
x215.7FAIL96.26
x350.1FAIL96.43
x170.1FAIL96.58
x165.8FAIL96.73
x215.3FAIL96.87
x215.0FAIL97.54
x170.6FAIL97.76
x215.2FAIL97.76
x220.0FAIL97.8
x210.4FAIL97.92
x210.3FAIL97.98
x220.7FAIL98.15
x220.1FAIL98.43
x245.4FAIL98.51
x220.4FAIL98.67
x215.8FAIL98.68
x235.4FAIL98.96
x35.4FAIL99.03
x210.2FAIL99.04
x215.4FAIL99.36
x400.3FAIL99.51
x170.3FAIL99.89
x170.0FAIL100.22
x220.8FAIL100.6
x220.6FAIL100.78
x220.5FAIL101.14
x230.4FAIL101.24
x210.0FAIL101.3
x235.3FAIL101.76
x110.1FAIL102.12
x215.9FAIL102.17
x210.1FAIL102.36
x185.2FAIL102.72
x175.1FAIL103.2
x215.1FAIL103.63
x225.3FAIL103.65
x230.0FAIL103.88
x225.8FAIL103.94
x235.2FAIL104.29
x225.7FAIL104.54
x160.7FAIL104.93
x230.2FAIL104.96
x225.0FAIL105.44
x240.0FAIL105.48
x250.6FAIL105.49
x230.1FAIL105.61
x235.8FAIL105.71
x245.6FAIL106
x170.2FAIL106.04
x300.8FAIL106.09
x245.9FAIL106.17
x240.5FAIL106.36
x225.4FAIL106.43
x300.1FAIL107.07
x225.6FAIL107.18
x230.5FAIL107.25
x175.7FAIL107.36
x175.6FAIL108.61
x230.9FAIL109.08
x225.5FAIL109.09
x230.8FAIL109.2
x235.1FAIL109.22
x230.7FAIL109.42
x240.6FAIL109.83
x250.9FAIL109.85
x250.8FAIL110
x230.3FAIL110.36
x240.3FAIL110.51
x240.4FAIL110.55
x250.4FAIL111.14
x245.1FAIL111.32
x235.0FAIL111.47
x170.5FAIL111.56
x245.3FAIL112.05
x240.7FAIL112.33
x245.5FAIL112.45
x235.5FAIL113.74
x235.7FAIL113.79
x240.9FAIL115.14
x245.8FAIL116.34
x235.9FAIL116.75
x175.4FAIL116.75
x250.2FAIL116.92
x175.3FAIL117.34
x35.7FAIL118.18
x240.1FAIL118.2
x235.6FAIL118.49
x35.2SAT118.55
x245.7FAIL119.42
x250.0FAIL119.58
x240.2FAIL120.16
x175.5FAIL121.42
x250.5FAIL122.05
x300.9FAIL122.12
x250.3FAIL122.49
x230.6FAIL122.77
x300.6FAIL122.82
x250.1FAIL125.71
x180.1FAIL125.72
x240.8FAIL127.68
x175.9FAIL129.63
x175.8FAIL130.02
x300.3FAIL130.28
x200.1FAIL130.29
x250.7FAIL132.79
x300.0FAIL134.58
x180.9FAIL134.85
x175.0FAIL135.09
x35.9FAIL135.32
x35.8SAT135.72
x35.5UNSAT140.09
x300.5FAIL140.56
x35.3FAIL141.59
x300.2FAIL142.52
x205.6FAIL147.47
x300.7FAIL147.75
x220.3FAIL151.81
x300.4FAIL151.99
x180.6FAIL155.38
x225.1FAIL156.63
x225.9FAIL156.64
x35.6UNSAT212.72