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

InstanceResultTime
x30.0UNSAT0.56
x30.8UNSAT0.85
x30.9UNSAT1.43
x30.5UNSAT1.54
x30.4SAT1.77
x30.2UNSAT1.84
x30.6SAT2.38
x30.1UNSAT2.66
x30.7UNSAT3.02
x30.3SAT4.26
x60.6UNSAT23.69
x60.4UNSAT86.58
x60.8UNSAT990.07
x120.6FAIL1200.16
x240.1FAIL1200.16
x60.1FAIL1200.16
x120.0FAIL1200.17
x120.2FAIL1200.17
x120.3FAIL1200.17
x120.7FAIL1200.17
x120.8FAIL1200.17
x120.9FAIL1200.17
x240.3FAIL1200.17
x240.4FAIL1200.17
x240.7FAIL1200.17
x60.0FAIL1200.17
x60.2FAIL1200.17
x60.3FAIL1200.17
x60.5FAIL1200.17
x60.7FAIL1200.17
x60.9FAIL1200.17
x120.1FAIL1200.18
x120.4FAIL1200.18
x120.5FAIL1200.18
x240.0FAIL1200.18
x240.2FAIL1200.18
x240.5FAIL1200.18
x240.6FAIL1200.18
x240.8FAIL1200.18
x240.9FAIL1200.18