Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
Best Solver: Rareqs_2018 Time: 1.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 2.03 Caqe-hqspre 12.31 Qute_opt500 17.92
- - - - PortfolioDepQBFGhostQRaReQSQute___pf 12.53 Qute_default 17.93
- - - - - - Qute_random 18.13
- - - - - - depqbf_pre_QxQBH 22
- - - - - - Heretiq-simple 31.9
- - - - - - Heretiq-cube 31.97
- - - - - - Caqe-bloqqer-qdo 50.66
Rareqs_2018(1.52)
Caqe-bloqqer(2.03)
Caqe-hqspre(12.31)
PortfolioDepQBFGhostQRaReQSQute___pf(12.53)
Qute_opt500(17.92)
Qute_default(17.93)
Qute_random(18.13)
depqbf_pre_QxQBH(22)
Heretiq-simple(31.9)
Heretiq-cube(31.97)
Caqe-bloqqer-qdo(50.66)
predyndep(181.71)
depqbf_prefix_opt_qdo(281.75)
Iprover-HQSpre-Bloqqer(345.12)