Results for instance add6_REDUCED
Prenex CNF Track



Solver Time Result
Qute_opt5001.86FAIL
depqbf_prefix_opt_qdo114.85SAT
Rareqs_2018128.95SAT
nanoqbf_hqspre135.3SAT
nanoqbf_bloqqer174.89SAT
caqe-pre246.55SAT
Caqe-hqspre248.37SAT
Caqe-bloqqer-qdo251.27SAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_pre_QxQBH900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL