Suite Jordan-Kaiser results for solvers
Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20181721.5431.88147.85000.981
GhostQ___cegar_qcir_20193313.8761.37213.430.150.280.963
GhostQ___plain_qcir_20195136.5795.12270.460.120.280.907
QFUN1881.8434.85170.02000.963
Quabs_20184532.4583.93260.71000.907
quabs___caqe-hqspre3458.1764.04169.4502.270.981
QuAbS___quabs-caqe_20193578.7966.27218.66000.944
Qute_default5497.97101.81282.38000.889