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

InstanceResultTime
s1196_d2_sSAT100.65
s1196_d3_uUNSAT293.18
s1196_d7_uUNSAT342.87
s1196_d4_uFAIL600
s1196_d5_uFAIL600
s1196_d6_uFAIL600