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

InstanceResultTime
x165.10FAIL170.94
x165.17FAIL170.94
x165.13FAIL171.15
x165.0FAIL171.24
x165.19FAIL171.44
x165.6FAIL171.54
x165.11FAIL171.65
x165.3FAIL171.65
x165.9FAIL171.75
x165.8FAIL171.84
x210.12FAIL266.14
x210.15FAIL266.25
x210.3FAIL266.44
x210.16FAIL266.44
x210.7FAIL266.73
x210.6FAIL266.84
x210.17FAIL266.84
x210.1FAIL267.14
x210.11FAIL267.24
x210.9FAIL267.45
x220.6FAIL285.64
x220.13FAIL285.84
x35.11FAIL285.85
x220.12FAIL286.34
x220.19FAIL286.54
x220.0FAIL286.54
x220.8FAIL286.54
x220.10FAIL286.63
x220.2FAIL286.64
x220.16FAIL286.83
x220.9FAIL287.35
x35.2FAIL327.54
x35.19FAIL363.55
x35.9FAIL368.25
x25.10FAIL383.35
x35.1FAIL396.16
x35.10FAIL410.46
x25.13FAIL422.95
x70.1FAIL453.54
x70.12FAIL456.34
x25.16FAIL460.55
x25.8FAIL464.84
x25.5FAIL466.56
x25.4FAIL472.06
x25.19FAIL481.24
x35.3FAIL497.25
x25.2FAIL499.35
x35.13FAIL503.24
x300.3FAIL520.04
x300.19FAIL521.14
x300.15FAIL521.24
x300.4FAIL522.34
x300.16FAIL522.94
x25.15FAIL523.24
x300.1FAIL523.34
x300.6FAIL523.44
x300.12FAIL523.94
x300.8FAIL523.94
x300.5FAIL524.54
x25.7FAIL526.65
x70.16FAIL541.95
x70.0FAIL551.94
x35.5FAIL571.65
x70.7FAIL574.36
x70.5FAIL582.54
x40.6FAIL597.97
x70.8FAIL598.35
x35.15FAIL599.22
x70.6FAIL599.22
x70.3FAIL599.22
x70.10FAIL599.22
x40.5FAIL599.22
x40.4FAIL599.22
x40.1FAIL599.22
x40.19FAIL599.22
x40.18FAIL599.22
x40.17FAIL599.22
x40.12FAIL599.22
x40.11FAIL599.22
x40.10FAIL599.22