Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_16_64_4_d.7
Best Solver: rareqs Time: 0.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 1.62 aqua-f3v 5.75 xb-qsts 22.86
- - aqua-s3o 1.73 hiqqer3 7.11 xb-bid-qsts 22.98
- - qesto 2.23 - - depqbf-v1 27.01
- - caqe-picosat 2.91 - - - -
- - depqbf-v2 4.01 - - - -
- - hiqqer1 4.12 - - - -
- - hiqqer1ldsq 4.12 - - - -
rareqs(0.98)
aqua-s2v(1.62)
aqua-s3o(1.73)
qesto(2.23)
caqe-picosat(2.91)
depqbf-v2(4.01)
hiqqer1(4.12)
hiqqer1ldsq(4.12)
aqua-f3v(5.75)
hiqqer3(7.11)
xb-qsts(22.86)
xb-bid-qsts(22.98)
depqbf-v1(27.01)
depqbf-v3(249.65)
qestos(516.95)
qsts(571.08)