Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
Best Solver: rareqs Time: 2.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v2 2.25 rev_qfun0.1 10.75 qbfrelay 66.9
- - heretiq 2.26 - - xb-qsts_bqsts2.0 76.05
- - ijtihad_v1 2.27 - - xb-qsts_xbqsts2.0 110.66
- - - - - - xb-qsts_xbqsts1.0 111.51
- - - - - - qbfrelay-limited-depqbf 127.9
rareqs(2.14)
ijtihad_v2(2.25)
heretiq(2.26)
ijtihad_v1(2.27)
rev_qfun0.1(10.75)
qbfrelay(66.9)
xb-qsts_bqsts2.0(76.05)
xb-qsts_xbqsts2.0(110.66)
xb-qsts_xbqsts1.0(111.51)
qbfrelay-limited-depqbf(127.9)
iProver-qbf-bloqqer-2017-07-27-v3(413.16)
iProver-qbf-2017-07-27-v3(559.43)