Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: c4_BMC_p2_k128
Best Solver: qsts Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 0.11 hiqqer1ldsq 0.5 hiqqer3 1
- - rareqs 0.11 hiqqer1 0.52 xb-qsts 1.37
- - qestos 0.16 aqua-s3o 0.69 xb-bid-qsts 1.43
- - - - aqua-f3v 0.71 ghostq-cegar 1.74
- - - - aqua-s2v 0.83 depqbf-v3 2.6
- - - - - - depqbf-v1 4.01
- - - - - - caqe-minisat 4.14
- - - - - - qesto 4.15
- - - - - - caqe-picosat 4.32
- - - - - - ghostq-plain 4.59
- - - - - - iprover-QBF 8.15
qsts(0.09)
AIGSolve(0.11)
rareqs(0.11)
qestos(0.16)
hiqqer1ldsq(0.5)
hiqqer1(0.52)
aqua-s3o(0.69)
aqua-f3v(0.71)
aqua-s2v(0.83)
hiqqer3(1)
xb-qsts(1.37)
xb-bid-qsts(1.43)
ghostq-cegar(1.74)
depqbf-v3(2.6)
depqbf-v1(4.01)
caqe-minisat(4.14)
qesto(4.15)
caqe-picosat(4.32)
ghostq-plain(4.59)
iprover-QBF(8.15)
depqbf-v2(12.61)
iprover-QBF-bloqqer(17.16)