Sota solver details
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.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 1.09 - - Caqe-bloqqer-qdo 37.67
- - Qute_default 1.49 - - - -
- - Qute_opt500 1.51 - - - -
- - Qute_rrs 1.51 - - - -
- - Caqe-hqspre 1.85 - - - -
- - caqe-pre 1.85 - - - -
- - nanoqbf_hqspre 2.54 - - - -
- - depqbf_pre_QxQBH 2.84 - - - -
depqbf_prefix_opt_qdo(0.61)
Rareqs_2018(1.09)
Qute_default(1.49)
Qute_opt500(1.51)
Qute_rrs(1.51)
Caqe-hqspre(1.85)
caqe-pre(1.85)
nanoqbf_hqspre(2.54)
depqbf_pre_QxQBH(2.84)
Caqe-bloqqer-qdo(37.67)
iprover_bloqqer_single(108.46)
iprover_bloqqer_schedule(108.79)