Instances of family k_d4_n solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_d4_n-3SAT0.12
k_d4_n-2SAT0.12
k_d4_n-1SAT0.12
k_d4_n-7SAT0.32
k_d4_n-8SAT0.42
k_d4_n-10SAT0.53
k_d4_n-14SAT0.93
k_d4_n-15SAT1.02
k_d4_n-16SAT1.12
k_d4_n-20SAT1.52