Results for instance c5_BMC_p1_k32
Prenex CNF Track



Solver Time Result
Rareqs_20187.12SAT
nanoqbf_bloqqer8.87SAT
caqe-pre22.8SAT
Caqe-hqspre23.06SAT
nanoqbf_hqspre29.9SAT
depqbf_pre_QxQBH31.1SAT
Qute_default33.6SAT
Qute_rrs33.61SAT
Qute_opt50034.18SAT
Caqe-bloqqer-qdo55.6SAT
GhostQ___cegar_pcnf_2019105.11SAT
GhostQ___plain_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_prefix_opt_qdo900FAIL
iprover_bloqqer_schedule900FAIL