Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.4
Best Solver: qsts Time: 0.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 0.93 xb-qsts 2.45 depqbf-v3 7.68
- - hiqqer1 0.94 xb-bid-qsts 2.55 depqbf-v2 8.72
- - hiqqer3 0.94 caqe-picosat 2.57 aqua-s3o 17.04
- - qesto 1.07 iprover-QBF-bloqqer 2.59 aqua-f3v 17.05
- - rareqs 1.07 caqe-minisat 2.65 aqua-s2v 17.17
- - qestos 1.08 - - - -
- - depqbf-v1 1.81 - - - -
qsts(0.44)
hiqqer1ldsq(0.93)
hiqqer1(0.94)
hiqqer3(0.94)
qesto(1.07)
rareqs(1.07)
qestos(1.08)
depqbf-v1(1.81)
xb-qsts(2.45)
xb-bid-qsts(2.55)
caqe-picosat(2.57)
iprover-QBF-bloqqer(2.59)
caqe-minisat(2.65)
depqbf-v3(7.68)
depqbf-v2(8.72)
aqua-s3o(17.04)
aqua-f3v(17.05)
aqua-s2v(17.17)