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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve44420.91888.4281.0790000.02
caqe_2017_v145000900090000
caqe_2017_v245000900090000
caqe_2017_v345000900090000
CUED1919_NL18309.72366.1934.41360.2243.930
CUED1919_NNL14837.52296.75212.26250.78291.520
dynQBF-bloqqer-hqspre45000900090000
ghostq-cegar45000900090000
GhostQ-PG_cegar45000900090000
GhostQ-PG_plain45000900090000
heretiq45000900090000
HQSpre_solver45000900090000
ijtihad_v145000900090000
ijtihad_v245000900090000
iProver-qbf-2017-07-27-v345000900090000
iProver-qbf-bloqqer-2017-07-27-v345000900090000
prefix-opt-depqbf45000900090000
qbfrelay1875.1337.52.8537.274.280
qbfrelay-limited-depqbf44448.08888.961.92888.541.910
QELL_default45000900090000
QELL_unit45000900090000
qesto45000900090000
Qute_default45000900090000
Qute_opt50045000900090000
Qute_random45000900090000
rareqs45000900090000
rev_qfun0.145000900090000
xb-qsts_bqsts2.045000900090000
xb-qsts_xbqsts1.045000900090000
xb-qsts_xbqsts2.045000900090000