Results for instance stmt19_64_99
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
cqesto37.33SAT
qfun0.150.58SAT
ghostq-cegar713.28SAT
Qute_hybrid877.2FAIL
ghostq-plain900FAIL
QuAbS_2017900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL