Results for instance mutex-128-s
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
aqme-101.13SAT
squeezebf+aqme1.22SAT
caqe-portfolio6.03SAT