Results for instance sortnetsort10.v.stepl.005
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
squeezebf+aqme33.58UNSAT
aqme-1033.64UNSAT
caqe-portfolio299.85FAIL