Results for instance usb-phy-fixpoint-3
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
CADET_20170UNSAT
aspq2v32.15UNSAT
Caqe-bloqqer2.2UNSAT
Rareqs_20182.21UNSAT
GhostQ-PG_cegar2.89UNSAT
Cued_3_20184.05UNSAT
aspq3alt4.09UNSAT
ASPQ_20184.13UNSAT
Cued_2_20184.21UNSAT
Caqe-bloqqer-qdo4.28UNSAT
predyndep4.84UNSAT
GhostQ-PG_plain6.02UNSAT
ijtihad10.19UNSAT
Heretiq-simple10.22UNSAT
Heretiq-cube10.49UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf12.37UNSAT
Qute_opt50013.16SAT
Qute_random13.24SAT
Qute_default13.39UNSAT
Caqe-hqspre18.04UNSAT
Iprover-HQSpre-Bloqqer18.57UNSAT
depqbf_pre_QxQBH19.77UNSAT
depqbf_prefix_opt_qdo900.03FAIL