Instances of family Strategic_Companies solved by openQbf
QBFEVAL'06

InstanceResultTime
x5.8UNSAT0.17
x5.4UNSAT0.17
x5.6UNSAT0.18
x5.1UNSAT0.18
x5.7UNSAT0.18
x5.2UNSAT0.18
x5.5UNSAT0.2
x5.3UNSAT0.2
x5.9UNSAT0.21
x10.1UNSAT0.23
x10.2UNSAT0.24
x5.0SAT0.24
x10.0UNSAT0.24
x10.9UNSAT0.25
x15.2UNSAT0.26
x10.8UNSAT0.27
x10.3UNSAT0.28
x15.7UNSAT0.29
x10.6UNSAT0.29
x15.5UNSAT0.3
x15.0UNSAT0.3
x15.9UNSAT0.31
x10.5UNSAT0.32
x10.7SAT0.34
x25.8UNSAT0.37
x10.4SAT0.39
x20.3UNSAT0.4
x30.1UNSAT0.45
x15.6UNSAT0.51
x15.1SAT0.59
x15.4UNSAT0.84
x15.3SAT0.87
x15.8SAT1.08
x20.4UNSAT1.85
x20.6SAT2.15
x20.8SAT2.21
x20.2SAT2.31
x20.9SAT2.46
x20.5SAT2.54
x20.0SAT2.65
x20.7SAT2.94
x25.6UNSAT3.14
x20.1UNSAT3.54
x25.9UNSAT4.37
x25.3UNSAT4.72
x25.7UNSAT5.11
x25.4UNSAT5.29
x245.5FAIL5.8
x25.0SAT10.96
x25.5UNSAT14.11
x25.1SAT14.18
x25.2SAT15.01
x30.7UNSAT16.34
x35.5UNSAT17.46
x35.3UNSAT18.14
x200.1FAIL19.44
x30.2UNSAT22.44
x30.0UNSAT26.07
x30.4SAT35.99
x30.9UNSAT39.04
x30.5UNSAT40.42
x35.4UNSAT49.4
x30.6SAT86.95
x30.8UNSAT94.94
x30.3SAT107.42
x35.7UNSAT108.94
x40.4UNSAT129.78
x35.0UNSAT196.26
x35.6UNSAT210.5
x55.8UNSAT254.62
x40.8UNSAT332.48
x35.2SAT357.3
x45.4UNSAT358.43
x40.6UNSAT377.52
x35.8SAT382.39
x35.9SAT436.75
x45.0UNSAT480.65
x40.3UNSAT535.05
x40.2UNSAT543.66
x45.2UNSAT562.81
x35.1SAT579.59
x40.1UNSAT637.17
x40.9UNSAT898.82
x40.5UNSAT1176.75
x50.8UNSAT1309.94
x65.9UNSAT1313.85
x40.0UNSAT1928.6
x45.6UNSAT2234.18
x45.5UNSAT2406.87
x45.9UNSAT2430.71
x165.5FAIL3108.1
x50.7UNSAT3315.53
x45.8UNSAT3680.13
x50.6UNSAT4001.36
x50.2UNSAT4041.77
x45.3SAT4801.73
x50.1UNSAT5107.36
x40.7SAT5206.15
x60.4UNSAT5918.91
x400.6FAIL5999.75
x125.9FAIL5999.93
x400.8FAIL6000.04
x105.4FAIL6000.37
x150.9FAIL6000.41
x150.3FAIL6000.51
x350.2FAIL6000.53
x250.2FAIL6000.56
x130.7FAIL6000.58
x105.0FAIL6000.62
x135.1FAIL6000.62
x200.0FAIL6000.65
x100.7FAIL6000.69
x165.7FAIL6000.7
x55.0FAIL6000.75
x70.6FAIL6000.76
x55.4FAIL6000.76
x235.4FAIL6000.76
x185.4FAIL6000.76
x65.6FAIL6000.77
x85.0FAIL6000.79
x195.9FAIL6000.8
x400.1FAIL6000.8
x105.1FAIL6000.8
x180.7FAIL6000.81
x55.1FAIL6000.81
x160.1FAIL6000.81
x95.0FAIL6000.81
x160.4FAIL6000.81
x55.5FAIL6000.81
x175.0FAIL6000.81
x90.5FAIL6000.82
x150.5FAIL6000.82
x150.6FAIL6000.82
x50.0FAIL6000.82
x105.5FAIL6000.82
x90.7FAIL6000.82
x90.8FAIL6000.82
x150.1FAIL6000.82
x145.5FAIL6000.82
x120.8FAIL6000.82
x55.7FAIL6000.82
x80.1FAIL6000.83
x65.7FAIL6000.83
x125.1FAIL6000.83
x60.3FAIL6000.83
x85.2FAIL6000.83
x65.2FAIL6000.83
x75.7FAIL6000.83
x130.1FAIL6000.83
x95.1FAIL6000.83
x160.5FAIL6000.83
x55.6FAIL6000.83
x65.5FAIL6000.83
x115.3FAIL6000.84
x95.3FAIL6000.84
x60.1FAIL6000.84
x70.5FAIL6000.84
x125.0FAIL6000.84
x90.6FAIL6000.84
x65.0FAIL6000.84
x110.0FAIL6000.84
x130.0FAIL6000.84
x95.6FAIL6000.84
x135.7FAIL6000.84
x140.5FAIL6000.84
x145.3FAIL6000.84
x165.1FAIL6000.84
x75.8FAIL6000.84
x135.0FAIL6000.84
x155.3FAIL6000.84
x50.4FAIL6000.84
x100.0FAIL6000.84
x115.9FAIL6000.84
x85.5FAIL6000.84
x120.7FAIL6000.84
x235.5FAIL6000.84
x60.7FAIL6000.84
x80.0FAIL6000.84
x160.7FAIL6000.85
x125.8FAIL6000.85
x145.8FAIL6000.85
x170.4FAIL6000.85
x180.0FAIL6000.85
x150.7FAIL6000.85
x185.7FAIL6000.85
x75.6FAIL6000.85
x135.6FAIL6000.85
x240.8FAIL6000.85
x210.4FAIL6000.85
x165.9FAIL6000.85
x115.8FAIL6000.85
x140.6FAIL6000.85
x110.3FAIL6000.85
x115.1FAIL6000.85
x240.4FAIL6000.85
x120.1FAIL6000.86
x130.5FAIL6000.86
x200.7FAIL6000.86
x110.6FAIL6000.86
x85.8FAIL6000.86
x160.8FAIL6000.86
x180.1FAIL6000.86
x100.5FAIL6000.86
x110.8FAIL6000.86
x150.0FAIL6000.86
x170.6FAIL6000.86
x180.2FAIL6000.86
x130.9FAIL6000.86
x300.9FAIL6000.86
x170.0FAIL6000.86
x70.2FAIL6000.86
x135.9FAIL6000.86
x155.4FAIL6000.86
x75.1FAIL6000.86
x110.4FAIL6000.86
x80.8FAIL6000.86
x220.4FAIL6000.86
x60.0FAIL6000.86
x100.2FAIL6000.86
x155.6FAIL6000.87
x45.1FAIL6000.87
x200.8FAIL6000.87
x115.5FAIL6000.87
x120.3FAIL6000.87
x55.2FAIL6000.87
x195.3FAIL6000.87
x55.3FAIL6000.87
x120.5FAIL6000.87
x90.1FAIL6000.87
x125.3FAIL6000.87
x85.4FAIL6000.87
x125.4FAIL6000.87
x150.2FAIL6000.87
x170.8FAIL6000.87
x60.6FAIL6000.87
x100.8FAIL6000.87
x65.4FAIL6000.87
x210.6FAIL6000.87
x225.1FAIL6000.87
x90.3FAIL6000.87
x130.3FAIL6000.87
x115.2FAIL6000.87
x145.6FAIL6000.87
x165.4FAIL6000.87
x170.2FAIL6000.87
x135.3FAIL6000.88
x250.9FAIL6000.88
x215.0FAIL6000.88
x80.2FAIL6000.88
x115.4FAIL6000.88
x140.2FAIL6000.88
x160.0FAIL6000.88
x85.9FAIL6000.88
x135.5FAIL6000.88
x145.1FAIL6000.88
x50.9FAIL6000.88
x65.1FAIL6000.88
x120.4FAIL6000.88
x90.0FAIL6000.88
x140.4FAIL6000.88
x155.1FAIL6000.88
x100.6FAIL6000.88
x205.3FAIL6000.88
x70.0FAIL6000.88
x95.7FAIL6000.88
x60.5FAIL6000.88
x105.8FAIL6000.88
x115.0FAIL6000.88
x130.2FAIL6000.88
x135.8FAIL6000.88
x190.0FAIL6000.88
x75.0FAIL6000.88
x175.7FAIL6000.88
x70.3FAIL6000.88
x140.8FAIL6000.88
x180.6FAIL6000.88
x190.2FAIL6000.88
x70.4FAIL6000.88
x85.7FAIL6000.89
x120.9FAIL6000.89
x125.7FAIL6000.89
x140.1FAIL6000.89
x140.9FAIL6000.89
x145.7FAIL6000.89
x120.2FAIL6000.89
x145.0FAIL6000.89
x300.6FAIL6000.89
x155.7FAIL6000.89
x65.8FAIL6000.89
x75.4FAIL6000.89
x170.5FAIL6000.89
x175.3FAIL6000.89
x200.9FAIL6000.89
x105.6FAIL6000.89
x230.4FAIL6000.89
x130.8FAIL6000.89
x150.8FAIL6000.89
x160.2FAIL6000.89
x200.2FAIL6000.89
x70.8FAIL6000.89
x110.9FAIL6000.89
x85.3FAIL6000.89
x300.1FAIL6000.89
x350.5FAIL6000.89
x180.3FAIL6000.89
x50.3FAIL6000.89
x190.7FAIL6000.89
x205.4FAIL6000.89
x70.1FAIL6000.89
x120.6FAIL6000.89
x95.8FAIL6000.89
x145.4FAIL6000.89
x205.5FAIL6000.89
x105.9FAIL6000.89
x80.7FAIL6000.89
x230.7FAIL6000.89
x140.7FAIL6000.89
x250.7FAIL6000.89
x170.1FAIL6000.89
x85.6FAIL6000.89
x250.8FAIL6000.89
x150.4FAIL6000.89
x155.5FAIL6000.89
x350.8FAIL6000.89
x60.8FAIL6000.89
x105.3FAIL6000.89
x75.2FAIL6000.89
x190.3FAIL6000.9
x195.1FAIL6000.9
x180.8FAIL6000.9
x55.9FAIL6000.9
x110.7FAIL6000.9
x70.7FAIL6000.9
x80.4FAIL6000.9
x115.6FAIL6000.9
x145.2FAIL6000.9
x195.4FAIL6000.9
x90.9FAIL6000.9
x230.5FAIL6000.9
x400.9FAIL6000.9
x175.5FAIL6000.9
x185.9FAIL6000.9
x80.6FAIL6000.9
x225.8FAIL6000.9
x165.2FAIL6000.9
x190.8FAIL6000.9
x220.3FAIL6000.9
x95.9FAIL6000.9
x245.9FAIL6000.9
x165.3FAIL6000.9
x45.7FAIL6000.9
x50.5FAIL6000.9
x105.2FAIL6000.9
x210.7FAIL6000.9
x120.0FAIL6000.9
x90.4FAIL6000.9
x130.4FAIL6000.9
x135.2FAIL6000.9
x140.0FAIL6000.9
x245.2FAIL6000.9
x250.1FAIL6000.91
x170.3FAIL6000.91
x100.3FAIL6000.91
x205.8FAIL6000.91
x130.6FAIL6000.91
x235.8FAIL6000.91
x175.2FAIL6000.91
x190.4FAIL6000.91
x60.2FAIL6000.91
x100.4FAIL6000.91
x205.9FAIL6000.91
x75.5FAIL6000.91
x145.9FAIL6000.91
x155.0FAIL6000.91
x155.8FAIL6000.91
x160.9FAIL6000.91
x125.2FAIL6000.91
x235.2FAIL6000.91
x165.0FAIL6000.91
x165.8FAIL6000.91
x110.1FAIL6000.91
x220.1FAIL6000.91
x115.7FAIL6000.91
x220.9FAIL6000.91
x250.5FAIL6000.91
x185.1FAIL6000.91
x200.3FAIL6000.91
x65.3FAIL6000.91
x70.9FAIL6000.91
x110.2FAIL6000.91
x215.5FAIL6000.91
x125.5FAIL6000.91
x400.3FAIL6000.91
x200.5FAIL6000.91
x100.9FAIL6000.91
x235.6FAIL6000.91
x195.8FAIL6000.91
x210.9FAIL6000.92
x110.5FAIL6000.92
x80.9FAIL6000.92
x60.9FAIL6000.92
x230.2FAIL6000.92
x135.4FAIL6000.92
x245.4FAIL6000.92
x165.6FAIL6000.92
x215.1FAIL6000.92
x220.7FAIL6000.92
x235.1FAIL6000.92
x190.5FAIL6000.92
x205.2FAIL6000.92
x155.9FAIL6000.92
x350.4FAIL6000.92
x175.4FAIL6000.92
x190.6FAIL6000.92
x225.7FAIL6000.92
x240.9FAIL6000.92
x155.2FAIL6000.92
x170.7FAIL6000.92
x220.2FAIL6000.92
x230.6FAIL6000.92
x400.2FAIL6000.92
x180.4FAIL6000.92
x225.9FAIL6000.92
x195.7FAIL6000.92
x100.1FAIL6000.92
x215.6FAIL6000.92
x125.6FAIL6000.92
x160.6FAIL6000.92
x400.4FAIL6000.92
x215.8FAIL6000.93
x220.6FAIL6000.93
x225.5FAIL6000.93
x235.9FAIL6000.93
x240.7FAIL6000.93
x225.6FAIL6000.93
x245.6FAIL6000.93
x400.0FAIL6000.93
x185.0FAIL6000.93
x185.8FAIL6000.93
x105.7FAIL6000.93
x160.3FAIL6000.93
x195.5FAIL6000.93
x245.0FAIL6000.93
x245.8FAIL6000.93
x250.6FAIL6000.93
x350.6FAIL6000.93
x195.6FAIL6000.93
x75.9FAIL6000.93
x240.3FAIL6000.93
x170.9FAIL6000.93
x190.9FAIL6000.93
x205.6FAIL6000.93
x210.8FAIL6000.93
x350.0FAIL6000.93
x210.0FAIL6000.93
x220.5FAIL6000.94
x225.3FAIL6000.94
x245.3FAIL6000.94
x300.5FAIL6000.94
x350.9FAIL6000.94
x400.5FAIL6000.94
x175.1FAIL6000.94
x175.9FAIL6000.94
x210.1FAIL6000.94
x75.3FAIL6000.94
x235.0FAIL6000.94
x205.1FAIL6000.94
x80.3FAIL6000.94
x85.1FAIL6000.94
x95.5FAIL6000.94
x250.3FAIL6000.94
x300.7FAIL6000.94
x350.3FAIL6000.94
x400.7FAIL6000.94
x180.9FAIL6000.94
x210.3FAIL6000.94
x300.8FAIL6000.94
x80.5FAIL6000.94
x240.1FAIL6000.94
x245.7FAIL6000.94
x215.4FAIL6000.94
x90.2FAIL6000.94
x350.7FAIL6000.94
x185.3FAIL6000.94
x230.0FAIL6000.94
x95.2FAIL6000.94
x230.8FAIL6000.94
x200.6FAIL6000.94
x240.5FAIL6000.95
x350.1FAIL6000.95
x205.0FAIL6000.95
x95.4FAIL6000.95
x195.2FAIL6000.95
x210.2FAIL6000.95
x140.3FAIL6000.95
x215.2FAIL6000.95
x220.0FAIL6000.95
x220.8FAIL6000.95
x240.0FAIL6000.95
x215.3FAIL6000.95
x235.3FAIL6000.95
x245.1FAIL6000.95
x300.3FAIL6000.95
x180.5FAIL6000.95
x225.2FAIL6000.95
x300.4FAIL6000.95
x195.0FAIL6000.95
x230.1FAIL6000.96
x230.9FAIL6000.96
x225.4FAIL6000.96
x240.6FAIL6000.96
x185.6FAIL6000.96
x215.9FAIL6000.96
x300.0FAIL6000.96
x210.5FAIL6000.96
x225.0FAIL6000.96
x185.2FAIL6000.96
x190.1FAIL6000.96
x250.0FAIL6000.96
x215.7FAIL6000.97
x235.7FAIL6000.97
x185.5FAIL6000.97
x300.2FAIL6000.97
x175.6FAIL6000.97
x200.4FAIL6000.97
x175.8FAIL6000.97
x250.4FAIL6000.98
x240.2FAIL6000.98
x205.7FAIL6000.98
x230.3FAIL6000.99