Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
Best Solver: rareqs Time: 0.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v1 0.83 rev_qfun0.1 5.87 Qute_default 11.66
- - heretiq 0.84 caqe_2017_v2 7.61 xb-qsts_bqsts2.0 22.3
- - ijtihad_v2 0.84 - - xb-qsts_xbqsts2.0 30.12
- - - - - - xb-qsts_xbqsts1.0 30.15
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 33.19
rareqs(0.8)
ijtihad_v1(0.83)
heretiq(0.84)
ijtihad_v2(0.84)
rev_qfun0.1(5.87)
caqe_2017_v2(7.61)
Qute_default(11.66)
xb-qsts_bqsts2.0(22.3)
xb-qsts_xbqsts2.0(30.12)
xb-qsts_xbqsts1.0(30.15)
iProver-qbf-bloqqer-2017-07-27-v3(33.19)
qbfrelay-limited-depqbf(99.76)
iProver-qbf-2017-07-27-v3(178.5)
qbfrelay(184.94)
prefix-opt-depqbf(476.27)