Results for instance Adder2-8-c
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180UNSAT
Heretiq-simple0UNSAT
Heretiq-cube0UNSAT
ijtihad0.33UNSAT
Qute_default3.73SAT
Qute_opt5003.75SAT
Qute_random3.78SAT
PortfolioDepQBFGhostQRaReQSQute___pf6.12UNSAT
predyndep24.07UNSAT
Iprover-HQSpre-Bloqqer58.69UNSAT
Cued_3_2018900FAIL
depqbf_prefix_opt_qdo900.02FAIL
Cued_2_2018900.03FAIL
GhostQ-PG_plain900.03FAIL
Caqe-hqspre900.04FAIL
depqbf_pre_QxQBH900.05FAIL
Caqe-bloqqer-qdo900.09FAIL
GhostQ-PG_cegar900.09FAIL
Caqe-bloqqer900.1FAIL