Suite Scholl-Becker results for solvers
Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7200900090000
Caqe-hqspre7200900090000
caqe-pre7200900090000
depqbf_prefix_opt_qdo7200900090000
depqbf_pre_QxQBH7200900090000
GhostQ___cegar_pcnf_20197200900090000
GhostQ___plain_pcnf_20196931.45866.4388.8190000.125
iprover_bloqqer_schedule7200900090000
iprover_bloqqer_single7200900090000
nanoqbf_bloqqer7200900090000
nanoqbf_hqspre7200900090000
Qute_default7200900090000
Qute_opt50087.0210.887.988.66140
Qute_rrs7200900090000
Rareqs_20187200900090000