Family jctc results for solvers
Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20189283.31714.1339.88900387.160.077
GhostQ___cegar_qcir_20195120.37393.87410.21125.9881.790.615
GhostQ___plain_qcir_20194002.5307.88394.614.48611.630.769
QFUN3447.9265.22363.074.91298.790.769
Quabs_20185573.53428.73405.83199.31889.660.615
quabs___caqe-hqspre7799.27599.94359.78900700.780.308
QuAbS___quabs-caqe_20194263.38327.95333.67203.52505.420.692
Qute_default7239.68556.9434.04900895.460.385