Instances of family Strategic_Companies solved by squeezebf+struqs
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
x25.10UNSAT64.34
x25.19UNSAT74.42
x25.5UNSAT107.15
x25.7UNSAT120.59
x35.10UNSAT241.54
x25.4UNSAT247.76
x35.3UNSAT257.3
x40.1UNSAT289.21
x40.19UNSAT303.78
x25.15UNSAT311.24
x210.7FAIL599.71
x300.19FAIL599.71
x300.1FAIL599.71
x300.3FAIL599.71
x300.4FAIL599.71
x300.5FAIL599.71
x300.6FAIL599.71
x35.11FAIL599.71
x35.13FAIL599.71
x35.15FAIL599.71
x35.19FAIL599.71
x35.1FAIL599.71
x35.2FAIL599.71
x300.16FAIL599.71
x300.15FAIL599.71
x210.9FAIL599.71
x220.0FAIL599.71
x220.10FAIL599.71
x220.13FAIL599.71
x220.16FAIL599.71
x220.19FAIL599.71
x220.6FAIL599.71
x220.9FAIL599.71
x25.13FAIL599.71
x25.16FAIL599.71
x25.8FAIL599.71
x300.12FAIL599.71
x35.9FAIL599.71
x40.11FAIL599.71
x70.8FAIL599.71
x70.7FAIL599.71
x70.6FAIL599.71
x40.12FAIL599.71
x40.17FAIL599.71
x40.18FAIL599.71
x40.4FAIL599.71
x40.5FAIL599.71
x40.6FAIL599.71
x70.0FAIL599.71
x70.12FAIL599.71
x70.16FAIL599.71
x70.1FAIL599.71
x70.3FAIL599.71
x70.5FAIL599.71
x35.5FAIL599.71
x165.11FAIL599.71
x210.15FAIL599.71
x210.16FAIL599.71
x165.8FAIL599.71
x165.0FAIL599.71
x165.13FAIL599.71
x165.17FAIL599.71
x165.19FAIL599.71
x165.3FAIL599.71
x165.6FAIL599.71
x210.3FAIL599.71
x210.6FAIL599.71
x165.9FAIL599.71
x210.1FAIL599.71
x70.10FAIL599.81
x210.17FAIL599.81
x25.2FAIL599.81
x210.12FAIL599.81
x220.8FAIL599.81
x220.2FAIL599.81
x220.12FAIL599.81
x210.11FAIL599.81
x40.10FAIL599.81
x165.10FAIL599.81
x300.8FAIL599.81