Results for instance test3_quant2
Prenex CNF Track



Solver Time Result
Qute_opt5000FAIL
Qute_rrs0.75UNSAT
Qute_default7.96UNSAT
GhostQ___plain_pcnf_201933.43UNSAT
depqbf_prefix_opt_qdo62.99UNSAT
depqbf_pre_QxQBH100.85UNSAT
Caqe-bloqqer-qdo153UNSAT
GhostQ___cegar_pcnf_2019307.35UNSAT
Rareqs_2018346.35UNSAT
caqe-pre811.32UNSAT
nanoqbf_bloqqer833.01UNSAT
nanoqbf_hqspre900FAIL
iprover_bloqqer_single900FAIL
Caqe-hqspre900FAIL
iprover_bloqqer_schedule900FAIL