Sota solver results for family s386
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
s386_d10_upar-pd-depqbfUNSAT1.01
s386_d11_ucaqe-picosat-parUNSAT63.76
s386_d12_upar-pd-depqbfUNSAT1.01
s386_d2_shiqqerforkSAT0.35
s386_d3_spar-pd-depqbfSAT0.51
s386_d4_spar-pd-depqbfSAT0.51
s386_d6_spar-pd-depqbfSAT0.51
s386_d7_spar-pd-depqbfSAT0.51
s386_d8_upar-pd-depqbfUNSAT0.51
s386_d9_upar-pd-depqbfUNSAT1.01