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

InstanceResultTime
s1196_d2_sSAT2.05
s1196_d4_uUNSAT81.44
s1196_d3_uUNSAT91.84
s1196_d5_uUNSAT116.27
s1196_d7_uUNSAT186.53
s1196_d6_uUNSAT374.07