Suite Klieber results for solvers
QBFEVAL'17 - Random QBFs Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve16962.28565.41328.81754.06725.780.4
caqe_2017_v113641.85454.73445.41479.16898.470.5
caqe_2017_v213599.13453.3446.7457.27894.60.5
caqe_2017_v313598.96453.3446.71457.13894.620.5
CUED1919_NL47.361.580.391.630.470
CUED1919_NNL7.220.240.050.250.060
dynQBF-bloqqer-hqspre27000900090000
ghostq-cegar4332.46144.42272.0931.9273.410.9
GhostQ-PG_cegar4321.1144.04272.0231.9869.170.9
GhostQ-PG_plain27000900090000
heretiq14106.06470.2435.28644.97895.570.5
HQSpre_solver27000900090000
ijtihad_v113825.14460.84440.24535.94895.470.5
ijtihad_v213827.91460.93440.15535.58895.480.5
iProver-qbf-2017-07-27-v327000900090000
iProver-qbf-bloqqer-2017-07-27-v327000900090000
prefix-opt-depqbf26609.83886.9962.6690000.067
qbfrelay10032.79334.43392.2212.9803.050.167
qbfrelay-limited-depqbf24283.12809.44239.21888.822.470.1
QELL_default1430.7847.6981.9413.6442.021
QELL_unit1838.1861.27187.549.0113.730.967
qesto23764.46792.15258.7790052.360.233
Qute_default27000900090000
Qute_opt50026101.26870.04161.3390000.033
Qute_random26101.27870.04161.3390000.033
rareqs13685.55456.19444.26498.59899.250.5
rev_qfun0.14156.44138.55302.683.0611.290.867
xb-qsts_bqsts2.026108.92870.3159.9590000.033
xb-qsts_xbqsts1.026108.94870.3159.9590000.033
xb-qsts_xbqsts2.026109.06870.3159.9390000.033