Sota solver details
QBFEVAL'17 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 2.32 rev_qfun0.1 5.16 Qute_default 13.02
- - - - prefix-opt-depqbf 8.07 xb-qsts_bqsts2.0 19.02
- - - - qbfrelay-limited-depqbf 8.33 xb-qsts_xbqsts2.0 24.83
- - - - - - xb-qsts_xbqsts1.0 25.12
- - - - - - heretiq 37.46
rareqs(0.86)
caqe_2017_v2(2.32)
rev_qfun0.1(5.16)
prefix-opt-depqbf(8.07)
qbfrelay-limited-depqbf(8.33)
Qute_default(13.02)
xb-qsts_bqsts2.0(19.02)
xb-qsts_xbqsts2.0(24.83)
xb-qsts_xbqsts1.0(25.12)
heretiq(37.46)
QELL_default(587.99)