Family genbuf results for solvers
QBFEVAL'19 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GhostQ___cegar_qcir_2019665.84166.46155.42168.11310.241
GhostQ___plain_qcir_20192700.24675.06389.68900.02449.990.25
PortfolioGhostQQfunQuAbSQute___pf2276.750.577.060.70.25
PortfolioGhostQQfunQuAbSQute___pf323.235.810.135.870.20.25
PortfolioGhostQQfunQuAbSQute___pfs23.255.810.155.890.190.25
Quabs_20182701.58675.4389.07900.01449.280.25
quabs___caqe-hqspre176.1544.0438.6845.1776.961
QuAbS___quabs-caqe_20191078.37269.59157.59345.96227.121
Qute_default2700.82675.21389.39900.01449.630.25