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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve10485.84873.8258.6190000
caqe_2017_v14937.22411.44417.84169.03874.690.583
caqe_2017_v26313.42526.12387.91655.55770.350.5
caqe_2017_v36318.01526.5387.82657.96770.310.5
CUED1919_NL1315.83109.65202.320.4111.120
CUED1919_NNL1472.58122.72238.220.21112.340
dynQBF-bloqqer-hqspre8188.87682.41377.17900414.480.25
ghostq-cegar8233.93686.16320.93900470.510.333
GhostQ-PG_cegar8409.47700.79312.09900368.70.333
GhostQ-PG_plain10013.16834.43182.7790000.167
heretiq7378.01614.83405.23900813.920.333
HQSpre_solver6649.91554.16409.21889.82836.440.5
ijtihad_v18114.57676.21387.61900445.650.25
ijtihad_v28188.81682.4377.29900410.690.25
iProver-qbf-2017-07-27-v310800900090000
iProver-qbf-bloqqer-2017-07-27-v39295.85774.65280.4490000.167
prefix-opt-depqbf8523.29710.27337.29900272.360.25
qbfrelay8705.71725.48150.54744.61170.380.167
qbfrelay-limited-depqbf8317.83693.15343.55886.97342.010.25
QELL_default6783.97565.33404.59900839.740.417
QELL_unit6362.41530.2393.51695.93850.320.5
qesto9186.46765.54300.9390000.167
Qute_default9258.08771.51237.62900176.330.25
Qute_opt5009199.94766.66243.82900195.140.25
Qute_random9216.81768.07243.41900169.850.25
rareqs4610.32384.19387.71199.48895.650.667
rev_qfun0.15473.37456.11412.23422.34881.740.583
xb-qsts_bqsts2.09592.03799.34244.7190000.167
xb-qsts_xbqsts1.09588.5799.04244.669001.540.167
xb-qsts_xbqsts2.09587.48798.96244.829001.550.167