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

InstanceResultTime
x25.19UNSAT0.84
x35.15UNSAT1.18
x35.13UNSAT1.32
x25.10UNSAT1.33
x40.4UNSAT1.36
x35.3UNSAT1.37
x35.2SAT1.37
x35.11UNSAT1.4
x25.4UNSAT1.46
x25.15UNSAT1.53
x25.13UNSAT1.54
x35.9SAT1.56
x35.10UNSAT1.56
x35.1SAT1.57
x35.5UNSAT1.61
x25.2SAT1.68
x35.19UNSAT1.71
x40.10UNSAT1.71
x40.17UNSAT1.81
x40.6UNSAT1.94
x40.5UNSAT1.96
x25.8UNSAT1.96
x40.18SAT1.99
x40.1UNSAT2.02
x25.7UNSAT2.04
x40.11SAT2.04
x40.19UNSAT2.09
x40.12SAT2.13
x25.5UNSAT2.18
x25.16SAT2.83
x70.10UNSAT28.73
x70.0UNSAT32.97
x70.12UNSAT40.82
x70.6UNSAT41.03
x70.5UNSAT59.8
x70.1UNSAT66.66
x70.3UNSAT67.77
x70.16UNSAT72.38
x70.8UNSAT121.14
x210.7FAIL144.12
x210.12FAIL144.42
x210.1FAIL151.02
x220.0FAIL160.43
x220.12FAIL163.42
x210.6FAIL164.42
x220.19FAIL172.53
x210.3FAIL172.82
x70.7UNSAT179.83
x300.6FAIL199.62
x165.9UNSAT235.67
x165.19UNSAT249.49
x165.6UNSAT369.53
x300.3FAIL376.62
x165.0UNSAT391.04
x165.11UNSAT548.05
x300.15FAIL599.71
x300.19FAIL599.71
x220.8FAIL599.71
x220.6FAIL599.71
x210.11FAIL599.71
x220.2FAIL599.71
x210.17FAIL599.71
x300.8FAIL599.71
x300.4FAIL599.72
x165.10FAIL599.81
x165.13FAIL599.81
x165.3FAIL599.81
x210.15FAIL599.81
x210.16FAIL599.81
x210.9FAIL599.81
x220.10FAIL599.81
x300.5FAIL599.81
x300.1FAIL599.81
x300.16FAIL599.81
x300.12FAIL599.81
x220.13FAIL599.81
x220.9FAIL599.81
x220.16FAIL599.81
x165.8FAIL599.91
x165.17FAIL599.91