Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.3
Best Solver: qsts Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qesto 0.46 caqe-picosat 1.23 iprover-QBF-bloqqer 1.31
- - rareqs 0.46 xb-qsts 1.27 caqe-minisat 1.32
- - hiqqer1ldsq 0.47 xb-bid-qsts 1.29 depqbf-v3 4.51
- - qestos 0.47 - - depqbf-v2 5.01
- - hiqqer3 0.48 - - aqua-s2v 5.89
- - hiqqer1 0.49 - - aqua-s3o 5.92
- - depqbf-v1 0.51 - - aqua-f3v 5.93
qsts(0.13)
qesto(0.46)
rareqs(0.46)
hiqqer1ldsq(0.47)
qestos(0.47)
hiqqer3(0.48)
hiqqer1(0.49)
depqbf-v1(0.51)
caqe-picosat(1.23)
xb-qsts(1.27)
xb-bid-qsts(1.29)
iprover-QBF-bloqqer(1.31)
caqe-minisat(1.32)
depqbf-v3(4.51)
depqbf-v2(5.01)
aqua-s2v(5.89)
aqua-s3o(5.92)
aqua-f3v(5.93)