Results for instance bs128y.sat
Prenex CNF Track



Solver Time Result
Rareqs_20180SAT
nanoqbf_bloqqer1.6SAT
caqe-pre2.39SAT
Caqe-hqspre2.4SAT
iprover_bloqqer_single3.22SAT
iprover_bloqqer_schedule3.26SAT
nanoqbf_hqspre3.83SAT
Qute_default4.17SAT
Qute_rrs4.17SAT
depqbf_pre_QxQBH4.19SAT
Qute_opt5004.21SAT
GhostQ___cegar_pcnf_2019900FAIL
Caqe-bloqqer-qdo900FAIL
depqbf_prefix_opt_qdo900FAIL
GhostQ___plain_pcnf_2019900FAIL