Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_16_64_4_d.8
Best Solver: aqua-s2v Time: 1.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-picosat 2.72 qsts 17.94 hiqqer1ldsq 37.25
- - depqbf-v3 2.77 - - rareqs 39.37
- - aqua-f3v 3.31 - - hiqqer1 41.17
- - - - - - hiqqer3 44.6
- - - - - - depqbf-v2 56.31
- - - - - - xb-qsts 78.88
- - - - - - xb-bid-qsts 79.44
- - - - - - qestos 79.88
aqua-s2v(1.8)
caqe-picosat(2.72)
depqbf-v3(2.77)
aqua-f3v(3.31)
qsts(17.94)
hiqqer1ldsq(37.25)
rareqs(39.37)
hiqqer1(41.17)
hiqqer3(44.6)
depqbf-v2(56.31)
xb-qsts(78.88)
xb-bid-qsts(79.44)
qestos(79.88)
qesto(534.96)