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



Solver Time Result
aqme-102.25UNSAT
squeezebf+aqme2.38UNSAT
caqe-portfolio26.76UNSAT