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

InstanceResultTime
x25.19UNSAT0.51
x25.13UNSAT0.54
x25.10UNSAT0.56
x25.5UNSAT0.56
x25.7UNSAT0.58
x25.2SAT0.59
x25.4UNSAT0.61
x35.15UNSAT0.66
x25.8UNSAT0.66
x25.16SAT0.66
x25.15UNSAT0.71
x35.1SAT0.8
x35.3UNSAT0.8
x35.2SAT0.84
x35.5UNSAT0.84
x35.9SAT0.85
x35.13UNSAT0.85
x35.11UNSAT0.86
x35.10UNSAT0.86
x40.10UNSAT0.88
x40.4UNSAT0.89
x40.17UNSAT0.94
x40.6UNSAT0.94
x35.19UNSAT0.96
x40.18SAT1.04
x40.5UNSAT1.06
x40.1UNSAT1.07
x40.11SAT1.16
x40.12SAT1.23
x40.19UNSAT1.24
x70.10UNSAT2.61
x70.12UNSAT2.7
x70.3UNSAT2.74
x70.0UNSAT2.85
x70.5UNSAT2.91
x70.16UNSAT3.04
x70.1UNSAT3.13
x70.7UNSAT3.45
x70.8UNSAT3.63
x70.6UNSAT8.95
x210.6UNSAT19.96
x165.8UNSAT35.57
x165.11UNSAT46.08
x165.6UNSAT48.34
x210.3UNSAT68.04
x165.13UNSAT107.27
x165.17UNSAT125.65
x165.3UNSAT169.75
x165.19UNSAT176.78
x165.0UNSAT194.44
x165.9UNSAT222.15
x165.10UNSAT395.34
x300.3FAIL599.71
x300.19FAIL599.71
x220.19FAIL599.71
x300.16FAIL599.71
x300.15FAIL599.71
x300.12FAIL599.71
x300.4FAIL599.71
x220.9FAIL599.71
x300.5FAIL599.71
x210.7FAIL599.71
x300.8FAIL599.71
x300.6FAIL599.71
x210.12FAIL599.71
x210.15FAIL599.71
x220.16FAIL599.71
x220.13FAIL599.71
x220.12FAIL599.71
x210.16FAIL599.71
x220.10FAIL599.71
x220.0FAIL599.71
x210.9FAIL599.71
x220.8FAIL599.71
x220.6FAIL599.71
x210.17FAIL599.71
x210.11FAIL599.81
x300.1FAIL599.81
x210.1FAIL599.81
x220.2FAIL599.81