Family driver results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20185400900090000
GhostQ___cegar_qcir_20195400900090000
GhostQ___plain_qcir_20195400900090000
QFUN4512.54752.09210.19900479.50.333
Quabs_20185400900090000
quabs___caqe-hqspre5.330.890.980.531.051
QuAbS___quabs-caqe_20192105.34350.89111.49301.371.791
Qute_default5400900090000