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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve8345.6834.56196.3290000.1
caqe_2017_v19000900090000
caqe_2017_v28550.75855.08134.7890000.1
caqe_2017_v38552.45855.25134.2790000.1
CUED1919_NL5370.39537.04164.93461.97126.590
CUED1919_NNL8345.69834.57196.2990000
dynQBF-bloqqer-hqspre5173.72517.37384.05554.71788.340.5
ghostq-cegar8314.93831.49205.5290000.1
GhostQ-PG_cegar8315.19831.52205.4490000.1
GhostQ-PG_plain8362.3836.23191.3190000.1
heretiq9000900090000
HQSpre_solver8233.39823.34229.9890000.1
ijtihad_v19000900090000
ijtihad_v29000900090000
iProver-qbf-2017-07-27-v39000900090000
iProver-qbf-bloqqer-2017-07-27-v39000900090000
prefix-opt-depqbf9000900090000
qbfrelay7345.2734.52127.95723.39243.230
qbfrelay-limited-depqbf8958.15895.823.5893.847.170
QELL_default9000900090000
QELL_unit9000900090000
qesto9000900090000
Qute_default9000900090000
Qute_opt5009000900090000
Qute_random9000900090000
rareqs9000900090000
rev_qfun0.18095.17809.52266.0890016.230.2
xb-qsts_bqsts2.07838.12783.81236.05900488.160.2
xb-qsts_xbqsts1.07849.61784.96233.74900482.980.2
xb-qsts_xbqsts2.07847.58784.76234.24900482.850.2