Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: cube_c9_par--opt-11_
Best Solver: hiqqer3 Time: 7.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 8.72 depqbf-v1 37.61 ghostq-plain 130.12
- - xb-bid-qsts 8.87 ghostq-cegar 48.6 rareqs 212.79
- - hiqqer1 12.8 aqua-s2v 54.7 iprover-QBF-bloqqer 347.5
- - depqbf-v3 14.69 aqua-f3v 56.38 AIGSolve 349.47
- - depqbf-v2 18.21 aqua-s3o 57.4 caqe-minisat 517.09
- - - - qestos 72.85 - -
hiqqer3(7.33)
xb-qsts(8.72)
xb-bid-qsts(8.87)
hiqqer1(12.8)
depqbf-v3(14.69)
depqbf-v2(18.21)
depqbf-v1(37.61)
ghostq-cegar(48.6)
aqua-s2v(54.7)
aqua-f3v(56.38)
aqua-s3o(57.4)
qestos(72.85)
ghostq-plain(130.12)
rareqs(212.79)
iprover-QBF-bloqqer(347.5)
AIGSolve(349.47)
caqe-minisat(517.09)