Instances of family k_dum_n solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_dum_n-1SAT0.09
k_dum_n-5SAT0.14
k_dum_n-12SAT0.24
k_dum_n-17SAT0.34
k_dum_n-18SAT0.41