Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_4_16_8_euad.5
Best Solver: aqua-f3v Time: 0.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 0.07 hiqqer1ldsq 0.63 hiqqer3 1.18
- - aqua-s3o 0.12 hiqqer1 0.65 depqbf-v2 1.41
- - depqbf-v3 0.33 - - xb-qsts 2.71
- - - - - - xb-bid-qsts 3.19
- - - - - - qestos 6.6
aqua-f3v(0.07)
aqua-s2v(0.07)
aqua-s3o(0.12)
depqbf-v3(0.33)
hiqqer1ldsq(0.63)
hiqqer1(0.65)
hiqqer3(1.18)
depqbf-v2(1.41)
xb-qsts(2.71)
xb-bid-qsts(3.19)
qestos(6.6)
depqbf-v1(10.21)
qesto(22.83)
caqe-picosat(23.41)
caqe-minisat(43.03)