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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_rrs 11.75
- - - - - - Caqe-hqspre 16.58
- - - - - - caqe-pre 16.69
- - - - - - Caqe-bloqqer-qdo 23.17
- - - - - - depqbf_prefix_opt_qdo 39.05
Rareqs_2018(0.61)
Qute_rrs(11.75)
Caqe-hqspre(16.58)
caqe-pre(16.69)
Caqe-bloqqer-qdo(23.17)
depqbf_prefix_opt_qdo(39.05)
depqbf_pre_QxQBH(124.88)