Instances of family Strategic_Companies solved by struqs-10
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
x30.5UNSAT157.46
x30.0UNSAT709.18
x30.2UNSAT852.69
x60.1FAIL1200.07
x60.3FAIL1200.07
x30.9FAIL1200.07
x30.8FAIL1200.07
x60.4FAIL1200.07
x60.6FAIL1200.07
x30.4FAIL1200.07
x120.5FAIL1200.08
x240.6FAIL1200.08
x240.7FAIL1200.08
x120.2FAIL1200.08
x30.1FAIL1200.08
x30.3FAIL1200.08
x120.7FAIL1200.08
x120.8FAIL1200.08
x120.1FAIL1200.08
x120.0FAIL1200.08
x30.6FAIL1200.08
x60.8FAIL1200.08
x60.7FAIL1200.08
x60.5FAIL1200.08
x60.2FAIL1200.08
x60.0FAIL1200.08
x30.7FAIL1200.08
x60.9FAIL1200.08
x120.9FAIL1200.09
x240.0FAIL1200.09
x240.1FAIL1200.09
x240.2FAIL1200.09
x240.3FAIL1200.09
x240.4FAIL1200.09
x240.5FAIL1200.09
x240.8FAIL1200.09
x240.9FAIL1200.09
x120.6FAIL1200.09
x120.4FAIL1200.09
x120.3FAIL1200.09