Instances of family k_d4_n solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_d4_n-1SAT0.04
k_d4_n-2SAT0.08
k_d4_n-3SAT0.11
k_d4_n-7SAT0.33
k_d4_n-8SAT0.39
k_d4_n-10SAT0.54
k_d4_n-14SAT0.85
k_d4_n-15SAT0.93
k_d4_n-16SAT1.03
k_d4_n-20SAT1.52