Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: lognBWLARGEB1
Best Solver: AIGSolve Time: 0.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.76 aqua-f3v 3.4 depqbf-v1 7.72
- - depqbf-v3 0.81 aqua-s2v 3.4 xb-bid-qsts 16.46
- - depqbf-v2 0.91 aqua-s3o 3.4 xb-qsts 16.53
- - hiqqer3 2.75 - - caqe-minisat 18.17
- - hiqqer1ldsq 2.78 - - ghostq-plain 29.34
- - hiqqer1 2.79 - - ghostq-cegar 40.43
- - rareqs 3.05 - - iprover-QBF-bloqqer 43.1
- - qestos 3.35 - - - -
AIGSolve(0.68)
qsts(0.76)
depqbf-v3(0.81)
depqbf-v2(0.91)
hiqqer3(2.75)
hiqqer1ldsq(2.78)
hiqqer1(2.79)
rareqs(3.05)
qestos(3.35)
aqua-f3v(3.4)
aqua-s2v(3.4)
aqua-s3o(3.4)
depqbf-v1(7.72)
xb-bid-qsts(16.46)
xb-qsts(16.53)
caqe-minisat(18.17)
ghostq-plain(29.34)
ghostq-cegar(40.43)
iprover-QBF-bloqqer(43.1)
iprover-QBF(95.51)