Suite Lee-Jiang results for solvers
Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo3006.81601.36377.59900746.60.4
Caqe-hqspre4444.7888.9422.1290027.650.2
caqe-pre3838.11767.62178.66900330.950.4
depqbf_prefix_opt_qdo3632.07726.41347.17900433.970.2
depqbf_pre_QxQBH2901.19580.24395.81900799.410.4
GhostQ___cegar_pcnf_2019622.63124.53207.7537.1738.071
GhostQ___plain_pcnf_20191220.82244.16337.4346.05116.830.8
iprover_bloqqer_schedule3605.12721.02357.95900447.440.2
iprover_bloqqer_single3605.01721358900447.50.2
nanoqbf_bloqqer3605.1721.02357.96900447.450.2
nanoqbf_hqspre4500900090000
Qute_default4500900090000
Qute_opt5001042.45208.49347.6633.5865.020
Qute_rrs4500900090000
Rareqs_20183600.44720.09359.82900449.780.2