Results for instance cnt11
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
caqe-portfolio0.32SAT
aqme-104.18SAT
squeezebf+aqme4.19SAT