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

InstanceResultTime
x25.10UNSAT0.2
x25.8UNSAT0.23
x25.19UNSAT0.23
x25.15UNSAT0.23
x25.4UNSAT0.24
x25.5UNSAT0.3
x25.13UNSAT0.31
x25.2SAT0.45
x25.7UNSAT0.5
x35.10UNSAT0.67
x25.16SAT0.73
x35.3UNSAT1.7
x35.11UNSAT1.71
x35.15UNSAT2.02
x35.13UNSAT2.02
x35.5UNSAT2.59
x40.1UNSAT2.65
x35.2SAT2.74
x40.17UNSAT2.92
x35.19UNSAT6.75
x40.5UNSAT7.04
x35.9SAT9.45
x40.10UNSAT10.23
x35.1SAT12.55
x40.19UNSAT13.15
x40.6UNSAT18.37
x40.4UNSAT23.03
x40.18SAT23.13
x40.12SAT23.71
x40.11SAT24.07
x70.5UNSAT163.02
x70.16UNSAT264.87
x220.12FAIL599.71
x70.8FAIL599.71
x300.3FAIL599.71
x300.1FAIL599.71
x300.19FAIL599.71
x220.2FAIL599.71
x300.16FAIL599.71
x300.15FAIL599.71
x220.9FAIL599.71
x220.8FAIL599.71
x300.4FAIL599.71
x70.6FAIL599.71
x70.3FAIL599.71
x220.16FAIL599.71
x70.1FAIL599.71
x70.10FAIL599.71
x70.0FAIL599.71
x300.8FAIL599.71
x165.17FAIL599.71
x165.10FAIL599.71
x165.9FAIL599.71
x165.11FAIL599.71
x165.3FAIL599.71
x165.6FAIL599.71
x210.11FAIL599.71
x210.17FAIL599.71
x210.1FAIL599.71
x210.12FAIL599.71
x210.16FAIL599.71
x165.0FAIL599.81
x165.13FAIL599.81
x220.13FAIL599.81
x220.10FAIL599.81
x220.0FAIL599.81
x210.9FAIL599.81
x210.6FAIL599.81
x210.3FAIL599.81
x210.15FAIL599.81
x210.7FAIL599.81
x165.8FAIL599.81
x220.19FAIL599.81
x70.7FAIL599.81
x70.12FAIL599.81
x300.6FAIL599.81
x300.5FAIL599.81
x300.12FAIL599.81
x220.6FAIL599.81
x165.19FAIL599.81