Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
Best Solver: Rareqs_2018 Time: 0.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - PortfolioDepQBFGhostQRaReQSQute___pf 8.1
- - - - - - Qute_opt500 10.91
- - - - - - Qute_default 11.06
- - - - - - Qute_random 11.2
- - - - - - predyndep 23.84
- - - - - - depqbf_prefix_opt_qdo 40.11
Rareqs_2018(0.66)
PortfolioDepQBFGhostQRaReQSQute___pf(8.1)
Qute_opt500(10.91)
Qute_default(11.06)
Qute_random(11.2)
predyndep(23.84)
depqbf_prefix_opt_qdo(40.11)
depqbf_pre_QxQBH(123.6)
Caqe-bloqqer-qdo(850.01)