Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_45.9
Best Solver: qsts Time: 2.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 2.95 caqe-minisat 15.85 depqbf-v3 35.75
- - hiqqer1 2.96 - - depqbf-v2 42.41
- - hiqqer3 3.75 - - aqua-s3o 98.12
- - qesto 5.63 - - aqua-f3v 100.76
- - rareqs 5.78 - - aqua-s2v 102.09
- - xb-bid-qsts 12.33 - - depqbf-v1 141.11
- - xb-qsts 12.54 - - - -
- - caqe-picosat 13.19 - - - -
- - qestos 13.59 - - - -
qsts(2.93)
hiqqer1ldsq(2.95)
hiqqer1(2.96)
hiqqer3(3.75)
qesto(5.63)
rareqs(5.78)
xb-bid-qsts(12.33)
xb-qsts(12.54)
caqe-picosat(13.19)
qestos(13.59)
caqe-minisat(15.85)
depqbf-v3(35.75)
depqbf-v2(42.41)
aqua-s3o(98.12)
aqua-f3v(100.76)
aqua-s2v(102.09)
depqbf-v1(141.11)