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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve44.052.21.522.142.461
caqe_2017_v123.611.180.681.221.221
caqe_2017_v239.9121.112.051.871
caqe_2017_v345.822.291.362.172.171
CUED1919_NL16765.62838.28136.1690000
CUED1919_NNL16742.46837.12138.3790000
dynQBF-bloqqer-hqspre103.085.152.855.375.041
ghostq-cegar1842.5592.1355.4693.999.271
GhostQ-PG_cegar5064.59253.23197.28226.96298.010.9
GhostQ-PG_plain5093.49254.67199.81229.21297.150.9
heretiq23.631.180.671.221.21
HQSpre_solver39.241.961.071.991.811
ijtihad_v123.621.180.671.231.211
ijtihad_v223.71.190.671.241.191
iProver-qbf-2017-07-27-v3512.5425.6315.8125.5226.221
iProver-qbf-bloqqer-2017-07-27-v3102.745.142.865.345.081
prefix-opt-depqbf167.978.44.748.717.551
qbfrelay265.2813.267.3713.4712.531
qbfrelay-limited-depqbf211.0610.555.8210.859.391
QELL_default80.114.013.972.323.561
QELL_unit80.244.013.992.33.551
qesto23.461.170.671.221.181
Qute_default45.342.271.32.282.111
Qute_opt50044.662.231.232.272.111
Qute_random44.832.241.242.272.11
rareqs23.41.170.671.211.191
rev_qfun0.123.381.170.671.211.181
xb-qsts_bqsts2.0105.535.282.915.35.221
xb-qsts_xbqsts1.0104.945.252.945.335.131
xb-qsts_xbqsts2.0104.435.222.925.345.131