Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_54.10
Best Solver: qsts Time: 2.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 5.71 caqe-picosat 17.54 depqbf-v3 32.63
- - qesto 5.72 xb-bid-qsts 18.32 depqbf-v2 40.91
- - hiqqer3 5.91 xb-qsts 18.56 depqbf-v1 83.11
- - hiqqer1ldsq 6.36 caqe-minisat 20.15 aqua-s3o 100.58
- - hiqqer1 6.39 - - aqua-f3v 106.46
- - qestos 6.42 - - aqua-s2v 107.42
qsts(2.93)
rareqs(5.71)
qesto(5.72)
hiqqer3(5.91)
hiqqer1ldsq(6.36)
hiqqer1(6.39)
qestos(6.42)
caqe-picosat(17.54)
xb-bid-qsts(18.32)
xb-qsts(18.56)
caqe-minisat(20.15)
depqbf-v3(32.63)
depqbf-v2(40.91)
depqbf-v1(83.11)
aqua-s3o(100.58)
aqua-f3v(106.46)
aqua-s2v(107.42)