Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_94.6
Best Solver: rareqs Time: 3.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 4.9 depqbf-v2 24.51 depqbf-v1 43.11
- - hiqqer1 4.99 depqbf-v3 32.62 aqua-s2v 86.7
- - hiqqer3 5.45 - - aqua-s3o 87.3
- - qesto 5.8 - - aqua-f3v 87.33
- - qsts 9.36 - - - -
- - xb-bid-qsts 11.08 - - - -
- - xb-qsts 11.11 - - - -
- - caqe-minisat 13.44 - - - -
- - qestos 14.64 - - - -
- - caqe-picosat 15.01 - - - -
rareqs(3.67)
hiqqer1ldsq(4.9)
hiqqer1(4.99)
hiqqer3(5.45)
qesto(5.8)
qsts(9.36)
xb-bid-qsts(11.08)
xb-qsts(11.11)
caqe-minisat(13.44)
qestos(14.64)
caqe-picosat(15.01)
depqbf-v2(24.51)
depqbf-v3(32.62)
depqbf-v1(43.11)
aqua-s2v(86.7)
aqua-s3o(87.3)
aqua-f3v(87.33)