Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
Best Solver: Heretiq-cube Time: 0.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 0.67 - - Caqe-hqspre 6.72
- - ijtihad 0.67 - - Qute_opt500 9.8
- - Rareqs_2018 0.78 - - Qute_random 9.83
- - - - - - Qute_default 10.09
- - - - - - predyndep 21.28
- - - - - - PortfolioDepQBFGhostQRaReQSQute___pf 45.04
Heretiq-cube(0.67)
Heretiq-simple(0.67)
ijtihad(0.67)
Rareqs_2018(0.78)
Caqe-hqspre(6.72)
Qute_opt500(9.8)
Qute_random(9.83)
Qute_default(10.09)
predyndep(21.28)
PortfolioDepQBFGhostQRaReQSQute___pf(45.04)
Iprover-HQSpre-Bloqqer(113)
depqbf_pre_QxQBH(124.46)
depqbf_prefix_opt_qdo(503.04)