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

InstanceResultTime
x40.12FAIL599.64
x35.15FAIL599.65
x165.6FAIL599.65
x70.1FAIL599.7
x70.16FAIL599.7
x220.16FAIL599.7
x220.6FAIL599.7
x25.13FAIL599.7
x25.15FAIL599.7
x25.4FAIL599.7
x300.12FAIL599.7
x220.0FAIL599.7
x165.0FAIL599.7
x165.11FAIL599.7
x165.8FAIL599.7
x300.5FAIL599.7
x35.1FAIL599.7
x40.11FAIL599.7
x40.10FAIL599.7
x40.19FAIL599.7
x40.4FAIL599.7
x40.5FAIL599.7
x300.15FAIL599.71
x300.16FAIL599.71
x300.3FAIL599.71
x35.10FAIL599.71
x35.13FAIL599.71
x35.9FAIL599.71
x40.17FAIL599.71
x40.18FAIL599.71
x70.0FAIL599.71
x70.10FAIL599.71
x70.12FAIL599.71
x25.8FAIL599.71
x165.13FAIL599.71
x165.9FAIL599.71
x210.15FAIL599.71
x210.3FAIL599.71
x210.9FAIL599.71
x220.10FAIL599.71
x220.12FAIL599.71
x220.13FAIL599.71
x220.2FAIL599.71
x70.6FAIL599.71
x35.11FAIL599.71
x70.8FAIL599.71
x300.19FAIL599.72
x25.2FAIL599.72
x25.16FAIL599.72
x210.17FAIL599.72
x210.7FAIL599.72
x210.11FAIL599.72
x40.6FAIL599.72
x35.19FAIL599.72
x70.7FAIL599.72
x35.3FAIL599.72
x35.5FAIL599.73
x70.3FAIL599.73
x165.10FAIL599.73
x165.19FAIL599.73
x220.19FAIL599.73
x220.8FAIL599.73
x300.8FAIL599.73
x210.16FAIL599.73
x35.2FAIL599.73
x220.9FAIL599.73
x210.1FAIL599.73
x210.6FAIL599.73
x300.4FAIL599.73
x40.1FAIL599.75
x25.7FAIL599.77
x300.1FAIL599.8
x25.5FAIL599.8
x25.19FAIL599.8
x25.10FAIL599.81
x300.6FAIL599.81
x165.3FAIL599.81
x210.12FAIL599.81
x165.17FAIL599.82
x70.5FAIL599.84