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


InstanceSolverResultTime
s1196_d2_spar-pd-depqbfSAT0.51
s1196_d3_ucaqe-picosat-parUNSAT91.84
s1196_d4_ucaqe-picosat-parUNSAT81.44
s1196_d5_upar-pd-depqbfUNSAT63.22
s1196_d6_upar-pd-depqbfUNSAT312.04
s1196_d7_upar-pd-depqbfUNSAT165.56