Sota solver details
QBFEVAL'17 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.09 rev_qfun0.1 6.31 xb-qsts_bqsts2.0 27.43
- - ijtihad_v1 1.1 - - xb-qsts_xbqsts1.0 36.26
- - ijtihad_v2 1.1 - - xb-qsts_xbqsts2.0 36.77
- - caqe_2017_v2 3.92 - - Qute_default 38.79
- - prefix-opt-depqbf 4.4 - - caqe_2017_v1 104.85
- - qbfrelay-limited-depqbf 4.67 - - - -
rareqs(1.05)
heretiq(1.09)
ijtihad_v1(1.1)
ijtihad_v2(1.1)
caqe_2017_v2(3.92)
prefix-opt-depqbf(4.4)
qbfrelay-limited-depqbf(4.67)
rev_qfun0.1(6.31)
xb-qsts_bqsts2.0(27.43)
xb-qsts_xbqsts1.0(36.26)
xb-qsts_xbqsts2.0(36.77)
Qute_default(38.79)
caqe_2017_v1(104.85)
caqe_2017_v3(105.5)
iProver-qbf-bloqqer-2017-07-27-v3(123.3)
qbfrelay(180.39)
iProver-qbf-2017-07-27-v3(236.21)
Qute_random(282.67)
Qute_opt500(283.7)