Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
Best Solver: Rareqs_2018 Time: 2.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Caqe-hqspre 12.93 Heretiq-simple 37.9
- - - - Qute_default 20.34 Heretiq-cube 38.06
- - - - Qute_random 20.45 Caqe-bloqqer 56.13
- - - - Qute_opt500 21.26 predyndep 90.32
- - - - depqbf_pre_QxQBH 24 Caqe-bloqqer-qdo 150.88
- - - - - - PortfolioDepQBFGhostQRaReQSQute___pf 151.37
Rareqs_2018(2.44)
Caqe-hqspre(12.93)
Qute_default(20.34)
Qute_random(20.45)
Qute_opt500(21.26)
depqbf_pre_QxQBH(24)
Heretiq-simple(37.9)
Heretiq-cube(38.06)
Caqe-bloqqer(56.13)
predyndep(90.32)
Caqe-bloqqer-qdo(150.88)
PortfolioDepQBFGhostQRaReQSQute___pf(151.37)