Results for instance c2_BMC_p1_k2048
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_201824.77SAT
Caqe-bloqqer38.12SAT
depqbf_prefix_opt_qdo172.13SAT
Heretiq-simple395.05SAT
predyndep438.85SAT
ijtihad493.34SAT
GhostQ-PG_plain640.49FAIL
GhostQ-PG_cegar652.89FAIL
PortfolioDepQBFGhostQRaReQSQute___pf667.69FAIL
Qute_random705.02SAT
depqbf_pre_QxQBH723.7SAT
Heretiq-cube756.62SAT
Qute_default900FAIL
Qute_opt500900.02FAIL
Cued_3_2018900.02FAIL
Caqe-bloqqer-qdo900.02FAIL
Cued_2_2018900.05FAIL
Caqe-hqspre900.08FAIL
Iprover-HQSpre-Bloqqer900.09FAIL