Sota solver results for family k_ph_p
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
k_ph_p-10xb-bid-qstsUNSAT6.15
k_ph_p-12xb-bid-qstsUNSAT52.82
k_ph_p-19qstsUNSAT0.03
k_ph_p-3qstsUNSAT0
k_ph_p-5qstsUNSAT0.01