Results for instance k_ph_n-21
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
Qute_opt9930.24SAT
Qute_hybrid0.4SAT
Qute_opt6170.4SAT
QuAbS_201718.43SAT
cqesto47.32SAT
qfun0.197.07SAT
ghostq-cegar900FAIL
ghostq-plain900FAIL