Instances of family k_dum_n solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_dum_n-1SAT0.02
k_dum_n-5SAT0.1
k_dum_n-12SAT0.37
k_dum_n-17SAT0.69
k_dum_n-18SAT0.76