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

InstanceResultTime
x25.10UNSAT0.11
x25.15UNSAT0.11
x25.8UNSAT0.11
x25.19UNSAT0.11
x25.4UNSAT0.11
x25.5UNSAT0.21
x25.13UNSAT0.21
x25.2SAT0.31
x25.7UNSAT0.41
x35.10UNSAT0.41
x40.17UNSAT0.61
x25.16SAT0.61
x40.10UNSAT1.12
x40.5UNSAT1.12
x35.11UNSAT1.41
x35.3UNSAT1.41
x35.13UNSAT1.71
x35.15UNSAT1.71
x35.5UNSAT2.32
x35.2SAT2.41
x40.1UNSAT3.52
x40.4UNSAT6.21
x35.19UNSAT6.52
x35.9SAT9.01
x40.19UNSAT9.01
x35.1SAT12.12
x40.6UNSAT12.81
x70.7UNSAT20.31
x40.18SAT23.21
x40.12SAT25.11
x40.11SAT26.31
x70.16UNSAT36.51
x70.1UNSAT131.51
x70.8UNSAT160.01
x70.10UNSAT350.71
x70.5UNSAT530.12
x300.12FAIL591.63
x300.6FAIL591.73
x210.15FAIL592.12
x300.8FAIL592.12
x300.4FAIL592.12
x300.16FAIL592.12
x210.11FAIL592.12
x300.19FAIL592.13
x300.3FAIL592.22
x220.8FAIL592.23
x300.15FAIL592.32
x220.6FAIL592.32
x220.2FAIL592.42
x210.17FAIL592.42
x220.9FAIL592.43
x300.1FAIL592.43
x220.12FAIL592.52
x165.3FAIL592.52
x220.16FAIL592.62
x220.13FAIL592.62
x220.0FAIL592.62
x210.3FAIL592.62
x165.17FAIL592.62
x165.0FAIL592.62
x210.12FAIL592.72
x165.9FAIL592.72
x210.9FAIL592.72
x300.5FAIL592.72
x165.8FAIL592.83
x165.13FAIL592.83
x210.1FAIL592.84
x165.6FAIL592.84
x210.7FAIL592.84
x210.16FAIL592.85
x70.6FAIL592.93
x220.19FAIL592.94
x220.10FAIL592.94
x165.11FAIL592.95
x165.19FAIL592.95
x210.6FAIL593.02
x165.10FAIL593.12
x70.0FAIL593.42
x70.12FAIL593.52
x70.3FAIL593.62