Suite Ansotegui results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve22510.95865.81166.9590000.077
caqe_2017_v122045.41847.9144.590000.038
caqe_2017_v220444.77786.34256.6890000.192
caqe_2017_v320546.22790.24240.5590084.890.115
CUED1919_NL15729.5604.98195.14518.74315.770
CUED1919_NNL20703.09796.27234.690090.260
dynQBF-bloqqer-hqspre22543.85867.07164.6490000.038
ghostq-cegar22506.83865.65171.7690000.038
GhostQ-PG_cegar22507.11865.66171.7190000.038
GhostQ-PG_plain22354.93859.81172.3190000.077
heretiq17280.47664.63368.81900796.760.346
HQSpre_solver16341.93628.54407.78900896.510.308
ijtihad_v118946.69728.72351.0790000.192
ijtihad_v218998.92730.73347.1990000.192
iProver-qbf-2017-07-27-v322972.63883.5682.1990000.038
iProver-qbf-bloqqer-2017-07-27-v321146.74813.34213.9790000.154
prefix-opt-depqbf14507.64557.99399.11900843.130.462
qbfrelay17485.96672.54357.86888.97805.420.269
qbfrelay-limited-depqbf13163.42506.29369.01453.06841.650.577
QELL_default22413.6862.06135.1690000.077
QELL_unit22918.49881.4864.1690000.077
qesto23400900090000
Qute_default16328.61628.02405.31896.67885.940.308
Qute_opt50017004.69654.03389.99900885.930.346
Qute_random16786.03645.62387.91900885.910.346
rareqs21224.65816.33246.2690000.115
rev_qfun0.123400900090000
xb-qsts_bqsts2.021963.75844.76179.3890000.115
xb-qsts_xbqsts1.021978.81845.34177.1890000.115
xb-qsts_xbqsts2.021994.26845.93177.4290000.115