Results for instance BLOCKS4i.6.4
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
caqe-portfolio2.63UNSAT
squeezebf+aqme6.42UNSAT
aqme-108.71UNSAT