Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_54.3
Best Solver: qsts Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 0.5 xb-bid-qsts 1.44 depqbf-v3 4.52
- - hiqqer1ldsq 0.5 xb-qsts 1.44 depqbf-v2 5.01
- - depqbf-v1 0.51 caqe-minisat 1.45 - -
- - hiqqer3 0.51 iprover-QBF-bloqqer 1.48 - -
- - qesto 0.53 caqe-picosat 1.49 - -
- - qestos 0.53 - - - -
- - rareqs 0.53 - - - -
qsts(0.15)
hiqqer1(0.5)
hiqqer1ldsq(0.5)
depqbf-v1(0.51)
hiqqer3(0.51)
qesto(0.53)
qestos(0.53)
rareqs(0.53)
xb-bid-qsts(1.44)
xb-qsts(1.44)
caqe-minisat(1.45)
iprover-QBF-bloqqer(1.48)
caqe-picosat(1.49)
depqbf-v3(4.52)
depqbf-v2(5.01)
aqua-f3v(21.35)
aqua-s2v(21.46)
aqua-s3o(21.47)