Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
Best Solver: rareqs Time: 2.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rev_qfun0.1 12.07 heretiq 38.02
- - - - caqe_2017_v1 21.28 xb-qsts_bqsts2.0 88.89
- - - - caqe_2017_v3 21.41 xb-qsts_xbqsts2.0 124.53
- - - - Qute_default 21.97 xb-qsts_xbqsts1.0 124.58
- - - - - - qbfrelay-limited-depqbf 203.49
rareqs(2.32)
rev_qfun0.1(12.07)
caqe_2017_v1(21.28)
caqe_2017_v3(21.41)
Qute_default(21.97)
heretiq(38.02)
xb-qsts_bqsts2.0(88.89)
xb-qsts_xbqsts2.0(124.53)
xb-qsts_xbqsts1.0(124.58)
qbfrelay-limited-depqbf(203.49)
qbfrelay(639.46)