Sota solver details
Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
Best Solver: Rareqs_2018 Time: 2.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - nanoqbf_hqspre 14.7 Caqe-hqspre 31.96
- - - - nanoqbf_bloqqer 19.6 caqe-pre 32.02
- - - - - - Qute_rrs 83.44
- - - - - - Caqe-bloqqer-qdo 90.25
- - - - - - iprover_bloqqer_schedule 183.35
- - - - - - iprover_bloqqer_single 184.07
Rareqs_2018(2.19)
nanoqbf_hqspre(14.7)
nanoqbf_bloqqer(19.6)
Caqe-hqspre(31.96)
caqe-pre(32.02)
Qute_rrs(83.44)
Caqe-bloqqer-qdo(90.25)
iprover_bloqqer_schedule(183.35)
iprover_bloqqer_single(184.07)
depqbf_pre_QxQBH(373.68)