Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_58.6
Best Solver: qsts Time: 0.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 1.31 qestos 4.16 xb-bid-qsts 7
- - rareqs 2.31 caqe-minisat 6.72 depqbf-v3 15.12
- - hiqqer1ldsq 2.35 caqe-picosat 6.74 depqbf-v2 19.01
- - hiqqer1 2.38 xb-qsts 6.75 aqua-s3o 37.75
- - hiqqer3 2.91 - - aqua-f3v 37.9
- - qesto 2.94 - - aqua-s2v 38.25
qsts(0.68)
depqbf-v1(1.31)
rareqs(2.31)
hiqqer1ldsq(2.35)
hiqqer1(2.38)
hiqqer3(2.91)
qesto(2.94)
qestos(4.16)
caqe-minisat(6.72)
caqe-picosat(6.74)
xb-qsts(6.75)
xb-bid-qsts(7)
depqbf-v3(15.12)
depqbf-v2(19.01)
aqua-s3o(37.75)
aqua-f3v(37.9)
aqua-s2v(38.25)