Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: par8-4-50
Best Solver: qsts Time: 0.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 1.12 hiqqer1 7.19 AIGSolve 14.61
- - depqbf-v2 1.81 hiqqer1ldsq 7.23 aqua-s3o 21.17
- - depqbf-v3 1.83 hiqqer3 7.28 aqua-f3v 21.2
- - ghostq-plain 2.27 - - aqua-s2v 21.43
- - ghostq-cegar 2.3 - - qesto 25.4
- - - - - - rareqs 25.56
- - - - - - qestos 25.6
- - - - - - xb-qsts 27.62
- - - - - - xb-bid-qsts 27.74
- - - - - - caqe-minisat 28.27
- - - - - - caqe-picosat 28.38
qsts(0.73)
depqbf-v1(1.12)
depqbf-v2(1.81)
depqbf-v3(1.83)
ghostq-plain(2.27)
ghostq-cegar(2.3)
hiqqer1(7.19)
hiqqer1ldsq(7.23)
hiqqer3(7.28)
AIGSolve(14.61)
aqua-s3o(21.17)
aqua-f3v(21.2)
aqua-s2v(21.43)
qesto(25.4)
rareqs(25.56)
qestos(25.6)
xb-qsts(27.62)
xb-bid-qsts(27.74)
caqe-minisat(28.27)
caqe-picosat(28.38)