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



Solver Time Result
aqme-101.02UNSAT
squeezebf+aqme1.29UNSAT
caqe-portfolio5.63UNSAT