Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_8_16_4_u.7
Best Solver: depqbf-v1 Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v3 0.29 - - depqbf-v2 1.61
- - aqua-f3v 0.36 - - rareqs 2.73
- - aqua-s2v 0.37 - - hiqqer1ldsq 4.02
- - aqua-s3o 0.49 - - hiqqer1 4.04
- - - - - - caqe-minisat 4.81
- - - - - - xb-qsts 4.99
- - - - - - xb-bid-qsts 5.41
- - - - - - hiqqer3 6.61
- - - - - - qestos 7.35
- - - - - - qesto 10.31
depqbf-v1(0.12)
depqbf-v3(0.29)
aqua-f3v(0.36)
aqua-s2v(0.37)
aqua-s3o(0.49)
depqbf-v2(1.61)
rareqs(2.73)
hiqqer1ldsq(4.02)
hiqqer1(4.04)
caqe-minisat(4.81)
xb-qsts(4.99)
xb-bid-qsts(5.41)
hiqqer3(6.61)
qestos(7.35)
qesto(10.31)
caqe-picosat(16.69)
qsts(88.59)