Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ncf_16_64_4_d.5
Best Solver: aqua-s3o Time: 0.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 0.49 caqe-picosat 3.11 depqbf-v1 5.61
- - aqua-f3v 1.06 hiqqer1ldsq 3.94 qesto 5.99
- - rareqs 1.22 hiqqer1 3.96 hiqqer3 7.58
- - - - - - xb-qsts 15.98
- - - - - - xb-bid-qsts 16.19
aqua-s3o(0.46)
aqua-s2v(0.49)
aqua-f3v(1.06)
rareqs(1.22)
caqe-picosat(3.11)
hiqqer1ldsq(3.94)
hiqqer1(3.96)
depqbf-v1(5.61)
qesto(5.99)
hiqqer3(7.58)
xb-qsts(15.98)
xb-bid-qsts(16.19)
qsts(49.88)
depqbf-v3(105.6)