Results for instance ev-pr-4x4-7-3-0-0-1-lg
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
caqe-portfolio0.82SAT
aqme-102.18SAT
squeezebf+aqme2.28SAT