Instances of family Strategic_Companies solved by xb-bid-qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
x25.19UNSAT4.38
x25.5UNSAT4.43
x25.16SAT4.63
x25.10UNSAT5.05
x25.8UNSAT5.4
x35.13UNSAT5.5
x25.2SAT5.75
x35.1SAT5.8
x40.12SAT5.91
x25.4UNSAT5.99
x25.7UNSAT6.1
x40.18SAT6.35
x35.11UNSAT6.44
x35.3UNSAT6.48
x25.13UNSAT6.6
x35.10UNSAT6.97
x35.9SAT7.52
x40.10UNSAT7.65
x35.5UNSAT7.85
x35.15UNSAT7.91
x40.1UNSAT8.09
x35.2SAT8.8
x40.5UNSAT10.26
x40.19UNSAT10.51
x40.11SAT10.56
x40.17UNSAT11.1
x40.4UNSAT11.56
x25.15UNSAT11.71
x35.19UNSAT12.03
x40.6UNSAT12.84
x70.10UNSAT27.8
x70.5UNSAT29.83
x70.6UNSAT30.28
x70.3UNSAT30.65
x70.1UNSAT33.8
x70.0UNSAT34.07
x70.8UNSAT36.74
x70.16UNSAT38.09
x70.12UNSAT39.46
x70.7UNSAT40.82
x165.6UNSAT99.72
x210.9UNSAT176.21
x165.13UNSAT191.5
x165.11UNSAT268.04
x165.9UNSAT277.36
x165.0UNSAT323.95
x165.8UNSAT540.08
x210.3FAIL599.61
x300.5FAIL599.62
x300.4FAIL599.62
x210.15FAIL599.71
x210.11FAIL599.71
x210.16FAIL599.71
x210.17FAIL599.71
x220.0FAIL599.71
x220.10FAIL599.71
x300.8FAIL599.71
x210.6FAIL599.71
x210.1FAIL599.71
x165.17FAIL599.71
x165.3FAIL599.71
x300.3FAIL599.71
x300.1FAIL599.71
x300.19FAIL599.71
x300.16FAIL599.71
x220.13FAIL599.71
x300.12FAIL599.71
x220.8FAIL599.71
x220.2FAIL599.71
x300.6FAIL599.71
x220.12FAIL599.71
x210.7FAIL599.72
x300.15FAIL599.72
x220.9FAIL599.72
x220.19FAIL599.72
x165.10FAIL599.72
x165.19FAIL599.72
x210.12FAIL599.72
x220.16FAIL599.72
x220.6FAIL599.82