Family Sorting_networks results for solvers
QBFEVAL'17 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ25847.62224.91273.8848.17356.160.808
CADET_20177961.16306.2399.7236.78894.360.692
caqe_2017_v16723.39258.59345.6238.73321.520.846
caqe_2017_v25822.22223.93326.5432.57166.170.846
caqe_2017_v35823.53223.98326.6332.47166.670.846
CUED1919_NL10458.76402.26386.15216.19883.170.692
CUED1919_NNL11587.3445.67404.63350.14882.20.615
dynQBF-bloqqer-hqspre23400900090000
DynQBF-bloqqer-hqspre-it23400900090000
DynQBF-bloqqer-variant23400900090000
ghostq-cegar23400900090000
GhostQ-PG_cegar20752.7798.18233.8390000.192
GhostQ-PG_plain15899.01611.5386.27900807.910.385
heretiq4710.47181.17307.7343.6562.810.846
ijtihad_v114072.94541.27391.74826.53853.550.5
ijtihad_v213835.11532.12402.11892.57862.330.5
iProver-qbf-2017-07-27-v323198.87892.2627.5290000
iProver-qbf-bloqqer-2017-07-27-v323218.8893.0334.8590000
no-prefix-opt-depqbf21469.46825.75203.2890000.154
qbfrelay13477.38518.36340.76588.23774.80
qbfrelay-limited-depqbf12957.88498.38312.67435.04681.720.654
QELL_default12963.78498.61385.81540.43873.580.577
QELL_unit12955.44498.29378.39498.95841.570.577
qesto11158.25429.16428.65143.52892.020.577
rareqs8209.51315.75400.8926.1897.030.692
rev_qfun0.19324.29358.63402.05102.17889.320.654
xb-qsts_bqsts2.04069.9156.53317.717.7238.770.846
xb-qsts_xbqsts1.04548.85174.96311.2452.4177.080.846
xb-qsts_xbqsts2.04547.22174.89311.2552.6776.880.846