Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
Best Solver: Qute_default Time: 0.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 0.81 - - PortfolioDepQBFGhostQRaReQSQute___pf 8.99
- - Qute_random 0.81 - - predyndep 35.74
- - Iprover-HQSpre-Bloqqer 0.91 - - Caqe-bloqqer-qdo 41.29
- - Caqe-hqspre 0.93 - - - -
- - Heretiq-cube 1.29 - - - -
- - Heretiq-simple 1.3 - - - -
- - Rareqs_2018 1.33 - - - -
- - ijtihad 1.4 - - - -
- - depqbf_pre_QxQBH 1.63 - - - -
- - Caqe-bloqqer 1.96 - - - -
- - depqbf_prefix_opt_qdo 2.92 - - - -
Qute_default(0.76)
Qute_opt500(0.81)
Qute_random(0.81)
Iprover-HQSpre-Bloqqer(0.91)
Caqe-hqspre(0.93)
Heretiq-cube(1.29)
Heretiq-simple(1.3)
Rareqs_2018(1.33)
ijtihad(1.4)
depqbf_pre_QxQBH(1.63)
Caqe-bloqqer(1.96)
depqbf_prefix_opt_qdo(2.92)
PortfolioDepQBFGhostQRaReQSQute___pf(8.99)
predyndep(35.74)
Caqe-bloqqer-qdo(41.29)