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

InstanceResultTime
x25.19UNSAT0.6
x25.13UNSAT0.68
x25.8UNSAT0.74
x35.13UNSAT0.83
x35.15UNSAT0.89
x35.3UNSAT0.92
x25.2SAT0.92
x25.7UNSAT0.96
x25.4UNSAT0.98
x35.10UNSAT1
x35.5UNSAT1.01
x35.2SAT1.09
x40.10UNSAT1.09
x25.10UNSAT1.11
x40.4UNSAT1.11
x40.17UNSAT1.12
x40.6UNSAT1.14
x40.1UNSAT1.2
x40.5UNSAT1.22
x35.11UNSAT1.24
x25.15UNSAT1.31
x35.1SAT1.35
x40.19UNSAT1.36
x40.18SAT1.38
x25.16SAT1.48
x35.9SAT1.5
x25.5UNSAT1.51
x35.19UNSAT1.61
x40.11SAT2.37
x40.12SAT2.46
x70.7UNSAT3.76
x70.5UNSAT3.94
x70.10UNSAT4.21
x70.16UNSAT4.29
x70.6UNSAT5.44
x70.8UNSAT6.85
x70.3UNSAT7.47
x70.12UNSAT12.27
x70.0UNSAT25.77
x165.3UNSAT33.69
x70.1UNSAT37.59
x165.6UNSAT104.59
x165.9UNSAT106.31
x165.11UNSAT115.41
x165.19UNSAT130.06
x210.17UNSAT247.85
x165.17UNSAT254.46
x210.15UNSAT308.61
x210.1UNSAT370.22
x165.10UNSAT420.93
x165.0UNSAT451.75
x210.9UNSAT507.72
x210.7FAIL599.71
x220.0FAIL599.71
x220.10FAIL599.71
x220.13FAIL599.71
x220.2FAIL599.71
x220.6FAIL599.71
x220.8FAIL599.71
x220.9FAIL599.71
x300.15FAIL599.71
x300.16FAIL599.71
x300.19FAIL599.71
x300.1FAIL599.71
x300.3FAIL599.71
x300.4FAIL599.71
x300.5FAIL599.71
x300.6FAIL599.71
x210.6FAIL599.71
x210.3FAIL599.71
x210.11FAIL599.71
x210.12FAIL599.71
x210.16FAIL599.71
x300.8FAIL599.71
x220.16FAIL599.81
x300.12FAIL599.81
x220.19FAIL599.81
x220.12FAIL599.81
x165.8FAIL599.81
x165.13FAIL599.81