Instances of family k_d4_n solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_d4_n-1SAT0.03
k_d4_n-2SAT1.68
k_d4_n-3SAT45.51
k_d4_n-8FAIL604.17
k_d4_n-15FAIL605.84
k_d4_n-7FAIL608.83
k_d4_n-20FAIL611.94
k_d4_n-14FAIL614.08
k_d4_n-10FAIL618.26
k_d4_n-16FAIL619.07