Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_46.7
Best Solver: hiqqer1ldsq Time: 3.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 3.07 xb-bid-qsts 16.78 qsts 36.34
- - hiqqer3 3.65 qestos 18.9 depqbf-v1 54.81
- - rareqs 3.65 caqe-picosat 20.96 aqua-s3o 139.2
- - qesto 5.14 depqbf-v2 25.22 aqua-f3v 151.21
- - caqe-minisat 14.24 depqbf-v3 26.21 aqua-s2v 161.12
- - xb-qsts 14.76 - - - -
hiqqer1ldsq(3.01)
hiqqer1(3.07)
hiqqer3(3.65)
rareqs(3.65)
qesto(5.14)
caqe-minisat(14.24)
xb-qsts(14.76)
xb-bid-qsts(16.78)
qestos(18.9)
caqe-picosat(20.96)
depqbf-v2(25.22)
depqbf-v3(26.21)
qsts(36.34)
depqbf-v1(54.81)
aqua-s3o(139.2)
aqua-f3v(151.21)
aqua-s2v(161.12)