Results for instance szymanski-6-s
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
aqme-100.66UNSAT
squeezebf+aqme0.66UNSAT
caqe-portfolio0.92UNSAT