Family Selection-hard results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer1270.05254.01330.67165.17157.670.8
Caqe-bloqqer-qdo1022.05204.41347.9437.8117.350.8
Caqe-hqspre192.2738.4546.1919.7919.41
Cued_2_20183610.12722.02356.03900.02445.040.2
Cued_3_20183610.12722.02356.04900.05445.080.2
depqbf_prefix_opt_qdo4500.22900.040.02900.040.020
depqbf_pre_QxQBH3601.74720.35359.34900.01449.190.2
GhostQ-PG_cegar4470.62894.1211.82900.0414.80.2
GhostQ-PG_plain4500.17900.030.03900.030.040
Heretiq-cube4500.25900.050.03900.040.040
Heretiq-simple4296.44859.2981.56900.06101.970.2
ijtihad4500.3900.060.03900.060.040
Iprover-HQSpre-Bloqqer3601.58720.32359.43900.01449.290.2
PortfolioDepQBFGhostQRaReQSQute___pf962.92192.58353.7820.911.110.8
predyndep3607.39721.48357.1900.01446.390.2
Qute_default1205.56241.11334.12133.75122.790.8
Qute_opt5001453.58290.72369.885.53273.320.8
Qute_random1454.11290.82369.975.46273.540.8
Rareqs_20182865573403.13900.01817.640.4