Instances of family Strategic_Companies solved by iprover-QBF-bloqqer
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
x35.2FAIL239.86
x35.11FAIL295.96
x165.9FAIL297.84
x165.19FAIL312.04
x25.7FAIL315.76
x35.9FAIL318.36
x35.10FAIL327.86
x70.12FAIL330.54
x40.17FAIL332.15
x70.0FAIL334.94
x70.8FAIL335.94
x70.16FAIL338.14
x70.1FAIL338.74
x70.6FAIL342.04
x25.15FAIL343.85
x70.5FAIL344.24
x165.13FAIL345.84
x70.3FAIL349.95
x70.7FAIL350.34
x70.10FAIL350.34
x165.3FAIL361.95
x40.1FAIL364.34
x165.17FAIL365.44
x210.15FAIL367.64
x210.16FAIL367.65
x210.17FAIL367.74
x210.9FAIL368.34
x210.11FAIL368.34
x165.11FAIL368.55
x165.0FAIL369.04
x165.8FAIL378.64
x35.13FAIL379.05
x165.6FAIL379.34
x25.8FAIL381.44
x40.11FAIL389.46
x165.10FAIL392.04
x25.5FAIL396.75
x220.13FAIL402.94
x220.9FAIL403.44
x220.10FAIL403.54
x220.16FAIL404.24
x220.8FAIL404.24
x220.2FAIL404.34
x220.6FAIL405.14
x25.10FAIL425.05
x35.15FAIL425.14
x25.19FAIL433.05
x35.3FAIL443.55
x25.4FAIL450.35
x35.1FAIL457.34
x25.2FAIL457.66
x40.5FAIL470.35
x40.19FAIL475.04
x35.19FAIL490.05
x40.18FAIL492.44
x25.13FAIL492.55
x40.12FAIL493.05
x35.5FAIL513.34
x40.4FAIL548.05
x40.10FAIL587.64
x300.5FAIL599.12
x300.15FAIL599.13
x300.3FAIL599.13
x300.1FAIL599.22
x300.6FAIL599.22
x300.8FAIL599.22
x300.16FAIL599.22
x220.0FAIL599.22
x25.16FAIL599.22
x220.19FAIL599.22
x210.7FAIL599.23
x300.4FAIL599.23
x210.12FAIL599.23
x210.3FAIL599.23
x210.6FAIL599.23
x220.12FAIL599.23
x300.12FAIL599.23
x300.19FAIL599.23
x40.6FAIL599.23
x210.1FAIL599.23