Family Debug results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo9000900090000
Caqe-hqspre5512.09551.21321.14621.71705.740.7
caqe-pre6136.08613.61356.16900777.570.4
depqbf_prefix_opt_qdo9000900090000
depqbf_pre_QxQBH8942.34894.239.4290017.660
GhostQ___cegar_pcnf_20199000900090000
GhostQ___plain_pcnf_20199000900090000
iprover_bloqqer_schedule9000900090000
iprover_bloqqer_single9000900090000
nanoqbf_bloqqer5596.63559.66311.36544.67724.810.2
nanoqbf_hqspre5770.23577.02329.01688.4770.180.6
Qute_default5901.73590.17336.7751.99767.470.5
Qute_opt5004590.62459.06250.33483.22426.350.4
Qute_rrs5814.5581.45337.13705.77768.620.5
Rareqs_20187112.63711.26260.63900586.680.4