Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
Best Solver: rareqs Time: 2.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 10.8 Qute_default 19.45 dynQBF-bloqqer-hqspre 73.85
- - - - caqe_2017_v2 22.76 xb-qsts_bqsts2.0 77.17
- - - - - - xb-qsts_xbqsts2.0 102.98
- - - - - - xb-qsts_xbqsts1.0 104.24
- - - - - - qbfrelay-limited-depqbf 124.7
rareqs(2.57)
rev_qfun0.1(10.8)
Qute_default(19.45)
caqe_2017_v2(22.76)
dynQBF-bloqqer-hqspre(73.85)
xb-qsts_bqsts2.0(77.17)
xb-qsts_xbqsts2.0(102.98)
xb-qsts_xbqsts1.0(104.24)
qbfrelay-limited-depqbf(124.7)
qbfrelay(570.42)