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-008
Best Solver: rareqs Time: 1.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.62 rev_qfun0.1 8.72 Qute_default 15.72
- - ijtihad_v2 1.62 - - xb-qsts_bqsts2.0 46.61
- - ijtihad_v1 1.63 - - qbfrelay-limited-depqbf 53.99
- - caqe_2017_v2 3.07 - - prefix-opt-depqbf 54.43
- - - - - - xb-qsts_xbqsts1.0 62.04
- - - - - - xb-qsts_xbqsts2.0 62.57
rareqs(1.53)
heretiq(1.62)
ijtihad_v2(1.62)
ijtihad_v1(1.63)
caqe_2017_v2(3.07)
rev_qfun0.1(8.72)
Qute_default(15.72)
xb-qsts_bqsts2.0(46.61)
qbfrelay-limited-depqbf(53.99)
prefix-opt-depqbf(54.43)
xb-qsts_xbqsts1.0(62.04)
xb-qsts_xbqsts2.0(62.57)
qbfrelay(181.94)
iProver-qbf-bloqqer-2017-07-27-v3(196.55)
iProver-qbf-2017-07-27-v3(298.5)