Instances of family Strategic_Companies solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
x5.4UNSAT0
x5.5UNSAT0
x5.6UNSAT0
x5.2UNSAT0
x5.9UNSAT0
x10.7SAT0.01
x5.0SAT0.01
x5.1UNSAT0.01
x5.7UNSAT0.01
x5.8UNSAT0.01
x5.3UNSAT0.01
x10.5UNSAT0.02
x10.4SAT0.03
x15.3SAT0.14
x10.2UNSAT0.18
x10.3UNSAT0.19
x10.0UNSAT0.2
x10.8UNSAT0.2
x10.9UNSAT0.2
x10.6UNSAT0.24
x10.1UNSAT0.25
x15.8SAT0.28
x15.1SAT0.28
x15.4UNSAT0.4
x15.6UNSAT0.55
x20.8SAT0.82
x20.0SAT0.84
x20.7SAT0.85
x20.2SAT0.91
x15.0UNSAT0.92
x20.9SAT0.93
x20.6SAT1.05
x20.5SAT1.09
x15.5UNSAT1.13
x15.7UNSAT1.2
x15.9UNSAT1.21
x15.2UNSAT1.35
x20.1UNSAT1.54
x20.4UNSAT1.64
x25.0SAT2.14
x25.7UNSAT2.17
x25.2SAT2.78
x25.1SAT3.2
x20.3UNSAT3.31
x25.3UNSAT3.58
x25.5UNSAT4.07
x25.4UNSAT4.59
x25.6UNSAT5.18
x25.9UNSAT8.19
x30.6SAT8.57
x30.4SAT9.43
x30.8UNSAT9.58
x25.8UNSAT12.02
x30.3SAT13.01
x30.9UNSAT14.63
x30.0UNSAT15.98
x30.7UNSAT16.36
x30.5UNSAT17.98
x30.2UNSAT18.41
x30.1UNSAT31.78
x35.8SAT74.85
x35.2SAT86.11
x35.0UNSAT88.71
x35.5UNSAT91.11
x35.7UNSAT113.11
x35.4UNSAT120.11
x35.1SAT128.99
x35.3UNSAT168.81
x40.3FAIL326.86
x40.9UNSAT515.49
x175.0FAIL528.42
x145.0FAIL581.21
x220.0FAIL599.83
x215.6FAIL600.97
x225.6FAIL658.26
x245.9FAIL676.49
x225.0FAIL795.56
x240.4FAIL810.27
x205.5FAIL846.9
x400.4FAIL976.27
x145.7FAIL1011.01
x225.7FAIL1048.45
x175.4FAIL1098.61
x185.4FAIL1137.48
x35.9SAT1140.1
x235.2FAIL1229.38
x145.8FAIL1233.72
x220.5FAIL1250.79
x215.2FAIL1276.86
x180.2FAIL1307.25
x40.6UNSAT1313.97
x210.9FAIL1343.74
x235.5FAIL1393.08
x300.6FAIL1413.84
x45.1FAIL1421.05
x125.4FAIL1538.51
x220.3FAIL1644.6
x40.2UNSAT1686.69
x100.7FAIL1712.08
x175.1FAIL1724.42
x130.8FAIL1856.03
x200.8FAIL1859.06
x40.1UNSAT1861.23
x45.7FAIL1891.88
x250.2FAIL1892.18
x115.0FAIL1901.6
x40.7SAT1977.14
x230.8FAIL1978.61
x45.6FAIL1980.99
x210.6FAIL2020.89
x105.0FAIL2032.97
x105.3FAIL2117.7
x175.7FAIL2147.33
x110.1FAIL2177.56
x105.5FAIL2198.74
x140.1FAIL2229.3
x210.4FAIL2283.22
x175.6FAIL2292.44
x235.3FAIL2312.15
x195.6FAIL2324.68
x185.6FAIL2366.74
x40.4UNSAT2400.74
x135.4FAIL2411.09
x185.3FAIL2445.3
x400.5FAIL2453.1
x215.9FAIL2457.4
x50.9FAIL2464.38
x150.9FAIL2525.29
x145.3FAIL2529.83
x300.4FAIL2562.85
x230.3FAIL2591.16
x165.6FAIL2626.93
x110.6FAIL2672.33
x225.9FAIL2709.43
x170.4FAIL2836.46
x240.1FAIL2904.11
x40.5UNSAT2904.23
x190.3FAIL2967.83
x145.9FAIL3010.36
x140.0FAIL3024.87
x45.3FAIL3123.5
x140.2FAIL3167.53
x140.3FAIL3199.27
x190.6FAIL3201.87
x120.8FAIL3202.77
x45.9FAIL3219.27
x115.3FAIL3227.2
x165.8FAIL3235.2
x165.0FAIL3249.7
x155.2FAIL3255.43
x170.6FAIL3404.19
x40.0UNSAT3432.44
x300.5FAIL3551.06
x55.5FAIL3652.81
x130.0FAIL3657.8
x205.8FAIL3762.99
x185.9FAIL3869.96
x45.5FAIL3984.85
x150.2FAIL3995.56
x150.8FAIL4068.04
x165.3FAIL4089.61
x130.1FAIL4160.49
x235.6FAIL4172.35
x155.3FAIL4204.74
x155.4FAIL4285.51
x165.5FAIL4338.05
x150.6FAIL4349.69
x250.0FAIL4353.42
x110.2FAIL4531.15
x160.5FAIL4577.83
x105.8FAIL4588.43
x135.0FAIL4686.07
x120.6FAIL4789.12
x160.6FAIL4829.14
x40.8UNSAT4989.57
x130.6FAIL5003.68
x165.9FAIL5071.86
x105.7FAIL5115.42
x190.1FAIL5130.95
x160.9FAIL5207.21
x110.0FAIL5297.47
x200.1FAIL5305.9
x230.7FAIL5445.58
x105.2FAIL5478.91
x125.8FAIL5495.7
x120.7FAIL5584
x110.7FAIL5638.39
x50.3FAIL5709.59
x145.4FAIL5721.13
x100.9FAIL5730.61
x155.9FAIL5766
x50.1FAIL5771.98
x135.5FAIL5844.74
x115.9FAIL5955.52
x45.0FAIL5971.69
x130.9FAIL5984.04
x100.1FAIL5992.53
x150.4FAIL5994.79
x120.5FAIL5996.04
x160.8FAIL5997.97
x130.5FAIL5998.2
x135.1FAIL5999.14
x140.8FAIL5999.58
x145.2FAIL5999.61
x140.4FAIL5999.65
x125.9FAIL5999.78
x90.9FAIL5999.82
x100.8FAIL5999.84
x90.4FAIL5999.89
x230.0FAIL5999.9
x130.7FAIL5999.91
x95.7FAIL5999.95
x90.1FAIL5999.96
x145.5FAIL5999.97
x135.8FAIL5999.99
x205.6FAIL5999.99
x50.5FAIL6000
x135.2FAIL6000.04
x150.1FAIL6000.12
x105.1FAIL6000.13
x100.5FAIL6000.19
x175.3FAIL6000.19
x110.9FAIL6000.19
x160.0FAIL6000.22
x225.8FAIL6000.23
x115.4FAIL6000.25
x220.9FAIL6000.27
x125.6FAIL6000.28
x140.7FAIL6000.3
x160.1FAIL6000.31
x45.8FAIL6000.33
x210.1FAIL6000.33
x125.7FAIL6000.33
x190.7FAIL6000.33
x90.5FAIL6000.34
x180.4FAIL6000.34
x125.5FAIL6000.34
x130.2FAIL6000.36
x170.0FAIL6000.36
x135.7FAIL6000.37
x100.0FAIL6000.37
x90.7FAIL6000.38
x130.3FAIL6000.38
x120.9FAIL6000.39
x80.6FAIL6000.39
x105.9FAIL6000.4
x85.4FAIL6000.4
x140.9FAIL6000.41
x250.6FAIL6000.41
x50.0FAIL6000.42
x120.4FAIL6000.42
x80.3FAIL6000.43
x85.1FAIL6000.43
x50.2FAIL6000.43
x150.5FAIL6000.44
x85.8FAIL6000.44
x300.7FAIL6000.44
x240.8FAIL6000.44
x85.5FAIL6000.44
x125.0FAIL6000.45
x75.7FAIL6000.45
x90.3FAIL6000.45
x60.9FAIL6000.46
x50.8FAIL6000.46
x110.4FAIL6000.47
x110.5FAIL6000.47
x240.5FAIL6000.47
x180.1FAIL6000.47
x200.5FAIL6000.48
x100.3FAIL6000.49
x115.5FAIL6000.49
x150.7FAIL6000.49
x115.6FAIL6000.49
x215.4FAIL6000.49
x95.9FAIL6000.49
x55.1FAIL6000.5
x240.9FAIL6000.5
x125.2FAIL6000.51
x165.2FAIL6000.51
x170.1FAIL6000.52
x115.2FAIL6000.53
x50.7FAIL6000.53
x195.9FAIL6000.53
x125.1FAIL6000.53
x200.4FAIL6000.53
x80.9FAIL6000.54
x100.6FAIL6000.54
x110.8FAIL6000.54
x65.4FAIL6000.54
x90.2FAIL6000.54
x95.8FAIL6000.54
x85.7FAIL6000.55
x185.5FAIL6000.55
x165.7FAIL6000.55
x210.5FAIL6000.55
x350.3FAIL6000.56
x85.3FAIL6000.56
x75.9FAIL6000.57
x170.9FAIL6000.57
x120.0FAIL6000.58
x55.9FAIL6000.58
x85.0FAIL6000.58
x55.2FAIL6000.58
x120.3FAIL6000.58
x120.1FAIL6000.59
x80.2FAIL6000.59
x90.0FAIL6000.59
x95.1FAIL6000.59
x85.6FAIL6000.6
x120.2FAIL6000.6
x60.0FAIL6000.61
x100.2FAIL6000.61
x95.2FAIL6000.61
x155.0FAIL6000.61
x80.4FAIL6000.62
x70.1FAIL6000.62
x75.0FAIL6000.62
x230.6FAIL6000.62
x240.3FAIL6000.62
x55.7FAIL6000.64
x60.6FAIL6000.64
x95.3FAIL6000.65
x245.3FAIL6000.65
x350.9FAIL6000.65
x200.0FAIL6000.65
x220.1FAIL6000.65
x300.1FAIL6000.65
x220.2FAIL6000.65
x140.6FAIL6000.65
x300.2FAIL6000.65
x80.7FAIL6000.65
x200.7FAIL6000.66
x155.6FAIL6000.66
x70.6FAIL6000.66
x65.9FAIL6000.66
x115.7FAIL6000.66
x180.5FAIL6000.66
x60.5FAIL6000.67
x80.5FAIL6000.67
x125.3FAIL6000.67
x140.5FAIL6000.67
x70.2FAIL6000.67
x100.4FAIL6000.68
x90.6FAIL6000.68
x95.4FAIL6000.68
x190.5FAIL6000.68
x60.2FAIL6000.69
x180.0FAIL6000.69
x45.2FAIL6000.69
x55.3FAIL6000.69
x95.6FAIL6000.69
x65.3FAIL6000.69
x105.4FAIL6000.7
x75.3FAIL6000.7
x135.3FAIL6000.7
x230.2FAIL6000.7
x65.2FAIL6000.7
x150.0FAIL6000.7
x205.4FAIL6000.7
x75.1FAIL6000.7
x165.4FAIL6000.71
x65.8FAIL6000.71
x65.1FAIL6000.71
x155.8FAIL6000.71
x70.3FAIL6000.71
x245.1FAIL6000.71
x250.7FAIL6000.71
x80.0FAIL6000.72
x145.6FAIL6000.72
x200.9FAIL6000.72
x90.8FAIL6000.72
x115.8FAIL6000.72
x80.8FAIL6000.73
x240.0FAIL6000.73
x185.0FAIL6000.73
x55.4FAIL6000.73
x195.7FAIL6000.73
x70.7FAIL6000.74
x85.9FAIL6000.74
x70.9FAIL6000.74
x95.0FAIL6000.74
x180.8FAIL6000.75
x215.3FAIL6000.75
x110.3FAIL6000.75
x65.6FAIL6000.76
x55.6FAIL6000.76
x60.8FAIL6000.77
x180.6FAIL6000.77
x80.1FAIL6000.77
x195.4FAIL6000.77
x155.1FAIL6000.77
x50.6FAIL6000.78
x75.2FAIL6000.78
x55.8FAIL6000.78
x160.2FAIL6000.78
x95.5FAIL6000.79
x85.2FAIL6000.79
x350.4FAIL6000.79
x45.4FAIL6000.79
x135.9FAIL6000.79
x75.5FAIL6000.8
x75.4FAIL6000.81
x105.6FAIL6000.81
x65.7FAIL6000.82
x65.0FAIL6000.83
x75.6FAIL6000.83
x60.7FAIL6000.83
x70.5FAIL6000.84
x350.2FAIL6000.84
x60.4FAIL6000.84
x65.5FAIL6000.84
x55.0FAIL6000.86
x60.1FAIL6000.86
x400.8FAIL6000.86
x400.0FAIL6000.87
x400.6FAIL6000.88
x60.3FAIL6000.88
x70.8FAIL6000.88
x350.0FAIL6000.89
x70.0FAIL6000.89
x70.4FAIL6000.9
x50.4FAIL6000.9
x75.8FAIL6000.9
x400.7FAIL6000.91
x400.1FAIL6000.91
x400.2FAIL6000.91
x350.7FAIL6000.91
x400.3FAIL6000.91
x250.1FAIL6000.92
x350.1FAIL6000.92
x250.4FAIL6000.92
x300.0FAIL6000.92
x350.6FAIL6000.92
x35.6FAIL6000.93
x215.7FAIL6000.93
x250.9FAIL6000.93
x245.4FAIL6000.93
x245.5FAIL6000.93
x350.5FAIL6000.93
x190.9FAIL6000.93
x210.7FAIL6000.93
x215.5FAIL6000.93
x245.2FAIL6000.94
x350.8FAIL6000.94
x195.1FAIL6000.94
x205.0FAIL6000.94
x215.8FAIL6000.94
x185.7FAIL6000.94
x220.7FAIL6000.94
x235.1FAIL6000.94
x245.6FAIL6000.94
x250.5FAIL6000.94
x300.9FAIL6000.94
x185.1FAIL6000.94
x240.2FAIL6000.94
x245.8FAIL6000.94
x300.3FAIL6000.94
x210.8FAIL6000.95
x220.4FAIL6000.95
x250.8FAIL6000.95
x230.1FAIL6000.95
x160.7FAIL6000.95
x170.3FAIL6000.95
x205.1FAIL6000.95
x220.6FAIL6000.95
x155.7FAIL6000.95
x210.3FAIL6000.95
x250.3FAIL6000.95
x300.8FAIL6000.95
x245.7FAIL6000.95
x400.9FAIL6000.95
x235.4FAIL6000.95
x245.0FAIL6000.95
x195.8FAIL6000.96
x130.4FAIL6000.96
x235.7FAIL6000.96
x215.0FAIL6000.96
x225.4FAIL6000.96
x235.0FAIL6000.96
x235.8FAIL6000.96
x240.6FAIL6000.96
x195.3FAIL6000.96
x215.1FAIL6000.96
x235.9FAIL6000.96
x185.8FAIL6000.96
x220.8FAIL6000.96
x200.3FAIL6000.96
x230.5FAIL6000.96
x180.3FAIL6000.96
x190.0FAIL6000.96
x225.1FAIL6000.96
x190.2FAIL6000.97
x205.7FAIL6000.97
x210.0FAIL6000.97
x225.2FAIL6000.97
x230.9FAIL6000.97
x190.4FAIL6000.97
x195.2FAIL6000.97
x205.9FAIL6000.97
x210.2FAIL6000.97
x175.2FAIL6000.97
x225.5FAIL6000.97
x145.1FAIL6000.97
x170.5FAIL6000.97
x180.9FAIL6000.97
x200.2FAIL6000.97
x205.3FAIL6000.97
x230.4FAIL6000.97
x195.5FAIL6000.97
x165.1FAIL6000.97
x170.7FAIL6000.97
x175.5FAIL6000.97
x190.8FAIL6000.97
x160.4FAIL6000.97
x195.0FAIL6000.98
x200.6FAIL6000.98
x175.8FAIL6000.98
x225.3FAIL6000.98
x175.9FAIL6000.98
x170.8FAIL6000.98
x185.2FAIL6000.98
x115.1FAIL6000.98
x150.3FAIL6000.98
x155.5FAIL6000.99
x170.2FAIL6000.99
x180.7FAIL6000.99
x205.2FAIL6000.99
x240.7FAIL6000.99
x160.3FAIL6000.99
x135.6FAIL6001