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

InstanceResultTime
s713_d3_sSAT3.45
s713_d2_sSAT9.05
s713_d4_sSAT17.38
s713_d5_sSAT25.03
s713_d7_uUNSAT87.24
s713_d6_sSAT88.56
s713_d10_uUNSAT155.95
s713_d11_uUNSAT270.34
s713_d8_uFAIL600
s713_d9_uFAIL600