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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo10800.46900.040.02900.050.040
Caqe-hqspre3728.9310.74416.8217.78890.020.667
caqe-pre3728.52310.71416.8117.78889.920.667
depqbf_prefix_opt_qdo9021.42751.79331.58900.060.080.167
depqbf_pre_QxQBH6682.76556.9408.94900.03835.230.417
GhostQ___cegar_pcnf_20193627.46302.29422.674.45897.220.667
GhostQ___plain_pcnf_20192037.85169.82331.333.86104.780.833
Hiqqer2019_110799.55899.960.11900.020.150
Hiqqer2019_29901.67825.14248.27900.030.130.083
Hiqqer2019_310800.37900.030.03900.030.040
Qute_default9913.36826.11245.17900.030.030.083
Qute_opt500128.7710.739.58.212.620
Qute_rrs9195.06766.26301.25900.020.050.167