Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: emptyroom_e3_ser--opt-20_
Best Solver: rareqs Time: 0.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.85 depqbf-v3 2.03 AIGSolve 3.44
- - - - ghostq-cegar 2.37 depqbf-v2 5.21
- - - - aqua-f3v 2.43 hiqqer1 5.85
- - - - - - hiqqer1ldsq 5.98
- - - - - - hiqqer3 6.08
- - - - - - depqbf-v1 16.42
- - - - - - iprover-QBF-bloqqer 23.08
rareqs(0.27)
qestos(0.85)
depqbf-v3(2.03)
ghostq-cegar(2.37)
aqua-f3v(2.43)
AIGSolve(3.44)
depqbf-v2(5.21)
hiqqer1(5.85)
hiqqer1ldsq(5.98)
hiqqer3(6.08)
depqbf-v1(16.42)
iprover-QBF-bloqqer(23.08)
iprover-QBF(28.3)
aqua-s3o(64.68)
ghostq-plain(235.26)
xb-bid-qsts(255.87)
xb-qsts(259.44)