Instances of family k_lin_p solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_lin_p-1UNSAT0.01
k_lin_p-5UNSAT0.03
k_lin_p-6UNSAT0.03
k_lin_p-8UNSAT0.09
k_lin_p-10UNSAT0.17
k_lin_p-11UNSAT0.2
k_lin_p-15UNSAT0.51
k_lin_p-18UNSAT0.86