Sota solver details
QBFEVAL'17 - 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 Time: 0.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 1.25 rev_qfun0.1 4.2 xb-qsts_bqsts2.0 13.44
- - - - - - Qute_default 16.97
- - - - - - xb-qsts_xbqsts1.0 18.51
- - - - - - xb-qsts_xbqsts2.0 18.51
- - - - - - prefix-opt-depqbf 39.91
- - - - - - qbfrelay-limited-depqbf 40.24
rareqs(0.69)
caqe_2017_v2(1.25)
rev_qfun0.1(4.2)
xb-qsts_bqsts2.0(13.44)
Qute_default(16.97)
xb-qsts_xbqsts1.0(18.51)
xb-qsts_xbqsts2.0(18.51)
prefix-opt-depqbf(39.91)
qbfrelay-limited-depqbf(40.24)