Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_4_16_8_euad.4
Best Solver: aqua-s2v Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 0.43 caqe-picosat 2.36 caqe-minisat 7.99
- - aqua-s3o 0.48 - - - -
- - hiqqer1ldsq 0.55 - - - -
- - hiqqer1 0.56 - - - -
- - depqbf-v3 0.69 - - - -
- - hiqqer3 1 - - - -
- - depqbf-v1 1.04 - - - -
- - xb-qsts 1.22 - - - -
- - depqbf-v2 1.41 - - - -
- - xb-bid-qsts 1.48 - - - -
- - qesto 1.57 - - - -
- - qestos 1.58 - - - -
aqua-s2v(0.42)
aqua-f3v(0.43)
aqua-s3o(0.48)
hiqqer1ldsq(0.55)
hiqqer1(0.56)
depqbf-v3(0.69)
hiqqer3(1)
depqbf-v1(1.04)
xb-qsts(1.22)
depqbf-v2(1.41)
xb-bid-qsts(1.48)
qesto(1.57)
qestos(1.58)
caqe-picosat(2.36)
caqe-minisat(7.99)