Family C5315 results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3471.86694.37350.05900514.070.2
caqe_2017_v13602.18720.44359.13900448.910.2
caqe_2017_v22704.75540.95439.75900897.630.4
caqe_2017_v33600.32720.06359.87900449.840.2
CUED1919_NL11.712.340.712.630.930
CUED1919_NNL4.780.960.10.920.140
dynQBF-bloqqer-hqspre3603.17720.63358.73900448.420.2
ghostq-cegar2721.47544.29435.69900889.270.4
GhostQ-PG_cegar2706.67541.33439.28900896.670.4
GhostQ-PG_plain2704.48540.9439.81900897.760.4
heretiq3601.91720.38359.24900449.050.2
HQSpre_solver3600.98720.2359.61900449.510.2
ijtihad_v13601.93720.39359.23900449.040.2
ijtihad_v23601.95720.39359.22900449.030.2
iProver-qbf-2017-07-27-v33745.34749.07301.86900377.330.2
iProver-qbf-bloqqer-2017-07-27-v34295.9859.1881.64900102.050.2
prefix-opt-depqbf3634.56726.91346.18900432.720.2
qbfrelay1835.62367.12428.1624.84442.460.2
qbfrelay-limited-depqbf3588.37717.67341.37888.12427.880.2
QELL_default3601.39720.28359.44900449.310.2
QELL_unit3601.82720.36359.27900449.090.2
qesto4500900090000
Qute_default2714.81542.96437.3900892.60.4
Qute_opt5002741.68548.34430.89900879.160.4
Qute_random2742.3548.46430.75900878.850.4
rareqs3605.32721.06357.87900447.340.2
rev_qfun0.12713.18542.64437.69900893.410.4
xb-qsts_bqsts2.04500900090000
xb-qsts_xbqsts1.04500900090000
xb-qsts_xbqsts2.04500900090000