Family hwmcc results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20181800900090000
GhostQ___cegar_qcir_20191800900090000
GhostQ___plain_qcir_20191800900090000
QFUN1800900090000
Quabs_20181800900090000
quabs___caqe-hqspre968.23484.12415.89484.1200.5
QuAbS___quabs-caqe_20191268.01634.01266634.0100.5
Qute_default1800900090000