Family genbuf results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20181800900090000
GhostQ___cegar_qcir_2019744.21372.1158.81372.1101
GhostQ___plain_qcir_20191800900090000
QFUN554.5277.2562.47277.2501
Quabs_20181800900090000
quabs___caqe-hqspre365.52182.7698182.7601
QuAbS___quabs-caqe_2019943.34471.6787.04471.6701
Qute_default1800900090000