Results for instance gttt_2_2_000111_4x4_torus_w
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
ijtihad1.58UNSAT
Heretiq-simple1.61UNSAT
Heretiq-cube1.64UNSAT
Caqe-bloqqer1.74UNSAT
depqbf_prefix_opt_qdo3.58UNSAT
Cued_2_20186.16UNSAT
Cued_3_20186.2UNSAT
Caqe-bloqqer-qdo9.36UNSAT
Rareqs_201819.93UNSAT
depqbf_pre_QxQBH66.03UNSAT
Qute_opt500409.04SAT
Qute_default409.07SAT
Qute_random459.04SAT
PortfolioDepQBFGhostQRaReQSQute___pf845.87UNSAT
predyndep900.01FAIL
Iprover-HQSpre-Bloqqer900.01FAIL
GhostQ-PG_cegar900.07FAIL
Caqe-hqspre900.08FAIL
GhostQ-PG_plain900.11FAIL