Instances of family Strategic_Companies solved by AIGSolve
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
x210.7FAIL900
x300.16FAIL900
x300.19FAIL900
x300.1FAIL900
x300.3FAIL900
x300.4FAIL900
x300.5FAIL900
x300.6FAIL900
x300.8FAIL900
x300.15FAIL900
x300.12FAIL900
x210.9FAIL900
x220.0FAIL900
x220.10FAIL900
x220.12FAIL900
x220.13FAIL900
x220.16FAIL900
x220.19FAIL900
x220.2FAIL900
x220.6FAIL900
x220.8FAIL900
x220.9FAIL900
x210.6FAIL900
x165.19FAIL900
x165.3FAIL900
x165.6FAIL900
x165.8FAIL900
x165.9FAIL900
x210.11FAIL900
x210.12FAIL900
x210.15FAIL900
x210.16FAIL900
x210.17FAIL900
x210.1FAIL900
x165.17FAIL900
x165.13FAIL900
x165.0FAIL900
x165.10FAIL900
x165.11FAIL900
x210.3FAIL900