Family hwmcc results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo1800900090000
Caqe-hqspre955.24477.62422.38477.6200.5
caqe-pre955.07477.54422.47477.5400.5
depqbf_prefix_opt_qdo1800900090000
depqbf_pre_QxQBH908.35454.18445.83454.1800.5
GhostQ___cegar_pcnf_20191800900090000
GhostQ___plain_pcnf_20191800900090000
iprover_bloqqer_schedule1800900090000
iprover_bloqqer_single1800900090000
nanoqbf_bloqqer1800900090000
nanoqbf_hqspre1800900090000
Qute_default1107.8553.9346.1553.900.5
Qute_opt500195.2397.6291.0997.6200
Qute_rrs1087.93543.97356.04543.9700.5
Rareqs_20181800900090000