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

InstanceResultTime
x30.7UNSAT0.24
x30.2UNSAT0.24
x30.5UNSAT0.26
x30.9UNSAT0.31
x30.8UNSAT0.32
x30.4SAT0.33
x30.0UNSAT0.34
x30.3SAT0.34
x30.1UNSAT0.36
x30.6SAT0.37
x60.4UNSAT0.96
x60.9UNSAT1.11
x60.1UNSAT1.2
x60.6UNSAT1.22
x60.0UNSAT1.24
x60.3UNSAT1.25
x60.7UNSAT1.43
x60.5UNSAT1.58
x60.8UNSAT1.75
x60.2UNSAT2.14
x120.2UNSAT3.73
x120.5UNSAT4.02
x120.0UNSAT7.58
x120.3UNSAT8.82
x120.9UNSAT13.24
x120.8UNSAT15.68
x120.7UNSAT26.82
x120.6UNSAT30.31
x120.4UNSAT44.75
x120.1UNSAT45.43
x240.5UNSAT392.26
x240.9UNSAT471.2
x240.3FAIL1200.02
x240.7FAIL1200.02
x240.0FAIL1200.03
x240.8FAIL1200.03
x240.4FAIL1200.03
x240.6FAIL1200.04
x240.1FAIL1200.04
x240.2FAIL1200.04