Family formula_add results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer1868.82266.97327.4596.68151.50.857
Caqe-bloqqer-qdo2495.51356.5373.02114.31466.70.714
Caqe-hqspre3130.15447.16398.78215.09890.890.571
Cued_2_20185844.36834.91159.55900.04455.940
Cued_3_20185739.51819.93196.23900.02560.770
depqbf_prefix_opt_qdo2284.85326.41290.78189.96393.010.857
depqbf_pre_QxQBH5137.98734310.16900.03890.130.286
GhostQ-PG_cegar5106.12729.45309.06900.06879.290.286
GhostQ-PG_plain5640.96805.85230.73900.04659.380.143
Heretiq-cube4654.39664.91373.93900.01898.230.286
Heretiq-simple4655.29665.04373.74900.01898.220.286
ijtihad5402771.71314.32900.02898.270.143
Iprover-HQSpre-Bloqqer5410.16772.88311.52900.04890.260.143
PortfolioDepQBFGhostQRaReQSQute___pf4565.57652.22391.84900.02875.380.286
predyndep4566.34652.33391.96900.02894.830.286
Qute_default5574.76796.39253.85900.02725.440.143
Qute_opt5005555.06793.58260.8900.06745.30.143
Qute_random5558.35794.05259.63900.03741.950.143
Rareqs_20181962.46280.35298.66138.56294.070.857