Instances of family s713 solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
s713_d4_sSAT12.51
s713_d3_sSAT20.97
s713_d2_sSAT66.18
s713_d6_sSAT97.23
s713_d5_sSAT216.66
s713_d7_uUNSAT261.69
s713_d8_uUNSAT569.49
s713_d11_uFAIL600
s713_d9_uFAIL600
s713_d10_uFAIL600