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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1800900090000
caqe_2017_v1432.14216.07132.4216.0701
caqe_2017_v2337.22168.6153.94168.6101
caqe_2017_v3332.47166.2451.87166.2401
CUED1919_NL280.68140.3442.94140.3400
CUED1919_NNL84.7442.3719.4642.3700
dynQBF-bloqqer-hqspre1800900090000
ghostq-cegar53.6126.818.326.8101
GhostQ-PG_cegar16.268.131.888.1301
GhostQ-PG_plain14.587.292.397.2901
heretiq1800900090000
HQSpre_solver1800900090000
ijtihad_v11800900090000
ijtihad_v21800900090000
iProver-qbf-2017-07-27-v31800900090000
iProver-qbf-bloqqer-2017-07-27-v31800900090000
prefix-opt-depqbf1800900090000
qbfrelay1776.55888.281.36888.2800
qbfrelay-limited-depqbf1800900090000
QELL_default3.261.630.511.6301
QELL_unit2.351.180.651.1801
qesto1053.49526.75373.26526.7500.5
Qute_default194.5897.2921.5897.2901
Qute_opt5001800900090000
Qute_random1800900090000
rareqs614.17307.09243.56307.0901
rev_qfun0.192.3246.162346.1601
xb-qsts_bqsts2.0985.25492.63407.38492.6300.5
xb-qsts_xbqsts1.01073.18536.59363.41536.5900.5
xb-qsts_xbqsts2.01070.49535.25364.76535.2500.5