Instances of family k_d4_p solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_d4_p-1UNSAT0.03
k_d4_p-4UNSAT13.31
k_d4_p-7FAIL123.43
k_d4_p-10FAIL128.63
k_d4_p-11FAIL131.03
k_d4_p-16FAIL142.04
k_d4_p-17FAIL143.94
k_d4_p-20FAIL152.33
k_d4_p-8FAIL288.74
k_d4_p-13FAIL600