Results for instance s05378_PR_4_90
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180UNSAT
predyndep0UNSAT
Iprover-HQSpre-Bloqqer0UNSAT
ijtihad0UNSAT
Heretiq-simple0UNSAT
Heretiq-cube0UNSAT
depqbf_prefix_opt_qdo0UNSAT
depqbf_pre_QxQBH0UNSAT
Cued_3_20180UNSAT
Cued_2_20180UNSAT
Qute_default0UNSAT
Qute_opt5000UNSAT
Qute_random0UNSAT
Caqe-bloqqer0UNSAT
Caqe-bloqqer-qdo0UNSAT
Caqe-hqspre0UNSAT
GhostQ-PG_plain1.43UNSAT
GhostQ-PG_cegar1.47UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf5.98UNSAT