Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_91.9
Best Solver: qsts Time: 0.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rareqs 4.8 hiqqer3 7.88
- - - - qesto 4.85 caqe-picosat 11.21
- - - - qestos 5.32 xb-qsts 11.42
- - - - depqbf-v1 6.01 xb-bid-qsts 11.64
- - - - hiqqer1 6.6 caqe-minisat 12
- - - - hiqqer1ldsq 6.83 depqbf-v3 31.99
- - - - - - depqbf-v2 38.91
qsts(0.76)
rareqs(4.8)
qesto(4.85)
qestos(5.32)
depqbf-v1(6.01)
hiqqer1(6.6)
hiqqer1ldsq(6.83)
hiqqer3(7.88)
caqe-picosat(11.21)
xb-qsts(11.42)
xb-bid-qsts(11.64)
caqe-minisat(12)
depqbf-v3(31.99)
depqbf-v2(38.91)
aqua-s3o(100.41)
aqua-f3v(104.41)
aqua-s2v(104.55)