Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
Best Solver: depqbf_prefix_opt_qdo Time: 0.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 1.07 - - PortfolioDepQBFGhostQRaReQSQute___pf 9.83
- - Rareqs_2018 1.09 - - Caqe-bloqqer-qdo 25.21
- - ijtihad 1.15 - - predyndep 26.78
- - Heretiq-cube 1.17 - - - -
- - Qute_opt500 1.27 - - - -
- - Qute_default 1.3 - - - -
- - Qute_random 1.3 - - - -
- - Caqe-bloqqer 1.57 - - - -
- - Iprover-HQSpre-Bloqqer 1.82 - - - -
- - Caqe-hqspre 1.87 - - - -
- - depqbf_pre_QxQBH 2.54 - - - -
depqbf_prefix_opt_qdo(0.63)
Heretiq-simple(1.07)
Rareqs_2018(1.09)
ijtihad(1.15)
Heretiq-cube(1.17)
Qute_opt500(1.27)
Qute_default(1.3)
Qute_random(1.3)
Caqe-bloqqer(1.57)
Iprover-HQSpre-Bloqqer(1.82)
Caqe-hqspre(1.87)
depqbf_pre_QxQBH(2.54)
PortfolioDepQBFGhostQRaReQSQute___pf(9.83)
Caqe-bloqqer-qdo(25.21)
predyndep(26.78)