Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: tlc02-uniform-depth-114
Best Solver: qsts Time: 0.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 3.27 depqbf-v1 8.01 depqbf-v3 13.73
- - hiqqer3 3.29 AIGSolve 8.06 depqbf-v2 13.81
- - hiqqer1ldsq 3.3 - - aqua-s3o 29.43
- - qesto 3.39 - - xb-bid-qsts 30.73
- - rareqs 3.4 - - xb-qsts 30.83
- - qestos 3.79 - - caqe-minisat 31.45
- - - - - - caqe-picosat 33.11
- - - - - - aqua-s2v 63.71
- - - - - - aqua-f3v 65.56
qsts(0.82)
hiqqer1(3.27)
hiqqer3(3.29)
hiqqer1ldsq(3.3)
qesto(3.39)
rareqs(3.4)
qestos(3.79)
depqbf-v1(8.01)
AIGSolve(8.06)
depqbf-v3(13.73)
depqbf-v2(13.81)
aqua-s3o(29.43)
xb-bid-qsts(30.73)
xb-qsts(30.83)
caqe-minisat(31.45)
caqe-picosat(33.11)
aqua-s2v(63.71)
aqua-f3v(65.56)
iprover-QBF-bloqqer(131.66)
iprover-QBF(362.25)