Instances of family Strategic_Companies solved by preQuantor
QBFEVAL'06

InstanceResultTime
x205.4FAIL0
x215.3FAIL0
x225.7FAIL0
x140.5FAIL0
x245.7FAIL0
x25.3FAIL0
x150.9FAIL0
x350.5FAIL0
x35.3FAIL0
x165.9FAIL0
x400.9FAIL0
x45.5FAIL0
x185.9FAIL0
x5.1UNSAT0
x120.6FAIL0
x250.6FAIL0
x160.4FAIL0
x35.4FAIL0
x40.0FAIL0
x40.8FAIL0
x50.4FAIL0
x5.2UNSAT0
x55.5FAIL0
x5.9UNSAT0
x225.1FAIL0
x135.9FAIL0
x250.7FAIL0
x150.3FAIL0
x25.5FAIL0
x30.1FAIL0
x30.9FAIL0
x45.7FAIL0
x115.2FAIL0
x240.4FAIL0
x140.0FAIL0
x245.2FAIL0
x30.2FAIL0
x45.0FAIL0
x45.8FAIL0
x190.2FAIL0
x5.4UNSAT0
x200.7FAIL0
x215.7FAIL0
x15.3FAIL0
x30.3FAIL0
x45.1FAIL0
x180.7FAIL0
x45.9FAIL0
x185.5FAIL0
x50.7FAIL0
x200.0FAIL0
x210.2FAIL0
x110.6FAIL0
x240.6FAIL0
x250.2FAIL0
x145.8FAIL0
x300.6FAIL0
x155.7FAIL0
x30.4FAIL0
x160.8FAIL0
x35.0FAIL0
x175.2FAIL0
x50.0FAIL0
x50.8FAIL0
x55.1FAIL0
x215.9FAIL0
x125.9FAIL0
x130.7FAIL0
x240.7FAIL0
x35.1FAIL0
x165.7FAIL0
x190.5FAIL0
x55.2FAIL0
x5.5UNSAT0
x105.7FAIL0
x110.8FAIL0
x245.6FAIL0
x25.2FAIL0
x35.2FAIL0
x400.8FAIL0
x180.2FAIL0
x5.7UNSAT0.01
x120.5FAIL0.01
x145.3FAIL0.01
x300.1FAIL0.01
x170.7FAIL0.01
x175.5FAIL0.01
x40.7FAIL0.01
x20.8FAIL0.01
x235.4FAIL0.01
x135.0FAIL0.01
x245.0FAIL0.01
x25.4FAIL0.01
x30.8FAIL0.01
x220.3FAIL0.01
x230.7FAIL0.01
x155.4FAIL0.01
x5.3UNSAT0.01
x140.8FAIL0.01
x150.4FAIL0.01
x40.2FAIL0.01
x50.6FAIL0.01
x245.3FAIL0.01
x10.8FAIL0.01
x115.4FAIL0.01
x25.0FAIL0.01
x25.8FAIL0.01
x180.8FAIL0.01
x235.1FAIL0.01
x350.3FAIL0.01
x180.9FAIL0.01
x50.1FAIL0.01
x20.0FAIL0.01
x220.8FAIL0.01
x400.0FAIL0.01
x175.4FAIL0.01
x5.0SAT0.01
x190.6FAIL0.01
x100.7FAIL0.02
x30.0FAIL0.02
x105.4FAIL0.02
x10.7SAT0.02
x350.2FAIL0.02
x185.6FAIL0.02
x150.7FAIL0.02
x5.6UNSAT0.02
x300.0FAIL0.02
x10.0UNSAT0.03
x10.6UNSAT0.03
x10.1UNSAT0.03
x10.2UNSAT0.03
x10.3UNSAT0.03
x10.9UNSAT0.03
x5.8UNSAT0.04
x10.5UNSAT0.04
x10.4SAT0.04
x15.5UNSAT0.1
x15.6UNSAT0.12
x15.1SAT0.12
x15.4UNSAT0.13
x15.0UNSAT0.14
x15.8SAT0.14
x15.7UNSAT0.15
x15.9UNSAT0.15
x15.2UNSAT0.17
x20.6SAT0.5
x20.4UNSAT0.54
x20.3UNSAT0.79
x20.9SAT0.81
x20.5SAT0.88
x20.7SAT0.95
x20.1UNSAT0.97
x20.2SAT1.27
x25.9UNSAT4.55
x25.7UNSAT5.87
x25.6UNSAT6.67
x25.1SAT10
x30.6SAT19.22
x30.5UNSAT21.14
x85.7FAIL45.52
x30.7UNSAT45.57
x80.8FAIL46.63
x130.0FAIL47.04
x135.4FAIL47.38
x135.7FAIL48.45
x140.1FAIL48.57
x80.3FAIL48.76
x135.3FAIL48.96
x140.9FAIL49.44
x130.1FAIL49.64
x65.5FAIL49.72
x140.4FAIL49.74
x55.4FAIL50.28
x130.6FAIL50.3
x140.2FAIL50.49
x140.7FAIL50.84
x140.6FAIL51.04
x135.8FAIL51.29
x80.9FAIL51.47
x100.0FAIL52.09
x140.3FAIL52.18
x80.7FAIL52.21
x145.6FAIL52.54
x145.9FAIL53.17
x55.3FAIL53.2
x150.2FAIL53.22
x60.9FAIL53.34
x135.6FAIL53.34
x145.7FAIL53.35
x60.1FAIL53.53
x85.8FAIL53.54
x145.2FAIL53.59
x135.5FAIL53.68
x145.4FAIL53.75
x60.0FAIL53.83
x60.2FAIL53.88
x60.6FAIL53.91
x150.1FAIL53.97
x95.5FAIL54.14
x150.8FAIL54.25
x135.1FAIL54.54
x85.6FAIL54.65
x155.5FAIL54.76
x85.1FAIL54.8
x90.5FAIL54.85
x145.5FAIL54.86
x85.9FAIL54.89
x85.2FAIL55.02
x60.7FAIL55.07
x55.0FAIL55.4
x80.2FAIL55.4
x135.2FAIL55.42
x85.4FAIL55.71
x80.0FAIL55.99
x160.9FAIL56.06
x155.0FAIL56.14
x155.3FAIL56.28
x95.0FAIL56.4
x155.6FAIL56.53
x85.3FAIL56.65
x145.0FAIL57.09
x155.8FAIL57.21
x95.6FAIL57.26
x150.5FAIL57.56
x45.3FAIL57.64
x60.4FAIL57.9
x150.6FAIL58.08
x160.3FAIL58.16
x155.2FAIL58.17
x155.9FAIL58.25
x95.3FAIL58.47
x155.1FAIL58.67
x40.4FAIL59.01
x150.0FAIL59.03
x45.6FAIL59.36
x105.2FAIL59.61
x70.3FAIL59.7
x90.4FAIL59.81
x90.6FAIL59.84
x90.2FAIL59.87
x100.6FAIL60.3
x165.3FAIL60.39
x160.5FAIL60.45
x55.7FAIL60.46
x65.9FAIL60.5
x90.8FAIL60.68
x70.2FAIL60.7
x145.1FAIL60.76
x160.6FAIL61.12
x60.3FAIL61.32
x90.9FAIL61.39
x100.4FAIL61.69
x110.9FAIL61.8
x85.0FAIL61.9
x160.2FAIL61.98
x90.0FAIL62
x165.4FAIL62.27
x165.6FAIL62.34
x65.8FAIL62.35
x65.1FAIL62.42
x90.3FAIL62.76
x160.0FAIL62.83
x160.1FAIL62.92
x115.6FAIL62.98
x95.1FAIL63.04
x70.0FAIL63.32
x60.5FAIL63.35
x95.7FAIL63.51
x65.7FAIL63.62
x55.6FAIL63.89
x165.2FAIL63.96
x95.9FAIL63.99
x105.6FAIL64.06
x100.2FAIL64.09
x110.1FAIL65.09
x50.9FAIL65.24
x115.8FAIL65.27
x165.0FAIL65.39
x90.1FAIL65.44
x65.3FAIL65.49
x165.8FAIL65.9
x170.8FAIL65.95
x120.3FAIL66.05
x165.1FAIL66.28
x105.1FAIL66.3
x95.4FAIL66.34
x170.6FAIL66.42
x105.5FAIL66.49
x70.6FAIL67.32
x175.7FAIL67.69
x170.1FAIL67.71
x90.7FAIL67.88
x100.9FAIL68.03
x170.3FAIL68.4
x40.5FAIL68.4
x160.7FAIL68.46
x60.8FAIL68.52
x100.1FAIL68.9
x110.5FAIL69.21
x105.3FAIL69.29
x170.0FAIL69.34
x175.1FAIL69.35
x110.3FAIL69.45
x105.0FAIL69.48
x95.8FAIL69.5
x50.2FAIL69.56
x70.7FAIL69.88
x125.7FAIL70.13
x110.0FAIL70.3
x175.6FAIL70.39
x115.1FAIL70.83
x45.2FAIL70.84
x95.2FAIL70.85
x55.8FAIL71.27
x170.5FAIL71.27
x75.6FAIL71.3
x65.4FAIL71.31
x50.3FAIL71.4
x70.9FAIL71.42
x180.5FAIL71.5
x170.2FAIL71.66
x180.1FAIL71.69
x55.9FAIL71.73
x120.7FAIL71.78
x75.4FAIL71.96
x110.4FAIL71.97
x75.2FAIL72
x180.3FAIL72.3
x115.0FAIL72.71
x100.3FAIL73.18
x65.0FAIL73.3
x170.4FAIL73.32
x120.0FAIL73.44
x65.2FAIL73.46
x225.2FAIL73.82
x115.7FAIL73.89
x175.3FAIL74.35
x100.5FAIL74.36
x75.9FAIL74.55
x175.8FAIL75.1
x180.0FAIL75.16
x220.4FAIL75.2
x175.9FAIL75.72
x180.4FAIL75.8
x105.8FAIL75.81
x125.1FAIL75.91
x120.2FAIL76.26
x115.5FAIL76.35
x170.9FAIL77.37
x225.8FAIL77.54
x230.4FAIL77.76
x120.8FAIL77.86
x70.8FAIL77.94
x125.0FAIL78.11
x105.9FAIL78.23
x230.0FAIL78.23
x115.3FAIL78.38
x40.1FAIL78.52
x110.2FAIL78.55
x45.4FAIL78.8
x70.1FAIL78.81
x185.8FAIL79.03
x175.0FAIL79.25
x110.7FAIL79.64
x65.6FAIL79.65
x225.4FAIL79.69
x115.9FAIL79.7
x235.2FAIL79.76
x100.8FAIL79.81
x70.4FAIL79.85
x35.9FAIL79.86
x165.5FAIL80.03
x225.0FAIL80.09
x195.1FAIL80.12
x125.3FAIL80.2
x185.1FAIL80.23
x75.7FAIL80.32
x230.2FAIL80.43
x230.5FAIL80.57
x185.0FAIL80.66
x235.3FAIL80.69
x225.5FAIL80.84
x185.4FAIL80.88
x195.6FAIL80.94
x225.3FAIL81.1
x120.1FAIL81.36
x75.8FAIL81.52
x70.5FAIL81.72
x235.8FAIL81.88
x120.9FAIL82.14
x230.9FAIL82.41
x185.3FAIL82.65
x125.8FAIL83
x40.9FAIL83.16
x40.6FAIL83.23
x185.2FAIL83.43
x190.4FAIL83.48
x240.5FAIL83.98
x190.1FAIL84.05
x230.3FAIL84.25
x190.3FAIL84.65
x195.8FAIL84.8
x180.6FAIL85.03
x75.5FAIL85.15
x230.8FAIL85.2
x195.9FAIL85.29
x230.1FAIL85.48
x235.0FAIL85.83
x240.0FAIL85.84
x195.3FAIL86.05
x125.5FAIL86.25
x75.3FAIL86.39
x80.1FAIL86.41
x235.5FAIL86.42
x245.9FAIL86.59
x235.7FAIL86.62
x125.2FAIL86.7
x240.3FAIL86.8
x200.6FAIL86.93
x195.2FAIL87.13
x120.4FAIL87.52
x190.0FAIL87.58
x75.1FAIL87.59
x125.6FAIL87.83
x230.6FAIL88.17
x245.5FAIL88.23
x50.5FAIL88.63
x195.0FAIL88.67
x75.0FAIL88.68
x240.9FAIL89.21
x130.2FAIL89.56
x235.9FAIL89.63
x245.8FAIL90.21
x190.8FAIL90.21
x225.9FAIL90.52
x80.4FAIL91.03
x190.9FAIL91.16
x195.7FAIL92.24
x245.4FAIL92.87
x125.4FAIL92.88
x250.3FAIL93.17
x250.8FAIL93.48
x200.8FAIL93.59
x250.0FAIL93.61
x250.9FAIL93.69
x240.1FAIL93.91
x235.6FAIL93.92
x200.5FAIL94.94
x185.7FAIL95.19
x85.5FAIL95.46
x240.8FAIL95.57
x200.3FAIL95.6
x240.2FAIL95.65
x195.4FAIL95.83
x195.5FAIL95.84
x190.7FAIL95.91
x250.4FAIL96.14
x245.1FAIL96.44
x250.5FAIL97.59
x205.8FAIL98.52
x200.9FAIL99.14
x250.1FAIL99.2
x200.4FAIL99.56
x210.8FAIL99.96
x80.6FAIL99.99
x205.9FAIL100.26
x200.2FAIL100.58
x130.4FAIL101.17
x205.3FAIL102.11
x205.1FAIL103
x205.0FAIL103.48
x205.7FAIL104.19
x210.7FAIL104.8
x210.4FAIL105.14
x210.9FAIL105.68
x205.2FAIL105.72
x210.6FAIL106.36
x215.8FAIL106.72
x205.5FAIL106.93
x40.3FAIL106.97
x130.8FAIL108.67
x300.8FAIL109.2
x130.5FAIL109.35
x215.4FAIL109.99
x80.5FAIL111.22
x130.9FAIL111.26
x220.5FAIL111.84
x210.5FAIL112.62
x130.3FAIL112.77
x215.6FAIL112.95
x300.9FAIL113.69
x200.1FAIL114.05
x215.2FAIL114.4
x215.5FAIL114.47
x210.3FAIL116.42
x210.1FAIL116.49
x215.0FAIL117.46
x210.0FAIL117.95
x350.0FAIL119.63
x300.3FAIL123.77
x350.9FAIL125.74
x220.2FAIL126.67
x300.2FAIL128.18
x205.6FAIL128.24
x300.5FAIL128.86
x300.4FAIL130.79
x300.7FAIL131.96
x220.9FAIL134.69
x220.6FAIL140.97
x220.7FAIL144.38
x350.4FAIL148.11
x215.1FAIL150.8
x350.6FAIL152.62
x35.5UNSAT152.87
x220.0FAIL152.95
x350.7FAIL154.46
x400.4FAIL156.97
x220.1FAIL157.69
x225.6FAIL160.12
x400.6FAIL161.49
x350.8FAIL162.73
x350.1FAIL166.36
x400.1FAIL170.27
x35.7FAIL173.44
x400.2FAIL178.29
x400.7FAIL188.58
x400.5FAIL189.74
x400.3FAIL204.39
x35.8SAT212.32
x35.6UNSAT348.59