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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto6.022.011.392.772.721
ghostq-cegar1800.55600.18424900899.450.333
ghostq-plain2700900090000
qfun0.13.021.010.61.361.21
QuAbS_20172700900090000
Qute_hybrid2638.82879.610.32879.620.410
Qute_opt6172700900090000
Qute_opt9932700900090000