Family s1269 results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo4500900090000
Caqe-hqspre4500900090000
caqe-pre4500900090000
depqbf_prefix_opt_qdo4500900090000
depqbf_pre_QxQBH4373.07874.6110.89879.2118.290
GhostQ___cegar_pcnf_20194500900090000
GhostQ___plain_pcnf_20194500900090000
iprover_bloqqer_schedule4134.36826.8767.92837.23120.050
iprover_bloqqer_single4128.73825.7568.29833.35118.990
nanoqbf_bloqqer4500900090000
nanoqbf_hqspre4500900090000
Qute_default4500900090000
Qute_opt500296.6259.322.8560.284.550
Qute_rrs4500900090000
Rareqs_20184500900090000