Results for instance ttt_5x5-shape-0-GTTT-1-2-torus-0
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Iprover-HQSpre-Bloqqer0SAT
depqbf_prefix_opt_qdo0SAT
Caqe-hqspre0SAT
depqbf_pre_QxQBH0SAT
Qute_random0SAT
Qute_opt5000SAT
Qute_default0SAT
Heretiq-simple0.18SAT
Heretiq-cube0.19SAT
ijtihad0.19SAT
predyndep1.72SAT
GhostQ-PG_cegar2.71SAT
PortfolioDepQBFGhostQRaReQSQute___pf5.66SAT
GhostQ-PG_plain6.36SAT
Caqe-bloqqer900.04FAIL
Cued_2_2018900.04FAIL
Cued_3_2018900.05FAIL
Rareqs_2018900.05FAIL
Caqe-bloqqer-qdo900.06FAIL