Family blackbox-01X-QBF results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo1866.1793.3195.1668.2474.991
Caqe-hqspre695.5834.7841.2416.6559.11
caqe-pre697.1434.8641.3316.7958.961
depqbf_prefix_opt_qdo8425.01421.25436.78154.63898.890.55
depqbf_pre_QxQBH3223.88161.19273.3426.72178.20.9
GhostQ___cegar_pcnf_201918000900090000
GhostQ___plain_pcnf_201918000900090000
iprover_bloqqer_schedule9836.74491.84379.92352.57784.70.55
iprover_bloqqer_single9553.42477.67367.09357.07785.560.55
nanoqbf_bloqqer12717.11635.86403.51900870.510.3
nanoqbf_hqspre5494.08274.7409.3811.97897.440.7
Qute_default5666.5283.33404.2338.35898.760.7
Qute_opt500232.8411.6410.4910.4417.890.45
Qute_rrs482.8324.1436.0111.0431.751
Rareqs_201835.081.750.881.741.271