Results for instance sortnetsort9.AE.stepl.012
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.16.19UNSAT
cqesto6.2UNSAT
QuAbS_20179.64UNSAT
Qute_hybrid877.01FAIL
ghostq-cegar900FAIL
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL