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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve6261.43894.4913.590038.570
caqe_2017_v15409.19772.74311.72900890.810.143
caqe_2017_v25401.43771.63314.43900898.570.143
caqe_2017_v35401.47771.64314.42900898.530.143
CUED1919_NL4.560.650.040.650.080
CUED1919_NNL4.140.590.030.580.080
dynQBF-bloqqer-hqspre6300900090000
ghostq-cegar5402.93771.85313.91900897.070.143
GhostQ-PG_cegar5402.27771.75314.14900897.730.143
GhostQ-PG_plain5208.49744.07310.12900897.70.286
heretiq6300900090000
HQSpre_solver5403.57771.94313.69900896.430.143
ijtihad_v16300900090000
ijtihad_v26300900090000
iProver-qbf-2017-07-27-v36300900090000
iProver-qbf-bloqqer-2017-07-27-v36300900090000
prefix-opt-depqbf6300900090000
qbfrelay2135.27305.04372.43137.27138.350.143
qbfrelay-limited-depqbf5608.32801.19214.49888.48612.980.143
QELL_default5441.56777.37300.39900858.440.143
QELL_unit5442.47777.5300.07900857.530.143
qesto5441.97777.42300.25900858.030.143
Qute_default5401.46771.64314.42900898.540.143
Qute_opt5005401.48771.64314.42900898.520.143
Qute_random5401.48771.64314.42900898.520.143
rareqs5404.42772.06313.39900895.580.143
rev_qfun0.14527.79646.83400.35900897.70.286
xb-qsts_bqsts2.06300900090000
xb-qsts_xbqsts1.06300900090000
xb-qsts_xbqsts2.06300900090000