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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GhostQ___cegar_qcir_20192017.03288.15390.2423.22159.90.714
GhostQ___plain_qcir_20192083.91297.7386.351.25203.370.714
PortfolioGhostQQfunQuAbSQute___pf247.696.810.797.152.30.143
PortfolioGhostQQfunQuAbSQute___pf340.815.830.461.160.143
PortfolioGhostQQfunQuAbSQute___pfs1831.3261.61403.7864.020.286
Quabs_20182714.3387.76443.667.09900.010.571
quabs___caqe-hqspre1847.3263.9402.3715.0915.110.714
QuAbS___quabs-caqe_20192119.53302.79391.217.14304.750.714
Qute_default1870.07267.15400.832.4164.770.714