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



Solver Time Result
squeezebf+aqme0.11FAIL
caqe-portfolio0.12UNSAT
aqme-100.5UNSAT