Family PositionalGames_hex results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo8433.7562.25386.13900.01881.530.467
Caqe-hqspre9332.65622.18363.68900.02888.290.4
caqe-pre9506.38633.76361.61900.01888.290.4
depqbf_prefix_opt_qdo7681.49512.1383.2491.76888.740.533
depqbf_pre_QxQBH10064.4670.96371.12900.01829.830.333
GhostQ___cegar_pcnf_201912600.8840.05224.49900.040.030.067
GhostQ___plain_pcnf_201912368.76824.58227.79900.050.040.133
Hiqqer2019_14428.55295.24329.18108.13356.640.867
Hiqqer2019_24781.97318.8330.86164.05524.480.867
Hiqqer2019_34433.19295.55329.26106.65363.560.867
Qute_default10510.53700.7338.71900.04628.80.267
Qute_opt50020.841.390.811.40.940.067
Qute_rrs10386.06692.4348.67900.05727.630.267