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

InstanceResultTime
x25.19UNSAT1.31
x25.10UNSAT1.41
x25.5UNSAT1.41
x25.4UNSAT1.45
x25.8UNSAT1.46
x25.15UNSAT1.49
x25.13UNSAT1.51
x35.15UNSAT1.67
x25.16SAT1.73
x25.2SAT1.76
x25.7UNSAT1.76
x35.3UNSAT1.81
x35.13UNSAT1.81
x35.10UNSAT1.94
x35.5UNSAT1.96
x40.10UNSAT1.97
x35.11UNSAT1.99
x40.17UNSAT2.11
x40.1UNSAT2.25
x35.2SAT2.27
x35.1SAT2.28
x40.4UNSAT2.37
x40.5UNSAT2.45
x35.9SAT2.51
x40.19UNSAT2.52
x35.19UNSAT2.52
x40.18SAT2.8
x40.6UNSAT2.97
x40.12SAT3.9
x40.11SAT3.95
x70.16UNSAT6.35
x70.12UNSAT6.66
x70.10UNSAT6.81
x70.0UNSAT7.02
x70.5UNSAT7.19
x70.8UNSAT7.28
x70.7UNSAT7.91
x70.3UNSAT8.4
x70.1UNSAT8.7
x70.6UNSAT8.97
x165.11UNSAT69.55
x165.6UNSAT120.41
x165.8UNSAT235.8
x165.13UNSAT290.45
x300.6FAIL599.7
x300.15FAIL599.7
x210.9FAIL599.7
x210.1FAIL599.7
x300.3FAIL599.7
x220.16FAIL599.71
x220.19FAIL599.71
x300.12FAIL599.71
x300.1FAIL599.71
x300.4FAIL599.71
x220.8FAIL599.72
x300.5FAIL599.72
x220.2FAIL599.72
x210.15FAIL599.72
x210.11FAIL599.72
x165.17FAIL599.72
x165.9FAIL599.72
x300.16FAIL599.73
x165.0FAIL599.73
x220.0FAIL599.73
x210.16FAIL599.74
x210.3FAIL599.76
x220.12FAIL599.77
x220.13FAIL599.8
x210.17FAIL599.8
x300.8FAIL599.8
x210.7FAIL599.8
x300.19FAIL599.81
x220.9FAIL599.81
x165.19FAIL599.82
x220.10FAIL599.82
x220.6FAIL599.82
x165.3FAIL599.82
x210.6FAIL599.82
x165.10FAIL599.83
x210.12FAIL599.83