Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.9
Best Solver: hiqqer1ldsq Time: 4.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 4.96 depqbf-v3 38.51 xb-bid-qsts 50.15
- - rareqs 5.53 depqbf-v2 42.01 aqua-s3o 101.61
- - qestos 5.77 - - aqua-s2v 123.4
- - hiqqer3 5.94 - - aqua-f3v 129.33
- - depqbf-v1 7.81 - - - -
- - qesto 8.41 - - - -
- - caqe-minisat 14.63 - - - -
- - caqe-picosat 15.62 - - - -
- - xb-qsts 16.85 - - - -
- - qsts 16.88 - - - -
hiqqer1ldsq(4.68)
hiqqer1(4.96)
rareqs(5.53)
qestos(5.77)
hiqqer3(5.94)
depqbf-v1(7.81)
qesto(8.41)
caqe-minisat(14.63)
caqe-picosat(15.62)
xb-qsts(16.85)
qsts(16.88)
depqbf-v3(38.51)
depqbf-v2(42.01)
xb-bid-qsts(50.15)
aqua-s3o(101.61)
aqua-s2v(123.4)
aqua-f3v(129.33)