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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve944.16314.72413.8623.432.70.667
caqe_2017_v12700900090000
caqe_2017_v22700900090000
caqe_2017_v32700900090000
CUED1919_NL20.826.948.810.740.060
CUED1919_NNL3.631.211.510.1400
dynQBF-bloqqer-hqspre1835.07611.69407.73900864.930.333
ghostq-cegar975.78325.26407.4974.473.020.667
GhostQ-PG_cegar976.43325.48407.3574.8773.310.667
GhostQ-PG_plain902.89300.96423.581.480.070.667
heretiq2700900090000
HQSpre_solver2700900090000
ijtihad_v12700900090000
ijtihad_v22700900090000
iProver-qbf-2017-07-27-v32700900090000
iProver-qbf-bloqqer-2017-07-27-v32700900090000
prefix-opt-depqbf2700900090000
qbfrelay767.8255.93350.698.150.390
qbfrelay-limited-depqbf2670.018901.77890.993.470
QELL_default2700900090000
QELL_unit2700900090000
qesto2700900090000
Qute_default2700900090000
Qute_opt5002700900090000
Qute_random2700900090000
rareqs2700900090000
rev_qfun0.11087.08362.36382.97150.13113.180.667
xb-qsts_bqsts2.02700900090000
xb-qsts_xbqsts1.02700900090000
xb-qsts_xbqsts2.02700900090000