Sota solver results for family k_d4_p
QBFEVAL'05


InstanceSolverResultTime
k_d4_p-12skizzo_v0.4UNSAT0.11
k_d4_p-16QUANTORUNSAT0.09
k_d4_p-20QUANTORUNSAT0.11
k_d4_p-21QUANTORUNSAT0.11
k_d4_p-4QUANTORUNSAT0.01
k_d4_p-8skizzo_v0.4UNSAT0.06