Instances of family k_path_p solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_path_p-2UNSAT0.53
k_path_p-5UNSAT0.56
k_path_p-13UNSAT0.58
k_path_p-10UNSAT0.6
k_path_p-19UNSAT0.61
k_path_p-14UNSAT0.62
k_path_p-15UNSAT0.62
k_path_p-16UNSAT0.63
k_path_p-18UNSAT0.64
k_path_p-21UNSAT0.64