Results for instance test4_quant_squaring2
Prenex CNF Track



Solver Time Result
Qute_default0UNSAT
Qute_opt5000FAIL
Qute_rrs0.03UNSAT
depqbf_prefix_opt_qdo601.45UNSAT
iprover_bloqqer_single900FAIL
nanoqbf_hqspre900FAIL
nanoqbf_bloqqer900FAIL
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900FAIL
caqe-pre900FAIL
Rareqs_2018900FAIL
depqbf_pre_QxQBH900FAIL
Caqe-hqspre900FAIL
Caqe-bloqqer-qdo900FAIL
iprover_bloqqer_schedule900FAIL