Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_45.10
Best Solver: qsts Time: 4.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 4.92 depqbf-v3 36.7 caqe-picosat 67.88
- - hiqqer1ldsq 4.92 caqe-minisat 41.66 aqua-s3o 102.35
- - rareqs 5.38 depqbf-v2 42.51 depqbf-v1 116.71
- - hiqqer3 5.54 - - aqua-f3v 120.93
- - qesto 6.4 - - aqua-s2v 141.13
- - qestos 7.43 - - - -
- - xb-qsts 23.63 - - - -
- - xb-bid-qsts 23.76 - - - -
qsts(4.82)
hiqqer1(4.92)
hiqqer1ldsq(4.92)
rareqs(5.38)
hiqqer3(5.54)
qesto(6.4)
qestos(7.43)
xb-qsts(23.63)
xb-bid-qsts(23.76)
depqbf-v3(36.7)
caqe-minisat(41.66)
depqbf-v2(42.51)
caqe-picosat(67.88)
aqua-s3o(102.35)
depqbf-v1(116.71)
aqua-f3v(120.93)
aqua-s2v(141.13)