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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto3600900090000
ghostq-cegar3600900090000
ghostq-plain3600900090000
qfun0.13600900090000
QuAbS_20173600900090000
Qute_hybrid2833.11708.28295.66878.66342.380.25
Qute_opt6173600900090000
Qute_opt9933600900090000