Suite Diptarama-Jordan-Shinohara results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5603.41800.49243.76900696.590.143
caqe_2017_v1377.0153.8648.746.0381.771
caqe_2017_v24275.26610.75363.16900897.330.429
caqe_2017_v3381.654.5149.4946.9181.981
CUED1919_NL1329.47189.92165.3771.69353.770
CUED1919_NNL907.62129.66146.2112.79224.430
dynQBF-bloqqer-hqspre5413.11773.3310.35900886.890.143
ghostq-cegar3255.72465.1403.61470.22896.570.571
GhostQ-PG_cegar5403.5771.93313.71900896.50.143
GhostQ-PG_plain5400.86771.55314.63900899.140.143
heretiq1342.72191.82297.6742.79108.230.857
HQSpre_solver5768.2824.03186.09900531.80.143
ijtihad_v13663.73523.39434.99900899.70.429
ijtihad_v24038.82576.97388.36900899.590.429
iProver-qbf-2017-07-27-v36300900090000
iProver-qbf-bloqqer-2017-07-27-v35667.14809.59221.45900632.860.143
prefix-opt-depqbf1255.64179.38301.4142.9351.830.857
qbfrelay5373.13767.59307.77891.62879.760.143
qbfrelay-limited-depqbf1193.57170.51298.1643.851.510.857
QELL_default5481.33783.05286.47900818.670.143
QELL_unit5516.76788.11274.08900783.240.143
qesto2334.37333.48369.2110.42303.160.714
Qute_default5152.99736.14307.63900883.810.286
Qute_opt5004505.23643.6326.49900894.340.429
Qute_random4603.93657.7318.78900894.340.429
rareqs3342.08477.44382.63392.86899.450.571
rev_qfun0.16115.67873.6764.5900184.330.143
xb-qsts_bqsts2.0361.6251.6697.538.38.511
xb-qsts_xbqsts1.0159.8122.8324.4910.9410.121
xb-qsts_xbqsts2.0160.5222.9324.581110.121