Results for instance vonNeumann-ripple-carry-10-c
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
caqe-portfolio2.02UNSAT
squeezebf+aqme2.42FAIL
aqme-103.69UNSAT