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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1800.08600.03424.23900899.920.333
caqe_2017_v1949.05316.35413.1949.0449.030.667
caqe_2017_v21007.04335.68401.41106.97106.90.667
caqe_2017_v31007.38335.79401.35107.36107.340.667
CUED1919_NL155.0151.6751.2733.3933.340
CUED1919_NNL34.2811.4312.335.685.640
dynQBF-bloqqer-hqspre1800.07600.02424.23900899.930.333
ghostq-cegar995.29331.76403.6594.8494.390.667
GhostQ-PG_cegar1800.49600.16424.03900899.510.333
GhostQ-PG_plain1800.47600.16424.04900899.530.333
heretiq1300.06433.35368.17400.05400.040.667
HQSpre_solver1800.1600.03424.22900899.90.333
ijtihad_v11800.01600424.26900899.990.333
ijtihad_v21800.01600424.26900899.990.333
iProver-qbf-2017-07-27-v32700900090000
iProver-qbf-bloqqer-2017-07-27-v31800.09600.03424.22900899.910.333
prefix-opt-depqbf1108.49369.5378.21163.32118.150.667
qbfrelay926.75308.92413.7132.8732.670.333
qbfrelay-limited-depqbf268.3989.4642.4976.6431.611
QELL_default2700900090000
QELL_unit2700900090000
qesto1800.01600424.26900899.990.333
Qute_default1800.25600.08424.15900899.750.333
Qute_opt5001103.64367.88385.3203.39203.140.667
Qute_random1105.9368.63384.98205.65205.40.667
rareqs1800.02600.01424.25900899.980.333
rev_qfun0.114.034.683.65.245.231
xb-qsts_bqsts2.01800.07600.02424.23900899.930.333
xb-qsts_xbqsts1.01800.07600.02424.23900899.930.333
xb-qsts_xbqsts2.01800.07600.02424.23900899.930.333