Family k_ph_n results for solvers
QBFEVAL'17 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto47.3247.32047.3201
ghostq-cegar900900090000
ghostq-plain900900090000
qfun0.197.0797.07097.0701
QuAbS_201718.4318.43018.4301
Qute_hybrid0.40.400.401
Qute_opt6170.40.400.401
Qute_opt9930.240.2400.2401