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

InstanceResultTime
x40.10UNSAT2.19
x35.10UNSAT2.45
x35.3UNSAT2.54
x35.5UNSAT2.63
x35.2SAT2.72
x35.1SAT3.09
x35.9SAT3.17
x40.19UNSAT3.32
x35.19UNSAT3.45
x40.4UNSAT3.56
x40.1UNSAT3.59
x25.13UNSAT3.6
x40.5UNSAT3.66
x40.12SAT3.85
x35.11UNSAT4.02
x35.13UNSAT4.08
x40.17UNSAT4.15
x40.18SAT4.4
x40.6UNSAT4.54
x25.19UNSAT4.82
x25.8UNSAT5.02
x25.5UNSAT5.13
x25.4UNSAT5.35
x35.15UNSAT5.38
x25.15UNSAT5.44
x25.2SAT5.64
x25.10UNSAT5.75
x40.11SAT6.04
x70.16UNSAT6.11
x25.7UNSAT6.28
x25.16SAT6.79
x70.1UNSAT7.93
x70.5UNSAT7.95
x70.10UNSAT8.13
x70.12UNSAT10.11
x70.7UNSAT10.56
x70.8UNSAT11.18
x70.3UNSAT12.27
x70.6UNSAT14.5
x70.0UNSAT17.06
x165.9UNSAT367.87
x220.16FAIL599.71
x165.17FAIL599.71
x220.9FAIL599.71
x220.13FAIL599.71
x220.12FAIL599.71
x210.17FAIL599.71
x165.6FAIL599.71
x220.10FAIL599.71
x300.6FAIL599.72
x300.4FAIL599.72
x300.16FAIL599.72
x300.12FAIL599.72
x210.12FAIL599.81
x165.8FAIL599.81
x165.3FAIL599.81
x210.15FAIL599.81
x165.10FAIL599.81
x210.11FAIL599.81
x165.11FAIL599.81
x165.0FAIL599.81
x165.19FAIL599.81
x210.7FAIL599.81
x210.16FAIL599.81
x220.19FAIL599.81
x220.2FAIL599.81
x220.6FAIL599.81
x220.8FAIL599.81
x220.0FAIL599.81
x210.1FAIL599.81
x210.3FAIL599.81
x210.6FAIL599.81
x210.9FAIL599.81
x165.13FAIL599.81
x300.3FAIL599.82
x300.19FAIL599.82
x300.15FAIL599.82
x300.1FAIL599.82
x300.8FAIL599.82
x300.5FAIL599.82