Results for instance klieber2017q-108-27-eq
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.10.88SAT
cqesto2.35SAT
QuAbS_2017108.77SAT
Qute_hybrid879.71FAIL
ghostq-cegar900FAIL
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL