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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve2263.99226.4342.9432.07117.10.8
caqe_2017_v19000900090000
caqe_2017_v25403.43540.34440.49900899.590.4
caqe_2017_v35403.49540.35440.48900899.580.4
CUED1919_NL1298.02129.8182.4228.2737.590
CUED1919_NNL438.2943.8367.357.167.470
dynQBF-bloqqer-hqspre6774.78677.48352.11900854.180.3
ghostq-cegar4526.34452.63447.38457.088980.5
GhostQ-PG_cegar4521.53452.15447.85454.49897.860.5
GhostQ-PG_plain3792.46379.25427.8192.37898.190.6
heretiq9000900090000
HQSpre_solver6308.02630.8411.21900897.580.3
ijtihad_v19000900090000
ijtihad_v29000900090000
iProver-qbf-2017-07-27-v39000900090000
iProver-qbf-bloqqer-2017-07-27-v39000900090000
prefix-opt-depqbf8100.07810.01269.9890000.1
qbfrelay1273.52127.35116.76100.41670.4
qbfrelay-limited-depqbf6574.67657.47359.98889.3809.990.3
QELL_default5404.74540.47440.33900899.890.4
QELL_unit5407.99540.8439.93900898.860.4
qesto9000900090000
Qute_default5403.95540.4440.42900899.580.4
Qute_opt5005403.65540.37440.46900899.570.4
Qute_random5403.61540.36440.47900899.580.4
rareqs9000900090000
rev_qfun0.12397.78239.78356.7812.3696.90.8
xb-qsts_bqsts2.09000900090000
xb-qsts_xbqsts1.09000900090000
xb-qsts_xbqsts2.09000900090000