Results for instance floor256
Prenex CNF Track



Solver Time Result
iprover_bloqqer_single0SAT
nanoqbf_hqspre0SAT
nanoqbf_bloqqer0SAT
Qute_rrs0SAT
caqe-pre0SAT
Rareqs_20180SAT
depqbf_prefix_opt_qdo0SAT
depqbf_pre_QxQBH0SAT
Caqe-hqspre0SAT
Caqe-bloqqer-qdo0SAT
Qute_opt5000SAT
iprover_bloqqer_schedule0SAT
Qute_default0.04SAT
GhostQ___cegar_pcnf_2019900FAIL
GhostQ___plain_pcnf_2019900FAIL