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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve40544.35810.8985.35824.72151.120
caqe_2017_v145000900090000
caqe_2017_v245000900090000
caqe_2017_v345000900090000
CUED1919_NL45000900090000
CUED1919_NNL45000900090000
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
qbfrelay187.863.760.283.780.330
qbfrelay-limited-depqbf44469.77889.41.91888.911.770
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