Instances of family k_lin_p solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
k_lin_p-4UNSAT0.03
k_lin_p-8UNSAT0.04
k_lin_p-12UNSAT0.07
k_lin_p-16UNSAT0.1
k_lin_p-20UNSAT0.21
k_lin_p-21UNSAT0.24