Family evader-pursuer-4x4-logarithmic 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_NL352.48352.480352.4800
CUED1919_NNL44.7344.73044.7300
dynQBF-bloqqer-hqspre900900090000
ghostq-cegar6.836.8306.8301
GhostQ-PG_cegar7.117.1107.1101
GhostQ-PG_plain11.4711.47011.4701
heretiq8.388.3808.3801
HQSpre_solver900900090000
ijtihad_v18.278.2708.2701
ijtihad_v283.7483.74083.7401
iProver-qbf-2017-07-27-v3472.63472.630472.6301
iProver-qbf-bloqqer-2017-07-27-v387.0787.07087.0701
prefix-opt-depqbf0.480.4800.4801
qbfrelay900900090000
qbfrelay-limited-depqbf0.730.7300.7301
QELL_default900900090000
QELL_unit900900090000
qesto900900090000
Qute_default69.7869.78069.7801
Qute_opt500900900090000
Qute_random900900090000
rareqs0.840.8400.8401
rev_qfun0.1900900090000
xb-qsts_bqsts2.0900900090000
xb-qsts_xbqsts1.0900900090000
xb-qsts_xbqsts2.0900900090000