Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: c1_BMC_p1_k4
Best Solver: qsts Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 0.49 - - AIGSolve 5.99
- - hiqqer3 0.5 - - ghostq-cegar 11.71
- - hiqqer1 0.51 - - caqe-picosat 14.9
- - qestos 0.69 - - iprover-QBF-bloqqer 18.94
- - qesto 0.7 - - xb-bid-qsts 22.23
- - rareqs 0.7 - - caqe-minisat 24.68
- - - - - - depqbf-v2 25.41
- - - - - - iprover-QBF 28.1
- - - - - - aqua-s2v 40.24
- - - - - - aqua-f3v 40.32
- - - - - - aqua-s3o 40.92
qsts(0.42)
hiqqer1ldsq(0.49)
hiqqer3(0.5)
hiqqer1(0.51)
qestos(0.69)
qesto(0.7)
rareqs(0.7)
AIGSolve(5.99)
ghostq-cegar(11.71)
caqe-picosat(14.9)
iprover-QBF-bloqqer(18.94)
xb-bid-qsts(22.23)
caqe-minisat(24.68)
depqbf-v2(25.41)
iprover-QBF(28.1)
aqua-s2v(40.24)
aqua-f3v(40.32)
aqua-s3o(40.92)
depqbf-v1(62.72)
ghostq-plain(128.84)
depqbf-v3(188.83)