Suite Amendola-Ricca-Truszczynski results for solvers
QBFEVAL'17 - Random QBFs Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve76677.52861.5553.590083.520
caqe_2017_v156210.43631.58390.46900752.320.348
caqe_2017_v256494.95634.77394.33900843.580.337
caqe_2017_v356484.51634.66394.36900843.370.337
CUED1919_NL80100900090000
CUED1919_NNL80100900090000
dynQBF-bloqqer-hqspre78309.13879.88132.7290000.022
ghostq-cegar79992.58898.798.4290000.022
GhostQ-PG_cegar79982.45898.689.2490000.022
GhostQ-PG_plain80100900090000
heretiq75357.97846.72197.8190000.079
HQSpre_solver78301.73879.79133.2690000.022
ijtihad_v180100900090000
ijtihad_v280100900090000
iProver-qbf-2017-07-27-v380100900090000
iProver-qbf-bloqqer-2017-07-27-v376413.2858.58179.190000.056
prefix-opt-depqbf79200.11889.8994.8590000.011
qbfrelay2317.526.0421.4820.4124.980.022
qbfrelay-limited-depqbf74071.64832.27189.14888.452.040.101
QELL_default80100900090000
QELL_unit80100900090000
qesto62091.97697.66339.3900485.520.281
Qute_default55049.5618.53405.92900849.620.326
Qute_opt50054676.08614.34398.96900863.010.348
Qute_random54685.49614.44398.85900862.590.348
rareqs58066.14652.43378.95900746.230.315
rev_qfun0.180100900090000
xb-qsts_bqsts2.063583.07714.42327.93900255.940.27
xb-qsts_xbqsts1.063588.85714.48327.72900256.850.27
xb-qsts_xbqsts2.063583.48714.42327.8900257.20.27