Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_46.6
Best Solver: hiqqer1 Time: 2.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 2.75 qestos 20.64 aqua-s3o 113.21
- - hiqqer3 2.83 depqbf-v2 21.21 aqua-f3v 113.3
- - rareqs 3 depqbf-v1 23.51 aqua-s2v 115.39
- - qesto 5.2 depqbf-v3 24.93 - -
- - xb-qsts 6.51 - - - -
- - xb-bid-qsts 6.67 - - - -
- - caqe-minisat 7.67 - - - -
- - caqe-picosat 8.33 - - - -
- - qsts 9.51 - - - -
hiqqer1(2.7)
hiqqer1ldsq(2.75)
hiqqer3(2.83)
rareqs(3)
qesto(5.2)
xb-qsts(6.51)
xb-bid-qsts(6.67)
caqe-minisat(7.67)
caqe-picosat(8.33)
qsts(9.51)
qestos(20.64)
depqbf-v2(21.21)
depqbf-v1(23.51)
depqbf-v3(24.93)
aqua-s3o(113.21)
aqua-f3v(113.3)
aqua-s2v(115.39)