Results for instance flipflop-6-c
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
aqme-100.69UNSAT
squeezebf+aqme0.72UNSAT
caqe-portfolio0.72UNSAT