Instances of family Strategic_Companies solved by aqua-s2v
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
x25.4UNSAT0.1
x25.15UNSAT0.1
x25.19UNSAT0.11
x25.7UNSAT0.11
x25.10UNSAT0.11
x25.5UNSAT0.11
x25.8UNSAT0.12
x25.13UNSAT0.12
x25.2SAT0.13
x25.16SAT0.13
x35.10UNSAT0.18
x35.19UNSAT0.22
x35.3UNSAT0.22
x35.13UNSAT0.23
x35.11UNSAT0.23
x35.2SAT0.23
x35.5UNSAT0.24
x40.4UNSAT0.26
x40.17UNSAT0.26
x35.15UNSAT0.26
x40.10UNSAT0.27
x40.1UNSAT0.28
x35.9SAT0.29
x40.19UNSAT0.29
x40.5UNSAT0.31
x35.1SAT0.34
x40.11SAT0.45
x40.6UNSAT0.46
x40.18SAT0.46
x40.12SAT0.47
x70.8UNSAT0.71
x70.7UNSAT0.74
x70.5UNSAT0.74
x70.0UNSAT0.74
x70.12UNSAT0.75
x70.16UNSAT0.86
x70.10UNSAT0.93
x70.6UNSAT0.96
x70.1UNSAT0.99
x70.3UNSAT2.5
x165.8UNSAT6.53
x165.13UNSAT10.59
x165.3UNSAT19.27
x165.6UNSAT48.44
x165.0UNSAT111.37
x220.9UNSAT116.48
x220.19UNSAT162.46
x165.19UNSAT196.06
x165.10FAIL599.71
x220.6FAIL599.72
x220.16FAIL599.81
x210.1FAIL599.81
x220.12FAIL599.81
x210.16FAIL599.81
x220.2FAIL599.81
x165.17FAIL599.81
x165.9FAIL599.81
x210.15FAIL599.81
x300.3FAIL599.82
x210.3FAIL599.82
x300.19FAIL599.82
x300.16FAIL599.82
x300.15FAIL599.82
x300.12FAIL599.82
x220.8FAIL599.82
x300.4FAIL599.82
x210.7FAIL599.82
x300.6FAIL599.82
x300.5FAIL599.82
x220.13FAIL599.82
x210.9FAIL599.82
x210.17FAIL599.82
x210.12FAIL599.82
x210.11FAIL599.82
x165.11FAIL599.82
x220.10FAIL599.82
x300.8FAIL599.83
x300.1FAIL599.83
x210.6FAIL599.83
x220.0FAIL599.91