Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: tlc01-uniform-depth-73
Best Solver: AIGSolve Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.67 depqbf-v2 2.12 ghostq-plain 7.45
- - rareqs 0.67 - - ghostq-cegar 7.51
- - depqbf-v1 0.71 - - caqe-minisat 11.23
- - qestos 0.71 - - caqe-picosat 11.32
- - aqua-s2v 0.72 - - xb-bid-qsts 12.15
- - aqua-f3v 0.73 - - xb-qsts 12.18
- - aqua-s3o 0.73 - - iprover-QBF-bloqqer 16.22
- - qesto 0.77 - - iprover-QBF 30.93
- - hiqqer1ldsq 1.43 - - squeezebf+struqs 34.66
- - hiqqer1 1.44 - - struqs-10 40.27
- - hiqqer3 1.45 - - - -
- - depqbf-v3 2.03 - - - -
AIGSolve(0.41)
qsts(0.67)
rareqs(0.67)
depqbf-v1(0.71)
qestos(0.71)
aqua-s2v(0.72)
aqua-f3v(0.73)
aqua-s3o(0.73)
qesto(0.77)
hiqqer1ldsq(1.43)
hiqqer1(1.44)
hiqqer3(1.45)
depqbf-v3(2.03)
depqbf-v2(2.12)
ghostq-plain(7.45)
ghostq-cegar(7.51)
caqe-minisat(11.23)
caqe-picosat(11.32)
xb-bid-qsts(12.15)
xb-qsts(12.18)
iprover-QBF-bloqqer(16.22)
iprover-QBF(30.93)
squeezebf+struqs(34.66)
struqs-10(40.27)