Suite Peitl results for solvers
Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_201816387.83409.7403.26162.69857.670.625
GhostQ___cegar_qcir_201920153.08503.83399.06582.49820.660.5
GhostQ___plain_qcir_201910250.61256.27341.9237.542460.8
QFUN19611.25490.28411.92570.13831.220.5
Quabs_201812822.71320.57384.3446.64808.40.775
quabs___caqe-hqspre36000900090000
QuAbS___quabs-caqe_201913835.24345.88410.3446.23886.120.65
Qute_default29575.18739.38257.15900324.050.35