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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto3600900090000
ghostq-cegar3600900090000
ghostq-plain3600900090000
qfun0.13060.12765.03233.77900269.940.25
QuAbS_20173600900090000
Qute_hybrid3510.97877.740.98877.871.760
Qute_opt6173600900090000
Qute_opt9933600900090000