Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_65.5
Best Solver: qsts Time: 3.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 3.71 depqbf-v2 18.81 depqbf-v1 43.71
- - hiqqer1 3.75 depqbf-v3 29 aqua-s2v 100.18
- - rareqs 4.4 qestos 31.39 aqua-s3o 100.36
- - hiqqer3 4.44 - - aqua-f3v 101.54
- - qesto 8.47 - - - -
- - caqe-minisat 12.05 - - - -
- - xb-qsts 14.03 - - - -
- - caqe-picosat 14.26 - - - -
- - xb-bid-qsts 14.51 - - - -
qsts(3.27)
hiqqer1ldsq(3.71)
hiqqer1(3.75)
rareqs(4.4)
hiqqer3(4.44)
qesto(8.47)
caqe-minisat(12.05)
xb-qsts(14.03)
caqe-picosat(14.26)
xb-bid-qsts(14.51)
depqbf-v2(18.81)
depqbf-v3(29)
qestos(31.39)
depqbf-v1(43.71)
aqua-s2v(100.18)
aqua-s3o(100.36)
aqua-f3v(101.54)