Results for instance adder-12-unsat
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Qute_opt5007.66SAT
Qute_random7.69SAT
Heretiq-simple816.22FAIL
Caqe-bloqqer-qdo900.01FAIL
Caqe-hqspre900.01FAIL
depqbf_pre_QxQBH900.01FAIL
GhostQ-PG_cegar900.03FAIL
GhostQ-PG_plain900.03FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.03FAIL
Rareqs_2018900.04FAIL
Caqe-bloqqer900.04FAIL
Qute_default900.04FAIL
Iprover-HQSpre-Bloqqer900.05FAIL
predyndep900.05FAIL
Cued_3_2018900.05FAIL
Cued_2_2018900.06FAIL
Heretiq-cube900.06FAIL
depqbf_prefix_opt_qdo900.08FAIL
ijtihad900.1FAIL