Family RobotsD2 results for solvers
QBFEVAL'17 - Random QBFs Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4449.998902090025.010
caqe_2017_v13272.9654.58300.62900613.550.4
caqe_2017_v23608.88721.78222.47900445.560.4
caqe_2017_v33603.06720.61223.99900448.470.4
CUED1919_NL2857.97571.5976.72516.8769.90
CUED1919_NNL4500900090000
dynQBF-bloqqer-hqspre4477.42895.489.0390011.290
ghostq-cegar4500900090000
GhostQ-PG_cegar4500900090000
GhostQ-PG_plain4500900090000
heretiq4500900090000
HQSpre_solver4500900090000
ijtihad_v14500900090000
ijtihad_v24500900090000
iProver-qbf-2017-07-27-v34500900090000
iProver-qbf-bloqqer-2017-07-27-v34500900090000
prefix-opt-depqbf4500900090000
qbfrelay4484.39896.881.62896.140.810
qbfrelay-limited-depqbf4386.1877.2230.97892.3139.310.2
QELL_default3898.42779.68157.29900300.790.4
QELL_unit3895.13779.03164.34900302.440.4
qesto3189.53637.91316.34888.26643.50.6
Qute_default4500900090000
Qute_opt5004500900090000
Qute_random4500900090000
rareqs775.05155.01154.12108.583.491
rev_qfun0.14500900090000
xb-qsts_bqsts2.03144.12628.82340.15900677.940.4
xb-qsts_xbqsts1.03179.2635.84332.8900660.40.4
xb-qsts_xbqsts2.03182.14636.43332.29900658.930.4