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

InstanceResultTime
x5.3UNSAT0
x5.6UNSAT0
x5.9UNSAT0.01
x5.4UNSAT0.01
x5.5UNSAT0.01
x5.0SAT0.01
x5.1UNSAT0.01
x5.2UNSAT0.01
x5.8UNSAT0.01
x5.7UNSAT0.03
x10.0UNSAT0.04
x10.2UNSAT0.04
x10.5UNSAT0.05
x10.1UNSAT0.06
x10.7SAT0.06
x10.8UNSAT0.06
x10.3UNSAT0.06
x10.4SAT0.06
x10.9UNSAT0.07
x10.6UNSAT0.08
x15.6UNSAT0.25
x15.4UNSAT0.29
x15.7UNSAT9.61
x15.3SAT10.07
x15.2UNSAT10.13
x15.0UNSAT10.3
x15.1SAT10.33
x15.8SAT10.38
x15.5UNSAT10.49
x15.9UNSAT10.64
x20.2SAT28.16
x20.6SAT28.52
x20.5SAT29.75
x20.4UNSAT34.38
x20.0SAT37.69
x20.1UNSAT92.67
x20.3UNSAT94.32
x20.9SAT94.96
x20.7SAT99.61
x20.8SAT102.56
x25.6UNSAT224.95
x25.0SAT254.3
x25.3UNSAT262.87
x25.1SAT263.5
x25.7UNSAT344.05
x25.8FAIL596.74
x25.9FAIL599.92
x140.6FAIL600.9
x30.2FAIL1178.45
x30.4SAT1351.48
x30.0UNSAT1413.47
x30.5FAIL1453.22
x25.2FAIL1680.83
x30.1UNSAT1731.64
x30.3SAT1740.99
x25.5FAIL1817.07
x30.6SAT1820.07
x30.7FAIL1938.22
x30.9FAIL2488.45
x25.4FAIL2667.46
x30.8FAIL4643.99
x60.1FAIL5999.94
x50.1FAIL5999.96
x350.4FAIL6000.06
x245.8FAIL6000.07
x110.4FAIL6000.13
x300.6FAIL6000.14
x160.4FAIL6000.15
x35.8FAIL6000.16
x95.9FAIL6000.17
x350.0FAIL6000.19
x50.2FAIL6000.2
x130.5FAIL6000.22
x60.2FAIL6000.25
x55.1FAIL6000.3
x215.9FAIL6000.3
x140.7FAIL6000.31
x120.0FAIL6000.32
x100.6FAIL6000.32
x180.9FAIL6000.33
x170.2FAIL6000.34
x60.9FAIL6000.35
x125.7FAIL6000.36
x225.1FAIL6000.38
x65.2FAIL6000.39
x235.3FAIL6000.41
x90.2FAIL6000.41
x40.4FAIL6000.42
x55.3FAIL6000.43
x215.2FAIL6000.43
x85.3FAIL6000.44
x230.9FAIL6000.45
x60.0FAIL6000.47
x115.5FAIL6000.47
x150.0FAIL6000.47
x110.8FAIL6000.47
x65.1FAIL6000.48
x80.3FAIL6000.48
x80.9FAIL6000.49
x115.2FAIL6000.5
x110.9FAIL6000.5
x95.3FAIL6000.51
x120.7FAIL6000.52
x55.8FAIL6000.52
x50.0FAIL6000.52
x50.6FAIL6000.53
x80.8FAIL6000.53
x65.9FAIL6000.53
x90.7FAIL6000.53
x105.0FAIL6000.53
x75.8FAIL6000.53
x70.4FAIL6000.54
x35.7FAIL6000.54
x45.2FAIL6000.54
x95.5FAIL6000.54
x75.6FAIL6000.54
x150.1FAIL6000.54
x80.5FAIL6000.54
x350.7FAIL6000.55
x100.2FAIL6000.55
x70.5FAIL6000.55
x155.7FAIL6000.55
x160.8FAIL6000.55
x180.8FAIL6000.55
x50.9FAIL6000.55
x35.2FAIL6000.55
x80.4FAIL6000.55
x40.8FAIL6000.55
x190.8FAIL6000.55
x45.9FAIL6000.56
x85.8FAIL6000.56
x55.2FAIL6000.56
x70.0FAIL6000.56
x115.6FAIL6000.56
x120.4FAIL6000.56
x150.9FAIL6000.56
x100.0FAIL6000.56
x60.7FAIL6000.57
x110.3FAIL6000.57
x75.2FAIL6000.57
x100.5FAIL6000.57
x75.5FAIL6000.57
x110.7FAIL6000.57
x200.2FAIL6000.57
x65.3FAIL6000.57
x170.0FAIL6000.57
x85.4FAIL6000.57
x100.9FAIL6000.58
x240.3FAIL6000.58
x235.6FAIL6000.58
x135.2FAIL6000.58
x50.7FAIL6000.58
x110.5FAIL6000.58
x80.1FAIL6000.58
x85.7FAIL6000.58
x100.4FAIL6000.58
x35.3FAIL6000.58
x115.8FAIL6000.58
x95.0FAIL6000.58
x95.8FAIL6000.58
x115.1FAIL6000.59
x125.6FAIL6000.59
x170.5FAIL6000.59
x150.8FAIL6000.59
x90.9FAIL6000.59
x65.4FAIL6000.59
x85.0FAIL6000.6
x165.0FAIL6000.6
x90.0FAIL6000.6
x90.8FAIL6000.6
x80.6FAIL6000.6
x80.7FAIL6000.61
x105.3FAIL6000.61
x145.7FAIL6000.61
x115.3FAIL6000.61
x140.2FAIL6000.61
x120.3FAIL6000.61
x125.9FAIL6000.61
x40.7FAIL6000.61
x70.1FAIL6000.61
x210.5FAIL6000.61
x125.3FAIL6000.61
x95.7FAIL6000.61
x75.0FAIL6000.61
x65.0FAIL6000.62
x125.0FAIL6000.62
x90.6FAIL6000.62
x130.0FAIL6000.62
x135.7FAIL6000.62
x50.5FAIL6000.63
x75.1FAIL6000.63
x95.1FAIL6000.63
x140.8FAIL6000.63
x45.0FAIL6000.63
x195.1FAIL6000.63
x150.6FAIL6000.63
x220.0FAIL6000.63
x110.1FAIL6000.63
x130.9FAIL6000.63
x60.6FAIL6000.63
x115.0FAIL6000.63
x120.9FAIL6000.64
x235.7FAIL6000.64
x140.1FAIL6000.64
x200.0FAIL6000.64
x105.5FAIL6000.64
x40.5FAIL6000.64
x215.1FAIL6000.64
x85.9FAIL6000.64
x40.6FAIL6000.64
x185.8FAIL6000.64
x175.5FAIL6000.64
x45.5FAIL6000.64
x105.8FAIL6000.64
x120.5FAIL6000.64
x130.1FAIL6000.64
x180.4FAIL6000.64
x185.2FAIL6000.64
x200.4FAIL6000.64
x180.6FAIL6000.65
x55.7FAIL6000.65
x60.8FAIL6000.65
x230.8FAIL6000.65
x350.1FAIL6000.65
x40.3FAIL6000.65
x195.9FAIL6000.65
x75.3FAIL6000.65
x350.2FAIL6000.65
x135.4FAIL6000.65
x155.8FAIL6000.65
x105.6FAIL6000.65
x300.1FAIL6000.65
x100.7FAIL6000.65
x225.2FAIL6000.66
x130.4FAIL6000.66
x105.4FAIL6000.66
x120.1FAIL6000.66
x90.5FAIL6000.66
x150.7FAIL6000.66
x185.7FAIL6000.66
x250.4FAIL6000.66
x105.7FAIL6000.66
x240.8FAIL6000.66
x170.7FAIL6000.66
x60.5FAIL6000.66
x70.9FAIL6000.66
x75.7FAIL6000.66
x105.9FAIL6000.66
x135.8FAIL6000.66
x150.3FAIL6000.67
x130.3FAIL6000.67
x220.4FAIL6000.67
x120.8FAIL6000.67
x140.0FAIL6000.67
x175.9FAIL6000.67
x175.2FAIL6000.67
x115.4FAIL6000.67
x145.9FAIL6000.67
x35.9FAIL6000.67
x130.7FAIL6000.67
x135.5FAIL6000.67
x240.7FAIL6000.67
x165.8FAIL6000.67
x45.4FAIL6000.67
x145.3FAIL6000.67
x100.8FAIL6000.67
x70.2FAIL6000.67
x120.6FAIL6000.67
x130.2FAIL6000.67
x145.5FAIL6000.68
x250.7FAIL6000.68
x90.3FAIL6000.68
x135.1FAIL6000.68
x160.6FAIL6000.68
x45.8FAIL6000.68
x200.6FAIL6000.68
x95.2FAIL6000.68
x205.8FAIL6000.68
x195.2FAIL6000.68
x95.4FAIL6000.68
x160.1FAIL6000.68
x70.7FAIL6000.68
x140.3FAIL6000.68
x110.0FAIL6000.68
x155.2FAIL6000.68
x125.4FAIL6000.68
x35.5FAIL6000.69
x40.1FAIL6000.69
x100.1FAIL6000.69
x105.2FAIL6000.69
x195.8FAIL6000.69
x80.0FAIL6000.69
x140.9FAIL6000.69
x150.5FAIL6000.69
x65.8FAIL6000.69
x165.7FAIL6000.69
x45.3FAIL6000.69
x225.5FAIL6000.69
x145.2FAIL6000.69
x160.2FAIL6000.69
x230.4FAIL6000.69
x300.9FAIL6000.69
x55.4FAIL6000.69
x90.1FAIL6000.69
x105.1FAIL6000.69
x160.5FAIL6000.7
x55.6FAIL6000.7
x200.5FAIL6000.7
x70.3FAIL6000.7
x85.5FAIL6000.7
x135.9FAIL6000.7
x165.4FAIL6000.7
x40.2FAIL6000.7
x195.0FAIL6000.7
x205.7FAIL6000.7
x65.7FAIL6000.7
x125.8FAIL6000.7
x145.1FAIL6000.7
x200.1FAIL6000.7
x190.6FAIL6000.7
x195.4FAIL6000.7
x60.4FAIL6000.7
x70.8FAIL6000.7
x125.2FAIL6000.7
x200.3FAIL6000.7
x170.8FAIL6000.7
x40.0FAIL6000.7
x45.7FAIL6000.71
x190.9FAIL6000.71
x115.9FAIL6000.71
x250.2FAIL6000.71
x145.8FAIL6000.71
x205.1FAIL6000.71
x75.4FAIL6000.71
x110.6FAIL6000.71
x215.8FAIL6000.71
x155.0FAIL6000.71
x350.3FAIL6000.71
x160.9FAIL6000.71
x35.1FAIL6000.71
x175.3FAIL6000.71
x85.1FAIL6000.71
x155.1FAIL6000.71
x400.8FAIL6000.71
x185.0FAIL6000.71
x95.6FAIL6000.71
x245.7FAIL6000.71
x165.9FAIL6000.71
x140.5FAIL6000.71
x150.2FAIL6000.71
x175.6FAIL6000.71
x110.2FAIL6000.71
x165.3FAIL6000.72
x155.5FAIL6000.72
x65.6FAIL6000.72
x210.8FAIL6000.72
x85.6FAIL6000.72
x230.0FAIL6000.72
x240.4FAIL6000.72
x135.3FAIL6000.72
x145.0FAIL6000.72
x70.6FAIL6000.72
x230.2FAIL6000.72
x200.9FAIL6000.72
x165.1FAIL6000.72
x185.9FAIL6000.72
x165.2FAIL6000.72
x35.4FAIL6000.72
x50.4FAIL6000.72
x235.4FAIL6000.72
x240.2FAIL6000.72
x300.3FAIL6000.73
x175.7FAIL6000.73
x40.9FAIL6000.73
x210.7FAIL6000.73
x350.8FAIL6000.73
x190.2FAIL6000.73
x45.1FAIL6000.73
x245.4FAIL6000.73
x180.0FAIL6000.73
x55.9FAIL6000.73
x215.0FAIL6000.73
x190.5FAIL6000.73
x230.3FAIL6000.73
x235.9FAIL6000.73
x155.9FAIL6000.73
x85.2FAIL6000.73
x220.1FAIL6000.73
x115.7FAIL6000.73
x230.5FAIL6000.73
x145.4FAIL6000.73
x155.4FAIL6000.74
x150.4FAIL6000.74
x35.6FAIL6000.74
x185.4FAIL6000.74
x55.0FAIL6000.74
x200.7FAIL6000.74
x215.7FAIL6000.74
x160.0FAIL6000.74
x165.6FAIL6000.74
x170.4FAIL6000.74
x210.3FAIL6000.74
x125.1FAIL6000.74
x170.6FAIL6000.74
x135.6FAIL6000.74
x190.0FAIL6000.74
x170.9FAIL6000.75
x65.5FAIL6000.75
x300.5FAIL6000.75
x170.3FAIL6000.75
x185.5FAIL6000.75
x205.9FAIL6000.75
x120.2FAIL6000.75
x220.7FAIL6000.75
x205.4FAIL6000.75
x155.3FAIL6000.75
x55.5FAIL6000.75
x210.6FAIL6000.75
x170.1FAIL6000.76
x205.6FAIL6000.76
x75.9FAIL6000.76
x125.5FAIL6000.76
x230.7FAIL6000.76
x210.0FAIL6000.76
x175.1FAIL6000.76
x180.7FAIL6000.76
x35.0FAIL6000.76
x80.2FAIL6000.76
x60.3FAIL6000.76
x300.8FAIL6000.76
x210.4FAIL6000.76
x50.3FAIL6000.76
x225.7FAIL6000.76
x45.6FAIL6000.76
x135.0FAIL6000.76
x215.5FAIL6000.77
x235.5FAIL6000.77
x215.6FAIL6000.77
x90.4FAIL6000.77
x155.6FAIL6000.77
x350.9FAIL6000.77
x165.5FAIL6000.77
x210.9FAIL6000.77
x130.6FAIL6000.77
x400.0FAIL6000.77
x180.2FAIL6000.77
x140.4FAIL6000.77
x220.2FAIL6000.77
x245.0FAIL6000.77
x180.5FAIL6000.78
x245.1FAIL6000.78
x250.0FAIL6000.78
x225.3FAIL6000.78
x230.1FAIL6000.78
x50.8FAIL6000.78
x225.4FAIL6000.78
x235.8FAIL6000.78
x220.8FAIL6000.78
x190.7FAIL6000.78
x195.5FAIL6000.78
x220.9FAIL6000.78
x300.2FAIL6000.78
x350.6FAIL6000.78
x220.3FAIL6000.79
x210.1FAIL6000.79
x245.3FAIL6000.79
x400.6FAIL6000.79
x190.4FAIL6000.79
x195.3FAIL6000.79
x235.1FAIL6000.79
x245.6FAIL6000.79
x235.2FAIL6000.79
x240.0FAIL6000.79
x400.1FAIL6000.79
x240.1FAIL6000.79
x215.4FAIL6000.79
x225.8FAIL6000.79
x185.3FAIL6000.8
x225.9FAIL6000.8
x145.6FAIL6000.8
x250.1FAIL6000.8
x160.7FAIL6000.8
x205.0FAIL6000.8
x220.5FAIL6000.8
x210.2FAIL6000.8
x175.4FAIL6000.8
x250.6FAIL6000.8
x195.6FAIL6000.8
x195.7FAIL6000.81
x250.8FAIL6000.81
x175.0FAIL6000.81
x205.2FAIL6000.81
x205.3FAIL6000.81
x205.5FAIL6000.81
x230.6FAIL6000.81
x175.8FAIL6000.82
x190.3FAIL6000.82
x100.3FAIL6000.82
x240.6FAIL6000.82
x250.3FAIL6000.82
x180.1FAIL6000.82
x250.5FAIL6000.82
x185.1FAIL6000.82
x225.0FAIL6000.82
x300.4FAIL6000.83
x245.2FAIL6000.83
x200.8FAIL6000.83
x235.0FAIL6000.83
x180.3FAIL6000.83
x400.2FAIL6000.83
x185.6FAIL6000.84
x220.6FAIL6000.84
x300.7FAIL6000.84
x400.7FAIL6000.84
x130.8FAIL6000.84
x160.3FAIL6000.84
x245.9FAIL6000.85
x400.4FAIL6000.85
x250.9FAIL6000.85
x190.1FAIL6000.86
x400.5FAIL6000.86
x240.5FAIL6000.86
x245.5FAIL6000.86
x225.6FAIL6000.86
x350.5FAIL6000.87
x215.3FAIL6000.87
x400.9FAIL6000.88
x300.0FAIL6000.89
x240.9FAIL6000.89
x400.3FAIL6000.9