Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
Best Solver: caqe_2017_v2 Time: 0.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 0.8 prefix-opt-depqbf 4.09 xb-qsts_bqsts2.0 37.08
- - Qute_opt500 0.8 qbfrelay-limited-depqbf 4.48 dynQBF-bloqqer-hqspre 37.89
- - Qute_random 0.8 rev_qfun0.1 6.88 qbfrelay 39.43
- - HQSpre_solver 1.27 - - iProver-qbf-bloqqer-2017-07-27-v3 46.27
- - rareqs 1.34 - - xb-qsts_xbqsts2.0 47.11
- - heretiq 1.37 - - xb-qsts_xbqsts1.0 47.25
- - ijtihad_v1 1.37 - - - -
- - ijtihad_v2 1.4 - - - -
- - caqe_2017_v1 2.13 - - - -
- - caqe_2017_v3 2.2 - - - -
caqe_2017_v2(0.76)
Qute_default(0.8)
Qute_opt500(0.8)
Qute_random(0.8)
HQSpre_solver(1.27)
rareqs(1.34)
heretiq(1.37)
ijtihad_v1(1.37)
ijtihad_v2(1.4)
caqe_2017_v1(2.13)
caqe_2017_v3(2.2)
prefix-opt-depqbf(4.09)
qbfrelay-limited-depqbf(4.48)
rev_qfun0.1(6.88)
xb-qsts_bqsts2.0(37.08)
dynQBF-bloqqer-hqspre(37.89)
qbfrelay(39.43)
iProver-qbf-bloqqer-2017-07-27-v3(46.27)
xb-qsts_xbqsts2.0(47.11)
xb-qsts_xbqsts1.0(47.25)
iProver-qbf-2017-07-27-v3(182.31)