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

InstanceResultTime
x40.10UNSAT1.21
x35.3UNSAT1.33
x35.10UNSAT1.37
x35.5UNSAT1.49
x35.2SAT1.59
x35.1SAT1.78
x35.9SAT1.8
x35.19UNSAT1.81
x40.19UNSAT1.85
x40.1UNSAT2.08
x40.5UNSAT2.11
x40.4UNSAT2.13
x40.17UNSAT2.26
x35.11UNSAT2.36
x35.15UNSAT2.36
x35.13UNSAT2.4
x40.12SAT2.42
x25.19UNSAT2.46
x25.5UNSAT2.57
x25.4UNSAT2.7
x40.18SAT2.73
x25.15UNSAT2.84
x25.10UNSAT2.86
x40.6UNSAT2.89
x25.2SAT2.89
x25.7UNSAT3.28
x25.16SAT3.38
x25.13UNSAT3.61
x70.16UNSAT3.75
x40.11SAT3.8
x70.1UNSAT4.2
x25.8UNSAT5.02
x70.10UNSAT5.45
x70.5UNSAT5.72
x70.3UNSAT8.01
x70.8UNSAT8.83
x70.7UNSAT9.49
x70.12UNSAT9.61
x70.6UNSAT10.61
x70.0UNSAT14.54
x165.8UNSAT112.46
x165.17UNSAT154.25
x165.10UNSAT236.4
x210.7UNSAT321.74
x165.9UNSAT339.33
x210.16UNSAT464.45
x165.13UNSAT491.64
x220.16FAIL597.21
x210.11FAIL599.71
x210.17FAIL599.71
x210.1FAIL599.71
x210.6FAIL599.71
x210.9FAIL599.71
x165.19FAIL599.71
x300.8FAIL599.71
x220.0FAIL599.71
x220.12FAIL599.71
x300.1FAIL599.71
x220.13FAIL599.71
x220.19FAIL599.71
x220.6FAIL599.71
x220.8FAIL599.71
x300.15FAIL599.72
x210.15FAIL599.81
x210.3FAIL599.81
x220.10FAIL599.81
x220.2FAIL599.81
x220.9FAIL599.81
x300.12FAIL599.81
x300.16FAIL599.81
x300.19FAIL599.81
x300.3FAIL599.81
x300.4FAIL599.81
x300.5FAIL599.81
x210.12FAIL599.81
x165.6FAIL599.81
x165.3FAIL599.81
x165.0FAIL599.81
x165.11FAIL599.81
x300.6FAIL599.81