Suite Biere results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto3600900090000
ghostq-cegar3600900090000
ghostq-plain3600900090000
qfun0.13077.82769.46226.11900261.090.25
QuAbS_20173040.32760.08242.35900279.840.25
Qute_hybrid3247.93811.98113.79877.17132.550.25
Qute_opt6173600900090000
Qute_opt9932787.64696.91351.76900406.180.25