Results for instance mutex-32-s
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
cqesto0.04SAT
Qute_hybrid0.07SAT
Qute_opt6170.07SAT
Qute_opt9930.07SAT
QuAbS_20170.32SAT
qfun0.10.46SAT
ghostq-cegar900FAIL
ghostq-plain900FAIL