Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: toilet_a_08_01.13
Best Solver: rareqs Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.19 depqbf-v1 1.22 ghostq-plain 1.79
- - qesto 0.2 - - ghostq-cegar 2
- - hiqqer1ldsq 0.31 - - iprover-QBF-bloqqer 2.57
- - hiqqer3 0.32 - - iprover-QBF 7.4
- - hiqqer1 0.35 - - squeezebf+struqs 8.44
- - caqe-minisat 0.37 - - AIGSolve 8.57
- - depqbf-v3 0.41 - - struqs-10 8.58
- - xb-qsts 0.43 - - - -
- - xb-bid-qsts 0.44 - - - -
- - aqua-s3o 0.46 - - - -
- - caqe-picosat 0.48 - - - -
- - depqbf-v2 0.51 - - - -
- - aqua-f3v 0.55 - - - -
- - aqua-s2v 0.57 - - - -
rareqs(0.15)
qestos(0.19)
qesto(0.2)
hiqqer1ldsq(0.31)
hiqqer3(0.32)
hiqqer1(0.35)
caqe-minisat(0.37)
depqbf-v3(0.41)
xb-qsts(0.43)
xb-bid-qsts(0.44)
aqua-s3o(0.46)
caqe-picosat(0.48)
depqbf-v2(0.51)
aqua-f3v(0.55)
aqua-s2v(0.57)
depqbf-v1(1.22)
ghostq-plain(1.79)
ghostq-cegar(2)
iprover-QBF-bloqqer(2.57)
iprover-QBF(7.4)
squeezebf+struqs(8.44)
AIGSolve(8.57)
struqs-10(8.58)