Instances of family s386 solved by AIGSolve
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s386_d2_sSAT2.09
s386_d3_sSAT11.68
s386_d4_sSAT27.71
s386_d6_sSAT112.47
s386_d7_sSAT167.36
s386_d8_uUNSAT175.05
s386_d9_uUNSAT220.15
s386_d10_uUNSAT243.84
s386_d11_uUNSAT386.17
s386_d12_uUNSAT422.27