Results for instance ev-pr-6x6-13-5-0-1-2-s
Prenex CNF Track



Solver Time Result
Qute_opt500185.53FAIL
depqbf_pre_QxQBH885.43FAIL
iprover_bloqqer_single900FAIL
nanoqbf_hqspre900FAIL
nanoqbf_bloqqer900FAIL
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900FAIL
caqe-pre900FAIL
Rareqs_2018900FAIL
depqbf_prefix_opt_qdo900FAIL
Caqe-hqspre900FAIL
Caqe-bloqqer-qdo900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL