Results for instance add5_COMPLETE
Prenex CNF Track



Solver Time Result
Qute_opt5001.53FAIL
nanoqbf_bloqqer9.12SAT
nanoqbf_hqspre12.2SAT
Caqe-hqspre72.68SAT
caqe-pre73.09SAT
Rareqs_2018120.25SAT
Caqe-bloqqer-qdo248.58SAT
depqbf_prefix_opt_qdo415.14SAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_pre_QxQBH900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL