Family incrementer-encoder results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo354.9135.4918.1928.7211.991
Caqe-hqspre330.5333.0572.177.185.311
caqe-pre355.4835.5579.717.155.341
depqbf_prefix_opt_qdo4516.55451.66448.35453.2898.410.5
depqbf_pre_QxQBH928.1992.8293.273.28122.881
GhostQ___cegar_pcnf_2019120.9812.17.889.53.991
GhostQ___plain_pcnf_20194555.14455.51444.52462.56893.410.5
iprover_bloqqer_schedule2364.75236.48237.25141.0648.920.9
iprover_bloqqer_single1917.39191.74141.88129.1239.831
nanoqbf_bloqqer276.2127.6213.5820.877.931
nanoqbf_hqspre951.6795.17268.34.195.840.9
Qute_default4816.12481.61403.78591.08896.480.6
Qute_opt500159.415.9412.9411.9211.010.3
Qute_rrs5508.5550.85428.29900896.420.4
Rareqs_2018302.8630.2985.51.760.961