Results for instance C5315.blif_0.10_1.00_0_1_out_exact
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
aqme-100.87SAT
squeezebf+aqme0.94SAT
caqe-portfolio2.62SAT