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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1604.14802.0797.93802.0700.5
caqe_2017_v1555.79277.955.21277.901
caqe_2017_v2587.18293.5998.77293.5901
caqe_2017_v3589.95294.98100.05294.9801
CUED1919_NL81.7340.8721.4640.8700
CUED1919_NNL20.9610.486.0410.4800
dynQBF-bloqqer-hqspre1800900090000
ghostq-cegar221.75110.8865.16110.8801
GhostQ-PG_cegar78.0239.0113.1139.0101
GhostQ-PG_plain51.3725.699.7525.6901
heretiq1547.67773.84126.17773.8400.5
HQSpre_solver1800900090000
ijtihad_v11800900090000
ijtihad_v21800900090000
iProver-qbf-2017-07-27-v31800900090000
iProver-qbf-bloqqer-2017-07-27-v31800900090000
prefix-opt-depqbf1800900090000
qbfrelay1694.06847.0338.65847.0300
qbfrelay-limited-depqbf1800900090000
QELL_default240.97120.4929.94120.4901
QELL_unit238.17119.0930.44119.0901
qesto305.73152.8732.24152.8701
Qute_default1174.74587.37139.52587.3701
Qute_opt500974.48487.24412.76487.2400.5
Qute_random974.63487.32412.69487.3200.5
rareqs414.27207.1419.64207.1401
rev_qfun0.1269.7134.857.71134.8501
xb-qsts_bqsts2.0258.2129.165.56129.101
xb-qsts_xbqsts1.0381.59190.881.51190.801
xb-qsts_xbqsts2.0380.29190.1579.83190.1501