Family amba results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20183600900090000
GhostQ___cegar_qcir_20193600900090000
GhostQ___plain_qcir_20193549.21887.321.9990025.40.25
QFUN3595.53898.881.949002.240.25
Quabs_20183600900090000
quabs___caqe-hqspre1846.67461.67438.4467.04876.670.5
QuAbS___quabs-caqe_20192446.35611.59288.51616.93576.830.5
Qute_default3600900090000