Instances of family k_d4_p solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_d4_p-4UNSAT0.54
k_d4_p-1UNSAT0.83
k_d4_p-8UNSAT2.21
k_d4_p-10UNSAT3.19
k_d4_p-11UNSAT3.8
k_d4_p-7UNSAT5
k_d4_p-13UNSAT5.11
k_d4_p-16UNSAT7.48
k_d4_p-17UNSAT8.37
k_d4_p-20UNSAT11.34