Results for instance ethernet-fixpoint-1
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
CADET_20170UNSAT
ijtihad0.53UNSAT
Caqe-bloqqer0.54UNSAT
Heretiq-cube0.55UNSAT
aspq2v30.56UNSAT
Heretiq-simple0.56UNSAT
Rareqs_20180.58UNSAT
Caqe-bloqqer-qdo1.13UNSAT
aspq3alt1.14UNSAT
ASPQ_20181.14UNSAT
Cued_3_20181.14UNSAT
Cued_2_20181.14UNSAT
GhostQ-PG_plain1.36UNSAT
GhostQ-PG_cegar1.37UNSAT
predyndep2.02UNSAT
Caqe-hqspre2.87UNSAT
Iprover-HQSpre-Bloqqer3.03UNSAT
depqbf_pre_QxQBH3.24UNSAT
Qute_random4.5SAT
Qute_opt5004.54SAT
Qute_default4.54UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf10.02UNSAT
depqbf_prefix_opt_qdo900.05FAIL