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


InstanceSolverResultTime
k_t4p_p-10hiqqerforkUNSAT0.04
k_t4p_p-12hiqqerforkUNSAT0.04
k_t4p_p-15hiqqerforkUNSAT0.05
k_t4p_p-16hiqqerforkUNSAT0.05
k_t4p_p-17hiqqerforkUNSAT0.06
k_t4p_p-18hiqqerforkUNSAT0.06
k_t4p_p-20hiqqerforkUNSAT0.06
k_t4p_p-4hiqqerforkUNSAT0.02
k_t4p_p-6hiqqerforkUNSAT0.03
k_t4p_p-9hiqqerforkUNSAT0.04