Instances of family k_lin_n solved by qube3.0
QBFEVAL'06

InstanceResultTime
k_lin_n-4SAT3.82
k_lin_n-8SAT43.81
k_lin_n-12SAT213.84
k_lin_n-21FAIL328.11
k_lin_n-20FAIL334.69
k_lin_n-16FAIL364.62