Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_4_16_8_euad.6
Best Solver: depqbf-v1 Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 1.61 hiqqer1ldsq 3.26 hiqqer3 4.98
- - - - hiqqer1 3.3 depqbf-v3 8.56
- - - - - - xb-qsts 9.17
- - - - - - xb-bid-qsts 9.41
- - - - - - caqe-picosat 29.46
- - - - - - qesto 34.4
depqbf-v1(0.41)
depqbf-v2(1.61)
hiqqer1ldsq(3.26)
hiqqer1(3.3)
hiqqer3(4.98)
depqbf-v3(8.56)
xb-qsts(9.17)
xb-bid-qsts(9.41)
caqe-picosat(29.46)
qesto(34.4)
caqe-minisat(64.25)
aqua-f3v(92.15)
aqua-s2v(103.89)
aqua-s3o(132.13)
qestos(161.63)