Sota solver details
QBFEVAL'18 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 1.45 Qute_opt500 11.67 PortfolioDepQBFGhostQRaReQSQute___pf 46.69
- - Rareqs_2018 1.55 Qute_default 11.81 depqbf_prefix_opt_qdo 55.03
- - ijtihad 1.7 Qute_random 12 predyndep 57.98
Heretiq-cube(1.43)
Heretiq-simple(1.45)
Rareqs_2018(1.55)
ijtihad(1.7)
Qute_opt500(11.67)
Qute_default(11.81)
Qute_random(12)
PortfolioDepQBFGhostQRaReQSQute___pf(46.69)
depqbf_prefix_opt_qdo(55.03)
predyndep(57.98)
Caqe-hqspre(159.39)
Iprover-HQSpre-Bloqqer(213.79)
depqbf_pre_QxQBH(283.88)