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-009
Best Solver: rareqs Time: 3.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rev_qfun0.1 16.55 caqe_2017_v1 47.62
- - - - - - caqe_2017_v3 47.75
- - - - - - Qute_default 60.57
- - - - - - dynQBF-bloqqer-hqspre 94.41
- - - - - - xb-qsts_bqsts2.0 188.47
- - - - - - xb-qsts_xbqsts1.0 214.25
- - - - - - xb-qsts_xbqsts2.0 235.4
rareqs(3.23)
rev_qfun0.1(16.55)
caqe_2017_v1(47.62)
caqe_2017_v3(47.75)
Qute_default(60.57)
dynQBF-bloqqer-hqspre(94.41)
xb-qsts_bqsts2.0(188.47)
xb-qsts_xbqsts1.0(214.25)
xb-qsts_xbqsts2.0(235.4)