Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_16_64_4_d.1
Best Solver: aqua-s3o Time: 0.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.35 caqe-picosat 1.33 hiqqer1ldsq 2.27
- - aqua-f3v 0.78 - - hiqqer1 2.29
- - - - - - hiqqer3 5
- - - - - - depqbf-v2 11.02
- - - - - - qsts 11.69
- - - - - - xb-qsts 21.16
- - - - - - xb-bid-qsts 21.23
aqua-s2v(0.22)
aqua-s3o(0.22)
rareqs(0.35)
aqua-f3v(0.78)
caqe-picosat(1.33)
hiqqer1ldsq(2.27)
hiqqer1(2.29)
hiqqer3(5)
depqbf-v2(11.02)
qsts(11.69)
xb-qsts(21.16)
xb-bid-qsts(21.23)
depqbf-v3(29.28)
qesto(67.02)
qestos(86.4)
depqbf-v1(169.61)