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

InstanceResultTime
x30.2UNSAT0.36
x30.1UNSAT0.81
x30.5UNSAT0.88
x30.4SAT0.9
x30.0UNSAT1.07
x30.8UNSAT1.47
x30.3SAT1.54
x30.7UNSAT1.66
x30.9UNSAT1.87
x30.6SAT2.04
x60.4UNSAT336.93
x60.7UNSAT545
x60.3UNSAT924.43
x120.7FAIL1199.94
x120.6FAIL1200.12
x120.9FAIL1200.12
x120.1FAIL1200.13
x120.2FAIL1200.13
x120.0FAIL1200.13
x120.3FAIL1200.13
x60.1FAIL1200.13
x60.0FAIL1200.13
x240.2FAIL1200.13
x60.2FAIL1200.13
x120.8FAIL1200.13
x60.8FAIL1200.13
x240.1FAIL1200.14
x240.5FAIL1200.14
x240.4FAIL1200.14
x240.3FAIL1200.14
x120.5FAIL1200.14
x240.0FAIL1200.14
x120.4FAIL1200.14
x240.6FAIL1200.14
x240.9FAIL1200.14
x240.8FAIL1200.14
x240.7FAIL1200.14
x60.5FAIL1200.14
x60.9FAIL1200.14
x60.6FAIL1200.14