Sota solver details
QBFEVAL'18 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 1.24 PortfolioDepQBFGhostQRaReQSQute___pf 10.18 predyndep 48.57
- - Heretiq-cube 1.26 - - Caqe-bloqqer-qdo 56.25
- - ijtihad 1.26 - - - -
- - Heretiq-simple 1.27 - - - -
- - Qute_default 1.3 - - - -
- - Rareqs_2018 1.38 - - - -
- - Iprover-HQSpre-Bloqqer 1.79 - - - -
- - Caqe-hqspre 1.8 - - - -
- - depqbf_pre_QxQBH 2.68 - - - -
- - depqbf_prefix_opt_qdo 3.27 - - - -
- - Caqe-bloqqer 3.81 - - - -
Qute_random(1.21)
Qute_opt500(1.24)
Heretiq-cube(1.26)
ijtihad(1.26)
Heretiq-simple(1.27)
Qute_default(1.3)
Rareqs_2018(1.38)
Iprover-HQSpre-Bloqqer(1.79)
Caqe-hqspre(1.8)
depqbf_pre_QxQBH(2.68)
depqbf_prefix_opt_qdo(3.27)
Caqe-bloqqer(3.81)
PortfolioDepQBFGhostQRaReQSQute___pf(10.18)
predyndep(48.57)
Caqe-bloqqer-qdo(56.25)