Instances of family k_d4_n solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_d4_n-1SAT0.01
k_d4_n-2SAT0.03
k_d4_n-3SAT0.05
k_d4_n-7SAT0.16
k_d4_n-8SAT0.19
k_d4_n-10SAT0.26
k_d4_n-14SAT0.44
k_d4_n-15SAT0.48
k_d4_n-16SAT0.54
k_d4_n-20SAT0.81