Results for instance k_path_p-18
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
caqe-portfolio0.32UNSAT
aqme-100.61UNSAT
squeezebf+aqme0.64UNSAT