Family toy results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20184500900090000
GhostQ___cegar_qcir_20194500900090000
GhostQ___plain_qcir_20194500900090000
QFUN2652.91530.58428.38839.67863.220.6
Quabs_20184500900090000
quabs___caqe-hqspre906.2181.24359.382.381.680.8
QuAbS___quabs-caqe_20192106.02421.2239.4302.331.690.8
Qute_default1590.26318.05377.1242.96334.210.8