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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve900900090000
caqe_2017_v1900900090000
caqe_2017_v2900900090000
caqe_2017_v3900900090000
CUED1919_NL463.66463.660463.6600
CUED1919_NNL592.47592.470592.4700
dynQBF-bloqqer-hqspre900900090000
ghostq-cegar900900090000
GhostQ-PG_cegar900900090000
GhostQ-PG_plain900900090000
heretiq900900090000
HQSpre_solver900900090000
ijtihad_v1900900090000
ijtihad_v2900900090000
iProver-qbf-2017-07-27-v3900900090000
iProver-qbf-bloqqer-2017-07-27-v3900900090000
prefix-opt-depqbf900900090000
qbfrelay891.48891.480891.4800
qbfrelay-limited-depqbf900900090000
QELL_default900900090000
QELL_unit900900090000
qesto900900090000
Qute_default900900090000
Qute_opt500900900090000
Qute_random900900090000
rareqs900900090000
rev_qfun0.1900900090000
xb-qsts_bqsts2.0900900090000
xb-qsts_xbqsts1.0900900090000
xb-qsts_xbqsts2.0900900090000