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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve2700900090000
caqe_2017_v11380.13460.04210.19324.4725.741
caqe_2017_v247.8715.964.9512.470.021
caqe_2017_v31378.48459.49207.98327.0228.711
CUED1919_NL2.60.870.660.450.10
CUED1919_NNL0.510.170.130.090.020
dynQBF-bloqqer-hqspre2700900090000
ghostq-cegar2700900090000
GhostQ-PG_cegar2700900090000
GhostQ-PG_plain2700900090000
heretiq1573.65524.5549.12531.4570.211
HQSpre_solver2700900090000
ijtihad_v12700900090000
ijtihad_v22700900090000
iProver-qbf-2017-07-27-v32700900090000
iProver-qbf-bloqqer-2017-07-27-v32700900090000
prefix-opt-depqbf146.7848.935.650.18.541
qbfrelay2678.35892.786.81894.711.050
qbfrelay-limited-depqbf149.5449.855.9352.1410.431
QELL_default2700900090000
QELL_unit2700900090000
qesto2574.92858.3158.96900125.080.333
Qute_default2700900090000
Qute_opt5002700900090000
Qute_random2700900090000
rareqs2700900090000
rev_qfun0.12700900090000
xb-qsts_bqsts2.0201.1867.0678.6211.830.721
xb-qsts_xbqsts1.0228.876.2783.8417.10.241
xb-qsts_xbqsts2.0225.4275.1482.2817.040.161