Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
Best Solver: depqbf-v1 Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 0.33 rareqs 1.25 qesto 2.12
- - aqua-s3o 0.34 depqbf-v3 1.52 depqbf-v2 4.01
- - qestos 0.35 - - caqe-picosat 4.64
- - aqua-f3v 0.5 - - ghostq-plain 4.81
- - - - - - xb-qsts 5.05
- - - - - - qsts 9.35
- - - - - - AIGSolve 16.81
depqbf-v1(0.21)
aqua-s2v(0.33)
aqua-s3o(0.34)
qestos(0.35)
aqua-f3v(0.5)
rareqs(1.25)
depqbf-v3(1.52)
qesto(2.12)
depqbf-v2(4.01)
caqe-picosat(4.64)
ghostq-plain(4.81)
xb-qsts(5.05)
qsts(9.35)
AIGSolve(16.81)
xb-bid-qsts(32.06)
ghostq-cegar(32.49)
iprover-QBF-bloqqer(120.91)