Suite Jordan-Kaiser results for solvers
Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7290.04132.55272.150.9120.530.909
Caqe-hqspre9930.47180.55333.820133.790.836
caqe-pre9142.26166.22307.590133.370.891
depqbf_prefix_opt_qdo16329.26296.9408.9809000.691
depqbf_pre_QxQBH17175.23312.28410.174.639000.691
GhostQ___cegar_pcnf_20195191.2494.39222.081.234.20.945
GhostQ___plain_pcnf_201916627.28302.31417.191.149000.709
iprover_bloqqer_schedule31024.36564.08416.52900890.930.4
iprover_bloqqer_single31218.35567.61423.78900890.340.382
nanoqbf_bloqqer24225.53440.46444.8734.96899.430.527
nanoqbf_hqspre27992.19508.95444.539009000.436
Qute_default18070.15328.55432.011.699000.636
Qute_opt500593.5710.7931.650.92.340.345
Qute_rrs17166.7312.12427.111.52899.960.655
Rareqs_20186682.42121.5279.6208.690.891