Instances of family s1269 solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s1269_d3_sSAT0.15
s1269_d8_sSAT7.75
s1269_d15_uFAIL599.71
s1269_d13_uFAIL599.81
s1269_d12_uFAIL599.81