Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_46.8
Best Solver: qsts Time: 4.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 5.59 xb-qsts 25.01 qestos 45.46
- - qesto 12.54 xb-bid-qsts 25.93 hiqqer1 45.95
- - caqe-minisat 18.64 - - caqe-picosat 46.73
- - - - - - hiqqer1ldsq 47.44
- - - - - - hiqqer3 54.52
- - - - - - aqua-s3o 102.1
- - - - - - depqbf-v3 117.31
- - - - - - depqbf-v1 132.81
- - - - - - aqua-s2v 155.85
- - - - - - aqua-f3v 164.49
- - - - - - depqbf-v2 331.31
qsts(4.5)
rareqs(5.59)
qesto(12.54)
caqe-minisat(18.64)
xb-qsts(25.01)
xb-bid-qsts(25.93)
qestos(45.46)
hiqqer1(45.95)
caqe-picosat(46.73)
hiqqer1ldsq(47.44)
hiqqer3(54.52)
aqua-s3o(102.1)
depqbf-v3(117.31)
depqbf-v1(132.81)
aqua-s2v(155.85)
aqua-f3v(164.49)
depqbf-v2(331.31)