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

InstanceResultTime
x25.19UNSAT4.31
x25.5UNSAT4.33
x25.16SAT4.43
x25.10UNSAT4.85
x25.8UNSAT5.35
x35.13UNSAT5.46
x25.2SAT5.6
x35.1SAT5.74
x40.12SAT5.82
x25.4UNSAT5.88
x25.7UNSAT5.99
x40.18SAT6.29
x35.11UNSAT6.37
x35.3UNSAT6.41
x25.13UNSAT6.5
x35.10UNSAT6.96
x35.9SAT7.46
x40.10UNSAT7.66
x35.5UNSAT7.8
x35.15UNSAT7.84
x40.1UNSAT8.02
x35.2SAT8.75
x40.5UNSAT10.2
x40.19UNSAT10.44
x40.11SAT10.48
x40.17UNSAT11.02
x40.4UNSAT11.49
x25.15UNSAT11.62
x35.19UNSAT11.9
x40.6UNSAT12.74
x70.10UNSAT27.64
x70.5UNSAT29.65
x70.6UNSAT30.33
x70.3UNSAT30.57
x70.1UNSAT33.71
x70.0UNSAT33.73
x70.8UNSAT36.52
x70.16UNSAT37.89
x70.12UNSAT39.57
x70.7UNSAT40.33
x165.6UNSAT101.09
x210.9UNSAT174.47
x165.13UNSAT192.69
x165.11UNSAT266.81
x165.9UNSAT271.98
x165.0UNSAT323.59
x165.8UNSAT541.58
x220.13FAIL599.61
x300.1FAIL599.61
x210.7FAIL599.62
x220.0FAIL599.71
x220.12FAIL599.71
x220.19FAIL599.71
x220.2FAIL599.71
x220.6FAIL599.71
x220.9FAIL599.71
x300.12FAIL599.71
x300.15FAIL599.71
x300.16FAIL599.71
x300.19FAIL599.71
x300.3FAIL599.71
x300.4FAIL599.71
x210.6FAIL599.71
x210.3FAIL599.71
x165.17FAIL599.71
x165.3FAIL599.71
x210.15FAIL599.71
x210.1FAIL599.71
x300.5FAIL599.71
x165.10FAIL599.72
x165.19FAIL599.72
x210.11FAIL599.72
x300.8FAIL599.72
x220.8FAIL599.72
x220.16FAIL599.72
x220.10FAIL599.72
x210.17FAIL599.72
x210.16FAIL599.72
x210.12FAIL599.72
x300.6FAIL599.72