Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_94.5
Best Solver: qsts Time: 2.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 2.4 depqbf-v1 13.41 aqua-s3o 71.59
- - hiqqer1 2.42 depqbf-v3 16.27 aqua-f3v 71.87
- - hiqqer3 2.76 depqbf-v2 17.52 aqua-s2v 71.99
- - rareqs 3.73 - - - -
- - qesto 4.32 - - - -
- - qestos 5.51 - - - -
- - xb-bid-qsts 6.19 - - - -
- - xb-qsts 6.27 - - - -
- - caqe-minisat 6.42 - - - -
- - caqe-picosat 6.61 - - - -
qsts(2.02)
hiqqer1ldsq(2.4)
hiqqer1(2.42)
hiqqer3(2.76)
rareqs(3.73)
qesto(4.32)
qestos(5.51)
xb-bid-qsts(6.19)
xb-qsts(6.27)
caqe-minisat(6.42)
caqe-picosat(6.61)
depqbf-v1(13.41)
depqbf-v3(16.27)
depqbf-v2(17.52)
aqua-s3o(71.59)
aqua-f3v(71.87)
aqua-s2v(71.99)