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

InstanceResultTime
x25.10UNSAT1.12
x25.4UNSAT1.21
x25.13UNSAT1.31
x25.19UNSAT1.31
x25.5UNSAT1.39
x25.8UNSAT1.41
x25.2SAT1.51
x25.15UNSAT1.51
x25.16SAT1.51
x35.3UNSAT1.61
x35.11UNSAT1.71
x25.7UNSAT1.81
x35.15UNSAT1.81
x35.13UNSAT1.91
x35.10UNSAT2.01
x40.10UNSAT2.01
x35.5UNSAT2.11
x40.4UNSAT2.22
x40.1UNSAT2.22
x35.2SAT2.22
x35.1SAT2.22
x35.19UNSAT2.32
x40.17UNSAT2.51
x35.9SAT2.51
x40.5UNSAT3.32
x40.19UNSAT3.41
x40.12SAT3.61
x40.6UNSAT3.91
x40.11SAT4.01
x40.18SAT5.52
x70.5UNSAT6.21
x70.12UNSAT6.71
x70.1UNSAT8.21
x70.10UNSAT9.71
x70.8UNSAT9.82
x70.7UNSAT10.92
x70.16UNSAT11.51
x70.0UNSAT12.71
x70.6UNSAT23.51
x70.3UNSAT41.61
x165.11UNSAT48.42
x165.13UNSAT72.71
x165.3UNSAT89.31
x165.6UNSAT141.71
x210.16UNSAT145.22
x165.9UNSAT151.11
x210.6UNSAT260.01
x165.10UNSAT357.21
x165.0UNSAT424.72
x220.19UNSAT430.31
x210.1UNSAT460.21
x210.17UNSAT545.71
x300.4FAIL592.32
x300.6FAIL592.33
x300.1FAIL592.52
x210.15FAIL592.62
x210.7FAIL592.72
x220.12FAIL592.72
x220.2FAIL592.72
x165.17FAIL592.72
x300.12FAIL592.72
x300.15FAIL592.83
x300.19FAIL592.83
x210.11FAIL592.83
x300.16FAIL592.85
x300.8FAIL592.93
x220.13FAIL592.93
x300.3FAIL592.95
x210.9FAIL593.02
x210.12FAIL593.03
x210.3FAIL593.12
x220.10FAIL593.12
x300.5FAIL593.22
x220.9FAIL593.22
x220.0FAIL593.22
x165.19FAIL593.23
x220.8FAIL593.32
x220.16FAIL593.32
x220.6FAIL593.43
x165.8FAIL593.72