Suite Preusser results for solvers
Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo5116.34511.63395.64575.64873.570.5
Caqe-hqspre6637.12663.71364.98900827.320.3
caqe-pre5820.13582.01348.81715.87826.910.5
depqbf_prefix_opt_qdo4905.39490.54367.16478.21871.510.6
depqbf_pre_QxQBH8194.21819.42241.7490000.1
GhostQ___cegar_pcnf_20198316.14831.61137.16900318.740.2
GhostQ___plain_pcnf_20198852.58885.2644.2390000.1
iprover_bloqqer_schedule9000900090000
iprover_bloqqer_single9000900090000
nanoqbf_bloqqer4098.28409.83405.14188.83890.880.6
nanoqbf_hqspre4896.42489.64412.32517.65887.80.5
Qute_default8693.39869.3491.9890000.1
Qute_opt5001992.39199.24249.112.6430.630
Qute_rrs8092.89809.29183.37900393.890.2
Rareqs_20184639.51463.95380.03390.82895.490.6