Sota solver details
Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010
Best Solver: Qute_opt500 Time: 1.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 1.64 - - Caqe-bloqqer-qdo 111.68
- - Qute_default 1.67 - - - -
- - Caqe-hqspre 1.68 - - - -
- - Qute_rrs 1.68 - - - -
- - Rareqs_2018 1.94 - - - -
- - nanoqbf_hqspre 2.58 - - - -
- - depqbf_pre_QxQBH 3.56 - - - -
Qute_opt500(1.61)
caqe-pre(1.64)
Qute_default(1.67)
Caqe-hqspre(1.68)
Qute_rrs(1.68)
Rareqs_2018(1.94)
nanoqbf_hqspre(2.58)
depqbf_pre_QxQBH(3.56)
Caqe-bloqqer-qdo(111.68)
iprover_bloqqer_schedule(186.49)
iprover_bloqqer_single(186.69)