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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ230.537.6310.252.5912.861
CADET_20173600900090000
caqe_2017_v122.595.657.691.819.771
caqe_2017_v22692.41673.1387.4895.13453.80.5
caqe_2017_v32694.25673.56387.65896.05452.880.5
CUED1919_NL2466.1616.53283.49618.52566.950
CUED1919_NNL3600900090000
dynQBF-bloqqer-hqspre1207.78301.95364.85153.5591.090.75
DynQBF-bloqqer-hqspre-it1812.85453.21446.81456.04893.580.5
DynQBF-bloqqer-variant2700.75675.19389.39900449.630.25
ghostq-cegar3600900090000
GhostQ-PG_cegar3600900090000
GhostQ-PG_plain3600900090000
heretiq87.8521.9633.024.3741.171
ijtihad_v158.6114.6520.44.3826.551
ijtihad_v253.8313.4619.323.4824.381
iProver-qbf-2017-07-27-v33600900090000
iProver-qbf-bloqqer-2017-07-27-v32700.77675.19389.38900449.620.25
no-prefix-opt-depqbf3600900090000
qbfrelay162.1340.5347.5619.966.631
qbfrelay-limited-depqbf1212.11303.03340.2124.52448.460.75
QELL_default3600900090000
QELL_unit3600900090000
qesto49.0812.2716.813.8821.361
rareqs24.176.048.062.099.941
rev_qfun0.12700.07675.02389.68900449.970.25
xb-qsts_bqsts2.0141.3835.3553.736.1664.961
xb-qsts_xbqsts1.0176.4844.1253.4620.1973.871
xb-qsts_xbqsts2.0176.6544.1653.5720.1774.081